Mariano A. Nicolini
Mariano A. Nicolini
change > An important feature of probability is how related it is to real world problems. The most fruitful probabilities fields are the ones that approach this kind of problem....
Constant values from cairo are being hardcoded when used in hints (you can check keccak_hints for reference). In the future if this constants change in cairo, they could make the...
* `value` in `compare_bytes_in_word_nondet`: ``` This works fine, but it should be checked for a performance improvement. One option is to try to convert n_bytes into usize, with failure to...
Currently in the parsing the type (felt, felt*, felt**) of the references is not being used, this must be polished to have a tidier parsing of the grammar.
Add documentation about the grammar being parsed in the reference values and link the documentation in the comments at the beginning of the parser.
No need for the value to be BigInt. https://github.com/lambdaclass/cleopatra_cairo/blob/6091bb8c95b1c10b6c38d9b2562d7ddbecbbf865/src/serde/deserialize_program.rs#L32
https://github.com/lambdaclass/cleopatra_cairo/blob/f021c6feb6d15aa4184f26c3bc3c71c641ad95a9/Makefile#L34 Remove `compare_benchmark_deps` later