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

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/

Handwriting circuits usually give you better performance, but being able to share code between proving and native execution keeps the tech stack simple, which is worth some sacrifice in performance.