balzac-lang / balzac

Related projects: ⓘ

• bitml-lang / bitml-compiler
  Compiler for BitML
  ☆25Updated 2 years ago
• matteocam / pay-to-sudoku-attack
  ☆10Updated 7 years ago
• cfromknecht / tpec
  2P-ECDSA: Two-Party ECDSA MultiSignatures
  ☆47Updated 5 years ago
• ZcashFoundation / GrantProposals-2018Q2
  Submission site for 2018Q2 Zcash Foundation grant proposals.
  ☆26Updated 6 years ago
• dionyziz / popow
  Research and implementation for non-interactive blockchain proofs of proofs of work
  ☆49Updated last year
• apoelstra / mimblewimble-paper
  LaTeX of the MimbleWimble paper
  ☆30Updated 2 years ago
• pirapira / evmverif
  An EVM code verification framework in Coq
  ☆44Updated 7 years ago
• runtimeverification / iele-semantics
  Semantics of Virtual Machine for IELE prototype blockchain
  ☆132Updated last year
• comit-network / a2l-poc
  Proof of concept for the A2L protocol on top of Bitcoin.
  ☆17Updated 4 years ago
• jonspock / cryptopdfs
  Various papers on crypto pertinent to zero knowledge proofs, etc
  ☆23Updated 4 years ago
• AdamISZ / CoinSwapCS
  Simple implementation of Bitcoin CoinSwap, client-server
  ☆31Updated 6 years ago
• datavetaren / prologcoin
  ☆36Updated 3 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
• 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
• dgpv / SASwap_TLAplus_spec
  TLA+ specification for Succinct Atomic Swap smart contract
  ☆25Updated 4 years ago
• adjoint-io / pedersen-commitment
  ☆71Updated this week
• amiller / sprites
  ☆43Updated 6 years ago
• john-light / sidechains
  A list of sidechain resources
  ☆43Updated 6 months ago
• mmalvarez / eth-isabelle
  A Lem formalization of EVM and some Isabelle/HOL proofs
  ☆33Updated 4 years ago
• amiller / tinybitcoinpeer
  A toy bitcoin peer. Connects to testnet, shakes hands, reacts to pings, asks for pongs.
  ☆21Updated 7 years ago
• curiosity-driven / bitcoin-contracts-compiler
  Small programming language compiling to Bitcoin Script
  ☆16Updated 9 years ago
• bogatyy / grin-linkability
  Grin transaction data corresponding to research on transaction linkability
  ☆52Updated 4 years ago
• proofchains / python-proofmarshal
  ☆26Updated 6 years ago
• nymtech / nym-validator
  ☆44Updated this week
• JeremyRubin / MAST
  6.858 final project.
  ☆18Updated 8 years ago
• zcash / sapling-mpc
  Multi-party computation for Zcash's "Sapling" zk-SNARK public parameters
  ☆30Updated last year
• EyeOfPython / cashproof
  ☆10Updated 4 years ago
• ConsensusResearch / articles-papers
  Articles and Papers from Consensus Research
  ☆30Updated 9 years ago
• pirapira / pos
  ☆16Updated this week