1diff --git a/tests/ed25519_verify_tests.txt b/tests/ed25519_verify_tests.txt 2new file mode 100644 3index 0000000..74c94b3 4--- /dev/null 5+++ b/tests/ed25519_verify_tests.txt 6@@ -0,0 +1,34 @@ 7+# BoringSSL TEST(Ed25519Test Malleability) 8+ 9+# Control; S is in range. 10+MESSAGE = 54657374 11+SIG = 7c38e026f29e14aabd059a0f2db8b0cd783040609a8be684db12f82a27774ab07a9155711ecfaf7f99f277bad0c6ae7e39d4eef676573336a5c51eb6f946b30d 12+PUB = 7d4d0e7f6153a69b6242b522abbee685fda4420f8834b108c3bdae369ef549fa 13+Result = P 14+ 15+# Same as above, but with the order L added to S so it is out of range. 16+# BoringSSL commit 472ba2c2dd52d06a657a63b7fbf02732a6649d21 17+MESSAGE = 54657374 18+SIG = 7c38e026f29e14aabd059a0f2db8b0cd783040609a8be684db12f82a27774ab067654bce3832c2d76f8f6f5dafc08d9339d4eef676573336a5c51eb6f946b31d 19+PUB = 7d4d0e7f6153a69b6242b522abbee685fda4420f8834b108c3bdae369ef549fa 20+Result = F 21+ 22+ 23+# BoringSSL commit 3094902fcdc2db2cc832fa854b9a6a8be383926c 24+MESSAGE = 124e583f8b8eca58bb29c271b41d36986bbc45541f8e51f9cb0133eca447601e 25+SIG = dac119d6ca87fc59ae611c157048f4d4fc932a149dbe20ec6effd1436abf83ea05c7df0fef06147241259113909bc71bd3c53ba4464ffcad3c0968f2ffffff0f 26+PUB = 100fdf47fb94f1536a4f7c3fda27383fa03375a8f527c537e6f1703c47f94f86 27+Result = P 28+ 29+# Control. Same key as above; same message and signature as below, except S is in range. 30+PUB = 100fdf47fb94f1536a4f7c3fda27383fa03375a8f527c537e6f1703c47f94f86 31+MESSAGE = 6a0bc2b0057cedfc0fa2e3f7f7d39279b30f454a69dfd1117c758d86b19d85e0 32+SIG = 0971f86d2c9c78582524a103cb9cf949522ae528f8054dc20107d999be673ff4f58ac9d20ec563133cabc6230b1db8625f8446639ede46ad4df4053000000000 33+Result = P 34+ 35+# Same key as above, but S is out of range. 36+# BoringSSL commit 472ba2c2dd52d06a657a63b7fbf02732a6649d21 37+PUB = 100fdf47fb94f1536a4f7c3fda27383fa03375a8f527c537e6f1703c47f94f86 38+MESSAGE = 6a0bc2b0057cedfc0fa2e3f7f7d39279b30f454a69dfd1117c758d86b19d85e0 39+SIG = 0971f86d2c9c78582524a103cb9cf949522ae528f8054dc20107d999be673ff4e25ebf2f2928766b1248bec6e91697775f8446639ede46ad4df4053000000010 40+Result = F 41