cairo-vm.c
cairo-vm.c copied to clipboard
lambdaclass
cairo-vm_in_C is a C 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 tha...
In Docker, we don't call the format command, so the command to run in the CI shouldn't be called `docker_test_and_format`.
If we run ```c uint8_t *a = u64_to_le_bytes(value, b); ``` We will have `a` and `b` pointing to the same memory cell. If `*a` changes, `*b` will change too. Besides...
Metadata
Owner
Metadata
cairo-vm_in_C is a C 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 tha...