Skip to content

ben2077/cairo_vm.go

 
 

Repository files navigation

Loading

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.

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

 
 
 

Contributors

Languages

  • Go 81.8%
  • Cairo 15.1%
  • Rust 1.3%
  • Makefile 0.9%
  • C 0.4%
  • Python 0.3%
  • Shell 0.2%