aboutsummaryrefslogtreecommitdiff
path: root/archive/2021-09-14-checkpoint-format-summary
diff options
context:
space:
mode:
authorRasmus Dahlberg <rasmus.dahlberg@kau.se>2021-09-28 22:15:31 +0200
committerRasmus Dahlberg <rasmus.dahlberg@kau.se>2021-09-28 23:43:48 +0200
commitfef460586e847e378a197381ef1ae3a64e6ea38b (patch)
tree6ad24a6d8ed3df128ef9063106f0423b543e76a6 /archive/2021-09-14-checkpoint-format-summary
parent64c35a9d857abea589054b3eae4f8581334c6e09 (diff)
noted that verified timestamps have more use-cases
A believer can be convinced that a sigsum was logged after time T. This is because witnesses do Verifier(append-only) and Verifier(Freshness). Outline: a claimant is about to log a sigsum. 1. Fetch the most recent cosigned tree head. - Timestamp is T - Tree size is N 2. Submit sigsum for logging. 3. Wait for inclusion at index N+k, k=>0. 4. Wait for next cosigned tree head. - Timestamp is T', where T' > T - Tree size is N', where N' > N+k 5. Download inclusion proof for tree size N'. Now you can convince a believer that a sigsum is publicly logged. Just reveal inclusion proof which leads up to the second cosigned tree head. Next, you can reveal the first cosigned tree head that _have not merged that entry yet_. This follows from the first cosigned tree head size, and makes it obvious that the entry must have been merge after time T.
Diffstat (limited to 'archive/2021-09-14-checkpoint-format-summary')
0 files changed, 0 insertions, 0 deletions