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
57
stars
13
forks
source link
Add `testProgram` & `testProgramProof` wrappers to reduce merge conflicts in cairo_run_test.go file #273
With the constant development of hints, a lot of merge conflicts appear in the cairo_run_test.go file, and as the tests are very similar, solving them is not as trivial as it should be. This PR aims to remove boilerplate code in the tests to reduce the overlap between them.
With the constant development of hints, a lot of merge conflicts appear in the
cairo_run_test.gofile, and as the tests are very similar, solving them is not as trivial as it should be. This PR aims to remove boilerplate code in the tests to reduce the overlap between them.