authorgravatar for 124872+jedisct1@users.noreply.github.comFrank Denis <124872+jedisct1@users.noreply.github.com> 2026-09-27 18:38:51+02:00
committergravatar for 124872+jedisct1@users.noreply.github.comFrank Denis <124872+jedisct1@users.noreply.github.com> 2026-10-01 12:06:49+02:00
log4e38cc560315a8f5813fbd976a930601fc7f463b
treef3656d491d72176b5d413ef59883d18e88db7ff6
parent56eba31be2ecf85c11403db7ef76afa60cc4ebe6

Simplify the test

1 files changed, 3 insertions(+), 7 deletions(-)

lib/std/crypto/pcurves/tests/secp256k1.zig+3-7
...@@ -159,17 +159,13 @@ test "secp256k1 public multiplication" {...@@ -159,17 +159,13 @@ test "secp256k1 public multiplication" {
159159
160test "secp256k1 scalar split" {160test "secp256k1 scalar split" {
161 const io = testing.io;161 const io = testing.io;
162 const Scalar = Secp256k1.scalar.Scalar;
163 const n = Secp256k1.scalar.field_order;162 const n = Secp256k1.scalar.field_order;
164 var lambda_s: [32]u8 = undefined;
165 std.mem.writeInt(u256, &lambda_s, lambda, .little);
166 const lambda_scalar = try Scalar.fromBytes(lambda_s, .little);
167 inline for (.{ .little, .big }) |endian| {163 inline for (.{ .little, .big }) |endian| {
164 var lambda_s: [32]u8 = undefined;
165 std.mem.writeInt(u256, &lambda_s, lambda, endian);
168 const k = Secp256k1.scalar.random(io, endian);166 const k = Secp256k1.scalar.random(io, endian);
169 const split = try Secp256k1.Endormorphism.splitScalar(k, endian);167 const split = try Secp256k1.Endormorphism.splitScalar(k, endian);
170 const r1 = try Scalar.fromBytes(split.r1, endian);168 try testing.expectEqual(k, try Secp256k1.scalar.mulAdd(split.r2, lambda_s, split.r1, endian));
171 const r2 = try Scalar.fromBytes(split.r2, endian);
172 try testing.expect(r1.add(r2.mul(lambda_scalar)).equivalent(try Scalar.fromBytes(k, endian)));
173 for ([_][32]u8{ split.r1, split.r2 }) |r_s| {169 for ([_][32]u8{ split.r1, split.r2 }) |r_s| {
174 const r = std.mem.readInt(u256, &r_s, endian);170 const r = std.mem.readInt(u256, &r_s, endian);
175 try testing.expect(@min(r, n - r) < 1 << 128);171 try testing.expect(@min(r, n - r) < 1 << 128);