Agents need to drive fast without crashing. Today we're open-sourcing Cupcake: a policy enforcement layer for AI coding agents, with native integrations for Claude Code, Cursor, and more. https://t.co/ozxwP274C9

If enterprises can’t perform AI agent governance, they can’t prove it. Proud to work with @EQTYLab to release Cupcake open source, and to have filed the original Hooks request and rationale with @AnthropicAI 🤝

Try Cupcake today: https://t.co/ozxwP274C9 Docs:

Why OPA/Rego? Many agent security papers propose new policy languages. We built on Open Policy Agent instead—an industry standard your DevSecOps team already knows. Govern your AI stack with the same tools you use for everything else.

Cupcake integrates via execution hooks, intercepting agent actions before they run. This lets you block dangerous commands, modify inputs, or inject context, all without consuming model tokens. (Fun fact: our team created the original Hooks feature request for Claude Code)

We're excited to join @FINOSFoundation in advancing the future of #VerifiableAI

Live from @RaiseSummit 2025: The #VerifiableCompute journey continues! For the first time, #VCOMP is available on @nvidia #Blackwell via @ScanComputers . Learn more about our collaboration with @Accenture Public Sector & @hedera https://t.co/WNMLV5vOKy

We’re excited to introduce a new AI solution with @Accenture and @EQTYLab that will help governments and public sector organizations manage AI-driven decisions with transparency, auditability, and trust via the @Hedera network 🤝

We're looking forward to collaborating with the @ConfidentialC2 community to advance verifiable AI systems 🚀

Ahead of this year's @RSAConference , @NSFOCUS_Intl profiled each of the top 10 Innovation Sandbox finalists. Thank you for the deep dive!

The next frontier of agentic AI is on silicon governance. Learn more about how EQTY Lab and @nvidia are leveraging confidential computing to enable the next leap in cybersecurity for AI agents.

Missed the new announcement from EQTY Lab at @RSAConference ? As a top 10 finalist in the #InnovationSandbox, founder Jonathan Dotan presented the Guardian, a new solution to govern AI agents. Check it out here:

We are proud to share that our portfolio company @EQTYLab has been named one of the Top 10 Finalists for the 20th annual RSAC™ 2025 Conference Innovation Sandbox contest for its work developing the first Verifiable Compute solution to align and audit AI agents at runtime.

Next up: @EQTYLab, verified to trust #AI, on the #RSAC Innovation Sandbox stage

Listen in as we talk with our friends at @NEARProtocol during one of their AI Office Hours

Since @RiscZero’s zkVM runs verifiable computation, you’ll get an execution receipt alongside the Python program outputs. Hop over to our web verifier to check the receipt: https://t.co/09T8ZoyAx7

Following the release of our @RiscZero Verifier from yesterday, we are open sourcing another tool we built internally, this time for running Python code in the zkVM: https://t.co/r486op7WvN

Our open source repo is at https://t.co/lpI2zCki1N It also includes a link to the hosted web verifier. Look for the “Try it out” section in the README for an example receipt that you can use.

We found this useful for increasing trust that ZK programs were run as expected so we’re open sourcing it. There’s a minimal verifier npm package, a customisable react component npm package, and a hosted version.

.@RiscZero receipts include data that the program committed to, but the format is specific to the program being proven so it can’t be generically parsed. So we added a parser interface that any program author can implement to construct a human readable statement.