Bisht13 / gnark-bn254-verifierLinks
☆13Updated last year
Alternatives and similar repositories for gnark-bn254-verifier
Users that are interested in gnark-bn254-verifier are comparing it to the libraries listed below
Sorting:
- Zero Knowledge Virtual Machine from scratch implementing Pinocchio☆38Updated 2 years ago
- A Risc-V CPU implemented as a zk-SNARK☆52Updated 3 years ago
- Fiat-Shamir for the masses.☆87Updated last month
- Curdleproofs is a zero-knowledge shuffle argument☆70Updated 2 years ago
- Halo2 Merkle tree circuits☆33Updated 4 years ago
- A Zig implementation of Poseidon2 hash function.☆17Updated 2 months ago
- Tutorial for designing and impementing a STARK-compatible VM, along with a fully functional Brainfark instruction set architecture, virtu…☆58Updated last year
- ☆76Updated 2 years ago
- A Language Server Protocol Implementation for Circom☆33Updated 2 years ago
- On-chain Ethereum light client built with SP1☆80Updated last month
- ☆33Updated 2 years ago
- ☆59Updated last month
- Vectorized AVX-512 256-bit arithmetic library☆34Updated last year
- Gas efficient Poseidon2 hash on EVM☆23Updated 3 weeks ago
- Poseidon hash function☆79Updated 2 years ago
- SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)☆79Updated last year
- Circom AES-GCM circuits☆34Updated 2 months ago
- Cryptography libraries for ZKsync☆39Updated last week
- ☆27Updated last year
- Composable proof transcripts for public-coin arguments of knowledge☆52Updated last year
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆39Updated 2 years ago
- Fast implementation of multi-scalar multiplication in WebAssembly☆34Updated last year
- Witness encryption for KZG openings☆33Updated last year
- Polymath: Groth16 Is Not The Limit☆31Updated 11 months ago
- A FRI verifier circuit for the Halo2 proof system☆77Updated 2 years ago
- A collection of comparison-benchmarks for Nova & related Proving systems☆44Updated 2 years ago
- linear-time sumcheck protocol for multilinear polynomials and related addends☆85Updated 2 months ago
- Extractable Witness Encryption for KZG Commitments☆31Updated last year
- Rust-libp2p transport for {t,n}-threshold signature schemes☆34Updated 3 years ago
- Rust implementation for zcash/pasta☆84Updated 9 months ago