research
∙
03/16/2023
Semitopology: a new topological model of heterogeneous consensus
A distributed system is permissionless when participants can join and le...
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...
research
∙
07/27/2020