axiom-crypto / snark-verifier
☆96Updated 3 weeks ago
Alternatives and similar repositories for snark-verifier:
Users that are interested in snark-verifier are comparing it to the libraries listed below
- ☆74Updated last year
- Monorepo of halo2 crates☆267Updated 2 weeks ago
- halo2 ecc circuit☆116Updated 2 years ago
- ☆153Updated this week
- Out-of-circuit zkEVM implementation☆80Updated 6 months ago
- ☆68Updated 7 months ago
- Binary storage trie☆74Updated 2 months ago
- Generates a stark from a pil☆97Updated 6 months ago
- The schelling point for ZK applications.☆136Updated 9 months ago
- Poseidon hash circuit☆96Updated 3 months ago
- ☆115Updated this week
- zkevm-chain: Deprecated☆87Updated last year
- ☆95Updated 6 months ago
- ☆43Updated 4 months ago
- Polynomials Identity Language☆68Updated 11 months ago
- Mirror of AztecProtocol/aztec-packages/aztec-nr☆111Updated this week
- Plonky2 implementation for intmax ZK rollup☆34Updated last year
- ☆114Updated 6 months ago
- State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.☆211Updated this week
- ☆43Updated 5 months ago
- A performant, type-1 zkEVM written in Rust & SP1.☆131Updated 4 months ago
- Technical documentation of the zkEVM☆91Updated 8 months ago
- ☆79Updated last week
- The universal zkvm empoering ethereum as the global settlement layer☆123Updated this week
- Celestia -> EVM bridge☆132Updated this week
- Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.☆94Updated last month
- ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol☆60Updated 4 months ago
- ☆138Updated this week
- 🐺 Starknet Rust types 🦀☆69Updated last week
- Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs …☆174Updated 6 months ago