search

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
57 stars 13 forks source link

fix: constants for opcodes #318

Closed greged93 closed 1 year ago

greged93 commented 1 year ago

Fixes the values of the constants for the opcodes based on the Cairo paper.

codecov-commenter commented 1 year ago

Codecov Report

Merging #318 (ebc719e) into main (e5fcc25) will not change coverage. The diff coverage is n/a.

@@           Coverage Diff           @@
##             main     #318   +/-   ##
=======================================
  Coverage   56.37%   56.37%           
=======================================
  Files          50       50           
  Lines        6634     6634           
=======================================
  Hits         3740     3740           
  Misses       2506     2506           
  Partials      388      388
Files Coverage Δ
pkg/vm/instruction.go 97.85% <ø> (ø)

:mega: We’re building smart automated test selection to slash your CI/CD build times. Learn more