3 ms·Tezos – Cryptocurrency with Staking and Formal Verification for Contracts4 points by lnsp 7y ago