Alternatives and similar repositories for PADL

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

• tobias-rothmann / Polynomial-Commitment-Schemes
  Formalizing Polynomial Commitment Schemes in the Interactive Theorem Prover Isabelle.
  ☆10Updated 2 months ago
• BoltonBailey / formal-snarks-project
  A formal verification of Linear PCP SNARKs.
  ☆53Updated 9 months ago
• o1-labs / o1js-bindings
  Bindings for o1js to lower layers of the proof system and the Mina transaction logic
  ☆13Updated 3 weeks ago
• eniac / Reef
  Reef: A zkSNARK system for proving that a committed document matches a regex
  ☆73Updated 10 months ago
• reilabs / proven-zk
  A support library for working with zero knowledge cryptography in Lean 4.
  ☆37Updated last week
• 0xPolygonZero / plonky
  Recursive SNARKs based on Plonk and Halo
  ☆116Updated 3 years ago
• geometryxyz / protostar
  ☆51Updated last year
• anoma / zkp-compiler-shootout
  Evaluating & benchmarking ZKP compilation strategies.
  ☆120Updated last year
• PetraProver / PetraVM
  A verifiable supercomputer
  ☆53Updated this week
• Trivo25 / o1js-elgamal
  Implementation of different versions of the partial homomorphic encryption algorithm ElGamal in SnarkyJS.
  ☆21Updated last year
• emilianobonassi / zkFHE
  Verifiable and confidential computation based on ZKP and FHE, powered by risc0 zkVM.
  ☆82Updated 2 years ago
• guruvamsi-policharla / silent-threshold-encryption
  A silent threshold encryption scheme, which does not require any interaction during the setup phase.
  ☆34Updated this week
• zksecurity / mina-attestations
  Private Attestations for Mina wallets
  ☆13Updated last month
• iden3 / ffjavascript
  Finite Field Library in Javascript
  ☆54Updated this week
• garethtdavies / zkAppPool
  A zkApp based staking pool for MINA
  ☆15Updated 2 years ago
• zcash / pasta_curves
  Rust implementation for zcash/pasta
  ☆84Updated last month
• paulmillr / micro-zk-proofs
  Create & verify zero-knowledge SNARK proofs in parallel, using noble cryptography
  ☆47Updated this week
• openvm-org / stark-backend
  Proof system backends for OpenVM.
  ☆29Updated last week
• lindy-labs / aegis
  Verify Cairo contracts in Lean 4
  ☆14Updated this week
• arkworks-rs / spongefish
  Fiat-Shamir for the masses.
  ☆64Updated last month
• a16z / zkvm-benchmarks
  Benchmarks of popular zkVMs including Jolt
  ☆59Updated last year
• summa-dev / summa-solvency
  Monorepo for Summa Proof of Solvency Protocol
  ☆97Updated 8 months ago
• onurinanc / o1js-groth16
  ☆11Updated last year
• Verified-zkEVM / ArkLib
  Formally Verified Arguments of Knowledge in Lean
  ☆70Updated this week
• zcash / orchard
  Implementation of the Zcash Orchard Protocol
  ☆55Updated last week
• 0xPolygonZero / r1cs
  A Rust library for building R1CS gadgets
  ☆89Updated 3 years ago
• ICME-Lab / zkEngine_dev
  A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.
  ☆34Updated last week
• iden3 / r1csfile
  r1cs file format parser
  ☆24Updated last year
• enricobottazzi / zk-fhe
  Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme
  ☆113Updated last year
• jpmorganchase / Kinexys-ssi-sdk
  Kinexys Self Sovereign Identity SDK
  ☆34Updated 5 months ago