Bitcoin covenants unchained

v1v2 (latest)

Bitcoin covenants unchained

6 June 2020

Massimo Bartoletti

ArXiv (abs)PDF HTML

Papers citing "Bitcoin covenants unchained"

5 / 5 papers shown

Title
Secure compilation of rich smart contracts on poor UTXO blockchains Massimo Bartoletti R. Marchesin R. Zunino LRM 36 3 0 16 May 2023
Phoenix: A Formally Verified Regenerating Vault Uri Kirstein Shelly Grossman Michael Mirkin James Wilcox Ittay Eyal Shmuel Sagiv 20 3 0 02 Jun 2021
Verifying liquidity of recursive Bitcoin contracts Massimo Bartoletti Stefano Lande Maurizio Murgia R. Zunino 39 8 0 28 Nov 2020
Computationally sound Bitcoin tokens Massimo Bartoletti Stefano Lande R. Zunino 12 2 0 03 Oct 2020
Bitcoin Trace-Net: Formal Contract Verification at Signing Time J. Chiang 43 1 0 15 Jul 2020