Attestable

AI integrity, signed by a universal truth.

[Yogi @Yogi_Brn]

We don't have time to develop new heuristics and stress test them. We need new defenses that we can formally prove and gain confidence on immediately

[Attestable @attestable]

Our X handle is now @attestable, as Nolan intended

[Altimeter Capital @AltimeterCap]

We’re excited to see @attestable come out of stealth today.

Led by partner @JaminBall, Altimeter co-led Attestable’s seed round alongside @TLV_Partners. We believe they’re building a crucial new layer of the AI stack: verifiable integrity.

As AI systems make more consequential decisions and agents take on longer, multi-step workloads, an existential question emerges: How can you prove a model did what it was supposed to do?

Attestable uses zero-knowledge proofs to verify that the right model ran on the right inputs and called the right tools.

The technical breakthroughs behind this are remarkable. ZK proofs once carried ~1,000,000x compute overhead, making them impractical for AI. Attestable has brought that down by orders of magnitude, making ZK for AI deployable in the real world.

From securing model weights to proving open models are backdoor-free to giving agents verifiable identity, Attestable is building the integrity layer for an AI-powered world.

As co-founder @Yogi_Brn puts it: “Every token should be a proven token.”

[Attestable @attestable]

Thanks @VitalikButerin!

[vitalik.eth @VitalikButerin]

Impressive work!

For comparison, an H100 can do roughly 100-200 tok/s of Muse 30B for raw inference single-thread, going up to low thousands of tok/s with a large number of threads - and I am sure that for the massively-multi-threaded case they can optimize the prover further.

So we roughly, sort of, have single-digit (<10x) overhead for LLM proving!

Next step is getting single-digit overheads for FHE, and then ultimately vFHE (aka STARK * FHE). A crazy ambitious milestone given present FHE overheads, but because of how highly structured and almost-linear LLM inference is, it's closer to the realm of possibility than you might think.

Single-digit-overhead all the things.
https://t.co/NXOTrPTjp6

[Attestable @attestable]

RT @rossmatican: Why we backed @attestable

At @HalcyonVC @HalcyonFutures, we're a mission-driven fund working with mission-driven entre…

[Attestable @attestable]

Thanks @Calcalistech!

[CTech @Calcalistech]

RAND, 8200, StarkWare and SSI alumni raise $20 million to secure AI.

@attestable is betting that zero-knowledge cryptography can provide a new way for companies and governments to verify what happens inside increasingly powerful AI systems.
https://t.co/AtOBuI3TU4

[Yogi @Yogi_Brn]

Always a pleasure to speak with @jaminball!

[Yogi @Yogi_Brn]

The world has identified verifiable AI as a missing civilization-scale primitive. The core technical obstacle, practical zero-knowledge proofs, was considered impossible.

We solved it.

Today, we are launching @attestable, the AI Integrity Company, and announcing a $20M seed round led by @jaminball at @AltimeterCap and @YonatanMandelba at @TLV_Partners , with participation from @HalcyonFutures, Cerca Partners, @Weiner_Lia at Netz, @nickymontanaa at Zero Knowledge Ventures, @assaf_rappaport, Asaf Ezra, Nadir Izrael, Jon Coller, Eyal Manor, @OmerPerchik.

[Yogi @Yogi_Brn]

See you tomorrow at the @AISecurityForum! Come to my talk and go see our demo at the @attestable booth! (shirt included)

[AI Security Forum @AISecurityForum]

A huge thank you to our Platinum Sponsor @attestable for supporting the community at AISF Vegas this year! 💜

If you've received an acceptance to the conference, make sure you follow our conference app for session times &amp; details! 🌟

[Attestable @attestable]

This is important, and we will provide the technology that will make this happen. The world needs a trustless governance solution that is too cheap to meter!

[OpenAI @OpenAI]

At the core of our mission is working through how to ensure increasingly powerful AI benefits everyone.

We believe that, at some point in the future, AI acceleration for frontier model development may be so high that the world will need to pace the rate of AI advancement.

We hope to contribute to work led by the U.S. government, alongside other labs and the open-source community, to develop the tools and mechanisms that could make that possible.

https://t.co/pMCtiQjMoo

[Yogi @Yogi_Brn]

"cryptographically verify AI agents"; looks like Nvidia is doing my marketing for me... AI security will soon be completely transformed by @attestable, stay tuned

[Yogi @Yogi_Brn]

The question why we don’t see more independent verification of the frontier? Are they not incentivized to do it? Or is it that current methods are too expensive? (Maybe not in dollars, but in internal access and productivity hits).

One of those problems will be solved soon…

[Yogi @Yogi_Brn]

"The currency of AI is trust" ✍️

[Attestable @attestable]

Proud to sponsor this year's event!

[AI Security Forum @AISecurityForum]

We're happy to have @attestable as our Platinum Sponsor of AISF Vegas 2026! Thank you for helping bring the community together. 🙌

🔗 Interested in attending? Apply here: https://t.co/fLaH29vAMj

#AISecurity #AISecurityForum #InfoSec