
repos
48
ecosystems
14
languages
8
commits
451
─── top repos · by commits
─── repositories
48 totalknowledge graph around a zk cairo bootcamp
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.
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.
EVM interpreter written in Cairo, a sort of ZK-EVM emulator, leveraging STARK proof system.
bitwise tictactoe in cairo on starknet
Kakarot ZK EVM Ethereum RPC adapter
⚡ Cairo VM in Zig ⚡
Kakarot ZK EVM Ethereum RPC adapter
Eternum - The first major mod of the Realms Autonomous World
On-chain gaming toolkit
Test runner for ethereum foundation tests
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 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 🦀
Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact: @porcuquine)
🥷🩸 Madara is a ⚡ blazing fast ⚡ Starknet sequencer, based on substrate, powered by Rust 🦀
mina tutorial #4
🥷🩸 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 🦀
experiment with fuelvm
Dojo is a toolchain for building provable games and applications
Kakarot zkEVM - rewrite in the latest version of Cairo
An advanced fork of Nova (contact:@huitseeker)
cairo-vm_in_go is a Go 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.
SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)
Blockchain (smart contract) platform using CBC-Casper proof of stake + Rholang for concurrent execution.
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
Kakarot zkEVM - rewrite in the latest version of Cairo
─── peer developers
─── ecosystems
─── languages
- Rust23
- Cairo11
- TypeScript3
- Python1
- Zig1
- Go1
- Scala1
- JavaScript1
─── subscriber view
Unlock the full view of jobez
- · 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.



















