polytope-labs / sync-committee-rsLinks
A portable library for proving & verifying ethereum's sync committee consensus proofs.
☆29Updated last year
Alternatives and similar repositories for sync-committee-rs
Users that are interested in sync-committee-rs are comparing it to the libraries listed below
Sorting:
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆36Updated this week
- A tool for single Ethereum archival block state proofs.☆35Updated last year
- zkSNARK circuits for the Telepathy protocol☆53Updated 2 years ago
- ☆28Updated 3 years ago
- ☆33Updated last year
- Ethereum stateless tools☆45Updated 5 months ago
- ☆19Updated last year
- Axiom smart contracts☆26Updated 2 years ago
- An alternative implementation of the OP Stack's Cannon, a MIPS emulator for the EVM.☆63Updated last year
- an introduction to noir, with simple examples☆44Updated last year
- ☆39Updated 2 years ago
- 🌻 use L1 multisig owners to sign on L2 multisigs using zk proofs☆31Updated 2 years ago
- ☆17Updated 2 years ago
- ☆33Updated 2 years ago
- relays blocks from the shared sequencer to the DA layer☆27Updated 2 years ago
- Real-time bidding API scaffold for MevWallet transactions☆18Updated 2 years ago
- Breathe air☆25Updated last year
- 🔥 flamegraphs for solidity☆35Updated last year
- ☆46Updated 4 years ago
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆31Updated last year
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆56Updated last year
- Hackathon for EthBogota - An Eth2 light client using Cannon verifyable computation☆30Updated 2 years ago
- A blazing-fast helper library for convenient Solidity dynamic arrays☆42Updated last year
- Tiny CLI for submitting large calldata transactions to EVM networks to stress test the networking layer. Main motivation: EIP4844blobs.☆56Updated 2 years ago
- ☆22Updated 2 years ago
- Web Proofs using zk-SXG☆28Updated 10 months ago
- Writing MACI circuits in Noir☆16Updated last year
- Introduction to core development via CTF challenges☆40Updated 3 years ago
- Rust port of c-kzg-4844☆16Updated last year
- Share private EVM state attestations using STARK proofs☆73Updated 3 years ago