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...
Check if we can add mongomery multiplication in assembly - https://github.com/nccgroup/pairing - https://research.nccgroup.com/2021/09/10/optimizing-pairing-based-cryptography-montgomery-multiplication-in-assembly/
Check: https://github.com/FuzzingLabs/thoth
https://github.com/FuzzingLabs/thoth/tree/master/tests/cairo_files
We should add them to github actions - https://github.com/rust-secure-code/cargo-geiger - https://crates.io/crates/cargo-audit - https://github.com/kbknapp/cargo-outdated
https://github.com/sharkdp/hyperfine
Hi guys! Super cool work you're doing! I saw cleopatra was supporting only the equivalent of cairo-run at the moment. Do you envision supporting as well compilation of cairo programs...
We're currently using `BigInt` explicitly, which forces us to compute the `.mod_floor` of results after every operation, use costly divisions, etc. The first step to fix arithmetic performance issues is...
A significant part of runtime is spent in performing modular arithmetic. These operations can be greatly optimized by using [Montgomery form](https://en.wikipedia.org/wiki/Montgomery_modular_multiplication) to represent our fields or by using [Barrett reduction](https://en.wikipedia.org/wiki/Barrett_reduction)...
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...