Succinct: Every Rollup Will Be a ZK Rollup!
- Uma Royđť•Ź
Polynomials are quintessential in machine learning for establishing relationships between outputs and inputs. However, there is also a field in cryptography which could not be made possible without polynomials - zero-knowledge technology. In zero-knowledge proof systems, computations are often represented as arithmetic circuits, and these circuits are translated into polynomials. This process is crucial for generating proofs that can demonstrate the correctness of computations without revealing the underlying data. The involved complexity explains the massive adoption hurdle for zk rollups compared to optimistic ones. Succinct aims to simplify the use of zero-knowledge proofs by providing a zkVM (SP1) that allows code written in languages like Rust to be proven in a privacy-preserving way. By doing so, it aims to lower the barrier to implementing zk-rollups and increase their adoption.
Topics:
- Uma’s background and her interest in zero knowledge tech
- How Succinct’s story began
- ZK light clients
- ZK circuits
- SP1 and the RISC-V instruction set
- The prover network
- Use cases
- ZK rollups and commoditizing ZKPs
- Incentivizing provers
- Succinct’s business model
- Supported blockchain applications
- Bottlenecks in ZK adoption
- Succinct metrics
- SP1’s competitive advantage and future roadmap
- The real world impact of verifiability