Alternatives and similar repositories for MyZKP

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

• PetraProver / PetraVM
  A verifiable supercomputer
  ☆73Updated 3 weeks ago
• alpenlabs / alpen
  Rust implementation of the Alpen protocol
  ☆77Updated this week
• argumentcomputer / sphinx
  An observatory fork of SP1
  ☆71Updated 5 months ago
• Neptune-Crypto / twenty-first
  Collection of mathematics routines and cryptography for the twenty-first century
  ☆85Updated 3 weeks ago
• lambdaclass / pinocchio_lambda_vm
  Zero Knowledge Virtual Machine from scratch implementing Pinocchio
  ☆39Updated last year
• BrianSeong99 / Plonky3_RangeCheck
  This repo introduces concepts on constraint degree and optimization technics, as well as example implementations of Range Checks using Pl…
  ☆17Updated 3 months ago
• andrewmilson / ecfft
  Elliptic Curve Fast Fourier Transform built on @arkworks-rs
  ☆67Updated 2 years ago
• lurk-lang / arecibo
  An advanced fork of Nova (contact:@huitseeker)
  ☆85Updated 4 months ago
• lambdaclass / AES_zero_knowledge_proof_circuit
  ☆73Updated 2 years ago
• arkworks-rs / spongefish
  Fiat-Shamir for the masses.
  ☆73Updated this week
• geometryxyz / protostar
  ☆51Updated last year
• 0xPolygonZero / paladin
  Bringing divine order to remote task execution.
  ☆27Updated 7 months ago
• Lagrange-Labs / reckle-trees
  ☆30Updated last year
• kevaundray / plookup
  ☆40Updated 2 years ago
• developeruche / cryptography-n-zk-research
  A Cryptography and Zero Knowledge Proof Research Repo Implementing Research papers, Cryptographic primitives, trying out imaginary exploi…
  ☆46Updated last week
• aszepieniec / stark-brainfuck
  Tutorial for designing and impementing a STARK-compatible VM, along with a fully functional Brainfark instruction set architecture, virtu…
  ☆56Updated 11 months ago
• yetanotherco / zkRust
  ☆40Updated 8 months ago
• ICME-Lab / zkEngine_dev
  A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.
  ☆37Updated last week
• CharmsDev / polymath
  Polymath: Groth16 Is Not The Limit
  ☆29Updated 5 months ago
• simonkamp / curve-trees
  ☆33Updated 9 months ago
• bgillesp / pazk
  Implementations of algorithms and protocols from Justin Thaler's "Proofs, Arguments, and Zero-knowledge"
  ☆21Updated 2 years ago
• 0xMiden / air-script
  A domain-specific language for writing AIR constraints for STARKs
  ☆86Updated last week
• arkworks-rs / spartan
  Spartan on Arkworks
  ☆42Updated 7 months ago
• TomWambsgans / Whirlaway
  A pqSNARK with lightweight proofs, powered by the Whir PCS.
  ☆24Updated this week
• succinctlabs / sp1-helios
  On-chain Ethereum light client built with SP1
  ☆60Updated 2 weeks ago
• renegade-fi / ark-mpc
  A framework for SPDZ-style maliciously-secure MPC.
  ☆54Updated 6 months ago
• scroll-tech / ceno
  Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol
  ☆117Updated this week
• CPerezz / Awesome-rust-articles
  A curated list of rust articles worth reading
  ☆23Updated 2 years ago
• gy001 / hypercube
  ☆41Updated last year
• BrianSeong99 / Plonky3_Fibonacci
  This repo introduces Plonky3 and showcases a simple implementation of fibonacci constraints and execution trace.
  ☆34Updated 3 weeks ago