AI integrity, signed by a universal truth.
Joined August 2025
- Tweets26
- Following2
- Followers1.3K
- Likes114
Attestable retweeted
Privacy
Institutions need private transactions that are still interoperable with other chains. @0xPolygon CDK allows institutions to keep data confidential while settling a proof to Ethereum for any EVM chain to verify.
Reporting
Regulators are increasingly mandating strict reporting. Policy engines like @NewtonProtocol use ZK to prove compliance before settlement, instead of relying on third parties to verify.
Ownership
Institutions need to know who they’re transacting with. @worldnetwork uses ZK to prove identity without revealing PII while @attestable is bringing the same accountability to AI agents.
Verification
Digital asset liquidity is split across several chains. Instead of relying on intermediaries, @AcrossProtocol and @Chainlink use ZK to verify transactions before funds can safely settle.
Execution
Institutions want to prove that programs executed properly. @derivexyz runs its entire options exchange in a zkVM, so every match and liquidation is proven onchain.
We're honored to be named to the #Disruptors60 Class of 2026 curated by @GreenfieldVC at @TechCrunch Disrupt.
We're on a mission to make verifiable AI a commodity, and enable a safer world.
Thank you to our team, and to the customers and partners who helped us get here.
We don't know if pacing will happen. But we know its technically possible!
The world is debating whether frontier AI needs to slow down. If it comes to it, do we know how?
A lab can say it stopped training. A country can sign a treaty. But, is the compute following the rules? @attestable is building that layer. New blog! 🧵
We are here if anyone needs it!
Remotely installable, remotely verifiable, this is the verification solution the world needs. We are working hard @attestable to make it as fast and easy to deploy as possible.
Attestable retweeted
Things I already knew to be true but were reinforced:
- @PapiniShahar is a beast
- @attestable has (and will continue to) gone above and beyond to usher in true AI safety and integrity
A trustless solution means you shouldn't have to trust even us at @attestable. Formally proving our stack in Lean is essential, and incredibly exciting. More info to come...
btw this project was finished so far ahead of schedule, @PapiniShahar is an absolute beast!
👀
A trustless solution means you shouldn't have to trust even us at @attestable. Formally proving our stack in Lean is essential, and incredibly exciting. More info to come...
btw this project was finished so far ahead of schedule, @PapiniShahar is an absolute beast!
We are proud to be such foundational technology for AI safety!
“pointed to a cryptography tool called zero-knowledge proofs — a mathematical way of providing verification about a system without revealing more than necessary, such as proprietary details about model parameters or training data.” - Fields medalist and @OpenAI researcher
nytimes.com/2026/09/08/scien…
Welcome @ShafiGoldwasser, co-inventor of zero-knowledge proofs, to the advisory board of @attestable!
Attestable retweeted
Provable security is the only option against superhuman hackers. Luckily we can make helpful assumptions on how inference environments work
Attestable retweeted
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 retweeted
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.”
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.
Thanks @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.
firefly.social/post/x/208722…
RT @rossmatican: Why we backed @attestable
At @HalcyonVC @HalcyonFutures, we're a mission-driven fund working with mission-driven entre…
Thanks @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.
calcalistech.com/ctechnews/a…
Attestable retweeted
Always a pleasure to speak with @jaminball!
We're very excited for @attestable to come out of stealth today. We @AltimeterCap co-led their seed round with @TLV_Partners, and believe they're building a crucial layer in the AI stack.
It's clear two things are happening simultaneously - AI systems are making more consequential decision while their risk is going up (see Hugging Face incident). An existential questions becomes "how can you prove a model did what it was supposed to do?"
Attestable is building this exact integrity and verification layer for AI, using zero-knowledge proofs to verify the right model ran on the right inputs and called the right tools. As agent workloads become longer running, verifying each step becomes even more important.
The technical breakthroughs the Attestable has made to get here are incredible. Zero-knowledge proofs used to carry a 1,000,000x compute overhead, making them completely impractical for AI. The Attestable team has gotten this down many orders of magnitude, making ZK for AI something that can actually be deployed. We'll need this kind of integrity / security solution in a post-quantum 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.
More below from my conversation with Yogi
Attestable retweeted
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.
Attestable retweeted
See you tomorrow at the @AISecurityForum! Come to my talk and go see our demo at the @attestable booth! (shirt included)
