Alternatives and similar repositories for contracts:

Users that are interested in contracts are comparing it to the libraries listed below

• privacy-scaling-explorations / rln
  ☆18Updated 2 years ago
• odradev / evm-at-risc0
  ☆17Updated 2 years ago
• gubsheep / Setup
  trusted setup MPC tools
  ☆12Updated 5 years ago
• AztecProtocol / Oliver
  Huff implementation of the BabyJubJub curve
  ☆13Updated 5 years ago
• ChainSafe / das-prototype
  Research prototypes of Data Availability Sampling for Ethereum (WIP)
  ☆16Updated 2 years ago
• aragonzkresearch / ark-ec-blind-signatures
  Blind signatures over elliptic curve implementation (native & r1cs constraints).
  ☆13Updated 2 years ago
• yondonfu / sol-baby-jubjub
  Solidity implementation of the baby jubjub curve
  ☆22Updated last year
• lyronctk / kzg-blob
  Prove multi-opens of EIP-4844 KZG blobs
  ☆14Updated last year
• thehubbleproject / hubble-bls
  BLS typescript wrapper to interact with the contract
  ☆15Updated 3 years ago
• zkemail / halo2-base64
  Base64 decoding circuit in halo2
  ☆14Updated last year
• vincenthuang75025 / zkxzk
  Demo of optimal Ate pairing implemented inside a zk-snark
  ☆12Updated 2 years ago
• nikkolasg / halo2-circuits
  ☆28Updated 3 years ago
• Maddiaa0 / noir-storage-proofs-demo
  Code used in a recent presentation showing off noir storage proofs
  ☆14Updated last year
• ZeroSync / giza
  A Cairo VM prover implemented using Winterfell
  ☆16Updated 2 years ago
• privacy-scaling-explorations / DefinitelySetup
  The repository for high quality Trusted setups for groth16 based SNARKS
  ☆22Updated last month
• Rate-Limiting-Nullifier / rln-contract
  Foundry project for the RLN
  ☆17Updated last year
• fluidex / snarkit
  A toolkit to compile and debug circom circuit.
  ☆28Updated last year
• geometryxyz / baloo
  Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworks
  ☆16Updated 2 years ago
• crate-crypto / proto-danksharding-crypto
  ☆12Updated 2 years ago
• AztecProtocol / plonk-with-lookups
  ☆18Updated 5 years ago
• puma314 / blspil
  Pairing implementation for BLS12-381 in PIL
  ☆10Updated 2 years ago
• jules / grumpkin
  Implementation of the Grumpkin curve in Rust.
  ☆29Updated last year
• Sovereign-Labs / Jupiter
  A research-only integration of Sovereign with Celestia
  ☆20Updated last year
• transmissions11 / muldiv-battle
  Gas comparison between Remco Bloemen's and Mikhail Vladimirov's mulDiv implementations.
  ☆18Updated 3 years ago
• powdr-labs / powdr-revme
  powdr application running Ethereum tests via revm
  ☆18Updated 10 months ago
• gballet / verkle-block-sample
  ☆39Updated 2 years ago
• matter-labs / solidity_plonk_verifier
  Solidity verifier for Plonk
  ☆42Updated 8 months ago
• nikkolasg / snarkpack
  snarkpack for arkwork
  ☆21Updated last year
• 0xProject / VDF
  A Solidity implementation of a VDF verifier contract
  ☆16Updated 2 years ago
• privacy-scaling-explorations / zkey-manager
  ☆18Updated last year