jpmorganchase / PADLLinks
PADL - Private, Auditable and Distributed ledger, is a tool based on zero-knowledge proofs for exploring and building private and auditable ledger in blockchain applications of financial institutes.
☆13Updated last month
Alternatives and similar repositories for PADL
Users that are interested in PADL are comparing it to the libraries listed below
Sorting:
- Bindings for o1js to lower layers of the proof system and the Mina transaction logic☆13Updated 2 months ago
- Zeko: zk-Rollup for Mina, a succinct blockchain☆30Updated last week
- Ocaml-solidity provides a Solidity parser and typechecker☆33Updated last year
- A support library for working with zero knowledge cryptography in Lean 4.☆38Updated 2 weeks ago
- Formal verification for Solidity smart contracts with Rocq 🐓 Verify arbitrary properties on your smart contracts and make no bugs!☆33Updated last month
- A formal verification of Linear PCP SNARKs.☆55Updated 11 months ago
- Verify Cairo contracts in Lean 4☆14Updated last month
- Formally Verified Arguments of Knowledge in Lean☆85Updated this week
- Formal verification of the Algorand consensus protocol☆27Updated 2 years ago
- ☆61Updated 8 months ago
- An implementation of a DKG protocol for front-running protection on Anoma.☆82Updated 2 years ago
- Reef: A zkSNARK system for proving that a committed document matches a regex☆74Updated last year
- Formalizing Polynomial Commitment Schemes in the Interactive Theorem Prover Isabelle.☆10Updated 4 months ago
- ☆12Updated 7 months ago
- a zero-knowledge proof-carrying code platform for Lean 4☆27Updated this week
- Lean circuit DSL☆85Updated this week
- Formalized Cryptography Proofs in Lean 4☆35Updated this week
- A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover☆71Updated 2 years ago
- An EVM interpreter in Dafny☆130Updated 8 months ago
- Kinexys Self Sovereign Identity SDK☆34Updated 7 months ago
- A domain-specific language for writing AIR constraints for STARKs☆86Updated this week
- All contents related to the Mina grant program and projects in scope☆15Updated 3 years ago
- Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common …☆84Updated 3 months ago
- Finite Field Library in Javascript☆54Updated 2 months ago
- Pure OCaml implementation of the Groth-Maller SNARK verifier (and associated crypto)☆55Updated 6 years ago
- Formal verification of the zkWasm project☆12Updated 11 months ago
- Elliptic curve library secp256k1 wrapper for Ocaml☆24Updated last year
- The official repository hosting the ZKProof Community Reference & Proposals documents.☆107Updated 2 years ago
- Source code for "Building Cryptographic Proofs from Hash Functions"☆208Updated 2 weeks ago
- A curated list of zero-knowledge folding schemes☆300Updated 11 months ago