Alternatives and similar repositories for balzac:

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

• bitml-lang / bitml-compiler
  Compiler for BitML
  ☆28Updated 3 years ago
• zack-bitcoin / chalang
  a language optimized for state channels on blockchains.
  ☆22Updated 4 years ago
• amiller / sprites
  ☆44Updated 7 years ago
• john-light / sidechains
  A list of sidechain resources
  ☆43Updated last year
• matteocam / pay-to-sudoku-attack
  ☆10Updated 7 years ago
• comit-network / a2l-poc
  Proof of concept for the A2L protocol on top of Bitcoin.
  ☆19Updated 4 years ago
• leithaus / pi4u
  A collection of papers about new models and applications of mobile process calculi
  ☆12Updated 5 years ago
• proofchains / python-proofmarshal
  ☆26Updated 7 years ago
• jonspock / cryptopdfs
  Various papers on crypto pertinent to zero knowledge proofs, etc
  ☆24Updated 5 years ago
• ZcashFoundation / GrantProposals-2018Q2
  Submission site for 2018Q2 Zcash Foundation grant proposals.
  ☆26Updated 6 years ago
• cfromknecht / tpec
  2P-ECDSA: Two-Party ECDSA MultiSignatures
  ☆48Updated 5 years ago
• ethereum / simplecasper
  Casper PoC4 implementation. This PoC4 version served as an early prototype to test and refine the PoS protocol, laying the groundwork for…
  ☆20Updated 8 years ago
• bitauth / bitauth2017
  This project is being merged into Bitauth CLI:
  ☆37Updated 6 years ago
• apoelstra / mimblewimble-paper
  LaTeX of the MimbleWimble paper
  ☆30Updated 3 years ago
• chatch / xcat
  Cross chain atomic trades protocol and api for trades between Stellar and Ethereum
  ☆36Updated 7 years ago
• mcelrath / braidcoin
  Experiments in a improving Bitcoin using a Directed Acyclic Graph instead of a chain
  ☆39Updated last year
• 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
  ☆58Updated 6 years ago
• TrueBitFoundation / ocaml-offchain
  Fork of WebAssembly reference interpreter with support for generating proofs needed for blockchain verification
  ☆44Updated 4 years ago
• GrinSwap / proof-of-concept
  Atomic swap proof of concept code
  ☆17Updated 5 years ago
• dionyziz / popow
  Research and implementation for non-interactive blockchain proofs of proofs of work
  ☆50Updated 2 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 8 years ago
• ElementsProject / confidential-assets-demo
  Confidential Assets Demo built on the Elements blockchain platform
  ☆38Updated 6 years ago
• kframework / vyper-semantics
  KVyper: Semantics of Vyper in K
  ☆41Updated 6 years ago
• apoelstra / taproot
  Taproot security proof
  ☆23Updated 5 years ago
• sparkswap / lnd-engine
  Sparkswap engine for LND
  ☆32Updated 5 years ago
• AlacrisIO / alacrity
  DSL for Secure DApps
  ☆33Updated 2 years ago
• pirapira / evmverif
  An EVM code verification framework in Coq
  ☆44Updated 8 years ago
• BlockstreamResearch / scriptless-scripts
  Documentation about scriptless scripts
  ☆163Updated 2 months ago
• gottstech / gotts
  A blockchain for non-collateralized stable-coins, follow MimbleWimble protocol but with explicit amount.
  ☆49Updated 4 years ago