Bitcoin covenants unchained

@inproceedings{Bartoletti2020BitcoinCU,
  title={Bitcoin covenants unchained},
  author={Massimo Bartoletti and Stefano Lande and R. Zunino},
  booktitle={ISoLA},
  year={2020}
}
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 the expressiveness of Bitcoin contracts while preserving the simplicity of the UTXO design, various forms of covenants have been proposed over the years. A common drawback of the existing descriptions is the lack of formalization, making it difficult to reason about properties and supported use cases. In this paper we… Expand
Phoenix: A Formally Verified Regenerating Vault
Bitcoin Trace-Net: Formal Contract Verification at Signing Time
Computationally sound Bitcoin tokens
Reliable Smart Contracts

References

SHOWING 1-10 OF 35 REFERENCES
Bitcoin Covenants
Native Custom Tokens in the Extended UTXO Model
A formal model of Bitcoin transactions
BitML: A Calculus for Bitcoin Smart Contracts
Dissecting Ponzi schemes on Ethereum: identification, analysis, and impact
Renegotiation and Recursion in Bitcoin Contracts
Taproot: SegWit version 1 spending rules (2020)
  • BIP 341,
  • 2020
The Extended UTXO Model
UTXOsf ma: UTXO with Multi-asset Support
...
1
2
3
4
...