cairo-vm
cairo-vm copied to clipboard
lambdaclass
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...
Right now we have pinned the wasm-bindgen deps `wasm-bindgen = { version = "= 0.2.92" }` This can be a little bit annoying for people that use cairo-vm as a...
Sometimes in the code we need an ordered list of builtins: ```rust const BUILTIN_ORDERED_LIST: &[BuiltinName] = &[ BuiltinName::output, BuiltinName::pedersen, BuiltinName::range_check, BuiltinName::ecdsa, BuiltinName::bitwise, BuiltinName::ec_op, BuiltinName::keccak, BuiltinName::poseidon, BuiltinName::range_check96, BuiltinName::add_mod, BuiltinName::mul_mod, ]; ```...
Add some tests to the CI integrating our CairoVM with the [stone prover](https://github.com/starkware-libs/stone-prover). Specially Cairo 1
Metadata
Owner
Metadata
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...