jonas089 / DISEQ
distributed sequencer with zk consensus
☆28Updated this week
Alternatives and similar repositories for DISEQ:
Users that are interested in DISEQ are comparing it to the libraries listed below
- Rust implementation of KZG point evaluation☆30Updated last month
- Lecture notes & exercises from Sparkling Water Bootcamp in Cryptography 0b10.☆28Updated 4 months ago
- ☆31Updated 11 months ago
- This repo introduces Plonky3 and showcases a simple implementation of fibonacci constraints and execution trace.☆30Updated 4 months ago
- ZK Fault Proofs for Optimistic Rollups☆30Updated this week
- This repository contains PDF lecture notes from Succinct's internal training program, covering various aspects of zero-knowledge proof te…☆38Updated 4 months ago
- Honk Verifier in Solidity☆49Updated 4 months ago
- Library and gadget to do regex string matches in halo2☆35Updated 6 months ago
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆50Updated 3 weeks ago
- ☆35Updated 3 months ago
- ☆49Updated 11 months ago
- ☆2Updated 11 months ago
- A monorepo of reusable Noir circuits.☆31Updated this week
- In-browser ECDSA aggregation using Nova over secp/secq☆33Updated last year
- BigInt library for Aztec's noir language☆31Updated 11 months ago
- OS for next iteration of the world computer☆44Updated last year
- Breathe air☆22Updated 9 months ago
- A collection of all the project ideas involving zk, blockchains & what not☆24Updated last year
- Verify a chain of x509 certificates in halo2☆31Updated last year
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆31Updated 9 months ago
- Nova: Recursive SNARKs without trusted setup☆42Updated last year
- Client side zero-knowledge proving.☆42Updated last week
- SolChip8 is the first 100% on-chain Chip8 emulator smart contract where you can run chip8 games on EVM☆31Updated 3 months ago
- A community-developed re-implementation of the Starkware Stone Prover☆69Updated 3 months ago
- RLN on KZG☆20Updated last year
- A Noir's backend implementation using Gnark☆33Updated 11 months ago
- RLN circuits in Circom☆29Updated 7 months ago
- ☆51Updated this week
- Noir implementation of BattleZips circuits☆27Updated last year