repos
102
ecosystems
17
languages
11
commits
1,176
─── top repos · by commits
─── repositories
102 totalKakarot ZK EVM Ethereum RPC adapter
Kakarot ZK EVM Ethereum RPC adapter
A EVM block proving backend in Cairo
ZkProof University, by Harmony One
Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
EVM interpreter written in Cairo, a sort of ZK-EVM emulator, leveraging STARK proof system.
Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
Technical Documentation for Kakarot zkEVM
Kakarot zkEVM - rewrite in the latest version of Cairo
FHEVM, a full-stack framework for integrating Fully Homomorphic Encryption (FHE) with blockchain applications
ZK-EVM type 3 written in Cairo, leveraging STARK proof system.
ZK-EVM type 3 written in Cairo, leveraging STARK proof system.
ZK-EVM type 3 written in Cairo, leveraging STARK proof system.
Indexes a Kakarot-enabled CairoVM network in an EVM readable format, relies on Apibara technology
EVM interpreter written in Cairo, a sort of ZK-EVM emulator, leveraging STARK proof system.
Just a Chess game with some Cairo on top
Source for Kakarot playground
A typescript implementation of the Cairo VM
Foundry like framework for starknet contracts
Test runner for ethereum foundation tests
v1 of kakarot's faucet 🤫
An overview of different zkEVMs
Ethereum end-to-end test harness
Madara is a powerful hybrid Starknet client written in Rust.
Modular stack to build Starknet based scaling engines written in Rust
Deoxys 👽 is a Starknet full node based on substrate and 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 🦀
🥷🩸 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 powerful hybrid Starknet client written in Rust.
Madara (prev: Deoxys) is a powerful hybrid Starknet client written in Rust.
Madara is a powerful hybrid Starknet client written in Rust.
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 🦀
A ZK-VM for the Brainfuck language, based on Stwo
Starknet Improvement Proposal repository
The Cairo Programming Language Book, a comprehensive documentation of the Cairo 1 programming language.
Community maintained Cairo libraries and set of well maintained, optimised and secure components.
A collection of React providers and hooks for StarkNet
ZK-PIG is a ZK-EVM Prover Input generator responsible for generating the data inputs necessary for proving Ethereum Execution Layer (EL) blocks.
The Cairo Programming Language Book, a comprehensive documentation of the Cairo 1 programming language. 本Repo为Astro负责的中文版翻译，定期与官方同步并更新中文翻译。
Starknet Improvement Proposal repository
EVM interpreter written in Cairo, a sort of ZK-EVM emulator, leveraging STARK proof system.
Starknet's developer documentation
Dojo is a toolchain for building provable games and applications
Tsubasa onchain game built with Dojo, running on a Starknet Appchain.
The Cairo package manager
Cairo Language Server
Cairo is the first Turing-complete language for creating provable programs for general computation.
Mastering Starknet. By the Starknet community
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
Prove Cairo programs with the blazing-fast S-two prover, powered by the cryptographic breakthrough of Circle STARKs.
A stateless trustless Starknet light client in Rust 🦀
The "Solana-Awesome" repository serves as a comprehensive, factual resource hub for anyone interested in learning about the Solana blockchain and its underlying technology. It is meticulously curated to include a wide array of informative materials such as articles, videos, and Twitter threads, as well as insightful blog posts.
The Dojo Book
A set of exercises to get started with Cairo0
Sharpen your Katana, it's time to Jam
High-performant sequencer for Dojo
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
A stateless trustless Starknet light client in Rust 🦀
Kakarot is cool, and so should be its whitelisting solution, completely on-chain whitelisting solution 🥕
Cairo is the first Turing-complete language for creating provable programs for general computation.
Dojo is a provable game engine and toolchain for building onchain games and autonomous worlds with Cairo
A stateless trustless Starknet light client in Rust 🦀
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
STARKNET book 📖
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
A stateless trustless Starknet light client in Rust 🦀
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
Cairo is the first Turing-complete language for creating provable programs for general computation.
Dojo is a toolchain for building provable games and autonomous worlds with Cairo
Cairo is the first Turing-complete language for creating provable programs for general computation.
Beerus is a trustless StarkNet Light Client, ⚡blazing fast ⚡ and powered by Rust 🦀
The Cairo package manager
The Cairo package manager
Dojo is a toolchain for building provable games and autonomous worlds with Cairo
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
Cairo is the first Turing-complete language for creating provable programs for general computation.
Dojo is a toolchain for building provable games and autonomous worlds with Cairo
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
Cairo is the first Turing-complete language for creating provable programs for general computation.
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
Cairo is the first Turing-complete language for creating provable programs for general computation.
storedata starknet cairo
The Cairo package manager
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
Cairo is the first Turing-complete language for creating provable programs for general computation.
The Cairo package manager
cairo-rs is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly. Cairo and similar proof systems can be used to provide scalability to blockchains.
The repo for Starknet's developer documentation. Includes contribution guidelines and the Starknet documentation supplementary style guide
─── peer developers
─── ecosystems
─── languages
- Rust48
- Cairo13
- TypeScript9
- MDX3
- Go2
- CSS2
- Assembly1
- JavaScript1
- Python1
- Solidity1
─── subscriber view
Unlock the full view of Eikix
- · 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.