Proofs support serde serialization and deserialization, but this is not particularly efficient since the X and Y vectors and f matrix presumably use length prepending that is redundant.
It may be useful to include a bespoke canonical serialization format that removes this redundancy and optimizes for space.
Proofs support
serdeserialization and deserialization, but this is not particularly efficient since theXandYvectors andfmatrix presumably use length prepending that is redundant.It may be useful to include a bespoke canonical serialization format that removes this redundancy and optimizes for space.