Author: Jeremy Rubin 2022-05-02 15:59:49
Published on: 2022-05-02T15:59:49+00:00
In this context, the author discusses the correct timestamping service model that should be followed by OTS. They suggest that if OTS does not follow their proposed model, it may be considered provably incorrect or unreliable. The author suggests that there are different types of unreliability issues that arise when not conforming to their proposed model, including linearizability. The author also questions whether there is any formal proof of what guarantees OTS provides against which threat model, and suggests that a formal model of OTS would be necessary to produce such proof.
Updated on: 2023-06-03T07:08:33.709484+00:00