Smart Contracts
- Socratic Seminar - Discreet Log Contracts
- Jeremy Rubin - Sapio 101
- Simplicity
- Scalable Smart Contracts Via Proofs And Single Use Seals
- Ivy - A Declarative Predicate Language for Smart Contracts
- Arbitrum V2
- Bitml
- Discreet Log Contracts
- Formal Verification
- Improving Bitcoin Smart Contract Efficiency
- Mixicles
- Present And Future Tech Challenges In Bitcoin
- Privacy Preserving Smart Contracts
- Quisquis - A new design for anonymous cryptocurrencies
- Rootstock
- Self Reproducing Coins As Universal Turing Machine
- Step by Step Towards Writing a Safe Contract - Insights from an Undergraduate Ethereum Lab
- The Future Of Bitcoin Smart Contracts
- Threshold Scriptless Scripts
- Using The Chain For What Chains Are Good For
- Vulnerability Detection
- Zkvm - zero-knowledge virtual machine for fast confidential smart contracts