Alternatives and similar repositories for MAST:

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

• bitml-lang / bitml-compiler
  Compiler for BitML
  ☆26Updated 2 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
• initc3 / SaUCy
  The modular protocol framework based on Universal Composability
  ☆18Updated 4 years ago
• FiloSottile / powersoftau
  An independent implementation of the Powers of Tau MPC ceremony.
  ☆33Updated 6 years ago
• daira / jubjub
  Supporting evidence for security of the Jubjub curve to be used in Zcash
  ☆16Updated 3 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
• apoelstra / taproot
  Taproot security proof
  ☆23Updated 5 years ago
• proofchains / python-proofmarshal
  ☆26Updated 7 years ago
• cwgoes / snarky-workshop
  Hackathon project for Snarky workshop.
  ☆11Updated 5 years ago
• bigspider / accumulator
  Fast additive accumulators
  ☆14Updated 4 years ago
• zcash / sapling-security-analysis
  ☆15Updated 5 years ago
• evernym / coconut-rust
  Coconut: Threshold Issuance Selective Disclosure Credentials with Applications to Distributed Ledgers
  ☆14Updated 5 years ago
• zcash / sapling-mpc
  Multi-party computation for Zcash's "Sapling" zk-SNARK public parameters
  ☆30Updated last year
• matteocam / pay-to-sudoku-attack
  ☆10Updated 7 years ago
• amiller / haskell-saucy
  Super Amazing Universal Composability, Yeah!
  ☆33Updated 2 years ago
• petertodd / python-merbinnertree
  (Summed) Merklized Binary Radix Tree library
  ☆16Updated 8 years ago
• burdges / isogenies_vdf_uses
  Around applying the VDF construcrtion based on isogenies between super-signular elliptic curves
  ☆15Updated 3 years ago
• sdaveas / nipopow-verifier
  Verify your NIPoPoWs efficiently, here
  ☆10Updated 2 years ago
• kwantam / fffft
  fft impl for ff::Field
  ☆15Updated 8 months ago
• corda / msr-vc
  A copy of the verifiable computation projects from Microsoft Research, Pinnochio and Gepetto
  ☆18Updated 5 years ago
• daira / curvesearch
  Elliptic curve search experiments
  ☆35Updated last year
• dandelion-org / bips
  Bitcoin Improvement Proposals
  ☆14Updated 6 years ago
• cambrian / accumulator-demo
  A proof-of-concept for stateless Bitcoin nodes.
  ☆31Updated 5 years ago
• sipa / zkstuff
  Random collection of zero-knowledge stuff
  ☆18Updated 6 years ago
• GaloisInc / BLST-Verification
  BLST-Verification
  ☆21Updated 2 years ago
• dionyziz / popow
  Research and implementation for non-interactive blockchain proofs of proofs of work
  ☆49Updated 2 years ago
• matter-labs-archive / powersoftau
  Communal zk-SNARK MPC for Public Parameters
  ☆19Updated last year