In the zero-knowledge proof (ZK) circle, @Succinct is definitely a tough character breaking the "technical barrier". It doesn't want ZK to be limited to experts; it wants ordinary developers to easily use it, even making ZK a fundamental tool for the internet and blockchain.
With SP1, zero-knowledge proofs can be generated using everyday Rust code, as simple as running regular software on a computer; this is what everyone calls "ZK 2.0". Moreover, the performance is explosive, 28 times faster than similar zkVMs, and even the Tendermint light client proof can be compressed from 2 hours to 4 minutes, directly maximizing efficiency.
Having technology is not enough; Succinct has also built a decentralized Prover Network.
This is a two-sided market: those who need proofs (such as teams working on blockchain and cross-chain bridges) submit their requirements, and proof providers around the world compete for tasks through auctions. The more efficient ones get the orders. This network has already served over 1,700 programs, generated more than 5 million proofs, and helped large projects like Polygon and Mantle solve scalability and cross-chain issues, protecting over 4 billion dollars in assets.
@Succinct 's ambitions go beyond blockchain; it wants to "prove all software in the world". For example, in the future on the internet, AI-generated fake content and tampered sensor data can be verified for authenticity using its ZK proofs, and live broadcasts and news can rely on real-time ZK proofs for truthfulness.