Commit Graph

350 Commits

Author SHA1 Message Date
Gijs Van Laer 761332e35d nizk: range proof over larger commitments + add range proof to nizk 2019-07-19 15:04:56 -04:00
Gijs Van Laer 0aabbb1b78 nizk: integrate range proof - part1 2019-07-12 19:52:16 -04:00
Gijs Van Laer 8a26602c50 nizk: replace balances with i32 instead of Fr 2019-07-12 17:20:08 -04:00
Gijs Van Laer 4c4e96fe4f nizk: split prove commit and response phase of CCS08 2019-07-12 16:43:48 -04:00
Gijs Van Laer 2c981ece8f nizk: extract commitment from range proof as a parameter 2019-07-12 14:15:00 -04:00
Gijs Van Laer 2fa95343f6 nizk: cleanup method + compute challenge during verification 2019-07-12 11:01:40 -04:00
Gijs Van Laer fa69707614 nizk: flip commitment to group 1 2019-07-12 10:46:25 -04:00
J. Ayo Akinyele 7c26f40685
Merge pull request #6 from boltlabs-inc/nizk
NIZK: signature and relation between wallets after payment
2019-07-08 18:20:19 -04:00
Gijs Van Laer eb5827a4d7 Merge branch 'master' into nizk 2019-07-08 16:54:35 -04:00
Gijs Van Laer 4c5a764a23 nizk: clean tests 2019-07-08 16:53:15 -04:00
Gijs Van Laer 7c91bdcf58 fix setup tests + optimize u parameter for range proof 2019-07-08 15:50:42 -04:00
J. Ayo Akinyele 4df0b05afb Remove serde hacks for rust-secp256k1 (now available as a feature upstream) 2019-07-07 18:09:26 -04:00
J. Ayo Akinyele 9369a05c2c
Merge pull request #5 from boltlabs-inc/blind-sign
Blind sign
2019-07-07 23:25:26 +02:00
Gijs Van Laer b680df518a nizk: use blind signature 2019-07-07 17:15:36 -04:00
Gijs Van Laer 10afd3f64e Merge branch 'blind-sign' into nizk 2019-07-07 16:49:43 -04:00
Gijs Van Laer 0719018848 blind-sign: complete blind signature + fix commitment 2019-07-07 16:38:38 -04:00
Gijs Van Laer 3c5237f12c blind-sign: add commitment in G1 2019-07-07 14:10:11 -04:00
Gijs Van Laer db46a8c552 nizk: cleanup ped92 + add comments 2019-07-05 17:57:03 -04:00
Gijs Van Laer 001e75b6c9 nizk: add negative test + simplify method signatures 2019-07-05 17:21:48 -04:00
Gijs Van Laer 30f9916a42 nizk: add proof of knowledge of committed values 2019-07-05 16:57:30 -04:00
Gijs Van Laer 074d5aa1ae nizk: use appropriate challenge 2019-07-05 16:14:14 -04:00
Gijs Van Laer 2e9832f0af nizk: complete proof 2019-07-05 15:41:22 -04:00
Gijs Van Laer 70afaf2c56 ccs08: verify challenge 2019-07-04 11:35:55 -04:00
Gijs Van Laer bc2138c3cd nizk: fix test 2019-07-04 10:56:34 -04:00
Gijs Van Laer e4c1129a20 nizk: start implementation of nizk 2019-07-03 19:05:27 -04:00
Gijs Van Laer b3e1b76a05 Merge branch 'master' into nizk 2019-07-03 16:00:20 -04:00
Gijs Van Laer 7e3d08bcf9 nixk: group variables of PoK of signature 2019-07-03 15:56:41 -04:00
Gijs Van Laer 49bb55da5f nizk: move proof of signature to cl.rs 2019-07-02 18:39:23 -04:00
Gijs Van Laer 82cefd0f4d nizk: extracting PoK of signature 2019-07-02 17:28:49 -04:00
J. Ayo Akinyele de9132939a
Merge pull request #3 from boltlabs-inc/ccs08
ccs08: performance tests
2019-07-02 15:57:09 +02:00
Gijs Van Laer e5a7e6237e nizk: extracting PoK of signature 2019-07-01 21:51:24 -04:00
Gijs Van Laer 5222e07a89 ccs08: performance tests 2019-06-28 17:44:14 -04:00
J. Ayo Akinyele 6ee0a795f3
Merge pull request #2 from boltlabs-inc/ccs08
CCS08
2019-06-26 22:53:38 +02:00
Gijs Van Laer cacdefd0f7 ccs08: cleanup warnings 2019-06-26 13:33:08 -04:00
Gijs Van Laer 6044b1b320 ccs08: finish range proof 2019-06-26 12:37:27 -04:00
Gijs Van Laer 9d6c4095b2 ccs08: add general proving and verifying method 2019-06-18 18:17:51 -04:00
Gijs Van Laer 86449da92e ccs08: fix after merge 2019-06-18 17:49:58 -04:00
Gijs Van Laer ea952c10b6 Merge branch 'master' into ccs08 2019-06-18 17:46:54 -04:00
Gijs Van Laer 04b495c307 ccs08: extra testing of weirdness in used library 2019-06-18 17:43:05 -04:00
Gijs Van Laer fe613a260c ccs08: verify ul part 2, but weird stuff happening 2019-06-18 16:20:16 -04:00
J. Ayo Akinyele bc9828aeaa Clean up ped92 based on bls12 curve/lib. NIZKs are next 2019-06-17 15:09:09 -04:00
Gijs Van Laer b4f895f477 ccs08: verification algorithm, non-working part 2 2019-06-17 15:01:31 -04:00
J. Ayo Akinyele c1a489919d
Merge pull request #1 from boltlabs-inc/ped92-generics
Ped92 generics
2019-06-16 20:13:20 -04:00
Gijs Van Laer 5310eeb564 ccs08: prove_ul runs 2019-06-16 16:29:48 -04:00
Gijs Van Laer 65336bf8cc ccs08: test and fix hash 2019-06-16 15:38:07 -04:00
Gijs Van Laer 497adf2455 ccs08: prove_ul first draft 2019-06-16 12:27:35 -04:00
Gijs Van Laer 8b2f837051 Merge branch 'ped92-generics' into ccs08 2019-06-16 10:39:24 -04:00
Gijs Van Laer effbc54e65 ped92: renaming 2019-06-16 10:38:30 -04:00
Gijs Van Laer 174edee2e8 Merge branch 'ped92-generics' into ccs08 2019-06-14 20:56:43 -04:00
Gijs Van Laer 0b277eb2e1 ped92: move commitment to PublicKey 2019-06-14 20:55:02 -04:00