Compute for Ages
- lean blockchain architecture
- tokenless by nature
- pluggable token
- GP-PoW
- convertible/backed token
- specify blockchain structure
- specify GP-PoW properties
- specify functions binding token mechanism
Someone please teach me how to write Coq ._.