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.
[ ] Add a deserializator for public inputs without layout params
[ ] Add a deserialization for the full public inputs
To start with the first task a new Struct can be created PublicInputForDeserializer that contains the same fields but the params, and the derive can be done automatically by Serde. Then implement a to/from to convert it to the real PublicInput
A way to deserialize public inputs would be useful to load them outside the VM. This would be really useful for Rust provers.
For Cairo Platinum, we have created the issue here: https://github.com/lambdaclass/lambdaworks/issues/727
We suggested two tasks:
To start with the first task a new Struct can be created
PublicInputForDeserializerthat contains the same fields but the params, and the derive can be done automatically by Serde. Then implement a to/from to convert it to the realPublicInput