tse-group / goldfish-experiments
Experiments for "Goldfish: No More Attacks on Proof-of-Stake Ethereum"
☆13Updated last year
Alternatives and similar repositories for goldfish-experiments:
Users that are interested in goldfish-experiments are comparing it to the libraries listed below
- ☆13Updated 2 years ago
- A crate for working with Ethereum beacon chain light client protocol messages. `no_std` friendly!☆13Updated 2 years ago
- wall time exex for reth☆11Updated 6 months ago
- Rust wrapper for Otterscan, fast, local and privacy-friendly block explorer.☆24Updated 2 years ago
- CLI wrapper around ethers-rs to query the ethereum blockchain from the terminal☆20Updated last year
- SUPERCEDED by ricobank/multifab☆20Updated 2 years ago
- Github action to run huff test files☆14Updated last year
- Rust client library for Flashbot's mev-share.☆20Updated last year
- ☆14Updated 3 years ago
- A Cairo VM prover implemented using Winterfell☆16Updated last year
- Joint 2-Party generation of the one-time Verifiable Encrypted Signature (VES) aka adaptor signatures☆12Updated 2 years ago
- An end to end test suite for the OP Stack☆17Updated last year
- A non-invasive disjoint-set-like data structure implementation in Rust☆10Updated 8 months ago
- Zero-knowledge gadget for Sparse Merkle Tree.☆20Updated 2 years ago
- Verify a log is present in a block.☆12Updated 11 months ago
- A small CLI tool to create a plot from a Prometheus query☆23Updated 2 years ago
- Solidity verifier for Recursive Proof Composition using Plonk☆12Updated 3 years ago
- ☆12Updated 2 years ago
- Solution for the Optimizoor club's sqrt challenge☆10Updated 2 years ago
- Implementation of a faucet in Huff with differential fuzzing vs solidity☆14Updated last year
- Official Foundry landing page☆16Updated last year
- Rust Primitives, Learnings, & Frameworks☆17Updated 2 years ago
- This repo hosts the code for an analysis on Ethereum gas limit.☆18Updated last year
- ☆12Updated 3 years ago
- optimized huff snippets☆20Updated last year
- ☆23Updated last year
- relays blocks from the shared sequencer to the DA layer☆27Updated last year
- Smart contract that checks if the SELFDESTRUCT opcode is still valid on the chain it is deployed to☆29Updated 2 years ago
- Vyper Mutation Testing Framework☆17Updated last year
- A Hardhat plugin that uses Warp to bring Solidity contracts to StarkNet☆19Updated last week