JeremyRubin / MAST

Related projects ⓘ

Alternatives and complementary repositories for MAST

• bitml-lang / bitml-compiler
  Compiler for BitML
  ☆26Updated 2 years ago
• bigspider / accumulator
  Fast additive accumulators
  ☆14Updated 4 years ago
• daira / tweedle
  Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo
  ☆20Updated 2 years ago
• vdfresearch / vdfresearch.github.io
  Website!
  ☆21Updated 2 years ago
• cwgoes / snarky-workshop
  Hackathon project for Snarky workshop.
  ☆11Updated 5 years ago
• corda / msr-vc
  A copy of the verifiable computation projects from Microsoft Research, Pinnochio and Gepetto
  ☆18Updated 5 years ago
• daira / jubjub
  Supporting evidence for security of the Jubjub curve to be used in Zcash
  ☆16Updated 3 years ago
• initc3 / SaUCy
  The modular protocol framework based on Universal Composability
  ☆18Updated 4 years ago
• sdiehl / sonic
  Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings
  ☆45Updated 4 years ago
• Electric-Coin-Company / jubjub-prototype
  ☆58Updated 7 years ago
• argumentcomputer / lurk-lib
  Shared Lurk source code, including tests and library code.
  ☆18Updated 8 months ago
• FiloSottile / powersoftau
  An independent implementation of the Powers of Tau MPC ceremony.
  ☆33Updated 6 years ago
• pepper-project / tinyram
  An independent reimplementation of (vn)TinyRAM
  ☆37Updated 7 years ago
• narodnik / sapvi
  sha256(sha256(preimage)) in zk
  ☆13Updated 3 years ago
• petertodd / python-merbinnertree
  (Summed) Merklized Binary Radix Tree library
  ☆16Updated 8 years ago
• IAIK / gzkbpp
  Implementation of the ZKB++ proof system
  ☆20Updated 5 years ago
• barryWhiteHat / baby_jubjub
  Supporting evidence for security of the baby_jubjub curve to be used in altbn128, Ethereum
  ☆36Updated 5 years ago
• kframework / vyper-semantics
  KVyper: Semantics of Vyper in K
  ☆41Updated 6 years ago
• evernym / coconut-rust
  Coconut: Threshold Issuance Selective Disclosure Credentials with Applications to Distributed Ledgers
  ☆14Updated 5 years ago
• daira / r1cs
  Presentations about R1CS
  ☆18Updated 5 years ago
• cfrg / draft-irtf-cfrg-frost
  ☆22Updated this week
• zcash / sapling-mpc
  Multi-party computation for Zcash's "Sapling" zk-SNARK public parameters
  ☆30Updated last year
• pirapira / dry-analyzer
  Dr. Y's Ethereum Contract Analyzer
  ☆42Updated 2 years ago
• hyraxZK / hyraxZK
  Hyrax reference implementation: meta-repo with top-level makefile, etc
  ☆35Updated 6 years ago
• pairingwg / bls_standard
  BLS working standard draft
  ☆39Updated 5 years ago
• zcash / sapling-security-analysis
  ☆15Updated 5 years ago
• o1-labs / snarkette
  Pure OCaml implementation of the Groth-Maller SNARK verifier (and associated crypto)
  ☆53Updated 5 years ago
• mattgstevens / awesome-zero-knowledge-proofs
  A collection of videos, reading materials and tools for learning all about the ZK side of crypto.
  ☆19Updated 6 years ago
• drewstone / rust-miximus
  A zkSNARK implementation of a merkle tree membership preimage proof.
  ☆24Updated 5 years ago
• GaloisInc / BLST-Verification
  BLST-Verification
  ☆20Updated 2 years ago