Alternatives and similar repositories for CryptoUtilities.jl

Users that are interested in CryptoUtilities.jl are comparing it to the libraries listed below

• jules / grumpkin
  Implementation of the Grumpkin curve in Rust.
  ☆29Updated last year
• pluto / edge
  client side proving
  ☆28Updated 2 months ago
• bcc-research / CryptoUtilitiesNotebooks
  Notebooks showing how to use CryptoUtilities
  ☆12Updated last month
• z80dev / puff
  A Huff compiler implemented in Racket
  ☆22Updated 2 months ago
• Rate-Limiting-Nullifier / kzg-rln
  RLN on KZG
  ☆20Updated last year
• gubsheep / Setup
  trusted setup MPC tools
  ☆12Updated 5 years ago
• lambdaclass / simpleworks
  Arkworks made simple for us: the non cryptographer software plumbers
  ☆21Updated 2 years ago
• recmo / pc-bench
  Benchmarking Polynomial Commitments
  ☆49Updated last year
• reilabs / lampe
  Extracting the semantics of Noir to Lean for formal verification
  ☆27Updated last week
• privacy-scaling-explorations / sol-whir
  Solidity libraries and contracts for verifying WHIR proofs on the EVM.
  ☆26Updated 4 months ago
• recmo / evm-groth16
  Groth16 verifier in EVM
  ☆21Updated last year
• proxima-one / kzg
  a simple implementation of the KZG polynomial commitment scheme
  ☆26Updated 3 years ago
• geometryxyz / fk
  https://eprint.iacr.org/2020/1516.pdf
  ☆19Updated 2 years ago
• Maddiaa0 / honk-verifier
  Honk Verifier in Solidity
  ☆50Updated 7 months ago
• DoHoonKim8 / stark-verifier
  ☆50Updated last year
• flashbots / suave-andromeda-revm
  Andromeda revm execution service
  ☆31Updated 9 months ago
• lyronctk / zijkstra
  Proving shortest paths with recursive SNARKs
  ☆12Updated 2 years ago
• geometryxyz / proof-toolbox
  Cryptographic protocols
  ☆39Updated 2 years ago
• 0xPolygonZero / hyperstark
  Early prototype.
  ☆23Updated 2 years ago
• onurinanc / noir-bn254
  BN254 Pairing Implementation in Noir
  ☆22Updated last year
• thor314 / ccs-hack
  a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness
  ☆48Updated last year
• geometryxyz / technical_notes
  A collection of technical notes from the Geometry research team.
  ☆47Updated 2 years ago
• hecmas / pairing-playground
  ☆11Updated last year
• protolambda / op-mordor
  Highly experimental fault-proof program for Optimism Bedrock
  ☆20Updated 2 years ago
• Dhole / polyexen
  Polynomial Expression Engine
  ☆35Updated last year
• NethermindEth / optimized_ecc_cairo
  Cairo implementation of operations over the elliptic curve BLS12-381
  ☆14Updated 2 years ago
• hashcloak / starkjub
  A STARK-friendly elliptic curve designed to work within Cairo circuits
  ☆27Updated 2 years ago
• lurk-lab / solidity-verifier
  Solidity implementation of Nova proving system verifier
  ☆61Updated last year
• refcell / varro
  A persistent, robust, and composable proposal service for rollup stacks written in pure rust.
  ☆18Updated 2 years ago
• geometryxyz / secp256k1_hash_to_curve
  ☆33Updated last year