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 {