Alternatives and similar repositories for gnark-bn254-verifier

Users that are interested in gnark-bn254-verifier are comparing it to the libraries listed below

• lambdaclass / pinocchio_lambda_vm
  Zero Knowledge Virtual Machine from scratch implementing Pinocchio
  ☆38Updated 2 years ago
• lucasgleba / zkRiscV
  A Risc-V CPU implemented as a zk-SNARK
  ☆52Updated 3 years ago
• arkworks-rs / spongefish
  Fiat-Shamir for the masses.
  ☆87Updated last month
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆70Updated 2 years ago
• DrPeterVanNostrand / halo2-merkle
  Halo2 Merkle tree circuits
  ☆33Updated 4 years ago
• blockblaz / zig-poseidon
  A Zig implementation of Poseidon2 hash function.
  ☆17Updated 2 months ago
• aszepieniec / stark-brainfuck
  Tutorial for designing and impementing a STARK-compatible VM, along with a fully functional Brainfark instruction set architecture, virtu…
  ☆58Updated last year
• lambdaclass / AES_zero_knowledge_proof_circuit
  ☆76Updated 2 years ago
• rubydusa / circom-lsp
  A Language Server Protocol Implementation for Circom
  ☆33Updated 2 years ago
• succinctlabs / sp1-helios
  On-chain Ethereum light client built with SP1
  ☆80Updated last month
• geometryxyz / wgsl-poseidon
  ☆33Updated 2 years ago
• ligeroinc / ligero-prover
  ☆59Updated last month
• a16z / vectorized-fields
  Vectorized AVX-512 256-bit arithmetic library
  ☆34Updated last year
• zemse / poseidon2-evm
  Gas efficient Poseidon2 hash on EVM
  ☆23Updated 3 weeks ago
• arnaucube / poseidon-rs
  Poseidon hash function
  ☆79Updated 2 years ago
• lurk-lang / bellpepper
  SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)
  ☆79Updated last year
• pluto / aes-circuits
  Circom AES-GCM circuits
  ☆34Updated 2 months ago
• matter-labs / zksync-crypto
  Cryptography libraries for ZKsync
  ☆39Updated last week
• succinctlabs / zkvm-perf
  ☆27Updated last year
• zkcrypto / merlin
  Composable proof transcripts for public-coin arguments of knowledge
  ☆52Updated last year
• toposware / cheetah
  A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.
  ☆39Updated 2 years ago
• mitschabaude / montgomery
  Fast implementation of multi-scalar multiplication in WebAssembly
  ☆34Updated last year
• rot256 / research-we-kzg
  Witness encryption for KZG openings
  ☆33Updated last year
• CharmsDev / polymath
  Polymath: Groth16 Is Not The Limit
  ☆31Updated 11 months ago
• maxgillett / halo2-fri-gadget
  A FRI verifier circuit for the Halo2 proof system
  ☆77Updated 2 years ago
• privacy-ethereum / nova-bench
  A collection of comparison-benchmarks for Nova & related Proving systems
  ☆44Updated 2 years ago
• arkworks-rs / sumcheck
  linear-time sumcheck protocol for multilinear polynomials and related addends
  ☆85Updated 2 months ago
• brech1 / keaki
  Extractable Witness Encryption for KZG Commitments
  ☆31Updated last year
• nulltea / tss-libp2p
  Rust-libp2p transport for {t,n}-threshold signature schemes
  ☆34Updated 3 years ago
• zcash / pasta_curves
  Rust implementation for zcash/pasta
  ☆84Updated 9 months ago