Add TODO (privacy-scaling-explorations#961)

Co-authored-by: Mason Liang <[email protected]> Co-authored-by: Carlos Pérez <[email protected]> Co-authored-by: Chih Cheng Liang <[email protected]>
lfzkoala · Dec 15, 2022 · cc1e0d6 · cc1e0d6
1 parent 20b4db0
commit cc1e0d6
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/zkevm-circuits/src/state_circuit.rs b/zkevm-circuits/src/state_circuit.rs
@@ -56,6 +56,8 @@ pub struct StateCircuitConfig<F> {
     // For Rw::AccountStorage, identify non-existing if both committed value and
     // new value are zero. Will do lookup for ProofType::StorageDoesNotExist if
     // non-existing, otherwise do lookup for ProofType::StorageChanged.
+    // TODO: use BatchedIsZeroGadget here, once it doesn't depend on the evm circuit constraint
+    // builder.
     is_non_exist: Column<Advice>,
     state_root: Column<Advice>,
     lexicographic_ordering: LexicographicOrderingConfig,