summaryrefslogtreecommitdiff
path: root/games
AgeCommit message (Expand)Author
2017-11-20Improve income transperency proofJeffrey Burdges
2017-11-20Anonymity game fixesJeffrey Burdges
2017-11-19Remove Florian's Lemmas that we do not useJeffrey Burdges
2017-11-19Make it more like a game hopJeffrey Burdges
2017-11-19Ooops fix game againJeffrey Burdges
2017-11-19Remove unneeded comments.Jeffrey Burdges
2017-11-19Ugh not quite done maybe, but much much betterJeffrey Burdges
2017-11-19More on unforgability.. and spellingJeffrey Burdges
2017-11-19Almost done with one-more forgeryJeffrey Burdges
2017-11-18MinorJeffrey Burdges
2017-11-18Income Transparency Proof-sketchJeffrey Burdges
2017-11-18Fairness proofJeffrey Burdges
2017-11-18OopsJeffrey Burdges
2017-11-18Add back user to spendJeffrey Burdges
2017-11-17Unshares is redundent nowJeffrey Burdges
2017-11-17Changes along the lines of my email. Also ownership set and linkingJeffrey Burdges
2017-11-17consistent _Jeffrey Burdges
2017-11-17fix refresh transcriptFlorian Dold
2017-11-17notation/labels, comment out Jeff's proof for nowFlorian Dold
2017-11-17turn refresh into one oracle (coroutine-style)Florian Dold
2017-11-17fix things and add more notesFlorian Dold
2017-11-16Oops make it texJeffrey Burdges
2017-11-16Progress on anonymity proofJeffrey Burdges
2017-11-10fix kappa in income transparency gameFlorian Dold
2017-11-10bank -> exchangeFlorian Dold
2017-11-10minor fixFlorian Dold
2017-11-10fixesFlorian Dold
2017-11-10fixesFlorian Dold
2017-11-10no separate/weird unforgeability gameFlorian Dold
2017-11-10very rough proof idea for anonymityFlorian Dold
2017-11-09fix oraclesFlorian Dold
2017-11-09more precise fairnessFlorian Dold
2017-11-09anonymity gameFlorian Dold
2017-11-03gitignoreFlorian Dold
2017-11-03gamesFlorian Dold
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-06 20:11:50 +0000