192 Forks
552 Stars
552 Watchers

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 program.

How to download and setup cairo-vm

Open terminal and run command
git clone https://github.com/lambdaclass/cairo-vm.git
git clone is used to create a copy or clone of cairo-vm repositories. You pass git clone a repository URL.
it supports a few different network protocols and corresponding URL formats.

Also you may download zip file with cairo-vm https://github.com/lambdaclass/cairo-vm/archive/master.zip

Or simply clone cairo-vm with SSH
[email protected]:lambdaclass/cairo-vm.git

If you have some problems with cairo-vm

You may open issue on cairo-vm support forum (system) here: https://github.com/lambdaclass/cairo-vm/issues

Similar to cairo-vm repositories

Here you may see cairo-vm alternatives and analogs

 webpack    babel    next.js    gatsby    pkg    parcel    ruby    graal    golang-examples    pyret-lang    go    iris    awesome-cheatsheets    CreepyCodeCollection    ACM-ICPC-Preparation    lebab    cs-video-courses    julia    guido    kotlin    kotlin-native    influential-cs-books    selfie    reading    Halide    godzilla    compiler-explorer    Bridge    lowlevelprogramming-university    elvish