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.
It would be good to have implementations of Writer trait for the common cases and expose them in the library interface.
This would save the users require their own implementation for this shared requirement.
Specifically, we need at least FileWriter and MemoryWriter to write to file and memory respectively.
Additionally, this would avoid users of the library to import bincode crate in their Cargo.toml, avoiding dependency version conflicts.
pablodeymo
commented
1 year ago
It would be good to have implementations of Writer trait for the common cases and expose them in the library interface. This would save the users require their own implementation for this shared requirement. Specifically, we need at least
FileWriterandMemoryWriterto write to file and memory respectively.Additionally, this would avoid users of the library to import
bincodecrate in their Cargo.toml, avoiding dependency version conflicts.