mirror of
https://github.com/monero-project/monero.git
synced 2026-01-24 05:14:26 +01:00
unit_tests: a couple more bulletproof unit tests for gamma
This commit is contained in:
@@ -174,3 +174,22 @@ TEST(bulletproofs, invalid_31)
|
|||||||
rct::Bulletproof proof = bulletproof_PROVE(invalid_amount, rct::skGen());
|
rct::Bulletproof proof = bulletproof_PROVE(invalid_amount, rct::skGen());
|
||||||
ASSERT_FALSE(rct::bulletproof_VERIFY(proof));
|
ASSERT_FALSE(rct::bulletproof_VERIFY(proof));
|
||||||
}
|
}
|
||||||
|
|
||||||
|
TEST(bulletproofs, invalid_gamma_0)
|
||||||
|
{
|
||||||
|
rct::key invalid_amount = rct::zero();
|
||||||
|
invalid_amount[8] = 1;
|
||||||
|
rct::key gamma = rct::zero();
|
||||||
|
rct::Bulletproof proof = bulletproof_PROVE(invalid_amount, gamma);
|
||||||
|
ASSERT_FALSE(rct::bulletproof_VERIFY(proof));
|
||||||
|
}
|
||||||
|
|
||||||
|
TEST(bulletproofs, invalid_gamma_ff)
|
||||||
|
{
|
||||||
|
rct::key invalid_amount = rct::zero();
|
||||||
|
invalid_amount[8] = 1;
|
||||||
|
rct::key gamma = rct::zero();
|
||||||
|
memset(&gamma, 0xff, sizeof(gamma));
|
||||||
|
rct::Bulletproof proof = bulletproof_PROVE(invalid_amount, gamma);
|
||||||
|
ASSERT_FALSE(rct::bulletproof_VERIFY(proof));
|
||||||
|
}
|
||||||
|
|||||||
Reference in New Issue
Block a user