test: Update ZIP 215 test cases from ed25519-zebra
This commit is contained in:
parent
30619ae888
commit
a379f275dd
|
@ -167,7 +167,13 @@ TEST(ConsensusTests, ZIP215TestVectors) {
|
|||
);
|
||||
ZIP215Check(
|
||||
"0100000000000000000000000000000000000000000000000000000000000000",
|
||||
"00000000000000000000000000000000000000000000000000000000000000800000000000000000000000000000000000000000000000000000000000000000",
|
||||
"01000000000000000000000000000000000000000000000000000000000000800000000000000000000000000000000000000000000000000000000000000000",
|
||||
false,
|
||||
true
|
||||
);
|
||||
ZIP215Check(
|
||||
"0100000000000000000000000000000000000000000000000000000000000000",
|
||||
"ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000000000000000000000000000000000000000000000000000",
|
||||
false,
|
||||
true
|
||||
);
|
||||
|
@ -245,8 +251,14 @@ TEST(ConsensusTests, ZIP215TestVectors) {
|
|||
);
|
||||
ZIP215Check(
|
||||
"c7176a703d4dd84fba3c0b760d10670f2a2053fa2c39ccc64ec7fd7792ac037a",
|
||||
"00000000000000000000000000000000000000000000000000000000000000800000000000000000000000000000000000000000000000000000000000000000",
|
||||
true,
|
||||
"01000000000000000000000000000000000000000000000000000000000000800000000000000000000000000000000000000000000000000000000000000000",
|
||||
false,
|
||||
true
|
||||
);
|
||||
ZIP215Check(
|
||||
"c7176a703d4dd84fba3c0b760d10670f2a2053fa2c39ccc64ec7fd7792ac037a",
|
||||
"ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000000000000000000000000000000000000000000000000000",
|
||||
false,
|
||||
true
|
||||
);
|
||||
ZIP215Check(
|
||||
|
@ -323,7 +335,13 @@ TEST(ConsensusTests, ZIP215TestVectors) {
|
|||
);
|
||||
ZIP215Check(
|
||||
"0000000000000000000000000000000000000000000000000000000000000080",
|
||||
"00000000000000000000000000000000000000000000000000000000000000800000000000000000000000000000000000000000000000000000000000000000",
|
||||
"01000000000000000000000000000000000000000000000000000000000000800000000000000000000000000000000000000000000000000000000000000000",
|
||||
false,
|
||||
true
|
||||
);
|
||||
ZIP215Check(
|
||||
"0000000000000000000000000000000000000000000000000000000000000080",
|
||||
"ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000000000000000000000000000000000000000000000000000",
|
||||
false,
|
||||
true
|
||||
);
|
||||
|
@ -401,7 +419,13 @@ TEST(ConsensusTests, ZIP215TestVectors) {
|
|||
);
|
||||
ZIP215Check(
|
||||
"26e8958fc2b227b045c3f489f2ef98f0d5dfac05d3c63339b13802886d53fc05",
|
||||
"00000000000000000000000000000000000000000000000000000000000000800000000000000000000000000000000000000000000000000000000000000000",
|
||||
"01000000000000000000000000000000000000000000000000000000000000800000000000000000000000000000000000000000000000000000000000000000",
|
||||
false,
|
||||
true
|
||||
);
|
||||
ZIP215Check(
|
||||
"26e8958fc2b227b045c3f489f2ef98f0d5dfac05d3c63339b13802886d53fc05",
|
||||
"ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000000000000000000000000000000000000000000000000000",
|
||||
false,
|
||||
true
|
||||
);
|
||||
|
@ -479,7 +503,13 @@ TEST(ConsensusTests, ZIP215TestVectors) {
|
|||
);
|
||||
ZIP215Check(
|
||||
"ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f",
|
||||
"00000000000000000000000000000000000000000000000000000000000000800000000000000000000000000000000000000000000000000000000000000000",
|
||||
"01000000000000000000000000000000000000000000000000000000000000800000000000000000000000000000000000000000000000000000000000000000",
|
||||
false,
|
||||
true
|
||||
);
|
||||
ZIP215Check(
|
||||
"ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f",
|
||||
"ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000000000000000000000000000000000000000000000000000",
|
||||
false,
|
||||
true
|
||||
);
|
||||
|
@ -557,7 +587,13 @@ TEST(ConsensusTests, ZIP215TestVectors) {
|
|||
);
|
||||
ZIP215Check(
|
||||
"26e8958fc2b227b045c3f489f2ef98f0d5dfac05d3c63339b13802886d53fc85",
|
||||
"00000000000000000000000000000000000000000000000000000000000000800000000000000000000000000000000000000000000000000000000000000000",
|
||||
"01000000000000000000000000000000000000000000000000000000000000800000000000000000000000000000000000000000000000000000000000000000",
|
||||
false,
|
||||
true
|
||||
);
|
||||
ZIP215Check(
|
||||
"26e8958fc2b227b045c3f489f2ef98f0d5dfac05d3c63339b13802886d53fc85",
|
||||
"ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000000000000000000000000000000000000000000000000000",
|
||||
false,
|
||||
true
|
||||
);
|
||||
|
@ -635,7 +671,13 @@ TEST(ConsensusTests, ZIP215TestVectors) {
|
|||
);
|
||||
ZIP215Check(
|
||||
"0000000000000000000000000000000000000000000000000000000000000000",
|
||||
"00000000000000000000000000000000000000000000000000000000000000800000000000000000000000000000000000000000000000000000000000000000",
|
||||
"01000000000000000000000000000000000000000000000000000000000000800000000000000000000000000000000000000000000000000000000000000000",
|
||||
false,
|
||||
true
|
||||
);
|
||||
ZIP215Check(
|
||||
"0000000000000000000000000000000000000000000000000000000000000000",
|
||||
"ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000000000000000000000000000000000000000000000000000",
|
||||
false,
|
||||
true
|
||||
);
|
||||
|
@ -713,7 +755,13 @@ TEST(ConsensusTests, ZIP215TestVectors) {
|
|||
);
|
||||
ZIP215Check(
|
||||
"c7176a703d4dd84fba3c0b760d10670f2a2053fa2c39ccc64ec7fd7792ac03fa",
|
||||
"00000000000000000000000000000000000000000000000000000000000000800000000000000000000000000000000000000000000000000000000000000000",
|
||||
"01000000000000000000000000000000000000000000000000000000000000800000000000000000000000000000000000000000000000000000000000000000",
|
||||
false,
|
||||
true
|
||||
);
|
||||
ZIP215Check(
|
||||
"c7176a703d4dd84fba3c0b760d10670f2a2053fa2c39ccc64ec7fd7792ac03fa",
|
||||
"ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000000000000000000000000000000000000000000000000000",
|
||||
false,
|
||||
true
|
||||
);
|
||||
|
@ -742,79 +790,169 @@ TEST(ConsensusTests, ZIP215TestVectors) {
|
|||
true
|
||||
);
|
||||
ZIP215Check(
|
||||
"0000000000000000000000000000000000000000000000000000000000000080",
|
||||
"0100000000000000000000000000000000000000000000000000000000000080",
|
||||
"01000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
|
||||
false,
|
||||
true
|
||||
);
|
||||
ZIP215Check(
|
||||
"0000000000000000000000000000000000000000000000000000000000000080",
|
||||
"0100000000000000000000000000000000000000000000000000000000000080",
|
||||
"c7176a703d4dd84fba3c0b760d10670f2a2053fa2c39ccc64ec7fd7792ac037a0000000000000000000000000000000000000000000000000000000000000000",
|
||||
false,
|
||||
true
|
||||
);
|
||||
ZIP215Check(
|
||||
"0000000000000000000000000000000000000000000000000000000000000080",
|
||||
"0100000000000000000000000000000000000000000000000000000000000080",
|
||||
"00000000000000000000000000000000000000000000000000000000000000800000000000000000000000000000000000000000000000000000000000000000",
|
||||
false,
|
||||
true
|
||||
);
|
||||
ZIP215Check(
|
||||
"0000000000000000000000000000000000000000000000000000000000000080",
|
||||
"0100000000000000000000000000000000000000000000000000000000000080",
|
||||
"26e8958fc2b227b045c3f489f2ef98f0d5dfac05d3c63339b13802886d53fc050000000000000000000000000000000000000000000000000000000000000000",
|
||||
false,
|
||||
true
|
||||
);
|
||||
ZIP215Check(
|
||||
"0000000000000000000000000000000000000000000000000000000000000080",
|
||||
"0100000000000000000000000000000000000000000000000000000000000080",
|
||||
"ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f0000000000000000000000000000000000000000000000000000000000000000",
|
||||
false,
|
||||
true
|
||||
);
|
||||
ZIP215Check(
|
||||
"0000000000000000000000000000000000000000000000000000000000000080",
|
||||
"0100000000000000000000000000000000000000000000000000000000000080",
|
||||
"26e8958fc2b227b045c3f489f2ef98f0d5dfac05d3c63339b13802886d53fc850000000000000000000000000000000000000000000000000000000000000000",
|
||||
false,
|
||||
true
|
||||
);
|
||||
ZIP215Check(
|
||||
"0000000000000000000000000000000000000000000000000000000000000080",
|
||||
"0100000000000000000000000000000000000000000000000000000000000080",
|
||||
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
|
||||
false,
|
||||
true
|
||||
);
|
||||
ZIP215Check(
|
||||
"0000000000000000000000000000000000000000000000000000000000000080",
|
||||
"0100000000000000000000000000000000000000000000000000000000000080",
|
||||
"c7176a703d4dd84fba3c0b760d10670f2a2053fa2c39ccc64ec7fd7792ac03fa0000000000000000000000000000000000000000000000000000000000000000",
|
||||
false,
|
||||
true
|
||||
);
|
||||
ZIP215Check(
|
||||
"0000000000000000000000000000000000000000000000000000000000000080",
|
||||
"00000000000000000000000000000000000000000000000000000000000000800000000000000000000000000000000000000000000000000000000000000000",
|
||||
"0100000000000000000000000000000000000000000000000000000000000080",
|
||||
"01000000000000000000000000000000000000000000000000000000000000800000000000000000000000000000000000000000000000000000000000000000",
|
||||
false,
|
||||
true
|
||||
);
|
||||
ZIP215Check(
|
||||
"0000000000000000000000000000000000000000000000000000000000000080",
|
||||
"0100000000000000000000000000000000000000000000000000000000000080",
|
||||
"ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000000000000000000000000000000000000000000000000000",
|
||||
false,
|
||||
true
|
||||
);
|
||||
ZIP215Check(
|
||||
"0100000000000000000000000000000000000000000000000000000000000080",
|
||||
"edffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f0000000000000000000000000000000000000000000000000000000000000000",
|
||||
false,
|
||||
true
|
||||
);
|
||||
ZIP215Check(
|
||||
"0000000000000000000000000000000000000000000000000000000000000080",
|
||||
"0100000000000000000000000000000000000000000000000000000000000080",
|
||||
"edffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000000000000000000000000000000000000000000000000000",
|
||||
false,
|
||||
true
|
||||
);
|
||||
ZIP215Check(
|
||||
"0000000000000000000000000000000000000000000000000000000000000080",
|
||||
"0100000000000000000000000000000000000000000000000000000000000080",
|
||||
"eeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f0000000000000000000000000000000000000000000000000000000000000000",
|
||||
false,
|
||||
true
|
||||
);
|
||||
ZIP215Check(
|
||||
"0000000000000000000000000000000000000000000000000000000000000080",
|
||||
"0100000000000000000000000000000000000000000000000000000000000080",
|
||||
"eeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000000000000000000000000000000000000000000000000000",
|
||||
false,
|
||||
true
|
||||
);
|
||||
ZIP215Check(
|
||||
"ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
|
||||
"01000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
|
||||
false,
|
||||
true
|
||||
);
|
||||
ZIP215Check(
|
||||
"ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
|
||||
"c7176a703d4dd84fba3c0b760d10670f2a2053fa2c39ccc64ec7fd7792ac037a0000000000000000000000000000000000000000000000000000000000000000",
|
||||
false,
|
||||
true
|
||||
);
|
||||
ZIP215Check(
|
||||
"ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
|
||||
"00000000000000000000000000000000000000000000000000000000000000800000000000000000000000000000000000000000000000000000000000000000",
|
||||
false,
|
||||
true
|
||||
);
|
||||
ZIP215Check(
|
||||
"ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
|
||||
"26e8958fc2b227b045c3f489f2ef98f0d5dfac05d3c63339b13802886d53fc050000000000000000000000000000000000000000000000000000000000000000",
|
||||
false,
|
||||
true
|
||||
);
|
||||
ZIP215Check(
|
||||
"ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
|
||||
"ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f0000000000000000000000000000000000000000000000000000000000000000",
|
||||
false,
|
||||
true
|
||||
);
|
||||
ZIP215Check(
|
||||
"ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
|
||||
"26e8958fc2b227b045c3f489f2ef98f0d5dfac05d3c63339b13802886d53fc850000000000000000000000000000000000000000000000000000000000000000",
|
||||
false,
|
||||
true
|
||||
);
|
||||
ZIP215Check(
|
||||
"ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
|
||||
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
|
||||
false,
|
||||
true
|
||||
);
|
||||
ZIP215Check(
|
||||
"ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
|
||||
"c7176a703d4dd84fba3c0b760d10670f2a2053fa2c39ccc64ec7fd7792ac03fa0000000000000000000000000000000000000000000000000000000000000000",
|
||||
false,
|
||||
true
|
||||
);
|
||||
ZIP215Check(
|
||||
"ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
|
||||
"01000000000000000000000000000000000000000000000000000000000000800000000000000000000000000000000000000000000000000000000000000000",
|
||||
false,
|
||||
true
|
||||
);
|
||||
ZIP215Check(
|
||||
"ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
|
||||
"ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000000000000000000000000000000000000000000000000000",
|
||||
false,
|
||||
true
|
||||
);
|
||||
ZIP215Check(
|
||||
"ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
|
||||
"edffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f0000000000000000000000000000000000000000000000000000000000000000",
|
||||
false,
|
||||
true
|
||||
);
|
||||
ZIP215Check(
|
||||
"ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
|
||||
"edffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000000000000000000000000000000000000000000000000000",
|
||||
false,
|
||||
true
|
||||
);
|
||||
ZIP215Check(
|
||||
"ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
|
||||
"eeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f0000000000000000000000000000000000000000000000000000000000000000",
|
||||
false,
|
||||
true
|
||||
);
|
||||
ZIP215Check(
|
||||
"ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
|
||||
"eeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000000000000000000000000000000000000000000000000000",
|
||||
false,
|
||||
true
|
||||
|
@ -869,7 +1007,13 @@ TEST(ConsensusTests, ZIP215TestVectors) {
|
|||
);
|
||||
ZIP215Check(
|
||||
"edffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f",
|
||||
"00000000000000000000000000000000000000000000000000000000000000800000000000000000000000000000000000000000000000000000000000000000",
|
||||
"01000000000000000000000000000000000000000000000000000000000000800000000000000000000000000000000000000000000000000000000000000000",
|
||||
false,
|
||||
true
|
||||
);
|
||||
ZIP215Check(
|
||||
"edffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f",
|
||||
"ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000000000000000000000000000000000000000000000000000",
|
||||
false,
|
||||
true
|
||||
);
|
||||
|
@ -909,7 +1053,6 @@ TEST(ConsensusTests, ZIP215TestVectors) {
|
|||
false,
|
||||
true
|
||||
);
|
||||
// This test vector was duplicated in the test vectors originally provided by Henry.
|
||||
ZIP215Check(
|
||||
"edffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
|
||||
"00000000000000000000000000000000000000000000000000000000000000800000000000000000000000000000000000000000000000000000000000000000",
|
||||
|
@ -946,6 +1089,18 @@ TEST(ConsensusTests, ZIP215TestVectors) {
|
|||
false,
|
||||
true
|
||||
);
|
||||
ZIP215Check(
|
||||
"edffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
|
||||
"01000000000000000000000000000000000000000000000000000000000000800000000000000000000000000000000000000000000000000000000000000000",
|
||||
false,
|
||||
true
|
||||
);
|
||||
ZIP215Check(
|
||||
"edffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
|
||||
"ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000000000000000000000000000000000000000000000000000",
|
||||
false,
|
||||
true
|
||||
);
|
||||
ZIP215Check(
|
||||
"edffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
|
||||
"edffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f0000000000000000000000000000000000000000000000000000000000000000",
|
||||
|
@ -1020,7 +1175,13 @@ TEST(ConsensusTests, ZIP215TestVectors) {
|
|||
);
|
||||
ZIP215Check(
|
||||
"eeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f",
|
||||
"00000000000000000000000000000000000000000000000000000000000000800000000000000000000000000000000000000000000000000000000000000000",
|
||||
"01000000000000000000000000000000000000000000000000000000000000800000000000000000000000000000000000000000000000000000000000000000",
|
||||
false,
|
||||
true
|
||||
);
|
||||
ZIP215Check(
|
||||
"eeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f",
|
||||
"ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000000000000000000000000000000000000000000000000000",
|
||||
false,
|
||||
true
|
||||
);
|
||||
|
@ -1098,7 +1259,13 @@ TEST(ConsensusTests, ZIP215TestVectors) {
|
|||
);
|
||||
ZIP215Check(
|
||||
"eeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
|
||||
"00000000000000000000000000000000000000000000000000000000000000800000000000000000000000000000000000000000000000000000000000000000",
|
||||
"01000000000000000000000000000000000000000000000000000000000000800000000000000000000000000000000000000000000000000000000000000000",
|
||||
false,
|
||||
true
|
||||
);
|
||||
ZIP215Check(
|
||||
"eeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
|
||||
"ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000000000000000000000000000000000000000000000000000",
|
||||
false,
|
||||
true
|
||||
);
|
||||
|
|
Loading…
Reference in New Issue