chore: add safety comment

noir-lang · Mar 20, 2024 · c60d61f · c60d61f
1 parent 6d16cd5
commit c60d61f
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/noir_stdlib/src/field/bn254.nr b/noir_stdlib/src/field/bn254.nr
@@ -100,6 +100,8 @@ pub fn gt(a: Field, b: Field) -> bool {
         false
     } else {
         let a_lt_b = unsafe {
+            // Safety: We immediately assert the output to be valid based on the if-branch followed.
+            // Using `assert_gt` is sufficient as we've checked for equality already.
             lt_unsafe(a, b, 32)
         };
         if a_lt_b {