Commit Graph

244 Commits

Author SHA1 Message Date
Christian Grothoff
924768cd55 introduce S_X notation 2016-10-25 14:49:20 +02:00
Christian Grothoff
dd3c65318f clarify spending requirements 2016-10-25 14:40:20 +02:00
Christian Grothoff
e00fb6751b clarify losses from DK compromise 2016-10-25 14:37:07 +02:00
Christian Grothoff
eab6bf0f07 fix ref 2016-10-25 14:28:09 +02:00
Christian Grothoff
51c04bd7d6 simplify 2016-10-25 14:21:53 +02:00
Christian Grothoff
8dfe558909 remove duplication 2016-10-25 14:20:27 +02:00
Christian Grothoff
e6267e61d5 misc minor edits, and a FIXME for Jeff 2016-10-25 14:01:20 +02:00
Christian Grothoff
b8245d771f stress that this is about a system in the title 2016-10-22 16:06:20 +02:00
Christian Grothoff
581ca30052 FC17 formatting, stress refresh protocol in title and abstract; stress cut-and-choose is practical with kappa=3 2016-10-07 13:34:54 +02:00
Jeff Burdges
937d7f48b9 Start making the protocol more explicit 2016-09-12 15:53:20 +02:00
Jeff Burdges
b1ec11e492 Mention extortion in first paragraph and refunds with refresh 2016-09-12 14:37:34 +02:00
Jeff Burdges
7409a6d1b9 Mention refresh protocol in abstract 2016-09-12 14:36:38 +02:00
Christian Grothoff
cc20319a1a fix minor issues introduced in last reformulation of refresh 2016-08-10 01:01:21 +02:00
Jeff Burdges
bbeef4560d Switch to X for exchanges 2016-08-09 00:48:08 +02:00
Jeff Burdges
1a2ecef44b %s/K_i/L_i/g 2016-08-09 00:37:14 +02:00
Jeff Burdges
0155774136 Notational cleanups 2016-08-09 00:35:33 +02:00
Jeff Burdges
eb28eaf320 Update taler.tex to refresh protocol with new coin derivation
I made usages of the FDH explicit too, but did not realyl explain it.
2016-08-08 14:57:34 +02:00
Christian Grothoff
5b86e59eac authors 2016-07-03 12:20:41 +02:00
Christian Grothoff
c5ed59aca2 cutting down to 16 pages main content 2016-07-03 12:13:18 +02:00
Christian Grothoff
fec688d8bf introduce AML 2016-07-03 12:01:39 +02:00
Christian Grothoff
a8412268c0 0.0.2 configure update 2016-06-20 17:40:28 +02:00
Jeff Burdges
de55e59207 Minor fixes and adding some FIXMEs about the auditor 2016-06-14 16:52:03 +02:00
Christian Grothoff
1982fdd81c newlines 2016-05-29 21:25:08 +02:00
Christian Grothoff
45e29f50e4 edits to paper 2016-05-29 17:07:04 +02:00
Jeff Burdges
8dc035b237 Add my mail about the PRNG attack on blinding
I imagine this will develop further shortly
2016-05-25 00:27:11 +02:00
Jeff Burdges
fc09e6a8fe Just an i 2016-05-22 21:51:32 +02:00
Jeff Burdges
8565132c2c Add some FIXMEs to section 4 on naming and describing protocols 2016-05-22 17:33:22 +02:00
Jeff Burdges
4615cea151 We cannot say "exchanged" everywhere we previously said "minted"
Imho we should resurect minted for this scenario, but that's complex.
2016-05-22 17:12:17 +02:00
Jeff Burdges
619eb44b87 Replace coin singing key with denomination key 2016-05-22 16:55:11 +02:00
Jeff Burdges
9a0fb5c7e2 Section 3 cahnges 2016-05-22 16:52:56 +02:00
Jeff Burdges
69cb4882fa Mention HINDE 2016-05-21 21:46:47 +02:00
Jeff Burdges
152396f1aa Oops, I hadn't quite finished some edits there 2016-05-21 21:44:05 +02:00
Jeff Burdges
922175d308 Changes to first two sections based on referee reports 2016-05-21 16:56:22 +02:00
Jeff Burdges
1723afe91c Just a few rewardings based on refere comments 2016-05-20 15:35:18 +02:00
Jeff Burdges
ad8b382f95 Add FC 2016 review 2016-05-20 15:29:14 +02:00
Jeff Burdges
1fb28debe1 Just some comments 2016-05-09 01:45:54 +02:00
Jeff Burdges
414abf9cda Initial discriotion of offline payments
The notation here gets horrible because I started from the
post-quantum write up.  And it has slightly different needs.
2016-05-09 01:37:41 +02:00
Christian Grothoff
966242341a expand testcase to cover refund API, fix minor issues 2016-05-08 15:44:44 +02:00
Jeff Burdges
4141467d47 rename PQ paper file 2016-05-03 14:49:07 +02:00
Jeff Burdges
6cdc5f3a42 Oops, actually Ring-LWE kinda sucks for us 2016-05-02 11:27:00 +02:00
Jeff Burdges
dafef04c60 Small Ring-LWE comments 2016-05-02 10:10:29 +02:00
Jeff Burdges
d1c83c5dda Much expanded. And now compiles. 2016-05-01 20:38:37 +02:00
Jeff Burdges
a9f5958d16 Preliminary work on integrating key exchanges with Merkle trick
I still need to work out exactly what proerties are needed.
And it won't tex yet.
2016-04-29 04:20:59 +02:00
Jeff Burdges
e7d4ccec98 Add line on RSA-FDH to Taler paper.
I could obviously say more, and I really should clean up the text
around it, but not now.
2016-04-29 04:19:52 +02:00
Jeff Burdges
a0756dc303 Initial post-quantum refresh proposal, but..
I do not really like it, so I'm going to change it lots.
2016-04-19 20:55:35 +02:00
Jeff Burdges
946b9ed995 Another FDH reference but maybe unneeded 2016-03-25 15:59:48 +01:00
Jeff Burdges
3d04687b6f References for FDH, one-more-inversion, RSA-KTI vs RSA-CTI, etc. 2016-03-25 14:01:27 +01:00
Christian Grothoff
b5cba32510 renaming mint->exchange 2016-03-01 15:35:04 +01:00
Christian Grothoff
e406833eab mint->exchange renaming in paper 2016-03-01 15:21:30 +01:00
Sree Harsha Totakura
4821541c7c fix typos 2015-10-26 12:22:24 +01:00
Sree Harsha Totakura
49c7f62f14 fix typos 2015-10-26 12:06:25 +01:00
Sree Harsha Totakura
5ff88d055e fix notation is refreshing protocol 2015-10-26 11:49:08 +01:00
Jeff Burdges
47b4193317 Corrections on section 4 2015-10-13 18:45:12 +02:00
Christian Grothoff
99865ad6d4 -minor corrections to the corrections 2015-10-08 20:47:17 +02:00
Jeff Burdges
2ce2c1dac7 Correctons to section 3 2015-10-08 02:43:42 +02:00
Jeff Burdges
2863132570 Corrections to sections 1 and 2
Please check out the second to last paragraph of the introduction
as I'm not really happy with it.

