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...
- Research which fuzzy testing Rust tool to use. - Find possible areas in cleopatra in which to apply fuzzing testing. - Expected output: a decision on which fuzzy testing...
Check https://github.com/lurk-lang/lurk as reference
Eventually, we will want to have tests that ensure parity across Cairo VM implementations. How exactly to achieve that is an open question, but it will likely involve a Python...
Perhaps the `is_zero` function in [`vm_core`](https://github.com/lambdaclass/cleopatra_cairo/blob/a0b487903e3bb1cf197752277bb0687954a9cc20/src/vm/vm_core.rs#L131) might be improved by using the [`is_zero` method](https://docs.rs/num-bigint/latest/num_bigint/struct.BigInt.html#method.is_zero) from the num_bigint library instead of constructing a zero value and comparing against it.
- Expected output: a good walkthrough on how existing hints work in cairo and oraic
The kani rust verifier project might be useful. - Research the tool and it's best uses. - Find if possible applications within cleopatra - Expected output: an informed discussion on...
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...