kkrt-labs / cairo-vm-tsView external linksLinks
A typescript implementation of the Cairo VM
β20Oct 7, 2024Updated last year
Alternatives and similar repositories for cairo-vm-ts
Users that are interested in cairo-vm-ts are comparing it to the libraries listed below
Sorting:
- Test runner for ethereum foundation testsβ25Feb 10, 2025Updated last year
- Exploratory work on abigen in rust for Starknet π¦β15Dec 17, 2023Updated 2 years ago
- A virtual machine for Cairo written in Goβ88Jun 20, 2025Updated 7 months ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.β13Jul 2, 2025Updated 7 months ago
- A comprehensive library for Cairo πΊβ40Jan 27, 2026Updated 2 weeks ago
- ZK-PIG is a ZK-EVM Prover Input generator responsible for generating the data inputs necessary for proving Ethereum Execution Layer (EL) β¦β15Nov 20, 2025Updated 2 months ago
- cairo-vm_in_go is a Go implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for wrβ¦β57Apr 30, 2024Updated last year
- A Starknet toolkitβ15Mar 6, 2025Updated 11 months ago
- Kakarot zkEVM - rewrite in the latest version of Cairoβ133Jan 8, 2025Updated last year
- Kakarot ZK EVM Ethereum RPC adapterβ135Jan 8, 2025Updated last year
- An ABI compatible for KZG EIP-4844 in Rustβ23Jun 2, 2023Updated 2 years ago
- A library implementing GPU-accelerated cryptographic functionality for the zkSync prover.β25Aug 16, 2024Updated last year
- The PSE websiteβ26Updated this week
- The repository for high quality Trusted setups for groth16 based SNARKSβ22Jul 18, 2025Updated 6 months ago
- Forkable template to get you started with Starknet Foundry's Forgeβ15Nov 15, 2023Updated 2 years ago
- Technical Documentation for Kakarot zkEVMβ11Feb 21, 2025Updated 11 months ago
- β11Jan 17, 2024Updated 2 years ago
- The Dojo Bookβ53Updated this week
- Rust client library for Flashbot's mev-share.β20Apr 19, 2023Updated 2 years ago
- Prove multi-opens of EIP-4844 KZG blobsβ16Jun 15, 2023Updated 2 years ago
- β17Apr 25, 2023Updated 2 years ago
- Write Zero Knowledge Circuits in Solidityβ13Nov 30, 2023Updated 2 years ago
- Monorepo for collection of Axiom V2 Typescript SDKs.β14Oct 21, 2024Updated last year
- Mobile OS built for Starknetβ29Jun 5, 2025Updated 8 months ago
- A collection of lints to catch common mistakes and improve your Cairo code.β32Feb 5, 2026Updated last week
- Security Challenges for Starknetβ11May 21, 2024Updated last year
- Starky implementation of Bls12-381β13May 16, 2024Updated last year
- A library to generate bindings from Cairo ABI.β50Feb 6, 2026Updated last week
- βοΈ Rules core smart contractsβ12Nov 24, 2023Updated 2 years ago
- Utility features to play with EIP-4844 blobs for Starknet usage.β14May 26, 2024Updated last year
- β14Dec 13, 2024Updated last year
- Secure and performant zkEVM compiled from evmone via zkLLVMβ16Jan 3, 2024Updated 2 years ago
- Verifying Cairo Programs in SP1β14Oct 16, 2024Updated last year
- Starkli (/ΛstΙΛrklaΙͺ/), a β‘ blazing β‘ fast β‘ CLI tool for Starknet powered by π¦ starknet-rs π¦β185Aug 10, 2025Updated 6 months ago
- STARK 101 Workshop in Rust πΊπ¦β140Apr 28, 2023Updated 2 years ago
- ποΈ The Signet Block Builder π§±β23Updated this week
- cuZK: An Efficient GPU Implemetation of zkSNARKβ38Sep 19, 2023Updated 2 years ago
- Adapt your STARK stone proofs for verifications on Ethereumβ17Oct 2, 2024Updated last year
- The Cairo Programming Language Book, a comprehensive documentation of the Cairo 1 programming language.β277Feb 7, 2026Updated last week