runtimeverification/verified-smart-contracts

Smart contracts which are formally verified

1 best points · 0 comments · 1 Hacker News post · 750 GitHub stars · View on GitHub

Hacker News discussions

• Formal Specification of Constant Product (x × y = k) Market Maker Model (2018) [pdf] (1 points, 0 comments, by firloop, 2021-12-20)