add hack to allow clients to sync with golang

ipa-multipoint/src/ipa.rs

@@ -12,9 +12,13 @@ use std::iter;
 
 #[derive(Debug, Clone, PartialEq, Eq)]
 pub struct IPAProof {
-    pub(crate) L_vec: Vec<Element>,
-    pub(crate) R_vec: Vec<Element>,
-    pub(crate) a: Fr,
+    // TODO: These are now public because the golang code
+    // exposes the proof structure to client devs,
+    // and if we don't expose, then we can't deserialize the json
+    // proof into a IPAProof.
+    pub L_vec: Vec<Element>,
+    pub R_vec: Vec<Element>,
+    pub a: Fr,
 }
 
 impl IPAProof {

ipa-multipoint/src/multiproof.rs

@@ -162,8 +162,12 @@ impl MultiPoint {
 }
 #[derive(Debug, Clone, PartialEq, Eq)]
 pub struct MultiPointProof {
-    open_proof: IPAProof,
-    g_x_comm: Element,
+    // TODO: These are now public because the golang code
+    // exposes the proof structure to client devs,
+    // and if we don't expose, then we can't deserialize the json
+    // proof into a MultiPointProof
+    pub open_proof: IPAProof,
+    pub g_x_comm: Element,
 }
 
 impl MultiPointProof {

verkle-trie/Cargo.toml

@@ -20,6 +20,11 @@ rayon = "1.5.1"
 smallvec = "1.6.1"
 sha2 = "0.9.3"
 itertools = "0.10.1"
+# serde is needed to deserialize the execution witness in the block.
+# Most of these elements should be opaque, but the golang code
+# exposes them.
+serde = { version = "1.0", features = ["derive"] }
+serde_json = "1.0"
 
 [dev-dependencies]
 criterion = "0.5.1"

verkle-trie/src/proof.rs

@@ -9,6 +9,7 @@ use ipa_multipoint::transcript::Transcript;
 use std::collections::{BTreeMap, BTreeSet};
 use std::io::{Read, Write};
 
+pub mod golang_proof_format;
 mod key_path_finder;
 mod opening_data;
 pub(crate) mod prover;