You are viewing a plain text version of this content. The canonical link for it is here.
Posted to commits@milagro.apache.org by sa...@apache.org on 2020/02/07 12:57:30 UTC
[incubator-milagro-MPC] 10/11: Add rc check in mtawc zkp octets test
This is an automated email from the ASF dual-hosted git repository.
sandreoli pushed a commit to branch add-mta-zk-proofs
in repository https://gitbox.apache.org/repos/asf/incubator-milagro-MPC.git
commit 02d58f663459da6c11a5ebee24390290eb3c5d48
Author: Samuele Andreoli <sa...@yahoo.it>
AuthorDate: Wed Feb 5 17:36:19 2020 +0000
Add rc check in mtawc zkp octets test
---
test/unit/test_mta_zkwc_octets.c | 14 +++++++++++++-
1 file changed, 13 insertions(+), 1 deletion(-)
diff --git a/test/unit/test_mta_zkwc_octets.c b/test/unit/test_mta_zkwc_octets.c
index 0b74581..1690cee 100644
--- a/test/unit/test_mta_zkwc_octets.c
+++ b/test/unit/test_mta_zkwc_octets.c
@@ -33,11 +33,14 @@ int main(int argc, char **argv)
exit(EXIT_FAILURE);
}
+ int rc;
int test_run = 0;
FILE *fp;
char line[LINE_LEN] = {0};
+ char err_msg[128];
+
const char *TESTline = "TEST = ";
int testNo = 0;
@@ -111,7 +114,9 @@ int main(int argc, char **argv)
{
// Dump and reload commitment
MTA_ZKWC_commitment_toOctets(&OCTECP, &OCT1, &OCT2, &OCT3, &OCT4, &OCT5, &c);
- MTA_ZKWC_commitment_fromOctets(&c_reloaded, &OCTECP, &OCT1, &OCT2, &OCT3, &OCT4, &OCT5);
+ rc = MTA_ZKWC_commitment_fromOctets(&c_reloaded, &OCTECP, &OCT1, &OCT2, &OCT3, &OCT4, &OCT5);
+ sprintf(err_msg, "FAILURE MTA_ZKWC_commitment_fromOctets. rc = %d.", rc);
+ assert_tv(fp, testNo, err_msg, rc == MTA_OK);
compare_FF_2048(fp, testNo, "c.z", c.zkc.z, c_reloaded.zkc.z, FFLEN_2048);
compare_FF_2048(fp, testNo, "c.z1", c.zkc.z1, c_reloaded.zkc.z1, FFLEN_2048);
@@ -143,6 +148,13 @@ int main(int argc, char **argv)
exit(EXIT_FAILURE);
}
+ // Test invalid U
+ OCT_clear(&OCTECP);
+ OCTECP.len = OCTECP.max;
+ rc = MTA_ZKWC_commitment_fromOctets(&c_reloaded, &OCTECP, &OCT1, &OCT2, &OCT3, &OCT4, &OCT5);
+ sprintf(err_msg, "FAILURE MTA_ZKWC_commitment_fromOctets invalid U. rc = %d.", rc);
+ assert_tv(fp, testNo, err_msg, rc == MTA_INVALID_ECP);
+
printf("SUCCESS");
exit(EXIT_SUCCESS);
}