search

MinaProtocol / mina

Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
https://minaprotocol.com
Apache License 2.0
1.97k stars 522 forks source link

Fix interpreter soundness FIXME's #15709

Open joseandro opened 1 month ago

joseandro commented 1 month ago

TODO: list all soundness-related FIXMEs before starting this work.