diff --git a/paper/ltl.pdf b/paper/ltl.pdf index e6726de..920b8aa 100644 Binary files a/paper/ltl.pdf and b/paper/ltl.pdf differ diff --git a/paper/ltl.tex b/paper/ltl.tex index 6a2a120..a591631 100755 --- a/paper/ltl.tex +++ b/paper/ltl.tex @@ -47,7 +47,7 @@ showstringspaces=false,breaklines=true,xleftmargin=.5em,xrightmargin=.5em} \large A Transparency Model and the Lean Transparency Log} \author{Olaf Horvath\\ \small Olaf.Horvath@zkdefi.org \quad ORCID 0009-0004-8008-5805} -\date{July 2026 \quad (v0.9)} +\date{July 2026} \begin{document} \maketitle