Smart Contracts

• Andrew Miller
• Arbitrum V2
• Bitml
• Dan Robinson - Ivy (2017-01-26)
• Discreet Log Contracts
• Formal Verification
• Improving Bitcoin Smart Contract Efficiency
• Jeremy Rubin - Sapio 101 (2020-07-11)
• Mixicles
• Present And Future Tech Challenges In Bitcoin
• Privacy Preserving Smart Contracts
• Quisquis
• Rootstock
• Russell Oconnor - Simplicity (2018-01-25)
• Scalable Smart Contracts Via Proofs And Single Use Seals
• Self Reproducing Coins As Universal Turing Machine
• The Future Of Bitcoin Smart Contracts
• Threshold Scriptless Scripts
• Using The Chain For What Chains Are Good For
• Vulnerability Detection
• Zkvm