Tag
verifiers
- Sep 23, 2026 Unstable Writes, COMMIT, and the Verifier A write may be acknowledged before the server has put the data on stable storage. The reply says how stable it is, and the client decides whether to ask for a commit — a decision that trades latency against the risk of losing an acknowledged write. filesystems
- Dec 10, 2025 Certificates and the Two Definitions of NP Why "solved quickly" and "checked quickly" describe the same class, how the verifier definition is proved equivalent to nondeterministic machines, and what the certificate length bound actually constrains. computation theory