lt circuit

0xPARC · Nov 9, 2024 · 8c37f2f · 8c37f2f
1 parent 2178088
commit 8c37f2f
Show file tree

Hide file tree

Showing 2 changed files with 21 additions and 0 deletions.
diff --git a/pod2/src/pod/circuit/operation.rs b/pod2/src/pod/circuit/operation.rs
@@ -144,6 +144,8 @@ impl OperationTarget {
                 statement2_target,
                 statement3_target,
             ), // TODO: MaxOf
+            StatementTarget::lt(builder, statement1_target, statement2_target), // TODO: Lt
+            StatementTarget::not_equal(builder, statement1_target, statement2_target), // LtToNonequality. TODO.
         ];
 
         // Indicators of whether the conditions on the operands were satisfied.
@@ -196,6 +198,8 @@ impl OperationTarget {
             builder._true(),                                    // TODO: SumOf
             builder._true(),                                    // TODO: ProductOf
             builder._true(),                                    // TODO: MaxOf
+            builder._true(),                                    // TODO: Lt
+            builder._true(),                                    // TODO: LtToNonequality
         ]
         .iter()
         .enumerate()

diff --git a/pod2/src/pod/circuit/statement.rs b/pod2/src/pod/circuit/statement.rs
@@ -283,6 +283,23 @@ impl StatementTarget {
         }
     }
 
+    pub fn lt(
+        builder: &mut CircuitBuilder<F, D>,
+        statement1_target: StatementTarget,
+        statement2_target: StatementTarget,
+    ) -> Self {
+        Self {
+            predicate: builder.constant(Statement::LT),
+            origin1: statement1_target.origin1,
+            key1: statement1_target.key1,
+            origin2: statement2_target.origin1,
+            key2: statement2_target.key1,
+            origin3: OriginTarget::none(builder),
+            key3: builder.zero(),
+            value: builder.zero(),
+        }
+    }
+
     pub fn from_entry(
         builder: &mut CircuitBuilder<F, D>,
         entry_target: &EntryTarget,