document VDSet & vds_root

Author: arnaucube

src/backends/plonky2/basetypes.rs

@@ -60,7 +60,11 @@ pub static DEFAULT_VD_SET: LazyLock<VDSet> = LazyLock::new(|| {
     VDSet::new(params.max_depth_mt_vds, &vds).unwrap()
 });
 
-/// Struct that allows to get the specific merkle proofs for the given verifier_data
+/// VDSet is the set of the allowed verifier_data hashes. When proving a
+/// MainPod, the circuit will enforce that all the used verifier_datas for
+/// verifying the recursive proofs of previous PODs appears in the VDSet.
+/// The VDSet struct that allows to get the specific merkle proofs for the given
+/// verifier_data.
 #[derive(Clone, Debug)]
 pub struct VDSet {
     root: Hash,

src/backends/plonky2/mainpod/mod.rs

@@ -545,6 +545,11 @@ impl PodProver for Prover {
 pub struct MainPod {
     params: Params,
     id: PodId,
+    /// vds_root is the merkle-root of the `VDSet`, which contains the
+    /// verifier_data hashes of the allowed set of VerifierOnlyCircuitData, for
+    /// the succession of recursive MainPods, which when proving the POD, it is
+    /// proven that all the recursive proofs that are being verified in-circuit
+    /// use one of the verifier_data's contained in the VDSet.
     vds_root: Hash,
     public_statements: Vec<Statement>,
     proof: Proof,