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…
A general framework for blockchain analytics
Massimo Bartoletti, Andrea Bracciali, Stefano Lande +1
Modern cryptocurrencies exploit decentralised blockchains to record a public and unalterable history of transactions. Besides transactions, further information is stored for differ…