News for hackers. Stuff that matters.
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.

There are no comments on this comment yet.