@dantehrani.eth
A proof system with a Rust frontned isn’t just good for devex, it also keeps your stack simple.
Most of the time when you wanna zk prove a code execution you run the code natively (e.g. to get the output), and then run the proving.
1/2
https://blog.succinct.xyz/introducing-sp1/