diff --git a/paper/ltl.pdf b/paper/ltl.pdf index 968a5cf..29dfa8f 100644 Binary files a/paper/ltl.pdf and b/paper/ltl.pdf differ diff --git a/paper/ltl.tex b/paper/ltl.tex index a92898d..d5e9c5a 100644 --- a/paper/ltl.tex +++ b/paper/ltl.tex @@ -18,7 +18,7 @@ \title{\textbf{LTL: the Lean Transparency Log}\\[2pt] \large Distributing Machine-Checked Proof Evidence via an Authenticated Data Structure Signed by Its Own Certified Artifact} -\author{Olaf Horvath\\ \small zkdefi.org --- \url{https://zkdefi.org/lean-transparency-log}} +\author{saymrwulf\\ \small zkdefi.org --- \url{https://zkdefi.org/lean-transparency-log}} \date{July 2026} \begin{document}