There are spelling correction elsewhere as I ran ispell, not sure if
I accedentally switched somew ords from British to American spelling.
2015-10-07 16:39:03 +02:00
Christian Grothoff
bdc8bc7de3 -cite as suggested by Jeff, use correct name 2015-10-07 14:36:18 +02:00
Christian Grothoff
3b3af8a077 avoid triplicating 'randomly computes' 2015-10-05 00:35:02 +02:00
Christian Grothoff
41126e6d24 fix inconsistency in reveal step formulation, now matches implementation 2015-10-04 12:35:05 +02:00
Christian Grothoff
cf5b48eaaa make formulations precise 2015-10-01 18:38:22 +02:00
Christian Grothoff
e2f988b995 use U instead of B^{-1} as it is not a strict inverse 2015-10-01 15:22:19 +02:00
Christian Grothoff
0b5fc99687 Merge branch 'master' of ssh://taler.net:/var/git/mint 2015-09-28 16:00:20 +02:00
Christian Grothoff
eaa0af4297 Luis is right 2015-09-28 16:00:14 +02:00
Florian Dold
6216cbc003 minor typo 2015-09-28 15:52:48 +02:00
Christian Grothoff
c4fd43dd0c fixing typoes with patch from Luis Ressel 2015-09-28 15:33:09 +02:00
Christian Grothoff
0e48396f7e more clarifications 2015-09-28 12:05:20 +02:00
Christian Grothoff
de384cfd82 more clarifications 2015-09-28 12:01:37 +02:00
Christian Grothoff
c8eeea1245 fix description of locking protocol 2015-09-28 11:47:42 +02:00
Christian Grothoff
3f0a0c8f71 attempt to clarify double spending 2015-09-28 08:53:01 +02:00
Christian Grothoff
bf8b9d1435 mention need to audit randomness of gamma 2015-09-27 20:32:30 +02:00
Christian Grothoff
b3a65cb766 add note on how to assure gamma is random 2015-09-27 14:04:52 +02:00
Christian Grothoff
1bfba318ec add reminder 2015-09-26 16:57:16 +02:00
Christian Grothoff
42aea7d138 address Fabian Kirsch's comments for more consistent symbol names, and adding a 'legend' 2015-09-26 16:30:04 +02:00
Christian Grothoff
9ff0c56018 typo 2015-09-26 11:54:03 +02:00
Christian Grothoff
18d3c5efa5 more paper edits and claifications 2015-09-24 17:43:20 +02:00
Christian Grothoff
851a727b69 more edits on taler paper 2015-09-24 17:32:55 +02:00
Christian Grothoff
7c9d82174f more misc edits to the paper, also making sure it fits within page limits 2015-09-24 15:40:27 +02:00
Christian Grothoff
099b283f9c fixing build/ref issues in TeX 2015-09-24 12:26:08 +02:00
Christian Grothoff
43ff6d447a expand security discussion in paper 2015-09-24 12:22:20 +02:00
Christian Grothoff
a8816b7770 edits to Taler paper, trying to clarify/improve writing/structure 2015-09-24 11:40:23 +02:00
Christian Grothoff
fa27e3f204 ref 2015-09-16 09:37:47 +02:00
Christian Grothoff
b04c5c7f30 bib 2015-09-09 20:36:31 +02:00
Christian Grothoff
497f8471ea edits 2015-09-09 20:35:27 +02:00
Christian Grothoff
7237665713 edits 2015-09-09 20:34:07 +02:00
Christian Grothoff
015cf82019 edits 2015-09-09 20:33:34 +02:00
Christian Grothoff
92902cb958 update Fig 1, add section on error handling, expand on importance/role of linkage protocol, mention performance measurements, Acks 2015-09-06 18:35:24 +02:00
Sree Harsha Totakura
0c16a9faea Double spending is detected only if it present 2015-08-24 11:23:02 +02:00
Marcello Stanisci
c6a24cb44d introducing parameter m in spending paragraph 2015-07-30 12:01:00 +02:00
Christian Grothoff
17985453c5 describe refund protocol 2015-05-17 18:13:54 +02:00
Christian Grothoff
fe51219d58 slight improvements 2015-05-09 22:51:12 +02:00
Christian Grothoff
15c4126295 slight clarifications 2015-05-09 19:37:54 +02:00
Christian Grothoff
d7e38031a9 define G 2015-04-22 18:42:52 +02:00
Christian Grothoff
6878f2e793 fixing #3779: typos in paper 2015-04-22 18:41:50 +02:00
Christian Grothoff
57d1f08dbc -initial import for mint 2015-01-08 18:37:20 +01:00