test: add fast-check property tests for Stellar scalar arithmetic#28
test: add fast-check property tests for Stellar scalar arithmetic#28TheDEV111 wants to merge 1 commit into
Conversation
Implements all eight properties from issue wraith-protocol#3: - Scalar addition: associativity, commutativity, additive identity - Round-trip: bytesToScalar(scalarToBytes(a)) == a - seedToScalar: determinism and distinct-seed collision resistance - Stealth equation: (m + s_h)*G == m*G + s_h*G (homomorphism) - View-tag uniformity: chi-square over 10k sequential inputs - signWithScalar: signature verification, wrong-message/wrong-key rejection Default run: 1000 cases. FC_RUNS=100000 via pnpm test:fuzz. Nightly CI job (slow-tests) runs the high-case version at 02:00 UTC.
|
@TheDEV111 Great news! 🎉 Based on an automated assessment of this PR, the linked Wave issue(s) no longer count against your application limits. You can now already apply to more issues while waiting for a review of this PR. Keep up the great work! 🚀 |
|
Closing as a duplicate. Issue #3 is being addressed in #15 which was opened first and is currently waiting on a rebase. Sorry about the wasted effort, that's on us for not making assignment-tracking more visible. Your PR is actually slightly more thorough than #15 in a couple of places. Specifically, you have:
Once #15 lands, a small follow-up PR adding these as additional negative-path and invariant tests would be very welcome. Would you be up for that, @TheDEV111? I'll fast-track the review. Other open Stellar Wave issues you'd be well-suited for, given the property-test rigor here:
|
Closes #3
Implements all eight properties from issue #3:
Default run: 1000 cases. FC_RUNS=100000 via pnpm test:fuzz. Nightly CI job (slow-tests) runs the high-case version at 02:00 UTC.