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
  ☆28Updated 3 years ago
• initc3 / SaUCy
  The modular protocol framework based on Universal Composability
  ☆18Updated 5 years ago
• sdiehl / sonic
  Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings
  ☆46Updated 5 years ago
• bigspider / accumulator
  Fast additive accumulators
  ☆14Updated 4 years ago
• petertodd / python-merbinnertree
  (Summed) Merklized Binary Radix Tree library
  ☆17Updated 8 years ago
• cwgoes / snarky-workshop
  Hackathon project for Snarky workshop.
  ☆11Updated 6 years ago
• Electric-Coin-Company / jubjub-prototype
  ☆59Updated 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
• GaloisInc / BLST-Verification
  BLST-Verification
  ☆22Updated 4 months ago
• alinush / ck
  A Python tool to manage and tag your bibliography (.bib and .pdf) files on Dropbox
  ☆13Updated 2 years ago
• jonspock / cryptopdfs
  Various papers on crypto pertinent to zero knowledge proofs, etc
  ☆24Updated 5 years ago
• comit-network / a2l-poc
  Proof of concept for the A2L protocol on top of Bitcoin.
  ☆19Updated 4 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
• elichai / ecc-secp256k1
  Elliptic curve operations over secp256k1 *not for production*
  ☆18Updated 3 years ago
• cwgoes / tm-proposer-idris
  Formalization of Tendermint proposer election properties
  ☆15Updated 6 years ago
• pairingwg / bls_standard
  BLS working standard draft
  ☆39Updated 5 years ago
• zcash / sapling-security-analysis
  ☆15Updated 6 years ago
• zcash / sapling-crypto
  Zcash "Sapling" cryptography
  ☆85Updated this week
• barryWhiteHat / baby_jubjub
  Supporting evidence for security of the baby_jubjub curve to be used in altbn128, Ethereum
  ☆39Updated 5 years ago
• amiller / lambda-auth
  authenticated data structures, generically
  ☆52Updated 8 years ago
• vdfresearch / vdfresearch.github.io
  Website!
  ☆22Updated 2 years ago
• snjax / groth16batchverifier
  Batch verifier for zkSNARKs
  ☆10Updated 2 years ago
• ZcashFoundation / powersoftau-attestations
  ☆25Updated 2 years ago
• kadena-io / kadenamint
  ☆22Updated 4 years ago
• amiller / haskell-saucy
  Super Amazing Universal Composability, Yeah!
  ☆34Updated 3 years ago
• pepper-project / tinyram
  An independent reimplementation of (vn)TinyRAM
  ☆38Updated 8 years ago
• apoelstra / taproot
  Taproot security proof
  ☆22Updated 5 years ago
• proofchains / python-proofmarshal
  ☆26Updated 7 years ago
• arkworks-rs / ivls
  Implementation of incrementally verifiable ledger system
  ☆17Updated 4 years ago