Alternatives and similar repositories for articles-papers:

Users that are interested in articles-papers are comparing it to the libraries listed below

• ZcashFoundation / GrantProposals-2017Q4
  Submission site for Zcash Foundation grant proposals
  ☆25Updated 7 years ago
• pirapira / evmverif
  An EVM code verification framework in Coq
  ☆44Updated 8 years ago
• leithaus / casper
  Formal specification and reference implementation of Casper
  ☆15Updated 9 years ago
• petertodd / python-merbinnertree
  (Summed) Merklized Binary Radix Tree library
  ☆17Updated 8 years ago
• proofchains / python-proofmarshal
  ☆26Updated 7 years ago
• truthcoin / truthcoin-cpp
  Knowledge Revolution
  ☆27Updated 8 years ago
• jancarlsson / snarklib
  a C++ template library for zero knowledge proofs
  ☆49Updated 9 years ago
• bramcohen / MerkleSet
  A highly performant merkle set data structure. To be ported to C later.
  ☆74Updated 7 years ago
• ledgerlabs / toy-state-channels
  An educational "toy" implementation of fully abstracted state channels
  ☆49Updated 8 years ago
• tezos / tezos-papers
  Original position paper and white paper for Tezos
  ☆38Updated 6 years ago
• ebuchman / thesis
  ☆19Updated 8 years ago
• davidjaenson / equihash
  ☆24Updated 8 years ago
• obscuren / whisper-payment-channel
  Sample payment channel using whisper
  ☆36Updated 9 years ago
• rchain / architecture-docs
  Sphinx source for the architecture docs
  ☆25Updated 2 years ago
• zcash-hackworks / pay-to-sudoku
  Pay for the solution to a sudoku puzzle with a zero-knowledge contingent payment
  ☆102Updated 7 years ago
• tendermint / testnets
  Config files for connecting to testnets
  ☆17Updated 6 years ago
• dapp-studies / cryptoeconomics
  A collection of 🔥 resources & research on cryptoeconomics
  ☆27Updated 7 years ago
• o1-labs / snarkette
  Pure OCaml implementation of the Groth-Maller SNARK verifier (and associated crypto)
  ☆55Updated 5 years ago
• leithaus / pi4u
  A collection of papers about new models and applications of mobile process calculi
  ☆12Updated 5 years ago
• Blockstream / contracthashtool
  A simple implementation of Pay-to-Contract-Hash
  ☆90Updated 3 years ago
• makerdao / btc-market
  Trade bitcoins for tokens via btc-relay
  ☆27Updated 8 years ago
• tradle / about
  Network for portable financial-grade identity on blockchain
  ☆64Updated 10 years ago
• zack-bitcoin / chalang
  a language optimized for state channels on blockchains.
  ☆22Updated 4 years ago
• vishakh / blockinstruments
  Financial instruments on the Ethereum blockchain
  ☆19Updated 9 years ago
• naturalog / tauchain
  idni.org
  ☆75Updated 7 years ago
• bogatyy / grin-linkability
  Grin transaction data corresponding to research on transaction linkability
  ☆52Updated 5 years ago
• makerdao / simplecoin1
  Something to play with while we wait
  ☆20Updated 5 years ago
• pipermerriam / ethereum-computation-market
  A marketplace for trustless off chain computation.
  ☆55Updated 6 years ago
• etherex / pyepm
  Python-based EPM (Ethereum Package Manager) for Serpent 2 and Solidity contract deployment using YAML for package definitions.
  ☆28Updated 9 years ago
• amiller / redblackmerkle
  An authenticated data structure based on a red-black tree.
  ☆54Updated 9 years ago