<?xml version="1.0" encoding="UTF-8"?><rss xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:content="http://purl.org/rss/1.0/modules/content/" xmlns:atom="http://www.w3.org/2005/Atom" version="2.0" xmlns:itunes="http://www.itunes.com/dtds/podcast-1.0.dtd" xmlns:googleplay="http://www.google.com/schemas/play-podcasts/1.0"><channel><title><![CDATA[Zero Knowledge, Zero Problems]]></title><description><![CDATA[After studying math at MIT and writing fiction at Iowa, I took a 180-degree turn to solve AI trust problems people didn't believe could be solved. Subscribe to see the solutions that emerge when you let go of all assumptions. ]]></description><link>https://zkzp.inherence.dev</link><image><url>https://substackcdn.com/image/fetch/$s_!tCto!,w_256,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F3c51dfb0-5cf7-40a4-9dc9-378b548413c6_256x256.png</url><title>Zero Knowledge, Zero Problems</title><link>https://zkzp.inherence.dev</link></image><generator>Substack</generator><lastBuildDate>Wed, 29 Jul 2026 20:19:14 GMT</lastBuildDate><atom:link href="https://zkzp.inherence.dev/feed" rel="self" type="application/rss+xml"/><copyright><![CDATA[JJ]]></copyright><language><![CDATA[en]]></language><webMaster><![CDATA[jj@inherencelabs.com]]></webMaster><itunes:owner><itunes:email><![CDATA[jj@inherencelabs.com]]></itunes:email><itunes:name><![CDATA[JJ]]></itunes:name></itunes:owner><itunes:author><![CDATA[JJ]]></itunes:author><googleplay:owner><![CDATA[jj@inherencelabs.com]]></googleplay:owner><googleplay:email><![CDATA[jj@inherencelabs.com]]></googleplay:email><googleplay:author><![CDATA[JJ]]></googleplay:author><itunes:block><![CDATA[Yes]]></itunes:block><item><title><![CDATA[The Problem vs. the Dilemma]]></title><description><![CDATA[Why AI governance needs proof, not more disclosure]]></description><link>https://zkzp.inherence.dev/p/the-problem-vs-the-dilemma</link><guid isPermaLink="false">https://zkzp.inherence.dev/p/the-problem-vs-the-dilemma</guid><dc:creator><![CDATA[JJ]]></dc:creator><pubDate>Wed, 29 Jul 2026 18:44:55 GMT</pubDate><enclosure url="https://substackcdn.com/image/fetch/$s_!tCto!,w_256,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F3c51dfb0-5cf7-40a4-9dc9-378b548413c6_256x256.png" length="0" type="image/jpeg"/><content:encoded><![CDATA[<p><span>New technologies do not simply give us new tools. They create new rules, new risks, and entirely new forms of infrastructure.</span></p><p><span>Before cars, we had no need for stoplights, seatbelts, parking lots, gas stations, snowplows, tow trucks, or the DMV. A transportation system built around horses required hay, tack, horseshoes, and the occasional carrot. A transportation system built around cars required us to rethink the road itself.</span></p><div class="subscription-widget-wrap-editor" data-attrs="{&quot;url&quot;:&quot;https://zkzp.inherence.dev/subscribe?&quot;,&quot;text&quot;:&quot;Subscribe&quot;,&quot;language&quot;:&quot;en&quot;}" data-component-name="SubscribeWidgetToDOM"><div class="subscription-widget show-subscribe"><div class="preamble"><p class="cta-caption">Thanks for reading Zero Knowledge, Zero Problems! Subscribe for free to receive new posts and support my work.</p></div><form class="subscription-widget-subscribe"><input type="email" class="email-input" name="email" placeholder="Type your email&#8230;" tabindex="-1"><input type="submit" class="button primary" value="Subscribe"><div class="fake-input-wrapper"><div class="fake-input"></div><div class="fake-button"></div></div></form></div></div><p><span>What good is a Jiffy Lube to a horse?</span></p><p><span>Most of the time, our systems evolve alongside our technologies. But sometimes a new technology arrives so quickly that we mistake the absence of infrastructure for an unsolvable problem.</span></p><p><span>That is where we are with AI agents.</span></p><p><span>People are asking urgent and reasonable questions. What should an AI agent be allowed to do? Which decisions should remain off-limits? How can a company know whether its agents followed policy? Who is responsible when they do not?</span></p><p><span>These questions are becoming more important as agents move beyond generating text and begin taking actions.</span></p><p><span>Imagine an AI procurement agent working on behalf of a manufacturer. It searches for suppliers, compares prices, evaluates delivery times, negotiates terms, and places orders. In the course of a single assignment, it may make thousands of small decisions.</span></p><p><span>The company needs to know that the agent stayed within budget, avoided prohibited vendors, protected customer information, obtained the required approvals, and did not follow fraudulent payment instructions.</span></p><p><span>Today, the default answer is usually some form of logging.</span></p><p><span>Record everything the agent saw. Record every tool it called. Record its prompts, intermediate decisions, outputs, and actions. Then, if something goes wrong, inspect the trail.</span></p><p><span>This sounds sensible because it follows an old model of trust: one party reveals what it did, and another party watches.</span></p><p><span>But at the scale and speed of AI agents, that model begins to collapse.</span></p><p><span>A sufficiently detailed record may contain customer data, proprietary workflows, model behavior, internal prompts, commercial strategy, or security-sensitive information. Storing and sharing those records creates new risks. Reviewing them requires time and expertise. And even when complete logs exist, someone still has to determine whether thousands of individual actions complied with a complicated set of rules.</span></p><p><span>The solution appears to be more visibility: better logs, more detailed logs, more standardized logs, more people reviewing logs.</span></p><p><span>But that solution produces another problem. The more information we disclose in order to create trust, the more sensitive information we expose.</span></p><p><span>That means AI governance is not merely a difficult problem.</span></p><p><span>It is a dilemma.</span></p><h2><span>Problems can be solved. Dilemmas must be reframed.</span></h2><p><span>There is a distinction from Alan Watt&#8217;s </span><em><span>The 90-Day Novel</span></em><span> that I return to often. A problem can be solved. A dilemma is a problem whose apparent solution creates another problem.</span></p><p><span>Dilemmas cannot be resolved by applying more force to the original question. They require a shift in perspective.</span></p><p><span>Writers work with this distinction constantly.</span></p><p><span>A story may begin with an apparent problem: a woman needs to stop drinking. The obvious solution is for her to stop. But that is rarely the real story, because human beings do not experience their lives as neat sequences of problems and solutions.</span></p><p><span>The more interesting questions exist underneath the visible one.</span></p><p><span>When did she stop recognizing her own needs? Why is there a paintbrush beside her bed that she has not touched in seven years? Who is Sally, and why does she refuse to answer Sally&#8217;s calls?</span></p><p><span>The writer&#8217;s job is not merely to solve the problem presented at the beginning of the story. It is to discover the question that the apparent problem has been concealing.</span></p><p><span>Funny enough, AI governance demands the same kind of thinking.</span></p><p><span>The apparent problem is that we cannot inspect everything an agent does. The conventional response is to improve our ability to inspect it.</span></p><p><span>But what if inspection is not the real requirement?</span></p><p><span>What if trust does not require one party to reveal everything it did?</span></p><h2><span>The prestigious problem is not always the necessary one.</span></h2><p><span>Much of the technical work around verifiable AI has concentrated on an extraordinarily ambitious problem: proving the underlying computation itself.</span></p><p><span>In simplified terms, this can mean reproducing and verifying something like a simulated computer processor&#8212;demonstrating that an enormous sequence of computational steps was executed correctly.</span></p><p><span>It is a difficult, elegant, and prestigious problem.</span></p><p><span>But it is not always the problem that businesses actually need solved.</span></p><p><span>A company using a procurement agent may not need a cryptographic reconstruction of every internal computation the model performed. It needs answers to narrower and more consequential questions:</span></p><p><span>Did the agent purchase from an approved vendor?</span></p><p><span>Did it remain within its spending limit?</span></p><p><span>Did it obtain authorization before committing funds?</span></p><p><span>Did it transmit sensitive information somewhere it was not permitted to go?</span></p><p><span>Did it follow the rules?</span></p><p><span>That distinction led us to a different plane of reference.</span></p><p><span>Instead of attempting to expose or reproduce the agent&#8217;s entire internal process, we asked whether the agent could prove specific facts about its conduct.</span></p><h2><span>Trust can come from proof rather than disclosure.</span></h2><p><span>In the old paradigm, trust is earned through disclosure.</span></p><p><span>One party says: Here is everything I did. You may inspect it.</span></p><p><span>In the new paradigm, trust can be earned through proof.</span></p><p><span>One party says: I can prove that I followed the agreed-upon rules. You can verify the proof without seeing everything I did.</span></p><p><span>Return to the procurement agent.</span></p><p><span>Rather than handing an auditor a complete record containing vendor information, pricing strategy, model prompts, internal reasoning, and proprietary business rules, the system could produce a cryptographic proof that confirms several facts:</span></p><p><span>The selected supplier was permitted. The transaction remained below the authorized limit. The proper approval occurred. No restricted data was disclosed.</span></p><p><span>The verifier learns that the requirements were satisfied without gaining access to the sensitive information underneath them.</span></p><p><span>This is the essential promise of zero-knowledge technology: proving that a statement is true without revealing the private information used to establish it.</span></p><p><span>In principle, zero-knowledge proofs are well suited to AI governance. In practice, traditional proof generation has often been too slow or computationally expensive for agents operating in real time.</span></p><p><span>An agent cannot pause for minutes every time it performs an action. Proof must operate at the speed of the system it is protecting.</span></p><p><span>That is the problem Inherence was built to address.</span></p><p><span>We have developed methods that generate proofs on the order of tens of milliseconds. In our benchmarks, this is up to 4,778 times faster than prior approaches.</span></p><p><span>At that speed, proof no longer has to be an after-the-fact auditing tool. It can become part of the agent&#8217;s operating environment.</span></p><p><span>An agent takes an action. The relevant policy is evaluated. A proof is produced. Another system, company, regulator, or customer can verify that the required conditions were met without receiving the agent&#8217;s private data, model internals, or strategic logic.</span></p><p><span>The result is not merely a better audit trail.</span></p><p><span>It is a different architecture for trust.</span></p><h2><span>AI needs infrastructure designed for AI.</span></h2><p><span>Cars did not become safe and useful because we invented a better horseshoe.</span></p><p><span>We developed roads, traffic signals, licenses, brakes, crash tests, insurance, and rules of right-of-way. We built infrastructure around the actual properties of the new technology.</span></p><p><span>AI agents will require the same kind of conceptual shift. They act too quickly and at too fine-grained a level for human observation to remain the primary basis of trust. Their logs can be too large to interpret and too sensitive to disclose. Their behavior crosses organizational boundaries, software systems, jurisdictions, and chains of responsibility.</span></p><p><span>Trying to solve this only through greater disclosure assumes that the old model of oversight can survive if we simply collect enough information.</span></p><p><span>But this is the dilemma: the information needed to create trust can itself create exposure, liability, and risk. The way out is not to inspect everything more aggressively. It is to prove what matters.</span></p><p><span>Did the agent remain within its authority?</span></p><p><span>Did it comply with the policy?</span></p><p><span>Did it do what it claimed?</span></p><p><span>These questions can be answered without revealing every detail of how the agent arrived there.</span></p><p><span>That is the shift from observability to verifiability, from trust through disclosure to trust through proof.</span></p><h2><span>Building Inherence</span></h2><p><span>It is also the larger vision behind Inherence.</span></p><p><span>A few months ago, I sat down to work through what I thought was a narrow technical question and accidentally did a great deal of math. By the time I put my pen down, I was looking at a result that changed the scale of the question in front of me.</span></p><p><span>I had been thinking about how to make proof generation faster. What I had found suggested something larger: that cryptographic proof could become practical infrastructure for autonomous systems.</span></p><p><span>That left me with a choice. I could treat the result as an interesting piece of mathematics and walk away, or I could accept the risk, uncertainty, and responsibility of trying to build a company around it.</span></p><p><span>I chose the latter. I chose the thrill.</span></p><p><span>I founded Inherence because I believe this technology can do real good in the world. AI will not reach its full potential merely because agents become more capable. They must also become accountable in a way that matches their speed, complexity, and autonomy.</span></p><p><span>The company began with a mathematical result, but the reason to build it was never the math alone. It was the possibility of creating a new primitive for security, governance, and trust&#8212;one designed for the systems now coming into existence, rather than inherited from the systems that came before them.</span></p><p><span>Horses needed trails. Cars needed highways.</span></p><p><span>AI agents need a new trust layer.</span></p><p><span>They need proof.</span></p><p><span>Building that layer is the work I decided not to walk away from.</span></p><div class="subscription-widget-wrap-editor" data-attrs="{&quot;url&quot;:&quot;https://zkzp.inherence.dev/subscribe?&quot;,&quot;text&quot;:&quot;Subscribe&quot;,&quot;language&quot;:&quot;en&quot;}" data-component-name="SubscribeWidgetToDOM"><div class="subscription-widget show-subscribe"><div class="preamble"><p class="cta-caption">Thanks for reading Zero Knowledge, Zero Problems! Subscribe for free to receive new posts and support my work.</p></div><form class="subscription-widget-subscribe"><input type="email" class="email-input" name="email" placeholder="Type your email&#8230;" tabindex="-1"><input type="submit" class="button primary" value="Subscribe"><div class="fake-input-wrapper"><div class="fake-input"></div><div class="fake-button"></div></div></form></div></div>]]></content:encoded></item></channel></rss>