Computationally sound Bitcoin tokens
Cryptography and Security
2021-02-10 v2
Abstract
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.
Keywords
Cite
@article{arxiv.2010.01347,
title = {Computationally sound Bitcoin tokens},
author = {Massimo Bartoletti and Stefano Lande and Roberto Zunino},
journal= {arXiv preprint arXiv:2010.01347},
year = {2021}
}