GitHub - ben2077/cairo_vm.go: cairo_vm.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.

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 153 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.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