Soda Finance Hack: Can Formal Verification Prevent It? (Code Included)

AnChain.AI Team. 2020/10/1

Blog : here

Python Code : here

Name		Name	Last commit message	Last commit date
Latest commit History 12 Commits
.gitignore		.gitignore
README.md		README.md
blog_soda_fv.md		blog_soda_fv.md
internal.png		internal.png
soda.png		soda.png
soda_hack_z3.py		soda_hack_z3.py
txn.png		txn.png
youtube.png		youtube.png