Contract Protocols

Developing secure Bitcoin contracts using BitML

Stefano Lande

Research Contract protocols

scalingbitcoin/tel-aviv-2019

Taproot, Graftroot, Etc

Contract protocols Taproot

bitcoin-core-dev-tech/2018-03

Scalable Smart Contracts Via Proofs And Single Use Seals

Peter Todd

Research Contract protocols

blockchain-protocol-analysis-security-engineering/2017

Ivy: A Declarative Predicate Language for Smart Contracts

Dan Robinson

Research Contract protocols

blockchain-protocol-analysis-security-engineering/2017

Privacy-Preserving Smart Contracts

Ranjit Kumaresan

Research Privacy enhancements Contract protocols

scalingbitcoin/montreal-2015

Formal verification: the road to complete security of smart contracts

Martin Lundfall

Research Security Contract protocols

stanford-blockchain-conference/2019

Improving Bitcoin Smart Contract Efficiency

Tadge Dryja

Taproot Contract protocols Dlc

mit-bitcoin-expo/mit-bitcoin-expo-2018

Present And Future Tech Challenges In Bitcoin

Peter Todd, Adam Back, Pierre Roberge

Contract protocols

baltic-honeybadger/2018

Self Reproducing Coins As Universal Turing Machine

Alexander Chepurnoy

Research Contract protocols

scalingbitcoin/tokyo-2018

Step by Step Towards Writing a Safe Contract: Insights from an Undergraduate Ethereum Lab

Andrew Miller, Elaine Shi

Contract protocols Ethereum

mit-bitcoin-expo/mit-bitcoin-expo-2015

The Future Of Bitcoin Smart Contracts

Max Keidun

Contract protocols

baltic-honeybadger/2018

es: contract-protocols