cairo-vm_in_go icon indicating copy to clipboard operation
cairo-vm_in_go copied to clipboard

Published 20 hours ago • verified publisher icon lambdaclass
→

Metadata

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

Results 43 cairo-vm_in_go issues
Sort by recently updated
recently updated
newest added

Document Proof mode

It's by far the least understood part of the vm, it needs extensive documentation

jrchatruc avatar jrchatruc

Segment Arena builtin

1 comment

gabrielbosio avatar gabrielbosio

AIR Public inputs

gabrielbosio avatar gabrielbosio

← Metadata

47
Stars
9
Forks
Watchers

Owner

verified publisher icon lambdaclass

Metadata

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

Back