Commit Graph

2685 Commits

Author SHA1 Message Date
aniampio d696535da5 Add duplicate payinfo check for identify 2022-07-14 23:33:15 +01:00
aniampio 7e444b7c42 Update spend function in the compact ecash 2022-07-14 21:12:26 +01:00
aniampio 0d377d98a7 Remove unused constant 2022-07-06 00:08:42 +01:00
aniampio 5bdbee6dae Fix in the identify function 2022-06-30 18:14:59 +01:00
aniampio 014374e33e Add tests to indetify protocol 2022-06-28 15:35:07 +01:00
aniampio 9adb4fbbbc Add test for identification - case of no double spending 2022-06-23 16:56:59 +01:00
aniampio 5293766856 Add aggregation and e2e test 2022-06-23 14:49:01 +01:00
aniampio a40bb3ae4f Fix the eq 15 for the spend proof 2022-06-09 13:08:21 +01:00
aniampio 226c37cfea Update the verification function for structure preserving signature 2022-06-07 22:17:12 +01:00
aniampio ea8f36dfd2 Add draft of signature verification function 2022-05-26 13:19:41 +01:00
aniampio b466cb6b3d Move the index for signature retrival 2022-05-26 13:12:05 +01:00
aniampio bb0328137a 3 out of 4 pairing tests in the zk proof pass 2022-05-26 13:06:44 +01:00
aniampio e07974ad2b Updates for the assertion and pow function 2022-05-25 17:06:32 +01:00
aniampio e8bb96b7d0 Add assertion check 2022-05-25 14:57:44 +01:00
aniampio 9bd06dbfcc Fix signatures tau_l 2022-05-25 00:28:52 +01:00
aniampio 055b10f7f2 Shifting indices in setup - eq 4 test still passing 2022-05-24 23:53:58 +01:00
aniampio 44ca339ee5 Add eq checks 2022-05-24 23:31:40 +01:00
aniampio b6a43787b3 Add bilinear equations into the zk proof; the last eq passes the tests 2022-05-24 21:16:43 +01:00
aniampio 9cb22d9bde Define spend instance and witness structs 2022-05-12 20:57:16 +01:00
aniampio 68485f8998 Add spend and spend verification functions; fix breaking test for proof of withdrawal 2022-05-10 13:21:53 +01:00
aniampio 9c22c082c0 Draft of the spend function 2022-05-02 17:28:08 +01:00
aniampio 28d7400304 Add issuance and issuance verification - but one of the tests is failing 2022-04-28 13:05:54 +01:00
aniampio 056d189e0e Add key generation functions 2022-04-25 17:12:09 +03:00
aniampio b76eab2363 Update the structure preserving signature to work in the setup function as well 2022-04-25 15:39:10 +03:00
aniampio b8a2ac5719 Rename the package 2022-04-20 13:45:51 +03:00
aniampio c861e40047 Run cargo fmt 2022-04-20 09:58:46 +03:00
aniampio 20426d001e Add explanaition of the benchmark flag 2022-04-20 09:56:28 +03:00
aniampio 2eed9fd247 Add benchmarks 2022-04-19 22:46:58 +03:00
aniampio a1887356dc Run cargo fmt 2022-04-19 19:33:08 +03:00
aniampio ef2420f847 Code cleaning, part 2 2022-04-19 19:32:50 +03:00
aniampio 6f26475055 Code cleaning 2022-04-19 19:11:23 +03:00
aniampio b9bf6e4521 Run cargo fmt 2022-04-19 18:31:50 +03:00
aniampio 7e392ff6c3 Rename capital letter variables 2022-04-19 18:31:21 +03:00
aniampio 9e834ebaef Run cargo fmt 2022-04-19 16:56:27 +03:00
aniampio f96a4ffed3 Update get range proof signature function to return an error 2022-04-19 16:55:57 +03:00
aniampio 8e9c0d2b0d Add into the zk proof the proof that l is within the range 2022-04-19 16:35:16 +03:00
aniampio 33c356b3ec Work in progress: structure preserving signature scheme 2022-04-04 15:24:16 +01:00
aniampio c902e8eaa5 Add divisible ecash crate to the main Cargo 2022-04-01 16:24:56 +01:00
aniampio 1dc8b5894f Add struct for the divisible ecash crate 2022-04-01 16:22:25 +01:00
aniampio ad285af0fa Add test for succesfull identification 2022-04-01 12:45:57 +01:00
aniampio 6621e5c72f Run cargo fmt 2022-04-01 10:57:51 +01:00
aniampio 969a93cf80 Fix the issue with two gamma equations 2022-04-01 10:55:26 +01:00
aniampio f52ee0431c Commit cause need to change branch 2022-03-30 10:08:27 +01:00
aniampio a41cfd47a4 Add S and T into the zk proof for spend 2022-03-28 19:00:42 +01:00
aniampio 0b098687e1 Remove the spend file 2022-03-28 17:47:17 +01:00
aniampio 09709dd8e4 Move signature related structs and functions to utils 2022-03-28 17:45:39 +01:00
aniampio ef0867a7e7 Move spend and spec vfy as functions associated with wallet and payment 2022-03-28 17:36:40 +01:00
aniampio bfa7754ea6 Add identify function 2022-03-28 15:46:03 +01:00
aniampio a4377bf1a6 Add spendVfy function 2022-03-28 13:26:29 +01:00
aniampio 9e30f9a346 Add verification for the spend zkproof and first tests 2022-03-27 14:42:40 +01:00