Commit Graph

7032 Commits

Author SHA1 Message Date
Simon Wicky ea0dbfea03 ecash issuance api side 2023-12-07 09:39:45 +01:00
Simon Wicky dd323ce493 update bls12_381 dependency 2023-12-07 09:39:45 +01:00
aniampio 954f76e241 Optimize the identification function 2023-12-07 09:39:19 +01:00
aniampio a09dc8e462 Add byte calculation for divisible ecash 2023-12-07 09:39:19 +01:00
aniampio f623bfed4c Add Wallet, Partial Wallet and Payment to and from bytes converstion 2023-12-07 09:39:19 +01:00
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