jobez

blockifier

Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs and blocks.

zk-kr

knowledge graph around a zk cairo bootcamp

04-jhnn-browser-ui

mina tutorial #4

aitia

explorational/educational datalog engine in zig

arecibo

bellpepper

SNARK Circuit library

bw-tictactoe

bitwise tictactoe in cairo on starknet

cairo-ecs

cairo-rs

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.

cairo-vm_in_go

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.

cairo-zig

⚡ Cairo VM in Zig ⚡

CairoBootcamp

Repo for the Encode Cairo 5 week bootcamp

dojo

Dojo is a verifiable game engine and toolchain for building onchain games and autonomous worlds with Cairo 1.0.

ef-tests

Test runner for ethereum foundation tests

eth_tests_with_post

experiment in having general state tests with post state, as generated by geth tracing

hey-sway

experiment with fuelvm

internet-computer-land

adventures in building dapps

kakarot

ZK-EVM type 3 written in Cairo, leveraging STARK proof system.

kakarot-rpc

Kakarot ZK EVM Ethereum RPC adapter

kakarot-ssj

Kakarot ZK-EVM in Cairo 1.0 🐺 ⚡

lurk-rs

Lurk is a Turing-complete programming language for recursive zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.

madara

🥷🩸 Madara is a ⚡ blazing fast ⚡ Starknet sequencer, based on substrate, powered by Rust 🦀

neptune

Rust Poseidon implementation.

ng-questplay

overlore

stark-anatomy

Translation of the "Anatomy of a STARK" Python code to Rust

starklings

An interactive tutorial to get you up and running with Starknet

subspace

PKM + REPL + AI

ziglings

Learn the Zig programming language by fixing tiny broken programs.

zkiap_exercises

doing zkiap exercises in zig, because i like the letter z