Hacker News new | ask | show | jobs
by CrunchyJams 2957 days ago
How do you mean? There are examples of formal verification working in the video. The resulting compiled smart contracts are on the live Ethereum blockchain.