runtimeverification/beacon-chain-spec external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

runtimeverification/beacon-chain-spec

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/runtimeverification/beacon-chain-spec)

Close

runtimeverification / beacon-chain-specView on GitHubMore

• External links
• Readme badge

Formalization of the Beacon Chain Phase 0 Specification in K

☆21Sep 6, 2022Updated 3 years ago

Alternatives and similar repositories for beacon-chain-spec

Users that are interested in beacon-chain-spec are comparing it to the libraries listed below

• Consensys / eth2.0-dafny

  View on GitHub
  Eth2.0 spec in Dafny
  ☆80Jun 24, 2024Updated last year
• ethereum-optimism / plugins

  View on GitHub
  [Optimism] Plugins!
  ☆16Apr 9, 2021Updated 4 years ago
• runtimeverification / beacon-chain-verification

  View on GitHub
  ☆17Mar 17, 2023Updated 2 years ago
• whiteblock / gossipsub-testing

  View on GitHub
  Gossipsub tests
  ☆17Jun 22, 2022Updated 3 years ago
• ethereum / consensus-spec-tests

  View on GitHub
  Common tests for the Ethereum proof-of-stake consensus layer
  ☆87Oct 21, 2025Updated 4 months ago
• ralexstokes / deposit-verifier

  View on GitHub
  A smart contract to enhance the user experience of the `eth2` deposit contract.
  ☆27Jul 15, 2024Updated last year
• derekbar90 / optimism-openzeppelin-compat

  View on GitHub
  OpenZeppelin patch module for Optimism
  ☆11Mar 26, 2021Updated 4 years ago
• decanus / bureka

  View on GitHub
  Pastry DHT implementation with a standalone libp2p compatible node
  ☆12Jun 22, 2020Updated 5 years ago
• dialecticch / router

  View on GitHub
  A very simple router to exchange tokens for the best price on any UniswapV2 like AMM.
  ☆14Aug 31, 2021Updated 4 years ago
• tcoulter / jackhammer

  View on GitHub
  Start a Hardhat Network node from the command line
  ☆12Oct 1, 2021Updated 4 years ago
• quilt / sheth

  View on GitHub
  Execution environment for managing shard ether
  ☆25Apr 16, 2020Updated 5 years ago
• lightclient / evm

  View on GitHub
  An EVM interpreter (wip)
  ☆12Aug 29, 2021Updated 4 years ago
• dankrad / python-ssv

  View on GitHub
  Proof of concept of an Eth2 secret shared validator node
  ☆15Feb 15, 2022Updated 4 years ago
• ethereum-optimism / batch-submitter

  View on GitHub
  [Optimism] Batches go zoom
  ☆17Apr 11, 2021Updated 4 years ago
• CarlBeek / CBC_LMD

  View on GitHub
  ☆10Mar 28, 2022Updated 3 years ago
• iden3 / wasmcurves

  View on GitHub
  Web Assembly low level implementation of pairing friendly curves.
  ☆15Feb 10, 2026Updated 2 weeks ago
• zcash / sapling-security-analysis

  View on GitHub
  ☆14May 3, 2019Updated 6 years ago
• LayerXcom / cbc-casper-proof

  View on GitHub
  Proofs of properties of CBC Casper
  ☆36Oct 7, 2019Updated 6 years ago
• Rari-Capital / fuse-prom-target

  View on GitHub
  Serves data to Prometheus about Fuse
  ☆15Dec 18, 2021Updated 4 years ago
• ethresearch / Shuffle_SSLE

  View on GitHub
  ☆15Sep 28, 2020Updated 5 years ago
• juliannagele / ebso

  View on GitHub
  EVM Bytecode Super Optimizer
  ☆36Jan 3, 2021Updated 5 years ago
• thandal / passe-partout

  View on GitHub
  ☆22Jan 25, 2021Updated 5 years ago
• ethereum-optimism / integration-tests

  View on GitHub
  [Optimism] Service Integration Tests
  ☆16Apr 11, 2021Updated 4 years ago
• Rari-Capital / optimistic-wrapped-withdraws

  View on GitHub
  🎁 Wrap a L2 ERC20 withdrawal event as an ERC1155 subtoken on L1 🎁
  ☆16May 8, 2021Updated 4 years ago
• q9f / eth2-bench-2020-06

  View on GitHub
  preliminary, high-level eth2-client benchmarks
  ☆16Oct 20, 2020Updated 5 years ago
• dapphub / ds-cabal

  View on GitHub
  Simple m-of-n multisig proxy written in handcrafted EVM bytcode
  ☆21Sep 5, 2017Updated 8 years ago
• banteg / imagehashmasks

  View on GitHub
  hashmask reverse lookup
  ☆17Feb 2, 2021Updated 5 years ago
• runtimeverification / casper-proofs

  View on GitHub
  Coq definitions and lemmas for verification of Casper
  ☆18Aug 15, 2019Updated 6 years ago
• status-im / nescience

  View on GitHub
  A Zero-Knowledge Toolkit
  ☆15Oct 15, 2020Updated 5 years ago
• decanus / rutschblock

  View on GitHub
  A TLA+ implementation of the Avalanche Protocol Family, both for learning Avalanche and TLA+
  ☆18May 8, 2020Updated 5 years ago
• transmissions11 / crack_yearn_md5

  View on GitHub
  Small Rust script that cracked Yearn's v2 site password from a hashed copy
  ☆14Dec 7, 2020Updated 5 years ago
• iden3 / ffiasm-old

  View on GitHub
  Intel assembly finite field library generator
  ☆13Nov 23, 2023Updated 2 years ago
• privacy-ethereum / semaphore-phase2-setup

  View on GitHub
  Phase 2 of a multi-party trusted setup ceremony for the Semaphore zk-SNARK circuit
  ☆17Jun 29, 2020Updated 5 years ago
• iden3 / iden3-docs

  View on GitHub
  iden3 documentation
  ☆14Jan 23, 2024Updated 2 years ago
• cairoeth / GOO-Racing

  View on GitHub
  A dynamic on-chain racing game with real simulations 🏎️
  ☆22Sep 26, 2022Updated 3 years ago
• protolambda / eth2.0-ssz

  View on GitHub
  Draft of SSZ specs repo
  ☆16Jun 16, 2020Updated 5 years ago
• PlatONnetwork / proof_of_custody

  View on GitHub
  MPC implementation of proof of custody
  ☆32Jun 22, 2021Updated 4 years ago
• brianmcmichael / ds-deed

  View on GitHub
  A simple and sufficient ERC721 implementation
  ☆21Jul 11, 2022Updated 3 years ago
• lambdaclass / aleo_lambda_vm

  View on GitHub
  Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass
  ☆21May 9, 2023Updated 2 years ago