eigerco / lumina
Wasm friendly Celestia light node implementation in Rust
☆145Updated last week
Alternatives and similar repositories for lumina:
Users that are interested in lumina are comparing it to the libraries listed below
- A monorepo containing all the custom components of the Astria network, a decentralized system that replaces traditional sequencers, offer…☆128Updated this week
- ☆142Updated last month
- A framework to build smart contracts on the Fluent L2 as well as blockchains and verifiable compute environments that compile to rWasm☆70Updated this week
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆98Updated 2 weeks ago
- ☆124Updated this week
- Succinct's Production-Grade Proving Engine for the OP Stack☆153Updated this week
- Mirror of AztecProtocol/aztec-packages/aztec-nr☆113Updated this week
- Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs …☆174Updated 7 months ago
- prism is the first trust-minimized key-transparency solution, allowing for automatic verification of service providers via light clients.…☆90Updated this week
- Implementation of zero-knowledge proof circuits for Tendermint.☆81Updated last year
- Monorepo for OP Stack Types, Components, and Services built in Rust.☆185Updated this week
- Core components of the Polygon Miden rollup☆77Updated this week
- The schelling point for ZK applications.☆137Updated 11 months ago
- Cryptographic primitives used in Polygon Miden rollup☆111Updated last month
- A storage system inspired by Besu using Starknet Merkle Trees☆61Updated 2 weeks ago
- EigenLayer Rust Developer Tooling☆84Updated this week
- ☆62Updated 3 weeks ago
- Smart contracts for onchain verification of SP1.☆88Updated last month
- Celestia -> EVM bridge☆134Updated this week
- Compiler from MidenIR to Miden Assembly☆71Updated last week
- A trustless, cross-chain bridging protocol.☆85Updated 2 months ago
- ☆115Updated 8 months ago
- ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol☆61Updated 6 months ago
- Implementation of Canetti-Gennaro-Goldfeder-Makriyannis-Peled threshold signing scheme☆74Updated last week
- Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.☆154Updated last week
- A set of Zero Knowledge modules, written in Rust and designed to be used in other system programming environments.☆135Updated this week
- Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.☆97Updated 2 weeks ago
- Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)☆158Updated 3 months ago
- Rust Library for running the Starknet OS via the Cairo VM☆62Updated this week
- NEAR as data availability!☆51Updated this week