Alternatives and similar repositories for CryptoUtilitiesNotebooks

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

• b-wagn / hash-sig
  Prototype Rust implementation of hash-based signatures. See https://eprint.iacr.org/2025/055.pdf
  ☆47Updated last month
• phantomzone-org / obfustopia
  We're living in Obfustopia
  ☆27Updated last year
• bcc-research / CryptoUtilities.jl
  ☆15Updated 5 months ago
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆70Updated 2 years ago
• vicsn / witness-encryption-functional-commitment
  Based on https://eprint.iacr.org/2022/1510
  ☆26Updated last year
• rot256 / research-we-kzg
  Witness encryption for KZG openings
  ☆33Updated last year
• recmo / pc-bench
  Benchmarking Polynomial Commitments
  ☆51Updated 2 years ago
• geometryxyz / fk
  https://eprint.iacr.org/2020/1516.pdf
  ☆19Updated 3 years ago
• jules / grumpkin
  Implementation of the Grumpkin curve in Rust.
  ☆29Updated 2 years ago
• DoHoonKim8 / stark-verifier
  ☆50Updated last year
• CPerezz / caulk_plus
  A rusty implementation of the Caulk+ lookup algorithm.
  ☆12Updated 3 years ago
• zhenfeizhang / pasta-solidity
  A Solidity implementation of Halo2's Pasta curves
  ☆50Updated 2 years ago
• privacy-ethereum / sol-whir
  Solidity libraries and contracts for verifying WHIR proofs on the EVM.
  ☆28Updated last year
• onurinanc / noir-bn254
  BN254 Pairing Implementation in Noir
  ☆23Updated 2 years ago
• qope / plonky2-bn254-pairing
  plonky2 implementation of bn254 pairing
  ☆19Updated 2 years ago
• 0xPolygonZero / hyperstark
  Early prototype.
  ☆23Updated 2 years ago
• reilabs / lampe
  Extracting the semantics of Noir to Lean for formal verification
  ☆36Updated this week
• greenhat / omnizk
  Compiler framework for ZK VMs
  ☆35Updated 2 years ago
• geometryxyz / secp256k1_hash_to_curve
  ☆33Updated 2 years ago
• guberti / witness-encryption-demos
  World's first implementation of a (possibly) secure witness encryption scheme. Uses the CLT13 multilinear map.
  ☆36Updated 4 years ago
• Maddiaa0 / honk-verifier
  Honk Verifier in Solidity
  ☆50Updated last year
• QEDProtocol / plonky2.5
  🪩 verify plonky3 proofs in plonky2
  ☆19Updated last year
• GaloisInc / zk-lean
  zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements
  ☆19Updated last week
• halo2-ce / halo2
  ☆30Updated 3 years ago
• zeropoolnetwork / fawkes-crypto
  Fawkes-Crypto - zkSNARKs framework
  ☆22Updated 2 years ago
• arielgabizon / Lectures
  ☆28Updated 3 weeks ago
• Orbis-Tertius / tiny-ram-halo2
  A program for creating and verifying zkSNARKs to prove the results of Orbis smart contract executions and other TinyRAM program execution…
  ☆39Updated 3 years ago
• iden3 / circom-witnesscalc
  ☆21Updated 2 weeks ago
• lurk-lab / bellpepper-gadgets
  A library of gadgets compatible with bellpepper and bellperson (contact: @huitseeker)
  ☆18Updated 11 months ago
• kobigurk / legogro16
  LegoGroth16 implementation on top of Zexe
  ☆25Updated 4 years ago