Commit Graph

7027 Commits

Author SHA1 Message Date
aniampio e6bcfb697c Increase benchmark duration 2023-12-07 09:39:19 +01:00
aniampio a70843b940 Update in divisible ecash benchmark 2023-12-07 09:39:19 +01:00
aniampio 8a21e4ae25 Benchmarks: change the number of public keys 2023-12-07 09:39:19 +01:00
aniampio d7f4590239 Update compact benchmarks 2023-12-07 09:39:19 +01:00
aniampio cd2f7a30d2 Remove spend verification from the identify function 2023-12-07 09:39:19 +01:00
aniampio 23b9e4d48a Update benchmarks 2023-12-07 09:39:19 +01:00
aniampio fecb67ded7 Update for compact e-cash - remove requirement for security tag 2023-12-07 09:39:19 +01:00
aniampio 3ffa367de1 Update benchmarks 2023-12-07 09:39:19 +01:00
aniampio 3691110db8 Add verification of the payments inside identify; speed up the identify checks 2023-12-07 09:39:17 +01:00
aniampio dd527e4295 Update the spend function for compact ecash - multi spend 2023-12-07 09:39:06 +01:00
aniampio 778f5bf5e5 Add duplicate payinfo check for identify 2023-12-07 09:39:06 +01:00
aniampio 761d09534f Update spend function in the compact ecash 2023-12-07 09:39:06 +01:00
aniampio 4a7e44b9c7 Add test for identification - case of no double spending 2023-12-07 09:39:06 +01:00
aniampio db69158b4b Add aggregation and e2e test 2023-12-07 09:39:06 +01:00
aniampio 40af8ebf47 Fix the eq 15 for the spend proof 2023-12-07 09:39:06 +01:00
aniampio f8e78c7fcc Update the verification function for structure preserving signature 2023-12-07 09:39:06 +01:00
aniampio 05ddbf2fba Add draft of signature verification function 2023-12-07 09:39:06 +01:00
aniampio 31e9c0004a Move the index for signature retrival 2023-12-07 09:39:06 +01:00
aniampio e4cfdc9888 3 out of 4 pairing tests in the zk proof pass 2023-12-07 09:39:06 +01:00
aniampio 0df62df780 Fix signatures tau_l 2023-12-07 09:39:06 +01:00
aniampio 3687600587 Shifting indices in setup - eq 4 test still passing 2023-12-07 09:39:06 +01:00
aniampio 64dd6c2b8c Add eq checks 2023-12-07 09:39:06 +01:00
aniampio aa018769c2 Add bilinear equations into the zk proof; the last eq passes the tests 2023-12-07 09:39:04 +01:00
aniampio 2ec2613a89 Define spend instance and witness structs 2023-12-07 09:38:54 +01:00
aniampio 15d10ab027 Add spend and spend verification functions; fix breaking test for proof of withdrawal 2023-12-07 09:38:54 +01:00
aniampio 0fc5b97dfb Add issuance and issuance verification - but one of the tests is failing 2023-12-07 09:38:54 +01:00
aniampio 7632e524c0 Add key generation functions 2023-12-07 09:38:54 +01:00
aniampio 49721177fc Update the structure preserving signature to work in the setup function as well 2023-12-07 09:38:50 +01:00
aniampio 7f0f2b056f Add benchmarks 2023-12-07 09:38:21 +01:00
aniampio cec35ee4d0 Update get range proof signature function to return an error 2023-12-07 09:37:43 +01:00
aniampio 5f545675e1 Add into the zk proof the proof that l is within the range 2023-12-07 09:36:20 +01:00
aniampio 49ac369ce2 Add struct for the divisible ecash crate 2023-12-07 09:36:17 +01:00
aniampio dfcc87167b Add test for succesfull identification 2023-12-07 09:35:54 +01:00
aniampio ee95596abf Fix the issue with two gamma equations 2023-12-07 09:35:54 +01:00
aniampio 23ce9de873 Add S and T into the zk proof for spend 2023-12-07 09:35:54 +01:00
aniampio 28081bd72c Move signature related structs and functions to utils 2023-12-07 09:35:54 +01:00
aniampio 5e146aa432 Move spend and spec vfy as functions associated with wallet and payment 2023-12-07 09:35:54 +01:00
aniampio 53a9d43c87 Add identify function 2023-12-07 09:35:54 +01:00
aniampio f487234007 Add spendVfy function 2023-12-07 09:35:54 +01:00
aniampio d2a7d26e5a Add verification for the spend zkproof and first tests 2023-12-07 09:35:54 +01:00
aniampio 7fcd246089 Start the spend function and zkproof for spend 2023-12-07 09:35:54 +01:00
aniampio f384338f0f Add new aggregation function and struct for the aggregated wallet 2023-12-07 09:35:54 +01:00
aniampio 0114743db9 Add aggregation into e2e tests 2023-12-07 09:35:54 +01:00
aniampio 9776bfb0b0 Copy and adjust aggregation of verification keys from coconut 2023-12-07 09:35:52 +01:00
aniampio 0526b3e6b4 Fix bug in the issuance verification 2023-12-07 09:35:37 +01:00
aniampio d00bef2ddf Fix a bug in the commitment computation 2023-12-07 09:35:37 +01:00
aniampio a0c81c982c Copy polynomial and ttpcode from Coconut; add first test; add keypair structures 2023-12-07 09:35:37 +01:00
aniampio 32ba1c7c18 Add zk proof for withdrawal request 2023-12-07 09:35:35 +01:00
aniampio bea8e4a881 Add initial functions 2023-12-07 09:34:41 +01:00
aniampio 9558c3deb2 Add template for the compact ecash crate 2023-12-07 09:33:00 +01:00