From 30ee4cd74ec396ddd66f2f3870ed33d3c85af442 Mon Sep 17 00:00:00 2001 From: Levi Neuwirth Date: Sat, 29 Aug 2026 23:11:29 +0200 Subject: [PATCH] auto: 2026-08-29T21:11:29Z [skip ci] --- content/essays/verified-inference/index.md | 10 ---------- 1 file changed, 10 deletions(-) diff --git a/content/essays/verified-inference/index.md b/content/essays/verified-inference/index.md index 4368753..6627d91 100644 --- a/content/essays/verified-inference/index.md +++ b/content/essays/verified-inference/index.md @@ -257,16 +257,6 @@ While VerInf looks promising, there are currently limitations: SHA-256 circuits are implemented and tested; binding them against independently recorded digests is not yet shown. -## Future Directions -[TODO: review, and potentially rewrite or reposition. This should be a very strong place] -My vision is to combine this work with other research projects of mine. LeVCS is a -federated version control system that is undergoing a rewrite for an agentic focus. -Similarly, my recent contract work on model evaluation alongside less recent work on -agentic debugging has demonstrated many gaps to which bounding the information that -comes from a model. I believe that there are major safety implications to applying -ZKP proof techniques developed in VerInf to agentic contexts, and that further extensions -of my work will also allow for breakthroughs in detection of and handling of alignment faking. - ## Why this matters for assurance The reason to care is not that datacenters are presumed dishonest. It is that