☆17Mar 17, 2023Updated 2 years ago
Alternatives and similar repositories for beacon-chain-verification
Users that are interested in beacon-chain-verification are comparing it to the libraries listed below
Sorting:
- BLST-Verification☆23Jan 22, 2026Updated last month
- ☆11Oct 7, 2022Updated 3 years ago
- A Python simulator used to model cross shard transaction strategies for Ethereum 2.0☆11May 3, 2024Updated last year
- ☆14May 3, 2019Updated 6 years ago
- Proof of concept of an Eth2 secret shared validator node☆15Feb 15, 2022Updated 4 years ago
- Typed mutable SSZ views over cached and immutable binary merkle trees☆29Jul 17, 2024Updated last year
- My Cornell PhD dissertation: Scaling the Infrastructure of Practical Blockchain Systems☆15Sep 10, 2021Updated 4 years ago
- geth metrics exporter for Prometheus☆13Jan 21, 2026Updated last month
- PeekABook, a private order matching system. https://ethresear.ch/t/peekabook-private-order-matching/6987☆18Jan 6, 2023Updated 3 years ago
- U2f implementation with threshold signatures☆16Nov 24, 2020Updated 5 years ago
- DEPRECATED - Eth2 data availability sampling - Testground plan☆28Dec 27, 2021Updated 4 years ago
- Anonymous decentralized message broadcasting based on Libp2p and Dandelion++☆18Apr 12, 2020Updated 5 years ago
- TLA+ specifications of various protocols used by wallets in the nitro protocol.☆18Jun 12, 2020Updated 5 years ago
- Eth2.0 spec in Dafny☆80Jun 24, 2024Updated last year
- Algorand's implementation of pixel consensus signature☆22Apr 7, 2023Updated 2 years ago
- ☆23Mar 31, 2025Updated 11 months ago
- Formalization of the Beacon Chain Phase 0 Specification in K☆21Sep 6, 2022Updated 3 years ago
- AppCoins is a blockchain-based protocol for the App Economy supported by the Aptoide App Store, and the first ICO serving 200 million us…☆12May 22, 2018Updated 7 years ago
- Simple implementation of KZG commitments in C☆36Jan 18, 2023Updated 3 years ago
- Ethereum scaling diagram☆38Mar 29, 2021Updated 4 years ago
- EVM performance tests for a range of clients☆24Dec 27, 2019Updated 6 years ago
- Multilayered Linkable Spontaneous Anonymous Group - Implemented as is from paper. Not Monero specific☆24May 10, 2020Updated 5 years ago
- Experimental python optimistic rollup fraud-proof generation☆29Aug 30, 2022Updated 3 years ago
- A privacy-preserving digital version of punch cards used in store loyalty programs☆11Apr 19, 2021Updated 4 years ago
- GooSig: short signatures from RSA that hide the signer's RSA public key☆12Jan 8, 2020Updated 6 years ago
- Website!☆22Sep 20, 2022Updated 3 years ago
- A formalization of a Proof-of-Stake Nakamoto-style blockchain in Coq☆25Jan 21, 2021Updated 5 years ago
- A smart contract to enhance the user experience of the `eth2` deposit contract.☆27Jul 15, 2024Updated last year
- Tool to fetch and analyze blockchain transactions☆10Mar 9, 2021Updated 4 years ago
- ☆10Oct 22, 2019Updated 6 years ago
- Start a Hardhat Network node from the command line☆12Oct 1, 2021Updated 4 years ago
- Around applying the VDF construcrtion based on isogenies between super-signular elliptic curves☆14Oct 19, 2021Updated 4 years ago
- WIP: code generation package in Go -- used by gnark, goff and gurvy☆14Feb 19, 2026Updated last week
- OpenZeppelin patch module for Optimism☆11Mar 26, 2021Updated 4 years ago
- Prover for the Plumo light client system https://docs.zkproof.org/pages/standards/accepted-workshop3/proposal-plumo_celolightclient.pdf☆14Jan 4, 2022Updated 4 years ago
- Small repo for implementing the 2018 EUROCRYPT paper "Simple Proofs of Sequential Work" by Cohen and Pietrzak. Also used as part of our C…☆10Aug 26, 2018Updated 7 years ago
- A very simple router to exchange tokens for the best price on any UniswapV2 like AMM.☆14Aug 31, 2021Updated 4 years ago
- ☆15Dec 15, 2022Updated 3 years ago
- ☆13Updated this week