research
∙
09/20/2021
Money grows on (proof-)trees: the formal FA1.2 ledger standard
Once you have invented digital money, you may need a ledger to track who...
share
research
∙
06/24/2021
Making Tezos smart contracts more reliable with Coq
Tezos is a smart-contract blockchain. Tezos smart contracts are written ...
research
∙
01/31/2019
