7 citations · 7 across the 1 of their papers we have counts for
3 papers · 1 filter
Verifying liquidity of recursive Bitcoin contracts
Massimo Bartoletti, Stefano Lande, Maurizio Murgia +1
Smart contracts - computer protocols that regulate the exchange of crypto-assets in trustless environments - have become popular with the spread of blockchain technologies. A landm…
Computationally sound Bitcoin tokens
Massimo Bartoletti, Stefano Lande, Roberto Zunino
We propose a secure and efficient implementation of fungible tokens on Bitcoin. Our technique is based on a small extension of the Bitcoin script language, which allows the spendin…
Bitcoin covenants unchained
Massimo Bartoletti, Stefano Lande, Roberto Zunino
Covenants are linguistic primitives that extend the Bitcoin script language, allowing transactions to constrain the scripts of the redeeming ones. Advocated as a way of improving t…