GitHub - lambdaclass/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.

This repository was archived by the owner on Mar 13, 2026. It is now read-only.

Name		Name	Last commit message	Last commit date
Latest commit History 164 Commits
.github/workflows		.github/workflows
cairo_programs		cairo_programs
cmd/cli		cmd/cli
docs		docs
pkg		pkg
scripts		scripts
.gitignore		.gitignore
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
check_fmt.sh		check_fmt.sh
go.mod		go.mod
go.sum		go.sum
requirements.txt		requirements.txt

Repository files navigation

About

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.

Readme

Apache-2.0 license