runtimeverification / beacon-chain-spec

Related projects ⓘ

Alternatives and complementary repositories for beacon-chain-spec

• gcolvin / evm-drag-race
  EVM performance tests for a range of clients
  ☆24Updated 4 years ago
• AztecProtocol / Setup
  AZTEC protocol trusted setup MPC
  ☆31Updated 4 months ago
• makerdao / k-dss
  formal verification of multicollateral dai in the K framework
  ☆14Updated 3 years ago
• protolambda / eth2-das
  DEPRECATED - Eth2 data availability sampling - Testground plan
  ☆27Updated 2 years ago
• protolambda / zcli
  Eth2 CLI debugging tool
  ☆37Updated 8 months ago
• ralexstokes / deposit-verifier
  A smart contract to enhance the user experience of the `eth2` deposit contract.
  ☆23Updated 3 months ago
• ledgerwatch / eth_state
  data and charts for Ethereum state analysis
  ☆47Updated 4 years ago
• arielgabizon / Lectures
  ☆28Updated last month
• g0-group / Audits
  ☆2Updated 3 months ago
• protolambda / macula
  Experimental python optimistic rollup fraud-proof generation
  ☆29Updated 2 years ago
• AztecProtocol / ignition-verification
  Repository to verify contributions to the AZTEC Ignition ceremony
  ☆12Updated last year
• AztecProtocol / aztec-v1-specification
  AZTEC protocol specification
  ☆31Updated 4 years ago
• Consensys / eth2.0-dafny
  Eth2.0 spec in Dafny
  ☆72Updated 4 months ago
• privacy-scaling-explorations / semaphore-phase2-setup
  Phase 2 of a multi-party trusted setup ceremony for the Semaphore zk-SNARK circuit
  ☆17Updated 4 years ago
• iden3 / iden3-docs
  iden3 documentation
  ☆13Updated 9 months ago
• barryWhiteHat / baby_jubjub
  Supporting evidence for security of the baby_jubjub curve to be used in altbn128, Ethereum
  ☆36Updated 5 years ago
• axic / runevm
  EVM interpreter compatible with the evm2wasm interface
  ☆42Updated 2 years ago
• benjaminion / c-kzg
  Simple implementation of KZG commitments in C
  ☆33Updated last year
• lightclient / evm
  An EVM interpreter (wip)
  ☆12Updated 3 years ago
• interlay / btc-relay-solidity
  Bitcoin Light Client on Ethereum
  ☆40Updated 4 months ago
• hermeznetwork / circuits
  Implements hermez network zk-Snarks circuits
  ☆56Updated last year
• protolambda / eth2.0-ssz
  Draft of SSZ specs repo
  ☆15Updated 4 years ago
• arnaucube / eth-kzg-ceremony-alt
  Alternative implementation of the contributor-client for the Ethereum KZG Trusted Setup Ceremony
  ☆15Updated last year
• AztecProtocol / Oliver
  Huff implementation of the BabyJubJub curve
  ☆13Updated 5 years ago
• matter-labs / pairing
  Pairing-friendly elliptic curve library
  ☆23Updated 2 months ago
• protolambda / opti
  Minimalist optimistic rollup tech
  ☆13Updated 3 years ago
• thehubbleproject / contracts
  Smart contracts for OPRHub protocol ✌🏻
  ☆12Updated 4 years ago
• ethereum-optimism / regenesis
  [Optimism] State Dumps & Regenesis Automation
  ☆12Updated 3 years ago
• Rari-Capital / optimistic-wrapped-withdraws
  🎁 Wrap a L2 ERC20 withdrawal event as an ERC1155 subtoken on L1 🎁
  ☆17Updated 3 years ago