saymrwulf/proof-aware-crypto-tooling-agent
1
0
Fork 0
mirror of https://github.com/saymrwulf/proof-aware-crypto-tooling-agent.git synced 2026-09-03 19:53:43 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

paper: retitle + author block per publication decision

Browse source 
- Title: 'LTL: Lean Transparency Log'; subtitle now 'Distributing
  Machine-Checked Proof Evidence through a Recursively Self-Certifying
  Merkle Log' (the log carries the certificates of the code that signs
  the log - recursion named, marketing dropped)
- Author: Olaf Horvath, contact Olaf.Horvath@zkdefi.org, single URL
  ltl.zkdefi.org (redundant zkdefi.org line removed)
- PDF rebuilt (4 pages), page 1 visually inspected
- title echoes updated: llms.txt, LTL docs-page paper card

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
This commit is contained in:
mrwulf 2026-07-07 08:45:49 +02:00
parent a7cc3d2a5f
commit 8aa228d2fe
4 changed files with 6 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
llms.txt
View file

@ -18,7 +18,7 @@
## Live evidence ## Live evidence
- Transparency log (RFC 9162): https://ltl.zkdefi.org — signed replay attestations of the Lean proofs, one leaf per fork. - Transparency log (RFC 9162): https://ltl.zkdefi.org — signed replay attestations of the Lean proofs, one leaf per fork.
- The paper: https://ltl.zkdefi.org/paper — "LTL: the Lean Transparency Log". - The paper: https://ltl.zkdefi.org/paper — "LTL: Lean Transparency Log".
## For agents ## For agents

BIN
paper/ltl.pdf
View file

Binary file not shown.

8
paper/ltl.tex
View file

@ -15,10 +15,10 @@
\newcommand{\den}[1]{[\![#1]\!]} \newcommand{\den}[1]{[\![#1]\!]}
\setlength{\columnsep}{0.8cm} \setlength{\columnsep}{0.8cm}
\title{\textbf{LTL: the Lean Transparency Log}\\[2pt] \title{\textbf{LTL: Lean Transparency Log}\\[2pt]
\large Distributing Machine-Checked Proof Evidence via an Authenticated \large Distributing Machine-Checked Proof Evidence through a
Data Structure Signed by Its Own Certified Artifact} Recursively Self-Certifying Merkle Log}
\author{saymrwulf\\ \small zkdefi.org --- \url{https://ltl.zkdefi.org}} \author{Olaf Horvath\\ \small \texttt{Olaf.Horvath@zkdefi.org} --- \url{ltl.zkdefi.org}}
\date{July 2026} \date{July 2026}
\begin{document} \begin{document}

2
provider/src/pacta_provider/webdocs.py
View file

@ -222,7 +222,7 @@ until the reproducible-builds program (R5) lands. Every attestation carries its
residual-risk list. Honesty about the boundary is the product.</div> residual-risk list. Honesty about the boundary is the product.</div>
<h2>The paper</h2> <h2>The paper</h2>
<div class="card"><a href="{base}/paper"><strong>LTL: the Lean Transparency Log</strong></a> <div class="card"><a href="{base}/paper"><strong>LTL: Lean Transparency Log</strong></a>
(PDF, 4 pages) — the design in full: the trust model (observations, never verdicts), (PDF, 4 pages) — the design in full: the trust model (observations, never verdicts),
the self-certifying signature, the deployment with its retained failure leaves, and an the self-certifying signature, the deployment with its retained failure leaves, and an
exact account of what a verified receipt does and does not establish.</div> exact account of what a verified receipt does and does not establish.</div>