<?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>Sun, 13 Sep 2026 01:24:58 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[Constraints Are Hot! (For AI Agents) ]]></title><description><![CDATA[Why we need them and what the right ones unlock.]]></description><link>https://zkzp.inherence.dev/p/constraints-are-hot-for-ai-agents</link><guid isPermaLink="false">https://zkzp.inherence.dev/p/constraints-are-hot-for-ai-agents</guid><dc:creator><![CDATA[JJ]]></dc:creator><pubDate>Fri, 28 Aug 2026 22:54:14 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>Many people dream that in an ideal world there would be no limits. They would be able to do whatever they want, exactly when they want to. They could achieve all their goals with no effort and no rules.</span></p><p><span>A person who tests this out quickly discovers life with no limits means that nothing happens. It means never leaving the couch because there are too many possibilities to choose from. It&#8217;s scrolling through Netflix for an hour without choosing anything to watch because you can&#8217;t decide what you&#8217;re in the mood for. I may have done this once or twice.</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><strong><span>Life requires structure, form, and constraints.</span></strong></p><p><span>Animals have skeletal structures that determine and limit their skills. A seal isn&#8217;t great at running but is an excellent swimmer. A cheetah can&#8217;t peel a banana but can run as fast as a car. I can&#8217;t fly but I can sit at my desk for seven hours straight drinking matcha and working on theoretical math problems.</span></p><p><span>These are physical constraints, and they&#8217;re all around us. But other forms of constraint exist as well. Constraints facilitate creation. In the arts, there are countless examples of strict form focusing creativity. Haiku, sonnets. Formal guidelines push the writer to reach a more interesting place by concentrating the thought. There&#8217;s a reason we frame artwork, after all.</span></p><p><strong><span>But not all constraints are created equally.</span></strong></p><p><span>Some reduce capability. I&#8217;ll show you how.</span></p><p><span>A finance example is multisigs, a technology that uses multiple keys as a security measure, most often in a cryptocurrency context. The constraint here is that more than one signatory must sign off on a transaction before it is approved. This system is good for certain things; when you have an established policy that you want to update, for example. But when you apply multisigs to settlement, to permitting or not permitting a trade to go through, not only does the constraint become less useful, it also provides a false sense of security.</span></p><p><span>Multisigs are not fail-proof. Signatories can be exploited. It&#8217;s possible to swap in a fake user interface for another. So you think you&#8217;re approving one thing, but really have agreed to something else.</span></p><p><span>The approval process is constrained by humans in the least effective way. Coordinating a group of people, one of whom is always on vacation, to approve a time-sensitive trade means you&#8217;ll always be playing catch up.</span></p><p><span>So the constraints in this system cause you to lose capability as well as security.</span></p><p><strong><span>The right constraints unleash capabilities.</span></strong></p><p><span>Let&#8217;s go back to creativity for a moment. I am both ashamed and unashamed to admit that writing was very difficult for me. Despite the fact I have an intelligence for it. For a long time, I found myself laboring under the wrong constraints: Does the sentence sound smart? Does it sound prestigious? Am I writing about things that people will pay money to read?</span></p><p><span>These constraints weren&#8217;t allowing me to utilize my intelligence. They were hampering me at each turn. When I finally realized this, I knew I had to find a better constraint. Every time I put the pen down, I&#8217;d ask myself, &#8220;Am I interested in this material?&#8221;</span></p><p><span>And I saw firsthand the difference that changing a constraint can make. Suddenly I was able to access parts of my intuition and intelligence that had previously felt off-limits.</span></p><p><span>I applied this constraint moment by moment. Action by action. It was the lens through which I viewed every word. It wasn&#8217;t something I checked once a week or even once a day. I was checking continuously. Because that&#8217;s how you guide behavior.</span></p><p><span>That&#8217;s how you unleash capability.</span></p><p><strong><span>The problem with AI is not that we don&#8217;t have good enough intelligence.</span></strong></p><p><span>The problem is that this intelligence needs to come with better constraints. David Foster Wallace was a genius. And as we saw, genius can lead to danger. It is tremendously productive and yet also destructive on the same scale. AI is the same way.</span></p><p><span>AI should be incredibly powerful. The huge amounts of money that have been poured into AI show that people have great expectations of its abilities. But so far this potential has been largely unrealized. AI agents are not used in production systems. Agents have the raw intelligence needed to handle production coding, but instead of being allowed to work they are put in sandboxes because we don&#8217;t trust them.</span></p><p><span>What&#8217;s missing is the right constraint to unleash that capability.</span></p><p><span>Here&#8217;s a simple formula that took me a long time to work out:</span></p><p><span>Intelligence + the right constraint = productivity.</span></p><p><strong><span>Inherence is the constraint technology we need.</span></strong></p><p><span>Inherence provides effective constraints that are tailored to the abilities of AI and bring out the best in them. And, crucially, we constrain the model correctly.</span></p><p><span>There are many ways to constrain an AI agent incorrectly. You can ask, &#8220;Did your AI&#8217;s inference run correctly?&#8221; You can ask, &#8220;Were you able to watch your AI run?&#8221; You can ask, &#8220;Was your AI fake or tampered with?&#8221; Or even, &#8220;Did another AI think your AI did a good job?&#8221;</span></p><p><span>You can have the right answer to all of these questions and still the AI can go out of bounds.</span></p><p><span>Because all these things (ZKML, observability, hardware-based trust, LLM-as-judge) have value, but they don&#8217;t prove and enforce overall conduct.</span></p><p><span>The question that needs proving is, &#8220;Did your AI do what it was told?&#8221;</span></p><p><span>This is what we do. We designed our system to constrain AI in the ways that matter.</span></p><p><span>What does that look like? An AI agent that follows the rules that you give them. A purchasing agent that only buys from approved vendors and follows spending limits. That doesn&#8217;t give away your trade secrets. That doesn&#8217;t hack into other servers.</span></p><p><span>Inherence gives you peace of mind to let your AI work: It guarantees your agent&#8217;s conduct using cryptographic proof. AI is a protean shapeshifter without a body. Inherence provides the skeleton and structure for every role your agent takes on.</span></p><p><span>If you&#8217;re looking for the right constraint, give us a call&#8211;see what you can unlock.</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><item><title><![CDATA[Hello Regulation Crypto Assets ]]></title><description><![CDATA[The SEC, principles-based regulation, and the Eras Tour (not that one).]]></description><link>https://zkzp.inherence.dev/p/hello-regulation-crypto-assets</link><guid isPermaLink="false">https://zkzp.inherence.dev/p/hello-regulation-crypto-assets</guid><dc:creator><![CDATA[JJ]]></dc:creator><pubDate>Thu, 20 Aug 2026 20:27:43 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>On August 18th, the SEC proposed </span><strong><span>Regulation Crypto Assets</span></strong><span>, a new framework for certain investment contracts involving crypto assets.</span></p><p><span>I&#8217;ve recently developed a passion for policy, so let me take you through the salient points.</span></p><p><span>The regulations include two exemptions from registration requirements: a one-time exemption for offerings of up to $5 million over four-years, and a second exemption for offerings of up to $75 million during each 12-month period.</span></p><p><span>It also proposes something potentially more consequential: a safe harbor for crypto assets that were once associated with an investment contract.</span></p><p><span>The SEC is recognizing that a crypto asset and the investment contract surrounding its original sale are not necessarily the same thing, not forever. So if an issuer has completed the managerial efforts it promised investors&#8212;and satisfies the safe harbor&#8217;s other conditions&#8212;the investment contract can be deemed to have ended. The underlying non-security crypto asset would then no longer be treated as subject to that investment contract under the Securities Act and Exchange Act.</span></p><p><span>In essence, the crypto asset would then face fewer regulatory obligations. To me, this feels like a long-awaited turning point. Especially because of the regulatory philosophy underlying the change. </span></p><p><span>To explain the change, and what it means, we are going to have to do some historical analysis.</span></p><h3><strong><span>Cryptocurrency has historically been difficult to regulate.</span></strong></h3><p><span>The SEC&#8217;s mission is to protect investors, maintain fair markets, and facilitate capital formation. Because traditional financial regulation was built around institutions, its existing rules accomplish investor protection by placing the monitoring and registration burdens on human and institutional intermediaries.</span></p><p><span>In the years BCE (before crypto era), human intermediaries&#8211;banks, broker-dealers, investment advisers, exchanges, and issuers etc&#8212;executed transactions, maintained records, made disclosures, imposed controls.</span></p><p><span>But in 2008 Satoshi Nakamoto invented bitcoin and we entered the CE (crypto era).</span></p><p><span>One of its central innovations is that software can perform functions that previously required financial intermediaries. Assets can move through smart contracts. Markets can operate on protocols. Strategies can execute automatically.</span></p><p><span>This is enormously valuable.</span></p><p><span>But there&#8217;s a consequence: When you remove an intermediary from </span><strong><span>execution</span></strong><span>, you can also remove an important source of </span><strong><span>assurance</span></strong><span>.</span></p><p><span>This is why, in the past, crypto-regulation debates got stuck. SEC wants to add the assurance back in; but the industry wants to preserve decentralization.</span></p><p><span>So do we impose investor-protection policies on crypto, or not?</span></p><p><span>It&#8217;s the wrong question.</span></p><p><span>The right question is: in the decentralized world with programmable money, assets, and trade, how do you guarantee investor protection?</span></p><p><span>Our answer: proof.</span></p><p class="button-wrapper" data-attrs="{&quot;url&quot;:&quot;https://zkzp.inherence.dev/subscribe?&quot;,&quot;text&quot;:&quot;Subscribe now&quot;,&quot;action&quot;:null,&quot;class&quot;:null}" data-component-name="ButtonCreateButton"><a class="button primary" href="https://zkzp.inherence.dev/subscribe?"><span>Subscribe now</span></a></p><p></p><h3><strong><span>Regulation by principles.</span></strong></h3><p><span>This is where we come in. Inherence has technology to give the SEC the ability to ensure that their conditions are fulfilled, even in crypto contexts where the intermediary is missing. We fill the assurance gap.</span></p><p><span>And the good news is that this SEC is open to regulating by principle, looking at the substance of investor protection.</span></p><p><span>In Episode 203 of </span><em><span>Law of Code</span></em><span> podcast, Taylor Lindman, chief counsel of the Crypto Task Force, touches on this when he discusses principles-based regulation versus prescriptive regulation.</span></p><p><span>&#8220;Around technology, prescriptive regulation can get really out of date very quick, and it can become really problematic when you use the prescriptive tool,&#8221; says Lindman. &#8220;But they come with predictability. And then on the other end of the spectrum, you&#8217;ve got principles-based regulation, which is highly flexible and amenable to a lot of different circumstances.&#8221;</span></p><p><span>Regulation Crypto Assets reflects exactly this philosophy. Its disclosure requirements are explicitly principles-based: issuers disclose the material information appropriate to their circumstances. The proposed safe harbor, by contrast, creates a more prescriptive pathway for determining when an investment contract has ended.</span></p><p><span>During a meeting with the SEC on August 4th, we were able to see further evidence that this SEC is interested in principle-based regulation for vault operators.</span></p><p><span>If you&#8217;re a defi or crypto startup, it&#8217;s encouraging news. It means that you&#8217;d be able to comply with SEC regulation without the burden of a human intermediary or a return to unwanted centralization.</span></p><p><span>If you&#8217;re a vault operator, you should talk to us.</span></p><h3><strong><span>Verification without surveillance.</span></strong></h3><p><span>There is another reason this matters, and why it pays to be a policy nerd.</span></p><p><span>At the SEC&#8217;s December 2025 roundtable on financial surveillance and privacy, Chairman Paul Atkins explicitly pointed to zero-knowledge proofs as a technology that can allow people to demonstrate compliance without exposing their entire financial history or personal information.</span></p><p><span>Because we developed a novel implementation of zero-knowledge proof systems, Inherence tech is able to meet this need. Inherence proves that conditions are met without extraneous disclosure by either the party or the counterparty.</span></p><p><span>You can keep the underlying information private while making the fact that matters verifiable.</span></p><p><span>For a financial system increasingly built from software, that&#8217;s a potent new regulatory primitive.</span></p><h3><strong><span>The New Era.</span></strong></h3><p><span>Regulation Crypto Assets is not a rule yet. It&#8217;s still only a proposal. But it points toward a regulatory architecture in which these ideas become possible.</span></p><p><span>The longstanding crypto-regulation debate has often been framed as a choice between decentralization and investor protection.</span></p><p><span>It doesn&#8217;t have to be.</span></p><p><span>Removing an intermediary from execution does not require removing assurance from the system.</span></p><h3><strong><span>We can move the assurance somewhere else: into proof.</span></strong></h3><p><span>Maybe&#8211;just maybe&#8211;the new model will ultimately give regulators something better than the old model. The same level of investor protection, but evidence that is more frequent, less invasive, and machine-verifiable.</span></p><p><span>We want to help crypto and defi startups gain regulatory legitimacy. We want to help you demonstrate both your value to and your protection of consumers. So let&#8217;s talk. Our ears and inboxes are always open.</span></p><p><span>Regulation tailor-made for the crypto (common) era. That&#8217;s a song worth singing.</span></p><p></p><p class="button-wrapper" data-attrs="{&quot;url&quot;:&quot;https://zkzp.inherence.dev/p/hello-regulation-crypto-assets?utm_source=substack&utm_medium=email&utm_content=share&action=share&quot;,&quot;text&quot;:&quot;Share&quot;,&quot;action&quot;:null,&quot;class&quot;:null}" data-component-name="ButtonCreateButton"><a class="button primary" href="https://zkzp.inherence.dev/p/hello-regulation-crypto-assets?utm_source=substack&utm_medium=email&utm_content=share&action=share"><span>Share</span></a></p><p></p>]]></content:encoded></item><item><title><![CDATA[The Agent Paid...]]></title><description><![CDATA[Who gave it permission?]]></description><link>https://zkzp.inherence.dev/p/the-agent-paid</link><guid isPermaLink="false">https://zkzp.inherence.dev/p/the-agent-paid</guid><dc:creator><![CDATA[JJ]]></dc:creator><pubDate>Tue, 11 Aug 2026 16:24:22 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>When I read that Visa, Mastercard, Ripple, and a growing number of payment infrastructure companies were joining the x402 effort, I felt two things at the same time.</span></p><p><span>The first was excitement.</span></p><p><span>The second was the faint unease that arrives when a technical idea stops being speculative and begins acquiring lawyers, working groups, corporate logos, and a foundation.</span></p><p><span>Until recently, the idea of an AI agent paying for something sounded like a demonstration you might watch at a conference. The agent would locate a service, send a little stablecoin, retrieve some data. Everyone would applaud. Then someone would close the laptop and the world would return to its ordinary business of subscriptions, credit-card forms, API keys, invoices, procurement departments, and Jenny in accounting who wants to know why you have expensed seventeen dollars to a company called FrogData.</span></p><p><span>Now it&#8217;s here. </span><a href="https://www.linuxfoundation.org/press/linux-foundation-announces-operational-launch-of-x402-foundation-to-standardize-internet-native-payments-for-ai-agents-and-applications"><span>The x402 protocol</span></a><span> takes an old, mostly unused piece of the web&#8212;the HTTP status code 402 Payment Required&#8212;and makes it functional. A piece of software asks for something. The server responds with a price. The software pays. The resource is delivered.</span></p><p><span>Unlike you or I, the agent does not have to create an account or choose between a monthly and annual plan. No need to invent a password containing a capital letter, a number, and a punctuation mark. It does not have to decide whether to accept promotional emails. It encounters a price in the course of its work, pays that price, and continues.</span></p><p><span>And not needing a person opens up new possibilities, as well.</span></p><p><span>A research agent might buy one current financial data point rather than subscribe to an entire database. A coding agent might rent a specialized model for twenty seconds. The amounts may be too small and the transactions too numerous to make sense inside systems built for human buyers.</span></p><p></p><p class="button-wrapper" data-attrs="{&quot;url&quot;:&quot;https://zkzp.inherence.dev/subscribe?&quot;,&quot;text&quot;:&quot;Subscribe now&quot;,&quot;action&quot;:null,&quot;class&quot;:null}" data-component-name="ButtonCreateButton"><a class="button primary" href="https://zkzp.inherence.dev/subscribe?"><span>Subscribe now</span></a></p><p></p><p><span>So here we are. Software is beginning to buy things. And not metaphorically. Not because a person clicked a button and the software completed the final step. Agents are beginning to evaluate options, select services, authorize payments, and continue working without a human.</span></p><p><span>It&#8217;s all extremely intriguing, so why did I feel uneasy?</span></p><h2><strong><span>The disappearing person</span></strong></h2><p><span>For years, people have talked about &#8220;removing friction&#8221; from payments.</span></p><p><span>Friction is usually depicted as an enemy. It shows up as the extra click, the loading screen, the forgotten password, the card that needs to be retrieved from another room. Companies spend extraordinary amounts of money shaving seconds from checkout because every second gives a customer another opportunity to remember that perhaps she does not need the electric milk frother after all.</span></p><p><span>But some friction is not accidental. Sometimes delay leaves room for discernment.</span></p><p><span>A person sees the price. A person notices the vendor. A person wonders why the shipping address is in another country. A person has the vague but useful feeling that something is wrong.</span></p><p><span>The human being in a transaction is not merely a slow payment processor. She carries context. Jenny remembers that the department budget was reduced last week, that this supplier caused trouble before, that the CEO said not to sign anything until legal reviewed the new terms. She may ignore all of these things, of course. Humans have never been a particularly reliable security system. But many of our existing guarantees assume that one will be present.</span></p><p><span>The agent economy removes the person because removing the person is, in part, the point. Agents are valuable because they can act while we sleep, compare more options than we can read, and complete a thousand small transactions that no sane employee would want to approve individually.</span></p><p><span>But when the person leaves, what happens to the guarantee she was shouldering?</span></p><h2><strong><span>A successful payment can still be a wrong action</span></strong></h2><p><span>A payment protocol can tell us that money moved correctly, but it can&#8217;t necessarily tell us whether the decision to move the money was correct.</span></p><p><span>Suppose an agent is told to purchase a dataset for a research project. It finds the data. The seller requests payment through x402. The agent sends the stablecoin. The cryptography works. The payment settles. The server delivers exactly what was promised.</span></p><p><span>The transaction is flawless.</span></p><p><span>The dataset may still come from a prohibited vendor. Its license may forbid the intended use. The price may exceed the amount the agent was authorized to spend. The request may have been planted by malicious text. The agent may have disclosed sensitive information while negotiating access.</span></p><p><span>Nothing about the validity of the payment establishes the validity of the conduct.</span></p><p><span>This is not a criticism of x402. A road is not defective because it does not decide where you ought to go.</span></p><p><span>In fact, the problem becomes visible precisely because the payment layer is beginning to work. Once agents can transact easily, we are forced to confront new questions.</span></p><p><span>Who authorized the action? Which rules applied? Did the agent remain inside its mandate?</span></p><p><span>How would anyone know?</span></p><p><span>These questions are easy to answer when there are only a few transactions and a person is watching. They become stranger, and much more difficult, when the agent is making hundreds of decisions across services that have never met one another, each operating on a fragment of the relevant information.</span></p><h2><strong><span>The temptation to record</span></strong></h2><p><span>So the familiar answer is the log. Record every action. Then, should anything go wrong, someone can reconstruct the event.</span></p><p><span>I understand the appeal. A log feels like a form of honesty. Here is what happened. Here is everything. Look for yourself.</span></p><p><span>But at machine scale, &#8220;everything&#8221; becomes impossible to keep track of.</span></p><p><span>A sufficiently detailed log may contain customer information, internal instructions, trading strategy, proprietary model behavior, credentials, pricing logic, or the private rules by which an institution operates. That is a lot of extremely sensitive information. All stored in one place. Ripe for a data breach.</span></p><p><span>And the existence of the log does not mean anyone can understand it.</span></p><p><span>A human auditor can read a dozen transactions. Perhaps a hundred. An agent may generate thousands of actions inside a workflow, with the consequence of one decision depending on the previous forty-seven. The log grows more complete and, in a strange way, less legible.</span></p><p><span>This is where the subject becomes more interesting to me, because it stops behaving like a problem with a straightforward solution. It becomes a dilemma: the apparent remedy reproduces the condition we were trying to escape. We begin with the desire for trust. We respond by demanding disclosure.The disclosure creates exposure. The exposure creates another trust problem.</span></p><h2><strong><span>A new type of receipt</span></strong></h2><p><span>At Inherence, we&#8217;ve been thinking about what should replace the guarantee that disappears when the human leaves. It&#8217;s not a better log and it&#8217;s not a person reinserted into every decision.</span></p><p><span>What is needed is proof.</span></p><p><span>Disclosure says: here is what the agent did. Examine it and decide whether you trust me.</span></p><p><span>Proof says: the agreed conditions held, and you can verify that fact without seeing the private material underneath it.</span></p><p><span>So imagine that an institution gives an agent a mandate:</span></p><p><span>Spend no more than a certain amount. Use only approved counterparties. Do not transact with sanctioned addresses. Do not expose protected information. Seek approval when the transaction crosses a defined threshold.</span></p><p><span>With Inherence, those rules can be enforced as the agent acts. The system can block a transaction that violates the mandate before the payment leaves. It can also produce a compact cryptographic receipt showing that the rules held, without exposing any sensitive data. The receipt does not explain the agent&#8217;s strategy. It answers a narrower and more useful set of questions. Was the seller permitted? Was the amount authorized? Did the transaction remain within policy? Did the rule hold?</span></p><p><span>Our work at Inherence is to make this kind of proof fast enough to work inside an autonomous system. Speed matters because a proof that arrives several seconds later belongs to a different world, one that is no longer relevant. Markets move. Agents continue. Transactions settle. If governance can&#8217;t keep up with the action, the governance is rendered moot.</span></p><p><span>Our technology works in two parts: an inline enforcer, which blocks a rule-breaking transaction before execution, and a 128-byte zero-knowledge receipt, which allows the conduct to be verified without revealing the underlying orders, sizes, or strategy. Our current proof generation is under 50 milliseconds.</span></p><p><span>We are interested in proof that arrives in time to matter.</span></p><h2><strong><span>Two pieces, one puzzle</span></strong></h2><p><span>I don&#8217;t think the right story is that x402 creates a dangerous future and Inherence arrives to make it safe. x402 solves a real problem. Agents need a way to exchange value that does not force every machine interaction through a checkout process designed for a person sitting at a desk with a credit card.</span></p><p><span>But payment and permission are different things.</span></p><p><span>x402 can allow an agent to pay.</span></p><p><span>The next layer must establish whether the agent was allowed to pay, under the rules that governed that particular action.</span></p><p><span>Perhaps this is how infrastructure develops. One obstacle disappears and reveals the shape of the obstacle behind.The internet learned how to move information before it learned how to decide which information could be trusted. Blockchains learned how to settle transactions before institutions learned how to express all the messy conditions under which they were willing to transact. Agents are learning how to act before we have finished deciding what an accountable action looks like when no person is there to perform it.</span></p><p><span>The announcement around x402 definitely deserves attention. It&#8217;s bringing the agent economy closer. But it&#8217;s also illuminating everything that&#8217;s missing.</span></p><p><span>The guarantee. The trust. The proof.</span></p><p></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></p>]]></content:encoded></item><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>