Alternatives and similar repositories for MAST

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

• initc3 / SaUCy
  The modular protocol framework based on Universal Composability
  ☆18Updated 4 years ago
• bitml-lang / bitml-compiler
  Compiler for BitML
  ☆28Updated 3 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!
  ☆22Updated 2 years ago
• matteocam / pay-to-sudoku-attack
  ☆10Updated 7 years ago
• bigspider / accumulator
  Fast additive accumulators
  ☆14Updated 4 years ago
• pepper-project / tinyram
  An independent reimplementation of (vn)TinyRAM
  ☆37Updated 8 years ago
• daira / jubjub
  Supporting evidence for security of the Jubjub curve to be used in Zcash
  ☆16Updated 3 years ago
• zcash / sapling-security-analysis
  ☆15Updated 6 years ago
• burdges / isogenies_vdf_uses
  Around applying the VDF construcrtion based on isogenies between super-signular elliptic curves
  ☆15Updated 3 years ago
• snjax / groth16batchverifier
  Batch verifier for zkSNARKs
  ☆10Updated 2 years ago
• alinush / ck
  A Python tool to manage and tag your bibliography (.bib and .pdf) files on Dropbox
  ☆13Updated 2 years ago
• renproject / rzl-mpc-specification
  Specification of the RenVM MPC algorithm
  ☆19Updated 5 years ago
• narodnik / sapvi
  sha256(sha256(preimage)) in zk
  ☆14Updated 4 years ago
• pairingwg / bls_standard
  BLS working standard draft
  ☆39Updated 5 years ago
• cwgoes / tm-proposer-idris
  Formalization of Tendermint proposer election properties
  ☆15Updated 6 years ago
• cwgoes / snarky-workshop
  Hackathon project for Snarky workshop.
  ☆11Updated 5 years ago
• evernym / coconut-rust
  Coconut: Threshold Issuance Selective Disclosure Credentials with Applications to Distributed Ledgers
  ☆14Updated 5 years ago
• elichai / ecc-secp256k1
  Elliptic curve operations over secp256k1 *not for production*
  ☆18Updated 2 years ago
• drewstone / rust-miximus
  A zkSNARK implementation of a merkle tree membership preimage proof.
  ☆23Updated 6 years ago
• cfrg / draft-irtf-cfrg-frost
  ☆22Updated 4 months ago
• corda / msr-vc
  A copy of the verifiable computation projects from Microsoft Research, Pinnochio and Gepetto
  ☆18Updated 5 years ago
• FiloSottile / powersoftau
  An independent implementation of the Powers of Tau MPC ceremony.
  ☆33Updated 7 years ago
• Electric-Coin-Company / jubjub-prototype
  ☆59Updated 7 years ago
• jonspock / cryptopdfs
  Various papers on crypto pertinent to zero knowledge proofs, etc
  ☆24Updated 5 years ago
• apoelstra / taproot
  Taproot security proof
  ☆22Updated 5 years ago
• ZenGo-X / zengo-will
  ☆15Updated 4 years ago
• simonkamp / curve-trees
  ☆32Updated 7 months ago
• GaloisInc / BLST-Verification
  BLST-Verification
  ☆22Updated 4 months ago
• barryWhiteHat / baby_jubjub
  Supporting evidence for security of the baby_jubjub curve to be used in altbn128, Ethereum
  ☆39Updated 5 years ago