link issues in todos

Author: ed255

src/backends/plonky2/circuits/mainpod.rs

@@ -1222,6 +1222,7 @@ impl MainPodVerifyGadget {
         let vds_root = builder.add_virtual_hash();
         // TODO: verify that all input pod proofs use verifier data from the public input VD array
         // This requires merkle proofs
+        // https://github.com/0xPARC/pod2/issues/250
 
         // Verify that VD array that input pod uses is the same we use now.
         for verified_proof in verified_proofs {

src/backends/plonky2/mainpod/mod.rs

@@ -258,6 +258,7 @@ pub(crate) fn layout_statements(
 
     // Input signed pods region
     // TODO: Replace this with a dumb signed pod
+    // https://github.com/0xPARC/pod2/issues/246
     let none_sig_pod_box: Box<dyn Pod> = Box::new(NonePod {});
     let none_sig_pod = none_sig_pod_box.as_ref();
     assert!(inputs.signed_pods.len() <= params.max_input_signed_pods);
@@ -548,6 +549,7 @@ pub struct MainPod {
 // generate it on-demand.
 fn get_common_data(params: &Params) -> Result<CommonCircuitData<F, D>, Error> {
     // TODO: Cache this somehow
+    // https://github.com/0xPARC/pod2/issues/247
     let rec_params = recursion::new_params::<MainPodVerifyTarget>(
         params.max_input_recursive_pods,
         NUM_PUBLIC_INPUTS,
@@ -567,6 +569,7 @@ impl MainPod {
         // 1, 3, 4, 5 verification via the zkSNARK proof
         let rec_circuit_data = &*STANDARD_REC_MAIN_POD_CIRCUIT_DATA;
         // TODO: cache these artefacts
+        // https://github.com/0xPARC/pod2/issues/247
         let (_, circuit_data) = RecursiveCircuit::<MainPodVerifyTarget>::circuit_data_padded(
             self.params.max_input_recursive_pods,
             &rec_circuit_data.common,

src/backends/plonky2/recursion/circuit.rs

@@ -420,6 +420,7 @@ pub fn pad_circuit(builder: &mut CircuitBuilder<F, D>, common_data: &CommonCircu
     assert_eq!(common_data.config, builder.config);
     assert_eq!(common_data.num_public_inputs, builder.num_public_inputs());
     // TODO: We need to figure this out once we enable zero-knowledge
+    // https://github.com/0xPARC/pod2/issues/248
     assert!(
         !common_data.config.zero_knowledge,
         "Degree calculation can be off if zero-knowledge is on."

src/frontend/mod.rs

@@ -562,7 +562,7 @@ impl MainPodBuilder {
             statements: &statements,
             operations: &operations,
             public_statements: &public_statements,
-            vds_root: EMPTY_HASH, // TODO
+            vds_root: EMPTY_HASH, // TODO https://github.com/0xPARC/pod2/issues/249
         };
         let pod = prover.prove(&self.params, inputs)?;
 

src/middleware/mod.rs

@@ -782,6 +782,7 @@ pub trait PodSigner {
 }
 
 // TODO: Delete once we have a fully working EmptyPod and a dumb SignedPod
+// https://github.com/0xPARC/pod2/issues/246
 /// This is a filler type that fulfills the Pod trait and always verifies.  It's empty.  This
 /// can be used to simulate padding in a circuit.
 #[derive(Debug, Clone)]
@@ -814,7 +815,7 @@ pub struct MainPodInputs<'a> {
     /// Statements that need to be made public (they can come from input pods or input
     /// statements)
     pub public_statements: &'a [Statement],
-    pub vds_root: Hash, // TODO: Figure out if we use Hash or a Map here
+    pub vds_root: Hash, // TODO: Figure out if we use Hash or a Map here https://github.com/0xPARC/pod2/issues/249
 }
 
 pub trait PodProver {