research
∙
11/28/2020
Verification of recursive Bitcoin contracts
Smart contracts - computer protocols that regulate the exchange of crypt...
share
research
∙
10/03/2020
Computationally sound Bitcoin tokens
We propose a secure and efficient implementation of fungible tokens on B...
research
∙
06/06/2020
Bitcoin covenants unchained
Covenants are linguistic primitives that extend the Bitcoin script langu...
research
∙
05/18/2019