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
Make genric function `FetchScopeVar` fetch values of type `*T` too #296
This provides a solution to the problem described in #294 with regards to scope variables