From c60d61f0779104cda2e05d3eaee88ddcb0aa9398 Mon Sep 17 00:00:00 2001
From: Tom French <tom@tomfren.ch>
Date: Wed, 20 Mar 2024 10:43:02 +0000
Subject: [PATCH] chore: add safety comment

---
 noir_stdlib/src/field/bn254.nr | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/noir_stdlib/src/field/bn254.nr b/noir_stdlib/src/field/bn254.nr
index 7efe1b3e502..de3e765a377 100644
--- 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 {