jonas089 / DISEQ
distributed sequencer with zk consensus
☆30Updated last week
Alternatives and similar repositories for DISEQ:
Users that are interested in DISEQ are comparing it to the libraries listed below
- ☆31Updated last year
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆51Updated 2 weeks ago
- barretenburg in rust (here we go)☆98Updated last year
- Noir implementation of RSA-verify☆42Updated last year
- ☆40Updated 5 months ago
- Library and gadget to do regex string matches in halo2☆35Updated 9 months ago
- A community-developed re-implementation of the Starkware Stone Prover☆69Updated 5 months ago
- A simple, modern, ergonomic JSON-RPC router, using tower and axum☆52Updated last week
- Rust implementation of KZG point evaluation☆33Updated last week
- BigInt library for Aztec's noir language☆32Updated last year
- Email verification circuit in halo2☆68Updated 9 months ago
- OS for next iteration of the world computer☆44Updated last year
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆55Updated last year
- PoC of Revm execution in SGX☆80Updated last year
- Honk Verifier in Solidity☆50Updated 6 months ago
- A monorepo of reusable Noir circuits.☆39Updated last week
- ☆38Updated last year
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆99Updated this week
- This repo introduces Plonky3 and showcases a simple implementation of fibonacci constraints and execution trace.☆30Updated 6 months ago
- A collection of ZK light client libraries for various blockchains☆49Updated 4 months ago
- A Cryptography and Zero Knowledge Proof Research Repo Implementing Research papers, Cryptographic primitives, trying out imaginary exploi…☆31Updated 3 weeks ago
- A Noir's backend implementation using Gnark☆35Updated last year
- SolChip8 is the first 100% on-chain Chip8 emulator smart contract where you can run chip8 games on EVM☆32Updated 5 months ago
- client side proving☆28Updated last month
- ☆77Updated this week
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆107Updated last month
- In-browser ECDSA aggregation using Nova over secp/secq☆33Updated last year
- Smart contracts for onchain verification of SP1.☆88Updated last month
- Solidity contracts for a next-gen rollup system.☆65Updated 5 months ago