Commit Graph

7042 Commits

Author SHA1 Message Date
Simon Wicky cece0bb80e add traits to ecashcredential 2023-12-07 09:41:14 +01:00
Simon Wicky 56d36974fa add params in ecashcredential 2023-12-07 09:41:12 +01:00
Simon Wicky c0713a5a13 add payinfo to credential 2023-12-07 09:40:26 +01:00
Simon Wicky 74536467b6 impl payment flow 2023-12-07 09:40:23 +01:00
Simon Wicky c1c58a7476 update ecash credential 2023-12-07 09:40:00 +01:00
Simon Wicky bc9d4b4682 add secret-key for ecash credential storage 2023-12-07 09:40:00 +01:00
Simon Wicky e41796b157 WIP spending ecash 2023-12-07 09:40:00 +01:00
Simon Wicky 5a831b6482 swap VerificationKey for VerificationKeyAuth 2023-12-07 09:40:00 +01:00
Simon Wicky 4de642315d add get_next_ecash_cred for storage 2023-12-07 09:40:00 +01:00
Simon Wicky 1091f1341c issuance cli side 2023-12-07 09:39:58 +01:00
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