feat(zk): impl CanonicalSerialize/Deserialize

[tmontaigu]

This is to allow specifying whether data should be compressed as compression and validation adds a very signigicant overhead especially in wasm where deserialization goes from 6 min to 450ms

[tmontaigu]

@kc1212 @dd23
Given this, I wonder if we remove the serde serialization for ZkPok entities since, it would be better sur rely on ark's canonical serialize/deserialize to pass the Compress and Validate options explicitely and if one want to use serde in a struct that embeds a zk pok think he could use something like #[serde(deserialize_with = "deser_function")] and specify its own default values for Compress/Validate in there

[kc1212]

Is it possible to use #[serde(deserialize_with = "deser_function")] on G1, G2, etc when tfhe-zk-pok is used as a library? Or we'll have to write wrapper types?

[tmontaigu]

Yes this should be possible

#[derive(serde::Deserialize, serde::Serialize)]
struct MyStruct<C: zk-pok::Curve> {
 #[serde(deserialize_with = "deser_function")]
 g1: C::G1
}