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
  ☆26Updated 2 years ago
• apoelstra / mimblewimble-paper
  LaTeX of the MimbleWimble paper
  ☆30Updated 3 years ago
• matteocam / pay-to-sudoku-attack
  ☆10Updated 7 years ago
• cfromknecht / tpec
  2P-ECDSA: Two-Party ECDSA MultiSignatures
  ☆47Updated 5 years ago
• zack-bitcoin / chalang
  a language optimized for state channels on blockchains.
  ☆22Updated 3 years ago
• runtimeverification / iele-semantics
  Semantics of Virtual Machine for IELE prototype blockchain
  ☆131Updated last year
• leithaus / pi4u
  A collection of papers about new models and applications of mobile process calculi
  ☆12Updated 5 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
• bitauth / bitauth2017
  This project is being merged into Bitauth CLI:
  ☆37Updated 5 years ago
• Zilliqa / scilla-coq
  State-Transition Systems for Smart Contracts
  ☆24Updated 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
  ☆58Updated 6 years ago
• sdiehl / sonic
  Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings
  ☆45Updated 4 years ago
• zcash / sapling-mpc
  Multi-party computation for Zcash's "Sapling" zk-SNARK public parameters
  ☆30Updated 2 years ago
• proofchains / python-proofmarshal
  ☆26Updated 7 years ago
• AdamISZ / CoinSwapCS
  Simple implementation of Bitcoin CoinSwap, client-server
  ☆32Updated 6 years ago
• curiosity-driven / bitcoin-contracts-compiler
  Small programming language compiling to Bitcoin Script
  ☆17Updated 9 years ago
• pirapira / evmverif
  An EVM code verification framework in Coq
  ☆44Updated 8 years ago
• pandoraboxchain / pyrrha-consensus
  Core set of Ethereum contracts for Pandora Boxchain functioning
  ☆26Updated 4 years ago
• ConsensusResearch / articles-papers
  Articles and Papers from Consensus Research
  ☆30Updated 9 years ago
• cryptiumlabs / library
  This repository is used as an open library for the blockchain community. We include letters, papers, analysis, blogposts, etc, for anyone…
  ☆31Updated 3 years ago
• ZcashFoundation / GrantProposals-2018Q2
  Submission site for 2018Q2 Zcash Foundation grant proposals.
  ☆26Updated 6 years ago
• citp / TwoFactorBtcWallet
  ☆69Updated 3 years ago
• truthcoin / truthcoin-cpp
  Knowledge Revolution
  ☆27Updated 8 years ago
• zcash-hackworks / pay-to-sudoku
  Pay for the solution to a sudoku puzzle with a zero-knowledge contingent payment
  ☆100Updated 7 years ago
• comit-network / a2l-poc
  Proof of concept for the A2L protocol on top of Bitcoin.
  ☆18Updated 4 years ago
• AlacrisIO / alacrity
  DSL for Secure DApps
  ☆33Updated 2 years ago
• dandelion-org / bips
  Bitcoin Improvement Proposals
  ☆14Updated 6 years ago
• bogatyy / grin-linkability
  Grin transaction data corresponding to research on transaction linkability
  ☆52Updated 5 years ago
• kframework / vyper-semantics
  KVyper: Semantics of Vyper in K
  ☆41Updated 6 years ago