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
• Consensys / deposit-sc-dafny

  View on GitHub
  Deposit smart contract in Dafny
  ☆22Sep 9, 2021Updated 4 years ago
• ethereum-optimism / plugins

  View on GitHub
  [Optimism] Plugins!
  ☆16Apr 9, 2021Updated 4 years ago
• protolambda / eth2.0-ssz

  View on GitHub
  Draft of SSZ specs repo
  ☆16Jun 16, 2020Updated 5 years ago
• ethereum / consensus-spec-tests

  View on GitHub
  Common tests for the Ethereum proof-of-stake consensus layer
  ☆88Oct 21, 2025Updated 5 months ago
• runtimeverification / beacon-chain-verification

  View on GitHub
  ☆17Mar 17, 2023Updated 3 years ago
• thandal / passe-partout

  View on GitHub
  ☆23Jan 25, 2021Updated 5 years ago
• whiteblock / gossipsub-testing

  View on GitHub
  Gossipsub tests
  ☆17Jun 22, 2022Updated 3 years 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
• CarlBeek / CBC_LMD

  View on GitHub
  ☆10Mar 28, 2022Updated 3 years ago
• decanus / bureka

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

  View on GitHub
  EVM Bytecode Super Optimizer
  ☆36Jan 3, 2021Updated 5 years ago
• hjubb / dapp-pm

  View on GitHub
  ☆21Sep 19, 2021Updated 4 years ago
• quilt / sheth

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

  View on GitHub
  Web Assembly low level implementation of pairing friendly curves.
  ☆15Mar 13, 2026Updated last week
• cairoeth / GOO-Racing

  View on GitHub
  A dynamic on-chain racing game with real simulations 🏎️
  ☆22Sep 26, 2022Updated 3 years ago
• eth-sc-comp / benchmarks

  View on GitHub
  Symbolic Execution Benchmarks for Ethereum Smart Contracts
  ☆22Aug 22, 2024Updated last year
• matter-labs / curve-zinc

  View on GitHub
  The Curve Stableswap smart contract implementation in Zinc v0.2.2.
  ☆40Apr 12, 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
• LayerXcom / cbc-casper-proof

  View on GitHub
  Proofs of properties of CBC Casper
  ☆36Oct 7, 2019Updated 6 years ago
• ethresearch / Shuffle_SSLE

  View on GitHub
  ☆15Sep 28, 2020Updated 5 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
• highlightjs / highlightjs-solidity

  View on GitHub
  ☆50Mar 23, 2024Updated last year
• 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
• runtimeverification / casper-proofs

  View on GitHub
  Coq definitions and lemmas for verification of Casper
  ☆19Aug 15, 2019Updated 6 years ago
• txrx-research / eth1-shard-demo

  View on GitHub
  Docker setup with Eth1 Shard demo
  ☆25Sep 24, 2020Updated 5 years ago
• 0xPolygonHermez / pil2-proofman

  View on GitHub
  Prover Manager
  ☆25Updated this week
• iden3 / ffiasm-old

  View on GitHub
  Intel assembly finite field library generator
  ☆13Nov 23, 2023Updated 2 years ago
• status-im / nescience

  View on GitHub
  A Zero-Knowledge Toolkit
  ☆15Oct 15, 2020Updated 5 years ago
• blockblaz / zig-poseidon

  View on GitHub
  A Zig implementation of Poseidon2 hash function.
  ☆17Nov 11, 2025Updated 4 months ago
• msiemens / rust-tinyasm

  View on GitHub
  Tiny Fictional Assembler & VM
  ☆16Mar 6, 2015Updated 11 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
• tcoulter / jackhammer

  View on GitHub
  Start a Hardhat Network node from the command line
  ☆12Oct 1, 2021Updated 4 years ago
• better-internet / radworks-docs

  View on GitHub
  ☆16Jun 25, 2025Updated 8 months ago
• Irwin1985 / lets_build_a_simple_interpreter

  View on GitHub
  Proof that I did all the exercises from: https://ruslanspivak.com/lsbasi-part1/
  ☆12Feb 10, 2022Updated 4 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
• vorot93 / devp2p

  View on GitHub
  ☆34Feb 17, 2021Updated 5 years ago
• protolambda / eth2-docs

  View on GitHub
  Documentation for ETH 2.0
  ☆167Sep 17, 2020Updated 5 years ago
• iden3 / circom_runtime

  View on GitHub
  circom runtime
  ☆20Oct 18, 2024Updated last year