Alternatives and similar repositories for GrantProposals-2017Q4:

Users that are interested in GrantProposals-2017Q4 are comparing it to the libraries listed below

• truthcoin / truthcoin-cpp
  Knowledge Revolution
  ☆27Updated 8 years ago
• ZcashFoundation / GrantProposals-2018Q2
  Submission site for 2018Q2 Zcash Foundation grant proposals.
  ☆26Updated 6 years ago
• pirapira / evmverif
  An EVM code verification framework in Coq
  ☆44Updated 8 years ago
• petertodd / python-merbinnertree
  (Summed) Merklized Binary Radix Tree library
  ☆16Updated 8 years ago
• proofchains / python-proofmarshal
  ☆26Updated 7 years ago
• Blockstream / borromean_paper
  Technical paper on the Borromean ring signature construction
  ☆47Updated 7 years ago
• pirapira / dry-analyzer
  Dr. Y's Ethereum Contract Analyzer
  ☆42Updated 2 years ago
• paritytech / ethkey
  Ethereum key generator
  ☆33Updated 7 years ago
• Electric-Coin-Company / jubjub-prototype
  ☆58Updated 7 years ago
• davidjaenson / equihash
  ☆24Updated 8 years ago
• obscuren / whisper-payment-channel
  Sample payment channel using whisper
  ☆36Updated 9 years ago
• makerdao / simplecoin1
  Something to play with while we wait
  ☆20Updated 5 years ago
• zcash-hackworks / zbxcat
  A work-in-progress for Zcash Bitcoin Cross-Chain Atomic Transactions
  ☆61Updated 7 years ago
• gnosis / dex-zksnarks
  Code to generate snark proofs for batch auction result validation of the Gnosis d.exchange
  ☆46Updated 6 years ago
• splix / bec
  BitEther Coin
  ☆13Updated 6 years ago
• matteocam / pay-to-sudoku-attack
  ☆10Updated 7 years ago
• orisi / wiki
  ☆70Updated 10 years ago
• bogatyy / grin-linkability
  Grin transaction data corresponding to research on transaction linkability
  ☆52Updated 5 years ago
• ebfull / hackishlibsnarkbindings
  ☆13Updated 8 years ago
• vishakh / blockinstruments
  Financial instruments on the Ethereum blockchain
  ☆19Updated 8 years ago
• loiluu / peacerelay
  Moved to this repo https://github.com/KyberNetwork/peace-relay
  ☆29Updated 7 years ago
• leithaus / casper
  Formal specification and reference implementation of Casper
  ☆15Updated 9 years ago
• makerdao / btc-market
  Trade bitcoins for tokens via btc-relay
  ☆27Updated 7 years ago
• dionyziz / popow
  Research and implementation for non-interactive blockchain proofs of proofs of work
  ☆49Updated 2 years ago
• ZcashFoundation / ZcashFoundation
  ☆58Updated 6 years ago
• pipermerriam / ethereum-computation-market
  A marketplace for trustless off chain computation.
  ☆55Updated 6 years ago
• ConsenSysMesh / dao-wars
  ☆50Updated 9 years ago
• domwoe / 21datamarket
  The 21 Datamarket allows you to publish sensors to sell their measurement data. Data requesters are able to query the datamarket for sens…
  ☆15Updated 8 years ago
• citp / TwoFactorBtcWallet
  ☆69Updated 3 years ago
• ZeppelinSolutions / tokenless
  ☆23Updated 7 years ago