diff --git a/src/consensus/pob/vdf.rs b/src/consensus/pob/vdf.rs index ee340badc8ed558946b023d71b562195e35c7b03..6dc9473447fe98d0ae38c49539012356398df254 100644 --- a/src/consensus/pob/vdf.rs +++ b/src/consensus/pob/vdf.rs @@ -146,6 +146,51 @@ mod tests { assert!(result.is_err()); } + #[tokio::test] + async fn verify_invalid_proof() { + // ARRANGE + let vdf_proof_challenge: [u8; 32] = [ + 44, 120, 22, 139, 140, 0, 215, 69, 235, 82, 23, 43, 195, 241, 159, 223, 7, 193, 1, 154, + 180, 160, 220, 104, 195, 151, 29, 47, 180, 123, 67, 172, + ]; + let vdf_difficulty = 203422762; + let vdf_proof_result: [u8; 516] = [ + 0, 93, 111, 131, 116, 156, 106, 2, 55, 23, 72, 166, 244, 147, 201, 127, 245, 119, 76, + 143, 46, 229, 94, 69, 34, 203, 12, 147, 209, 191, 46, 41, 65, 226, 25, 52, 219, 164, + 252, 126, 213, 197, 102, 30, 35, 244, 204, 122, 215, 90, 243, 201, 219, 151, 149, 230, + 227, 92, 40, 220, 138, 78, 184, 57, 153, 164, 253, 231, 201, 164, 41, 119, 52, 80, 220, + 188, 137, 241, 87, 113, 106, 139, 167, 74, 40, 35, 209, 144, 223, 197, 132, 57, 112, + 101, 168, 49, 119, 167, 67, 153, 197, 71, 121, 247, 209, 158, 175, 45, 250, 13, 31, 17, + 203, 236, 78, 89, 222, 65, 113, 0, 161, 147, 124, 196, 65, 19, 252, 199, 250, 255, 171, + 34, 214, 247, 167, 200, 14, 95, 209, 184, 172, 150, 115, 142, 222, 132, 86, 145, 13, + 238, 125, 72, 211, 247, 37, 34, 162, 112, 41, 3, 70, 207, 9, 101, 134, 119, 221, 105, + 174, 3, 77, 69, 25, 116, 63, 114, 134, 57, 139, 146, 51, 230, 142, 94, 28, 135, 210, + 53, 6, 246, 49, 129, 127, 139, 191, 59, 206, 53, 105, 73, 177, 6, 76, 253, 53, 89, 40, + 177, 207, 87, 107, 225, 61, 247, 217, 112, 129, 213, 161, 117, 169, 133, 50, 84, 145, + 48, 214, 130, 240, 202, 244, 153, 246, 76, 105, 113, 175, 231, 233, 162, 56, 114, 71, + 100, 12, 30, 86, 88, 227, 135, 254, 162, 128, 37, 13, 63, 86, 241, 0, 25, 26, 212, 44, + 157, 7, 196, 86, 111, 83, 229, 223, 188, 104, 28, 45, 180, 233, 164, 249, 104, 229, 24, + 184, 18, 102, 112, 50, 170, 80, 101, 59, 88, 233, 20, 135, 250, 194, 253, 22, 107, 153, + 212, 2, 173, 73, 62, 193, 141, 103, 19, 156, 151, 187, 54, 197, 208, 125, 37, 248, 105, + 93, 118, 243, 246, 5, 93, 106, 166, 33, 32, 4, 143, 82, 2, 39, 216, 108, 29, 197, 154, + 24, 237, 174, 133, 74, 190, 172, 61, 47, 176, 129, 41, 51, 76, 207, 55, 89, 216, 221, + 198, 15, 111, 116, 87, 199, 65, 221, 252, 75, 26, 49, 189, 166, 131, 3, 210, 186, 226, + 210, 135, 13, 151, 219, 102, 71, 45, 21, 0, 13, 173, 80, 145, 75, 144, 248, 155, 148, + 82, 19, 16, 218, 18, 170, 120, 183, 131, 251, 237, 110, 65, 221, 172, 237, 248, 203, + 80, 166, 177, 138, 70, 126, 162, 216, 75, 143, 248, 205, 27, 145, 46, 206, 212, 224, + 184, 83, 125, 29, 125, 66, 125, 6, 78, 88, 5, 197, 232, 86, 153, 194, 52, 111, 61, 155, + 51, 218, 183, 142, 217, 229, 146, 6, 237, 0, 64, 179, 214, 203, 81, 214, 185, 228, 173, + 170, 192, 123, 212, 137, 89, 123, 119, 69, 50, 165, 247, 32, 128, 10, 81, 47, 128, 15, + 121, 24, 47, 19, 6, 39, 77, 204, 177, 114, 163, 56, 63, 250, 60, 60, 122, 92, 27, 61, + 143, 138, 114, 72, 125, + ]; + // ACT + verify(&vdf_proof_challenge, vdf_difficulty, &vdf_proof_result).unwrap(); + + // ASSERT + // assert!(hex::encode(proof).len() > 0); + } + // #[test] // fn vdf_from_delay_should_work() { // // ARRANGE