succinctlabs / succinctx
The schelling point for ZK applications.
☆134Updated 6 months ago
Related projects ⓘ
Alternatives and complementary repositories for succinctx
- A performant, type-1 zkEVM written in Rust & SP1.☆125Updated last month
- ☆60Updated 6 months ago
- ☆146Updated this week
- Out-of-circuit zkEVM implementation☆81Updated 3 months ago
- 🐺 Starknet Rust types 🦀☆66Updated 2 weeks ago
- ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol☆58Updated last month
- ☆126Updated this week
- halo2 ecc circuit☆114Updated last year
- A STARK-based ZKVM which aims to Programmable Scalability, Programmable Privacy☆165Updated 3 months ago
- All of Aztec's workshops, resources, tutorials, ideas, and useful tools☆46Updated last week
- ☆102Updated this week
- ☆90Updated this week
- OP Succinct turns any OP stack rollup into a full type-1 zkEVM Rollup in 1 hour using SP1.☆99Updated this week
- A framework to build smart contracts on the Fluent L2 as well as blockchains and verifiable compute environments that compile to rWasm☆59Updated this week
- ☆147Updated 8 months ago
- Polynomials Identity Language☆67Updated 8 months ago
- Circom interpreter to arithmetic circuit description☆50Updated 2 months ago
- ☆29Updated last week
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 3 months ago
- Core components of the Polygon Miden rollup☆73Updated this week
- ☆59Updated 3 months ago
- Compare in-circuit and out-of-circuit VMs☆59Updated 3 months ago
- ☆193Updated 2 weeks ago
- ☆49Updated last week
- Implementation of zero-knowledge proof circuits for Tendermint.☆79Updated 7 months ago
- Rust Library for running the Starknet OS via the Cairo VM☆58Updated this week
- Implementation of zero-knowledge proof circuits for Vector, Avail's Data Attestation Bridge.☆45Updated 5 months ago
- ☆94Updated 3 months ago
- A storage system inspired by Besu using Starknet Merkle Trees☆60Updated this week