succinctlabs / succinctxLinks
The schelling point for ZK applications.
β142Updated last year
Alternatives and similar repositories for succinctx
Users that are interested in succinctx are comparing it to the libraries listed below
Sorting:
- Out-of-circuit zkEVM implementationβ80Updated last year
- πΊ Starknet Rust types π¦β77Updated this week
- β186Updated 5 months ago
- Succinct's Production-Grade Proving Engine for the OP Stack.β200Updated this week
- Smart contracts for onchain verification of SP1.β122Updated 3 weeks ago
- Reference implementation of the node for the Miden blockchainβ77Updated this week
- β55Updated 9 months ago
- β159Updated 8 months ago
- β80Updated 9 months ago
- Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.β139Updated 4 months ago
- β65Updated last year
- halo2 ecc circuitβ116Updated 2 years ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.β143Updated last week
- A STARK-based ZKVM which aims to Programmable Scalability, Programmable Privacyβ163Updated 9 months ago
- β75Updated 2 years ago
- Core components of the Miden protocolβ93Updated this week
- Generates a stark from a pilβ98Updated last year
- Compare in-circuit and out-of-circuit VMsβ60Updated last year
- All of Aztec's workshops, resources, tutorials, ideas, and useful toolsβ61Updated last week
- ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocolβ61Updated last year
- Go SDK for building AVSs on Eigenlayerβ76Updated 2 weeks ago
- Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs β¦β170Updated 6 months ago
- β165Updated this week
- β65Updated this week
- β63Updated last year
- β78Updated last month
- Mirror of AztecProtocol/aztec-packages/aztec-nrβ127Updated this week
- A monorepo containing all the custom components of the Astria network, a decentralized system that replaces traditional sequencers, offerβ¦β139Updated last week
- Poseidon hash circuitβ105Updated last year
- Kakarot zkEVM - rewrite in the latest version of Cairoβ133Updated 10 months ago