Illustration drawn by RepoMasters from the repo’s ID and its language color. Credits
AlphaUncommon

starkware-libs/cairo-vm

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…

Owner
starkware-libs (organization)
Stars
Stars: 588
Forks
Forks: 220
Language
Rust
License
Apache-2.0
Created
2022
Topics
blockchaincompilerprogramming-languagecryptographyrustzkpstark
Tier
Alpha (250 to 699 ★) What this tier means
View on GitHub

More repos by starkware-libs

All 12 repos by starkware-libs

Nearby in Rust

All Rust repos