search

lambdaclass / cairo-vm

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 a certain computation was executed correctly without the need for this party to re-execute the same program.
https://lambdaclass.github.io/cairo-vm
Apache License 2.0
518 stars 148 forks source link

Refactor biguint_to_felt and bigint_to_felt functions #1495

Closed pefontana closed 9 months ago

pefontana commented 11 months ago

We should delete the functions felt_to_biguint, felt_to_bigint, biguint_to_felt and bigint_to_felt https://github.com/lambdaclass/cairo-vm/blob/55eaaa7be3778b84871e24d1f87e4ae6f62184dd/vm/src/utils.rs#L67 And use the BigUint and BigInts conversion to felt, provided by the starknet-types-core crate