LayerXcom / cbc-casper-proof

Related projects ⓘ

Alternatives and complementary repositories for cbc-casper-proof

• ethresearch / p2p
  ☆30Updated 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
• status-im / athenaeum
  The Ethereum Research companion: research summary, impacts, specifications, status, resources, implementations
  ☆16Updated 6 years ago
• LayerXcom / gram
  A 64bit-TinyRAM simulator in Go
  ☆13Updated 6 years ago
• LayerXcom / lx-sonic
  Sonic implementation in Rust
  ☆17Updated 5 years ago
• dapphub / k-dss
  formal verification of multicollateral dai in the K framework
  ☆45Updated 3 years ago
• barryWhiteHat / libsnark-tutorial
  A zkSNARK tutorial and development environment
  ☆16Updated 6 years ago
• matter-labs-archive / alpha_line
  MPC implementation for a structured reference string (SRS) generation for SONIC proof system
  ☆24Updated 5 years ago
• LayerXcom / polkadot.rs
  JSON-RPC Client for Substrate API
  ☆13Updated 5 years ago
• mattgstevens / awesome-zero-knowledge-proofs
  A collection of videos, reading materials and tools for learning all about the ZK side of crypto.
  ☆19Updated 6 years ago
• interlay / compressed-inclusion-proofs
  TxChain: Efficient Cryptocurrency Light Clients via Contingent Transaction Aggregation
  ☆14Updated last year
• daira / jubjub
  Supporting evidence for security of the Jubjub curve to be used in Zcash
  ☆16Updated 3 years ago
• LayerXcom / bellman-substrate
  A library for supporting zk-SNARKs to Substrate
  ☆31Updated 2 years ago
• plasma-group / ovm
  OVM specs & contracts
  ☆36Updated last year
• ewasm / ewasm-precompiles
  Implementation of the Ethereum precompiled contracts in Rust.
  ☆49Updated 4 years ago
• q9f / eth2-bench-2020-06
  preliminary, high-level eth2-client benchmarks
  ☆16Updated 4 years ago
• leobago / BSC-ETH2
  This repository compiles the work that the BSC team does on Eth2.0.
  ☆13Updated last year
• matter-labs-archive / RSAAccumulator
  Initial implementation of RSA accumulator for history compaction in Plasma constructions
  ☆22Updated 6 years ago
• ethereum-mousse / mousse
  An Ethereum 2.0 Emulator for Local Testing of Eth2 Applications
  ☆47Updated 3 years ago
• herumi / bls-eth-rust
  ☆20Updated 2 years ago
• snjax / groth16batchverifier
  Batch verifier for zkSNARKs
  ☆10Updated last year
• jrhea / imp
  😈 Eth2 Network Agent 😈
  ☆31Updated 4 years ago
• matter-labs-archive / plasma_winter
  Plasma Winter - an account model Plasma with with zkSNARK proved state transitions. Started on ETH Singapore
  ☆31Updated 5 years ago
• pairingwg / bls_standard
  BLS working standard draft
  ☆39Updated 5 years ago
• protolambda / lmd-ghost
  Comparison of the different LMD-GHOST implementations
  ☆37Updated 5 years ago
• EntEthAlliance / EEA-Trusted-Reward-Token
  ☆15Updated 10 months ago
• drewstone / rust-miximus
  A zkSNARK implementation of a merkle tree membership preimage proof.
  ☆24Updated 5 years ago