Finhaven / whitepaper-club

Repo for the Finhaven whitepaper reading sessions

MIT License

18 stars 3 forks source link

ZEUS : Analyzing Safety of Smart Contracts #31

Open expede opened 6 years ago

expede commented 6 years ago

Why This is Interesting

Distinguishes correctness vs fairness. Description of verification approach (and prior art) and their system semantics. Large-scale analysis of existing contracts on Ethereum and Fabric.

Link to Paper(s)

ZEUS : Analyzing Safety of Smart Contracts

Additional Resources (optional)

Morning Paper Summary