Hacker News new | ask | show | jobs
by abzfd 1817 days ago
tezos has formally verifiable smart contracts for exactly this reason