repos
128
ecosystems
32
languages
6
commits
2,027
─── top repos · by commits
─── repositories
128 totalEnable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner
Solidity interface on Herodotus Data Processor
Herodotus Data Processor using SP1 as backend
Rust Accumulators library
Cairo-VM STONE STARK Verifier Rust implementation
Cairo-VM Stark Verifier Rust implementation
Cairo-VM Stark Verifier Rust implementation
Indexer for Ethereum Layer 2s (OP Stack rollups, Arbitrum, etc...)
A STARK provable modular framework executing user-defined logic on multi-chain data in Cairo general purpose ZKVM.
A comprehensive transaction MPT proofs handler for Ethereum / Starknet
A comprehensive transaction MPT proofs handler for Ethereum / Starknet
Minimal Merkle Tree implementations
Just a Chess game with some Cairo on top
Anon, prove your everAI on starknet — everAI mirroring
simple workflow to understand storage proofs
SolChip8 is the first 100% on-chain Chip8 emulator smart contract where you can run chip8 games on EVM
Herodotus EVM contracts
Shared peer-to-peer network of zero-knowledge provers
The implementation of Stateless Ethereum client based on Reth
Exploratory work on abigen in rust for Starknet 🦀
A curated list of zkVM, zero-knowledge virtual machine
The Dojo Book
zkDompet - Anonymous Multisig Wallet powered by ZK
CLI toolkit for EVM blockchains, retrieving rlp encoded block headers and hashes
Starknet Blocktime estimator in Rust
hdp custom module template
Dojo is a toolchain for building provable games and applications
example project using api call on zksync
Dojo is a provable game engine and toolchain for building onchain games and autonomous worlds with Cairo
Dojo is a toolchain for building provable games and autonomous worlds with Cairo
Dojo is a toolchain for building provable games and autonomous worlds with Cairo
Dojo is a toolchain for building provable games and autonomous worlds with Cairo
A comprehensive library for Cairo 🐺
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
BSC and opBNB client based on the Reth fork
Tsubasa onchain game built with Dojo, running on a Starknet Appchain.
The Cairo Programming Language Book, a comprehensive documentation of the Cairo 1 programming language.
A testnet open-source Layer 2 from the future, co-designed with the developer tools stack.
A starting template for your Dojo world
Gravity’s Performance-Optimized Reth Fork
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
The Cairo Programming Language Book, a comprehensive documentation of the Cairo 1 programming language. 本Repo为Astro负责的中文版翻译，定期与官方同步并更新中文翻译。
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
Starknet x Warpcast
Kakarot zkEVM - rewrite in the latest version of Cairo
Madara is a powerful hybrid Starknet client written in Rust.
SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.
Modular stack to build Starknet based scaling engines written in Rust
The proof systems used by Mina
Fiat-Shamir for the masses.
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
A ZK-VM for the Brainfuck language, based on Stwo
Deoxys 👽 is a Starknet full node based on substrate and powered by Rust 🦀
Projects from the Succinct ZK Residency
An observatory fork of SP1
🥷🩸 Madara is a ⚡ blazing fast ⚡ Starknet sequencer, based on substrate, powered by Rust 🦀
Cairo1 execution in Cairo0 environment
Automatic indexer for Dojo.
A performant, 100% open-source, contributor-friendly zkVM.
A performant, 100% open-source, contributor-friendly zkVM.
sandbox for agent who owns wallet
🥷🩸 Madara is a ⚡ blazing fast ⚡ Starknet sequencer, based on substrate, powered by Rust 🦀
A performant and modular zkVM framework built for customization and extensibility.
🥷🩸 Madara is a ⚡ blazing fast ⚡ Starknet sequencer, based on substrate, powered by Rust 🦀
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
A performant and modular zkVM framework built for customization and extensibility.
The fastest, most feature-complete zkVM for developers.
A performant, 100% open-source, contributor-friendly zkVM.
A performant, 100% open-source, contributor-friendly zkVM.
The fastest, most feature-complete zkVM for developers.
The fastest, most feature-complete zkVM for developers.
A performant, 100% open-source, contributor-friendly zkVM.
A performant, 100% open-source, contributor-friendly zkVM.
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
🥷🩸 Madara is a ⚡ blazing fast ⚡ Starknet sequencer, based on substrate, powered by Rust 🦀
The fastest, most feature-complete zkVM for developers.
Madara is a powerful hybrid Starknet client written in Rust.
A performant, 100% open-source, contributor-friendly zkVM.
The fastest, most feature-complete zkVM for developers.
Madara (prev: Deoxys) is a powerful hybrid Starknet client written in Rust.
Madara is a powerful hybrid Starknet client written in Rust.
hdp integration test with fixtures
Madara is a powerful hybrid Starknet client written in Rust.
🥷🩸 Madara is a ⚡ blazing fast ⚡ Starknet sequencer, based on substrate, powered by Rust 🦀
🥷🩸 Madara is a ⚡ blazing fast ⚡ Starknet sequencer, based on substrate, powered by Rust 🦀
🥷🩸 Madara is a ⚡ blazing fast ⚡ Starknet sequencer, based on substrate, powered by Rust 🦀
parallel tx enginee based on revm
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
The fastest, most feature-complete zkVM for developers.
the race to prove Ethereum in real-time
The fastest, most feature-complete zkVM for developers.
Implementation of Poseidon2 precompile and SHA2 constraints optimizations
The fastest, most feature-complete zkVM for developers.
─── peer developers
─── ecosystems
─── languages
- Rust78
- Cairo14
- TypeScript12
- Solidity3
- JavaScript2
- Shell1
─── subscriber view
Unlock the full view of rkdud007
- · Full repository, commit, and contributor breakdown
- · Peer graph + ecosystem links
- · Weekly trend deltas and pulse signal
- · API + CSV / JSON exports
Already a subscriber? Sign in with the same email used at checkout.