AI integrity, signed by a universal truth.
Joined August 2025
- Tweets31
- Following2
- Followers1.4K
- Likes123
The frontier is here
@AnthropicAI is recognizing the importance of provable inference, and naming @attestable as the state of the art!
We are the only practical solution in the market that also support floating points, and there's much more exciting stuff coming soon!
anthropic.com/research/prova…
“We believe this is part of a series of attacks recently targeting platform companies with the aim of compromising AI inference providers”.
Inference is becoming critical infrastructure, and it should have the highest level of assurance.
An urgent notice from the Railway team
blog.railway.com/p/security-…
TEEs won't help if the software inside the enclave is vulnerable. This why math-based integrity is so important!
🚨 LiteLLM 1.107.0 compromised in a supply chain attack.
Malicious PyPI packages and Docker images delivered a credential stealer and backdoor.
⚠️ The malware runs at Python startup, targeting cloud credentials, private keys, and AI tool credentials.
🔗 Full story: thehackernews.com/2026/10/li…
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.
13
1,820
👀
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!
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…
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…
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!
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.
pacingthefrontier.com
Proud to sponsor this year's event!
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: airtable.com/app3DgCuagI4u7g…
#AISecurity #AISecurityForum #InfoSec
