-
cairo-m Public
Forked from kkrt-labs/cairo-mThe Mobile first, Cpu AIR (aka zkVM), using M31 and Stwo's Max power
Rust Other UpdatedNov 3, 2025 -
-
cairo-zig Public
Forked from keep-starknet-strange/ziggy-starkdust⚡ Cairo VM in Zig ⚡
Zig MIT License UpdatedMar 12, 2024 -
-
stark-anatomy Public
Forked from greged93/stark-anatomyTranslation of the "Anatomy of a STARK" Python code to Rust
Rust UpdatedJan 15, 2024 -
-
kakarot Public
Forked from kkrt-labs/kakarotZK-EVM type 3 written in Cairo, leveraging STARK proof system.
Cairo MIT License UpdatedDec 20, 2023 -
zkiap_exercises Public
doing zkiap exercises in zig, because i like the letter z
Zig UpdatedDec 11, 2023 -
dojo Public
Forked from dojoengine/dojoDojo is a verifiable game engine and toolchain for building onchain games and autonomous worlds with Cairo 1.0.
Rust Apache License 2.0 UpdatedDec 5, 2023 -
lurk-rs Public
Forked from lurk-lab/lurk-betaLurk is a Turing-complete programming language for recursive zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.
Rust Apache License 2.0 UpdatedNov 6, 2023 -
-
madara Public
Forked from keep-starknet-strange/madara🥷🩸 Madara is a ⚡ blazing fast ⚡ Starknet sequencer, based on substrate, powered by Rust 🦀
Rust MIT License UpdatedNov 6, 2023 -
neptune Public
Forked from lurk-lab/neptuneRust Poseidon implementation.
Rust Other UpdatedNov 3, 2023 -
bellpepper Public
Forked from lurk-lang/bellpepperSNARK Circuit library
-
cairo-vm_in_go Public
Forked from lambdaclass/cairo-vm_in_gocairo-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 anothe…
Go Apache License 2.0 UpdatedOct 27, 2023 -
ziglings Public template
Forked from ratfactor/ziglingsLearn the Zig programming language by fixing tiny broken programs.
Zig MIT License UpdatedOct 14, 2023 -
ef-tests Public
Forked from kkrt-labs/ef-testsTest runner for ethereum foundation tests
Rust UpdatedSep 26, 2023 -
blockifier Public
Forked from dojoengine/blockifierBlockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs and blocks.
-
-
kakarot-rpc Public
Forked from kkrt-labs/kakarot-rpcKakarot ZK EVM Ethereum RPC adapter
Rust MIT License UpdatedAug 17, 2023 -
eth_tests_with_post Public
experiment in having general state tests with post state, as generated by geth tracing
Shell UpdatedAug 6, 2023 -
-
cairo-rs Public
Forked from ClementWalter/cairo-rscairo-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 th…
Rust Apache License 2.0 UpdatedJun 19, 2023 -
kakarot-ssj Public
Forked from kkrt-labs/kakarot-ssjKakarot ZK-EVM in Cairo 1.0 🐺 ⚡
Cairo MIT License UpdatedMar 28, 2023 -
-
-
-
-
-
{{ message }}