counterfactual / specs

Related projects: ⓘ

• omgnetwork / research
  ☆43Updated 4 years ago
• smartcontracts / contract-drafts
  Misc repo for draft Solidity contracts.
  ☆11Updated 6 years ago
• gnosis / dex-zksnarks
  Code to generate snark proofs for batch auction result validation of the Gnosis d.exchange
  ☆46Updated 5 years ago
• matter-labs-archive / RSAAccumulator
  Initial implementation of RSA accumulator for history compaction in Plasma constructions
  ☆22Updated 5 years ago
• kfichter / solidity-bls
  ☆16Updated this week
• matter-labs-archive / PlasmaContract
  More Viable Plasma (MoreVP) contract with Limbo Exits
  ☆26Updated 5 years ago
• solidblu1992 / ethereum
  ☆18Updated 11 months ago
• loomnetwork / plasma-paper
  Plasma Cash: Towards Improved Plasma Constructions.
  ☆50Updated 5 years ago
• zdai-io / zDai-mixer
  zDai.io - confidential Dai transactions on Burner wallet
  ☆28Updated 5 years ago
• ethresearch / sharding-p2p-poc
  Proof of Concept of Ethereum Serenity Peer-to-Peer Layer on libp2p PubSub System
  ☆40Updated 5 years ago
• ethresearch / p2p
  ☆30Updated 5 years ago
• mrsmkl / truebit-plasma
  Template for implementing Plasma child chains with Truebit
  ☆50Updated 6 years ago
• barryWhiteHat / libsnark-tutorial
  A zkSNARK tutorial and development environment
  ☆16Updated 6 years ago
• ewasm / ewasm-precompiles
  Implementation of the Ethereum precompiled contracts in Rust.
  ☆49Updated 4 years ago
• commitground / solidity-partial-tree
  Solidity implementation of partial merkle tree for a light weight side chain execution verification
  ☆13Updated 5 years ago
• luciditytech / lucidity-plasma-cash
  Lucidity's Plasma Cash Implementation
  ☆16Updated 5 years ago
• nucypher / Sputnik
  Sputnik is an assembly language and interpreter for Fully Homomorphic Encryption
  ☆27Updated 6 years ago
• whiteblock / hobbits
  Hobbits is a lightweight wire protocol for ETH 2.0 network testing purposes.
  ☆25Updated 5 years ago
• maurelian / evm-polyglot
  Translations of standard contracts from Solidity to Vyper.
  ☆12Updated 6 years ago
• edcon-reiwa / zexe-ethereum
  An implementation of ZEXE on Ethereum
  ☆36Updated 5 years ago
• matter-labs-archive / plasma_cash_history_snark
  History compaction zkSNARK circuit for Plasma Cash and Cashflow history compaction
  ☆15Updated 5 years ago
• 1Address / ecsol
  Elliptic Curve Implementation in Solidity
  ☆24Updated 7 months ago
• solidblu1992 / RingCTToken
  Ethereum Token Implementing RingCT
  ☆23Updated 6 years ago
• plasma-group / plasma
  ☆50Updated this week
• prysmaticlabs / go-bls
  DEPRECATED. Go wrapper for a BLS12-381 Signature Aggregation implementation in C++
  ☆14Updated 5 years ago
• summa-tx / swaps
  SPV-based ETH/BTC swaps
  ☆11Updated 2 years ago
• kilic / pre-comm-ct
  Confidential Transactions with Reusable Commitments on Ethereum
  ☆17Updated 4 years ago
• matter-labs-archive / matter-network
  PoC of SNARK-driven Plasma with up to 500 tx/sec
  ☆69Updated 5 years ago
• BANKEX / BulletproofJS
  Set of JavaScript based tools and Ethereum Solidity contracts for BulletProof based range proofs and confidential transactions
  ☆29Updated 5 years ago