datavetaren / prologcoin

Related projects: ⓘ

• pirapira / evmverif
  An EVM code verification framework in Coq
  ☆44Updated 7 years ago
• Blockstream / contracthashtool
  A simple implementation of Pay-to-Contract-Hash
  ☆90Updated 2 years ago
• drivechain-project / sidechains-old
  Testchain Release Page
  ☆60Updated last year
• truthcoin / truthcoin-cpp
  Knowledge Revolution
  ☆27Updated 8 years ago
• proofchains / python-proofmarshal
  ☆26Updated 6 years ago
• curiosity-driven / bitcoin-contracts-compiler
  Small programming language compiling to Bitcoin Script
  ☆16Updated 9 years ago
• DavidVorick / knosys
  Temporary repository for systemizing Bitcoin knowledge.
  ☆21Updated 8 years ago
• john-light / sidechains
  A list of sidechain resources
  ☆43Updated 6 months ago
• BlockchainGuild / BlockchainGuildCommunity
  Blockchain Guild Community
  ☆83Updated 4 years ago
• ZcashFoundation / GrantProposals-2017Q4
  Submission site for Zcash Foundation grant proposals
  ☆25Updated 6 years ago
• AdamISZ / ConfidentialTransactionsDoc
  A detailed description of how Bitcoin Elements Alpha Confidential Transactions works
  ☆56Updated 6 years ago
• bitcoin-s / elements
  Feature experiments to advance the art of Bitcoin - Build your own sidechain
  ☆16Updated 7 years ago
• unsystem / paypub
  PayPub: Trustless payments for information publishing on Bitcoin
  ☆78Updated 9 years ago
• orisi / orisi
  Oracle and client source code [START HERE]
  ☆111Updated 9 years ago
• olalonde / proof-of-solvency
  Proof of Solvency (PoS) is a scheme designed to let users verify the solvency of online websites which accept Bitcoin (or other similar c…
  ☆71Updated 7 years ago
• bitcoin-hivemind / hivemind
  Knowledge Revolution
  ☆113Updated 6 years ago
• tothemoon-org / extension-blocks
  Extension blocks soft-fork specification
  ☆40Updated 7 years ago
• orisi / wiki
  ☆69Updated 10 years ago
• Kefkius / txsc
  Transaction script compiler
  ☆13Updated 7 years ago
• zcash-hackworks / pay-to-sudoku
  Pay for the solution to a sudoku puzzle with a zero-knowledge contingent payment
  ☆98Updated 7 years ago
• bramcohen / MerkleSet
  A highly performant merkle set data structure. To be ported to C later.
  ☆74Updated 6 years ago
• ConsensusResearch / articles-papers
  Articles and Papers from Consensus Research
  ☆30Updated 9 years ago
• BlockstreamResearch / scriptless-scripts
  Documentation about scriptless scripts
  ☆154Updated 2 years ago
• AdamISZ / CoinSwapCS
  Simple implementation of Bitcoin CoinSwap, client-server
  ☆31Updated 6 years ago
• TheBlueMatt / bips
  Bitcoin Improvement Proposals
  ☆44Updated 3 weeks ago
• sipa / bitcoin-net-simul
  Bitcoin network simulator
  ☆21Updated 9 years ago
• naturalog / tauchain
  idni.org
  ☆75Updated 6 years ago
• apoelstra / taproot
  Taproot security proof
  ☆23Updated 4 years ago
• petertodd / python-merbinnertree
  (Summed) Merklized Binary Radix Tree library
  ☆16Updated 7 years ago
• mcelrath / braidcoin
  Experiments in a improving Bitcoin using a Directed Acyclic Graph instead of a chain
  ☆37Updated 9 months ago