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/

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

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.

For sure. Most of the use cases I have in mind involve paying people who can prove they did a thing, so on-chain verifiers are extra valuable to me. Super exciting progress though, excited to check it out 🎉

Says on the roadmap they want to use Groth16 for on-chain verification for Ethereum…