mirror of
https://github.com/zoo-apps/papers.git
synced 2026-10-30 14:56:54 +00:00
zeekay
95d7b38d07
The execution-proof slice the paper marked "designed, not built" is now built and tested; update the paper to reflect the verified reality and add the Zoo L3 settlement / DeSci framing the paper was missing. Grounded in code read + tests run for this paper: - Rust engine (hanzo-engine poi_*): 27 unit + 11 adversarial = 38 passing (poi.rs 7, poi_transcript.rs 8, poi_forward.rs 3 ProvableLinear, poi_graph.rs 9 GraphTrace incl. a training step). Cross-language golden vector pins Go parity. - Go verifier (luxfi/crypto/poi): 23 passing (TestDeriveChallengesGolden parity). - Solidity (luxfi/standard contracts/ai/thinking): 87 passing across the 8 PoAI suites (ComputeWitnessLib 5, OptimisticEvidence 18, AICoinMiner 12, ComputeProofEnforcement 19, AICoin 11, AIComputeRegistry 6, MinerStakeRegistry 8, L3Registry 8). AICoinMiner mint gate fails closed (ProofGateUnavailable). - Confidentiality primitives: crypto/promptseal (X-Wing) 6, crypto/attestation 9. Changes: - New section 18 (24-zoo-l3-settlement): the Zoo L3 consumes the one canonical PoAI contract surface; L3Registry directory; trustless ML-DSA validator-quorum root relay (AChainRootOracle); fail-closed mint + global no-double-mint; and proven inference/embedding/training as the DeSci reproducibility substrate. - Rewrote status-summary (00) and implementation-status (23) as a verified ledger with real passing counts; flipped the stale "designed, not built" framing. - Abstract/intro/conclusion/future-work updated to the built reality; residual honestly scoped to the RepOps fp tier + chaining/long-tail emission. - Reconciled stale "0% / no caller / once emission exists / roadmap" passages in sections 11, 16, 17, 18, 19, 20, 21, 22; experimental numbers marked as illustrative projections (not measured), with the measured asymmetry cited. - Cite the zoo/proofs soundness + emission companions. LaTeX compiles clean: pdflatex x3, 52 pages, 0 undefined refs/citations.
28 lines
1.8 KiB
TeX
28 lines
1.8 KiB
TeX
\section{Future Work}
|
|
|
|
The honest remaining work is the residual named throughout (Sections~\ref{sec:status-summary},
|
|
\ref{sec:impl-status}), plus the orthogonal extensions the attestation and pricing layers
|
|
invite. The execution-proof core, its emission, the cross-chain root relay, and the on-chain
|
|
gate are built; what follows is breadth and the surrounding product surface.
|
|
|
|
\begin{enumerate}
|
|
\item \textbf{RepOps floating-point tier}: a pinned-reduction-tree kernel that makes
|
|
fp16/bf16/fp8 GEMMs bit-exact, extending the proof path beyond the quantized integer
|
|
tier (designed and proven sound in~\cite{poisoundness}; no kernel yet).
|
|
\item \textbf{Sequential-chaining emission}: wiring the proven chaining obligation for
|
|
state-space (recurrent) and diffusion models, the one structural case the
|
|
forward/transpose graph does not yet cover.
|
|
\item \textbf{Long-tail architecture emission}: extending transcript emission to the
|
|
model-zoo families outside the tested set (multimodal towers, audio conformers), each of
|
|
which already reduces to the existing techniques (Theorem~\ref{thm:two-extensions}).
|
|
\item \textbf{GPU TEE integration}: NVIDIA H100 / Blackwell confidential-computing
|
|
quote parsing into the canonical attestation quote, for the hardware-trust tier that
|
|
complements the software-only proof.
|
|
\item \textbf{Operator-path confidentiality integration}: wiring the built X-Wing prompt
|
|
seal and attestation binding (\texttt{crypto/promptseal}, \texttt{crypto/attestation})
|
|
into every inference operator's request handler and key-management lifecycle.
|
|
\item \textbf{Privacy-preserving quality scoring}: zero-knowledge proofs for the
|
|
multi-party evaluation protocol, so a quality score reveals nothing about the evaluator's
|
|
private rubric.
|
|
\end{enumerate}
|