Sovereign-Labs / Jupiter
A research-only integration of Sovereign with Celestia
☆20Updated last year
Related projects ⓘ
Alternatives and complementary repositories for Jupiter
- 🦀 celestia-node REST client in Rust.☆18Updated 2 years ago
- ☆15Updated 10 months ago
- a rust SDK for the gelato relay, using ethers-rs☆30Updated last year
- Code generation tool for adding Ethereum SimpleSerialiZe support methods to existing go types☆19Updated 2 months ago
- ☆19Updated last year
- ☆17Updated last year
- ☆10Updated 3 years ago
- Proof of concept trade simulation using state overrides☆22Updated 2 years ago
- Gather Ethereum metrics☆17Updated 5 years ago
- Gas comparison between Remco Bloemen's and Mikhail Vladimirov's mulDiv implementations.☆18Updated 2 years ago
- ☆14Updated 2 years ago
- JSON-RPC endpoint proxy that dumps requests/responses for debugging☆27Updated last year
- Cryptographic key management service providing a gRPC API and support for a variety of key storage methods including YubiHSM2 devices☆16Updated last year
- etk-Foundry project template☆20Updated last year
- ☆19Updated 2 years ago
- https://eprint.iacr.org/2020/1516.pdf☆19Updated last year
- Pessimistic proof for the AggLayer.☆26Updated 4 months ago
- An instantiation of the Poseidon hash for use with decaf377☆29Updated last week
- Groth16 verifier in EVM☆20Updated last year
- Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworks☆16Updated last year
- ☆13Updated last year
- ☆34Updated 2 years ago
- An Ethereum transaction-parser☆13Updated 10 months ago
- Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.☆15Updated 5 months ago
- A tool for single Ethereum archival block state proofs.☆33Updated last year
- Smart contracts for OPRHub protocol ✌🏻☆12Updated 4 years ago
- A Cairo VM prover implemented using Winterfell☆16Updated last year