Visible to the public Biblio

Filters: Author is Lande, Stefano  [Clear All Filters]
2022-06-15
Bartoletti, Massimo, Lande, Stefano, Zunino, Roberto.  2021.  Computationally sound Bitcoin tokens. 2021 IEEE 34th Computer Security Foundations Symposium (CSF). :1–15.
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 spending conditions in a transaction to depend on the neighbour transactions. We show that our implementation is computationally sound: that is, adversaries can make tokens diverge from their ideal functionality only with negligible probability.