Alternatives and similar repositories for MAST:

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

• vdfresearch / vdfresearch.github.io
  Website!
  ☆22Updated 2 years ago
• initc3 / SaUCy
  The modular protocol framework based on Universal Composability
  ☆18Updated 4 years ago
• bigspider / accumulator
  Fast additive accumulators
  ☆14Updated 4 years ago
• Electric-Coin-Company / jubjub-prototype
  ☆59Updated 7 years ago
• barryWhiteHat / baby_jubjub
  Supporting evidence for security of the baby_jubjub curve to be used in altbn128, Ethereum
  ☆39Updated 5 years ago
• bitml-lang / bitml-compiler
  Compiler for BitML
  ☆28Updated 3 years ago
• daira / jubjub
  Supporting evidence for security of the Jubjub curve to be used in Zcash
  ☆16Updated 3 years ago
• zcash / sapling-crypto
  Zcash "Sapling" cryptography
  ☆84Updated 2 months ago
• FiloSottile / powersoftau
  An independent implementation of the Powers of Tau MPC ceremony.
  ☆33Updated 7 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
• alinush / ck
  A Python tool to manage and tag your bibliography (.bib and .pdf) files on Dropbox
  ☆13Updated 2 years ago
• zcash / sapling-mpc
  Multi-party computation for Zcash's "Sapling" zk-SNARK public parameters
  ☆30Updated 2 years ago
• cambrian / accumulator-demo
  A proof-of-concept for stateless Bitcoin nodes.
  ☆31Updated 6 years ago
• cwgoes / snarky-workshop
  Hackathon project for Snarky workshop.
  ☆11Updated 5 years ago
• matter-labs-archive / alpha_line
  MPC implementation for a structured reference string (SRS) generation for SONIC proof system
  ☆24Updated 6 years ago
• runtimeverification / casper-proofs
  Coq definitions and lemmas for verification of Casper
  ☆18Updated 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.
  ☆20Updated 6 years ago
• zcash / sapling-security-analysis
  ☆15Updated 5 years ago
• sdiehl / sonic
  Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings
  ☆45Updated 5 years ago
• elichai / ecc-secp256k1
  Elliptic curve operations over secp256k1 *not for production*
  ☆18Updated 2 years ago
• petertodd / python-merbinnertree
  (Summed) Merklized Binary Radix Tree library
  ☆17Updated 8 years ago
• GuildOfWeavers / AirAssembly
  Low-level language for encoding AIR of computations
  ☆35Updated last year
• corda / msr-vc
  A copy of the verifiable computation projects from Microsoft Research, Pinnochio and Gepetto
  ☆18Updated 5 years ago
• GaloisInc / BLST-Verification
  BLST-Verification
  ☆22Updated 2 months ago
• matteocam / pay-to-sudoku-attack
  ☆10Updated 7 years ago
• amiller / instant-poker
  Off-chain poker in Ethereum
  ☆22Updated 8 years ago
• pepper-project / tinyram
  An independent reimplementation of (vn)TinyRAM
  ☆37Updated 8 years ago
• cfromknecht / tpec
  2P-ECDSA: Two-Party ECDSA MultiSignatures
  ☆48Updated 5 years ago
• renproject / rzl-mpc-specification
  Specification of the RenVM MPC algorithm
  ☆19Updated 4 years ago
• Chia-Network / vdf-competition
  ☆25Updated 2 years ago