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 3 weeks ago
- ☆60Updated 6 months ago
- ☆143Updated this week
- Core components of the Polygon Miden rollup☆70Updated this week
- Out-of-circuit zkEVM implementation☆81Updated 2 months ago
- ☆184Updated this week
- ☆122Updated this week
- Polynomials Identity Language☆67Updated 8 months ago
- ☆87Updated this week
- 🐺 Starknet Rust types 🦀☆65Updated this week
- ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol☆58Updated last month
- ☆145Updated 8 months ago
- Generates a stark from a pil☆95Updated 3 months ago
- A STARK-based ZKVM which aims to Programmable Scalability, Programmable Privacy☆165Updated 3 months ago
- ☆93Updated 2 months ago
- halo2 ecc circuit☆114Updated last year
- Implementation of zero-knowledge proof circuits for Vector, Avail's Data Attestation Bridge.☆45Updated 5 months ago
- A storage system inspired by Besu using Starknet Merkle Trees☆55Updated last week
- Tooling for creating collaborative SNARKs for Circom circuits.☆94Updated this week
- ☆85Updated 3 months ago
- OP Succinct turns any OP stack rollup into a full type-1 zkEVM Rollup in 1 hour using SP1.☆91Updated 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
- ☆98Updated this week
- Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum☆85Updated 2 weeks ago
- Created for Web3 builders☆30Updated last year
- ☆84Updated this week
- Rust Library for running the Starknet OS via the Cairo VM☆56Updated this week
- ☆28Updated this week
- STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language☆102Updated last year