Christian Grothoff c6278ceeab document FDH implementation in detail, fixing #6182		2020-07-15 22:25:06 +02:00
..
blockchain-accountability.tex	initial import of thesis-dold	2020-07-12 18:19:17 +02:00
coin.dot	add more detail to coin state machine	2020-07-13 19:03:05 +02:00
coin.pdf	add more detail to coin state machine	2020-07-13 19:03:05 +02:00
deposit.dot	more figures	2020-07-12 20:00:56 +02:00
deposit.pdf	more figures	2020-07-12 20:00:56 +02:00
design.tex	improve documentation on which invariants are checked by which auditor helper	2020-07-14 21:10:55 +02:00
implementation.tex	document FDH implementation in detail, fixing #6182	2020-07-15 22:25:06 +02:00
reserve.dot	add reserve state machine	2020-07-12 19:19:13 +02:00
reserve.pdf	add reserve state machine	2020-07-12 19:19:13 +02:00
security.tex	initial import of thesis-dold	2020-07-12 18:19:17 +02:00
snippet-keys.txt	initial import of thesis-dold	2020-07-12 18:19:17 +02:00