Alternatives and similar repositories for blockchaincourse:

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

• mit-dci / zkledger
  Privacy-preserving auditing for distributed ledgers
  ☆66Updated 6 years ago
• amiller / haskell-saucy
  Super Amazing Universal Composability, Yeah!
  ☆34Updated 2 years ago
• mc2-umd / ethereumlab
  ☆71Updated 6 years ago
• sdiehl / pairing
  Optimised bilinear pairings over elliptic curves
  ☆55Updated last year
• runtimeverification / algorand-verification
  Formal verification of the Algorand consensus protocol
  ☆26Updated 2 years ago
• initc3 / SaUCy
  The modular protocol framework based on Universal Composability
  ☆18Updated 4 years ago
• yangl1996 / prism-rust
  Rust implementation of the Prism consensus protocol
  ☆101Updated 2 years ago
• spring-epfl / zksk
  Zero-Knowledge Swiss Knife
  ☆94Updated 2 years ago
• citp / ThresholdECDSA
  ☆38Updated 6 years ago
• verse-lab / toychain
  A minimalistic blockchain consensus implemented and verified in Coq
  ☆111Updated 4 years ago
• bitml-lang / bitml-compiler
  Compiler for BitML
  ☆28Updated 3 years ago
• mit-dci / zksigma
  A library for generating non-interactive proofs of knowledge without trusted setup
  ☆29Updated 6 years ago
• sdiehl / sonic
  Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings
  ☆45Updated 4 years ago
• sdiehl / zkp
  A framework to execute and verify algorithms using Groth16 zkSNARKs.
  ☆89Updated 4 years ago
• lsds / Teechain
  Teechain: A Secure Payment Network with Asynchronous Blockchain Access
  ☆53Updated 5 years ago
• bbuenz / BulletProofLib
  Library for generating non-interactive zero knowledge proofs without trusted setup (Bulletproofs)
  ☆178Updated 2 years ago
• Consensys / zsl-q
  ZSL on Quorum
  ☆73Updated 6 years ago
• pepper-project / pequin
  A system for verifying outsourced computations, and applying SNARKs. Simplified release of the main Pepper codebase.
  ☆125Updated 2 years ago
• omelkonian / formal-utxo
  Formalization of the UTxO abstract model for (bitcoin-style) blockchain transactions.
  ☆14Updated 4 months ago
• zkpstandard / zkreference
  The official repository hosting the ZKProof Community Reference & Proposals documents.
  ☆103Updated 2 years ago
• sdiehl / schnorr-nizk
  Schnorr Protocol for Non-interactive Zero-Knowledge Proofs
  ☆75Updated 5 years ago
• citp / mining_simulator
  Simulation framework for non-standard mining strategies
  ☆57Updated 3 years ago
• amiller / python-zk-proofs
  ☆25Updated 7 years ago
• apoelstra / secp256k1-zkp
  Personal fork of -zkp. Has some old mimblewimble stuff but mostly I just PR everything upstream now.
  ☆84Updated 9 months ago
• Zilliqa / scilla-coq
  State-Transition Systems for Smart Contracts
  ☆24Updated 4 years ago
• balzac-lang / balzac
  Balzac is a domain-specific language to write Bitcoin transactions.
  ☆25Updated 3 weeks ago
• spring-epfl / voteagain
  Proof of concept code for VoteAgain paper
  ☆10Updated last year
• algorand / pointproofs
  ☆48Updated last year
• runtimeverification / iele-semantics
  Semantics of Virtual Machine for IELE prototype blockchain
  ☆132Updated last year
• blockchain-research / Paper
  A repository for blockchain research papers
  ☆17Updated 5 years ago