You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

dev 7a19b3fa5d Poly1305 vectors whose sums of limb products pass 2^32 ... On the web a shift truncates to 32 bits, so the carries of Poly1305 are taken with a division. A fault injected in the carry of limb 0 passed every test, on the VM, where the shift is exact, and on Node, because no vector took that sum past 2^32. The generator now simulates the 13-bit limbs with the largest r that clamping allows and finds two messages that do; Go's poly1305 gives their tags, and the fault fails on Node. The sums of the other limbs stay below 2^32 (at most 4.14e9 with that r). The strict Ed25519 verification is also checked against testdata/vectors/ed25519_strict.json directly. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>		2 days ago
..
bench.dart	Faster Poly1305, ChaCha20 and field products, and tool/bench.dart	2 days ago
check.sh	The gate runs the tests compiled to JavaScript too	2 days ago
gen_age_vectors.go	Stage 2: reading age v1 as filippo.io/age v1.3.2, and agewrap	2 days ago
gen_primitive_vectors.go	Poly1305 vectors whose sums of limb products pass 2^32	2 days ago
sync_testdata.dart	Stage 0: the package datekeys and its test data at spec-v0.11	3 days ago