Re:$34M permanently locked into AkuDreams contract forever d...
by Sargos on Sunday April 24, 2022 @03:26AM
(#31141975)
Most important smart contracts like MakerDAO are formally verified already and there are ways to code smart contracts in functional and other safer languages.
[ Parent
| on HN ]
There are no comments on this comment yet.