The proof systems used by Mina
Why do you think that https://github.com/starkware-libs/cairo is a good alternative to proof-systems
The proof systems used by Mina
Why do you think that https://github.com/starkware-libs/cairo is a good alternative to proof-systems