Correct commented asserts

i-spark · Feb 11, 2021 · 135a8ee · 135a8ee
1 parent d5e5a61
commit 135a8ee
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/core/src/main/java/org/bouncycastle/math/ec/rfc8032/Ed25519.java b/core/src/main/java/org/bouncycastle/math/ec/rfc8032/Ed25519.java
@@ -353,7 +353,7 @@ private static int getWindow4(int[] x, int n)
 
     private static byte[] getWnafVar(int[] n, int width)
     {
-//        assert n[SCALAR_INTS - 1] <= L[SCALAR_INTS - 1];
+//        assert 0 <= n[SCALAR_INTS - 1] && n[SCALAR_INTS - 1] <= L[SCALAR_INTS - 1];
 //        assert 2 <= width && width <= 8;
 
         int[] t = new int[SCALAR_INTS * 2];

diff --git a/core/src/main/java/org/bouncycastle/math/ec/rfc8032/Ed448.java b/core/src/main/java/org/bouncycastle/math/ec/rfc8032/Ed448.java
@@ -354,7 +354,7 @@ private static int getWindow4(int[] x, int n)
 
     private static byte[] getWnafVar(int[] n, int width)
     {
-//        assert n[SCALAR_INTS - 1] <= L[SCALAR_INTS - 1];
+//        assert 0 <= n[SCALAR_INTS - 1] && n[SCALAR_INTS - 1] <= L[SCALAR_INTS - 1];
 //        assert 2 <= width && width <= 8;
 
         int[] t = new int[SCALAR_INTS * 2];