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.
Apache License 2.0
56 stars 13 forks source link

Assorted Hints (1/4) #264

Open jrchatruc opened 1 year ago

jrchatruc commented 1 year ago
mmsc2 commented 1 year ago

Only SKIP_INSTRUCTION is missing from these ones. the rest are already implemented