3 ms·
Most important smart contracts like MakerDAO are formally verified already and there are ways to code smart contracts in functional and other safer languages.
by Sargos 4y ago
Most important smart contracts like MakerDAO are formally verified already and there are ways to code smart contracts in functional and other safer languages.