From 747f1875af0e76b3b44ed6c91dc19430bff7ac4a Mon Sep 17 00:00:00 2001
From: wborgeaud <williamborgeaud@gmail.com>
Date: Wed, 23 Jun 2021 14:26:05 +0200
Subject: [PATCH] Add todo for public inputs

---
 src/circuit_builder.rs | 1 -
 src/witness.rs         | 1 +
 2 files changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/circuit_builder.rs b/src/circuit_builder.rs
index 640e17a5..0a7041e5 100644
--- a/src/circuit_builder.rs
+++ b/src/circuit_builder.rs
@@ -274,7 +274,6 @@ impl<F: Extendable<D>, const D: usize> CircuitBuilder<F, D> {
         }
 
         let wire_partitions = target_partitions.to_wire_partitions();
-
         wire_partitions.get_sigma_polys(degree_log, k_is)
     }
 
diff --git a/src/witness.rs b/src/witness.rs
index aff0192a..989ec2bc 100644
--- a/src/witness.rs
+++ b/src/witness.rs
@@ -135,6 +135,7 @@ impl<F: Field> PartialWitness<F> {
         F: Extendable<D>,
     {
         for &(a, b) in copy_constraints {
+            // TODO: Take care of public inputs once they land.
             if let (Target::Wire(wa), Target::Wire(wb)) = (a, b) {
                 let va = self.target_values.get(&a).copied().unwrap_or(F::ZERO);
                 let vb = self.target_values.get(&b).copied().unwrap_or(F::ZERO);