diff --git a/paper/ltl.pdf b/paper/ltl.pdf index ff44dc4..f521dc6 100644 Binary files a/paper/ltl.pdf and b/paper/ltl.pdf differ diff --git a/paper/ltl.tex b/paper/ltl.tex index 6cf9110..9695ecd 100644 --- a/paper/ltl.tex +++ b/paper/ltl.tex @@ -17,7 +17,7 @@ \title{\textbf{LTL: Lean Transparency Log}\\[2pt] \large Where Deductive and Cryptographic Proof Vouch for Each Other} -\author{Olaf Horvath\\ \small \texttt{Olaf.Horvath@zkdefi.org} --- \url{ltl.zkdefi.org}} +\author{Olaf Horvath\\ \small \texttt{Olaf.Horvath@zkdefi.org} --- \url{ltl.zkdefi.org} --- \href{https://orcid.org/0009-0004-8008-5805}{ORCID 0009-0004-8008-5805}} \date{July 2026} \begin{document}