Smart contracts - computer protocols that regulate the exchange of
crypt...
We propose a secure and efficient implementation of fungible tokens on
B...
Covenants are linguistic primitives that extend the Bitcoin script langu...
We present a toolchain for developing and verifying smart contracts that...