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.

I don’t know if the team is working on an onchain verifier but even only supporting offchain use cases will be valuable enough imo. 

e.g. If the proving is fast enough it’s not impossible for a Farcaster hub to incorporate zk proofs for scaling.

Awesome 🎉  any word on a solidity verifier so proofs can be submitted for on chain interactions?