Sfoglia il codice sorgente

zk/gadgets/native_range_check: Add TODO note for strict decompose.

parazyd 4 anni fa
parent
commit
9cef0dccb2
1 ha cambiato i file con 1 aggiunte e 0 eliminazioni
  1. 1 0
      src/zk/gadget/native_range_check.rs

+ 1 - 0
src/zk/gadget/native_range_check.rs

@@ -114,6 +114,7 @@ impl<const WINDOW_SIZE: usize, const NUM_BITS: usize, const NUM_WINDOWS: usize>
             .collect()
     }
 
+    // TODO: strict bool
     pub fn decompose(
         &self,
         region: &mut Region<'_, pallas::Base>,