lambdaclass / cairo-vm

cairo-vm is a Rust 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.
https://lambdaclass.github.io/cairo-vm
Apache License 2.0
514 stars 144 forks source link

Fixed serializations for range_check96 and empty signautre additional #1785

Closed Alon-Ti closed 3 months ago

Alon-Ti commented 3 months ago

Fix bug where an empty signature array in bulitin additional data was deserialized as Hash, and name of range_check96 builtin.