Alternatives and similar repositories for bamboo

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

• dapphub / k-dss
  formal verification of multicollateral dai in the K framework
  ☆44Updated 4 years ago
• gnosis / dex-research
  Collection of research papers written within Gnosis
  ☆91Updated 4 years ago
• sahajgarg / ftw-reputation
  The world's first sybil resistant, fully decentralized reputation protocol.
  ☆26Updated 6 years ago
• AztecProtocol / aztec-v1-specification
  AZTEC protocol specification
  ☆31Updated 5 years ago
• LayerXcom / cbc-casper-proof
  Proofs of properties of CBC Casper
  ☆36Updated 6 years ago
• AlexeyAkhunov / papers
  ☆40Updated 5 years ago
• celestiaorg / lazyledger-prototype
  LazyLedger academic prototype
  ☆50Updated 5 years ago
• UMAprotocol / whitepaper
  ☆83Updated 5 years ago
• kframework / vyper-semantics
  KVyper: Semantics of Vyper in K
  ☆41Updated 7 years ago
• renproject / darknode-sol
  An implementation of Darknode smart contracts, written in Solidity
  ☆85Updated 3 years ago
• ConsenSysDiligence / solidity-parser-antlr
  A Solidity parser for JS built on top of a robust ANTLR4 grammar
  ☆25Updated 2 years ago
• pirapira / vmtrace_visualizer
  A program that annotates a vm trace with dataflow information
  ☆34Updated 3 years ago
• renproject / rzl-mpc-specification
  Specification of the RenVM MPC algorithm
  ☆19Updated 5 years ago
• gnosis / dex-zksnarks
  Code to generate snark proofs for batch auction result validation of the Gnosis d.exchange
  ☆46Updated 7 years ago
• herumi / bls-eth-wasm
  ☆31Updated last year
• sky-ecosystem / mkr-mcd-spec
  High level KSpecification for the MCD System by Runtime Verification and Maker Foundation
  ☆28Updated 3 years ago
• ZenGo-X / ShareLock
  ShareLock: mixing for cryptocurrencies from multiparty ECDSA
  ☆52Updated 3 years ago
• BlockScience / conviction
  Repository for Research on Conviction voting schemes
  ☆51Updated 3 years ago
• TruebitProtocol / wiki
  Classic source for Truebit documentation
  ☆58Updated 4 years ago
• snario / zknifty
  🎴Zero-knowledge non-fungible tokens on Ethereum using zk-SNARKs
  ☆96Updated 7 years ago
• matter-labs / curve-zinc
  The Curve Stableswap smart contract implementation in Zinc v0.2.2.
  ☆40Updated 4 years ago
• runtimeverification / erc20-semantics
  ERC20 in K
  ☆49Updated 6 years ago
• GNSPS / 2DProxy
  A Solidity delegate call proxy that also `delegatecall`'s its constructor
  ☆22Updated 7 years ago
• gcolvin / evm-drag-race
  EVM performance tests for a range of clients
  ☆24Updated 6 years ago
• espresso-org / aragon-datastore
  Decentrally store files and manage their permissions
  ☆16Updated 6 years ago
• DZGoldman / Deorg
  ☆23Updated 4 years ago
• plasma-group / research
  Random research and simulations
  ☆16Updated 6 years ago
• counterfactual / paper
  📄 Counterfactual: Generalized State Channels Paper
  ☆57Updated 7 years ago
• axic / eth2-deposit-contract
  This is a port of the Vyper Eth 2.0 deposit contract to Solidity.
  ☆20Updated 5 years ago
• okwme / BatchedBondingCurves
  Automatic market maker with batched buy & sell orders
  ☆32Updated 3 years ago