LedgerHQ / app-starknet
Official Ledger Starknet application (Rust implementation)
☆21Updated 3 weeks ago
Alternatives and similar repositories for app-starknet:
Users that are interested in app-starknet are comparing it to the libraries listed below
- Starknet sequencer built with Tendermint Core☆53Updated last year
- An implementation of a namespaced merkle tree in Rust.☆30Updated 6 months ago
- ☆40Updated 3 years ago
- Proof-of-concept on how to solve Bitcoin's light node sync problem with zkSNARKs☆59Updated last year
- An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree☆49Updated 3 months ago
- On-chain Ethereum light client built with SP1☆40Updated last week
- ☆13Updated 2 weeks ago
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆38Updated last year
- RISC-V ELF interpreter in cairo☆36Updated 5 months ago
- A collection of ZK light client libraries for various blockchains☆49Updated 3 months ago
- KZG commitments over BLS12-381☆34Updated 2 years ago
- Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiers☆42Updated last year
- A Cairo VM prover implemented using Winterfell☆16Updated last year
- Pessimistic proof for the AggLayer.☆26Updated 9 months ago
- relays blocks from the shared sequencer to the DA layer☆27Updated last year
- These RISC Zero examples have been moved to the main risc0/risc0 repository☆55Updated last year
- An api for constructing sparse Merkle tree accumulators with random sampling capabilities.☆24Updated 3 years ago
- A minimal reimplementation of Tendermint in Rust☆25Updated 5 months ago
- Merkle-Mountain-Range library☆17Updated 2 years ago
- An instantiation of the Poseidon hash for use with decaf377☆29Updated 2 weeks ago
- a simple implementation of the KZG polynomial commitment scheme☆26Updated 3 years ago
- Tendermint implementation of the blockchain of Aleo verifiable computing model built by LambdaClass☆16Updated 2 years ago
- Shared peer-to-peer network of zero-knowledge provers☆16Updated 3 months ago
- FHE in the Risc0 zkVM☆25Updated last year
- ☆23Updated this week
- ☆24Updated last year
- An observatory fork of SP1☆67Updated last month
- Diamond iO implementation https://eprint.iacr.org/2025/236☆27Updated this week
- ☆17Updated 2 years ago
- STARK-proven Stateful Bitcoin client enabling hyper fast trustless sync and checkpoints.☆55Updated 2 years ago