Olaf Horvath

Accountable Distribution of Machine-Checked Correctness Evidence

Formal verification produces machine-checkable evidence, but consuming that evidence usually requires the original prover, dependency graph, source checkout, and substantial replay time. This paper studies a distinct cryptographic problem: how can a lightweight consumer obtain pr...