Provably retweeted
anthropic.com/research/multi…
This is fantastic read.
1. agents struggle to coordinate with each other especially for common resources.
2. they don't know how to detect when they are being lied to.
And as usual Anthropic wants to solve it through more learning..
Provably retweeted
AI is going collaborative.
In the next 6 months all we are gonna talk about is verifiability (for safety, security and accuracy), protocols and crazy new use cases.
Provably retweeted
The main thing in AI 2.0 - which Buzz is triggering with collaborative AI - is verifiability.
Bolting on & releasing shortly.
Then whenever another AI does a task it, it can prove it really did what claimed it did.
It saves you needing access to the “actual” Terminal / end point.
Provably retweeted
Three months ago, we decided to work on one of the really big problems in AI:
Agent reliability in tool calling.
🤖 Made with AI
Provably retweeted
All that scary marketing has blown up in their faces?
- this means frontier models in rest of the world should get access to customers and data they wouldn’t normally get.
- the lead they built could turn out to be temporary.
Open source gets 80% of the tokens but only 20% of the revenue. OS struggles to access new data and improve as fast as frontier and closed source.
Anthropic@AnthropicAIJun 13🇺🇸
United StatesConnected via WebAccount-level information, not a live location or per-post device.
The US government, citing national security authorities, has issued an export control directive to suspend all access to Fable 5 and Mythos 5 by any foreign national, whether inside or outside the United States, including foreign national Anthropic employees.
The net effect of this order is that we must abruptly disable Fable 5 and Mythos 5 for all our customers to ensure compliance.
Access to all other Claude models is not affected.
We apologize for this disruption to our customers. We believe this is a misunderstanding and are working to restore access as soon as possible.
Read our full statement: anthropic.com/news/fable-myt…
Provably retweeted
Personal update:
We found a way for agents to deliver more accurate and reliable results - at runtime.
Here’s a 35 second sneak peek of an agent answering a user question, fetching data from backend systems, and verifying its own response at runtime.
Provably retweeted
Replying to @zeroknowledgefm @zksecurityXYZ @burnt_xion @TACEO_IO @o1_labs @reclaimprotocol @zkv_xyz @icme_app @aztecnetwork @0xMiden @ZcashFoundation @GiacomoFenzi @ronrothblum @SuccinctLabs @asanso @ethereumfndn @MariusMargulus @TachyonZcash @Zcash
@EmanueleRagnoli from @GetProvably described qedb at zk14, a construction for expressive, modular verifiable databases and SQL queries built on bilinear pairings, addressing trustless outsourced data storage
youtu.be/F7ZVasL-OcM?si=xGXl…
Provably retweeted
Exciting update!
We’re building tools that let AI agents prove where their answers came from.
- Eliminates hallucinations & poisoning.
- Verifiable in near real time by humans or machines.
- Multi agent systems propagate only correct answers.
See demo:
Provably retweeted
2/ So I tested @GetProvably's verifiable databases to see if they'd fix it.
Simple demo: API gives me BTC + USD/CHF prices (stored in a JSON file). The agent reads it and converts BTC into CHF.
On the right → Provably gives cryptographic assurance the data is correct.
Provably retweeted
Replying to @GetProvably
@GetProvably is 2 years old this month.
Our qedb: Expressive and Modular Verifiable Databases (without SNARKs) paper has been accepted to CCS 2026 (Conference on Computer and Communications Security).
eprint.iacr.org/2025/1408
Provably retweeted
We all know ZK for execution, but what about ZK for data?
@GetProvably are building great things in that space!
🎙 This week @AnnaRRose & @nico_mnbl talk with Shyam & Emanuele from @GetProvably about verifiable databases, proving SQL queries on private data using KZG & polynomial commitments, why this outperforms Merkle-based approaches, proof sizes under 1.5 KB, data pricing with privacy budgets, and emerging use cases in multi-agent AI.
zeroknowledge.fm/podcast/398…
Provably retweeted
🎙 This week @AnnaRRose & @nico_mnbl talk with Shyam & Emanuele from @GetProvably about verifiable databases, proving SQL queries on private data using KZG & polynomial commitments, why this outperforms Merkle-based approaches, proof sizes under 1.5 KB, data pricing with privacy budgets, and emerging use cases in multi-agent AI.
zeroknowledge.fm/podcast/398…
Provably retweeted
We are getting ready to ship the next version of Provably. Heres a teaser.
1. You can bring your own data or find other peoples.
2. It will have a new SQL IDE to write queries.
3. Results come back instantly with proofs.
No circuits to build or compile.
#zk #verifiabledata
Provably retweeted
Telco networks can verify calls from sim cards but not VOIP calls or completely digital calls.
You can use different Verifiable techniques, but key lesson is - IDENTITY alone is not enough.
A verifiable intent - on why someone calls is very important too if the caller is unknown.
Another cool way but needs to be adopted by email, messaging or VoiP platform is this:
- caller must place funds in escrow.
- if receiver accepts their call as legitimate - they can return the funds in escrow.
My wife calls me, panicked.
The call is from her number, and her voice is unmistakable- that’s my wife.
‘Babe, our son is hurt. He got in a bike wreck. I’m at the emergency room but they won’t take our insurance and I need cash to get him help. Please send me 3000 dollars as soon as you can, he’s really not doing well.’
Me- ‘Wow, that’s scary. Tell me our passphrase and then I’ll send the money.’
Her (it) - ‘What? What passphrase? This is your wife, our son is hurt. Send the money now!!’
Me- ‘I’ll call you back. I don’t believe that this is my wife. If it is, I’m sorry, but we discussed this.’
The number? Spoofed. Easy to do and there’s no way to tell if a phone number is being spoofed aside from hanging up and calling back to confirm.
The voice? AI generated. Easily done. A few seconds of audio is all it takes to create a realistic audio deepfake.
What can you do?
1) Create a family safe word or passphrase. Ours is definitely not ‘Keep Going’ although we considered it. Discuss the passphrase far away from phones or any recording device. This is as analog as possible. Don’t forget that the trigger for the passphrase is just as important as the phrase itself. So instead of asking ‘what’s the safe word?’ have a separate triggering question. For example, you could say ‘I’m eating banana cream pie’ and this would trigger your spouse to respond ‘purple velvet pillows’ if that’s the safe word.
Make it fun, silly, and easy to remember. And DON’T WRITE IT DOWN.
2) Cognitive security is an essential skill in 2026. Assume every image and video you see online is fake until proven otherwise. Expect scams and spammers, and be pleasantly surprised when it’s not.
3) Figure out a backup communication option with people who you absolutely need to be able to reach. Don’t just rely on a phone number for communication. Have redundant, ideally encrypted methods of communication with family.
What did I miss? I think (hope) Nikita is wrong on the timeframe- agentic bots like Claude bot are impressive but not quite ready to flood the phone lines in just 90 days. But I think it’s going to be a huge problem by the end of the year. I already get dozens of increasingly realistic spam calls and texts daily- it’s only going to get more annoying. Have a plan to keep your family and your finances safe!
Provably retweeted
Check out the full interview here 👇youtube.com/watch?v=kEEZNNIM…
Provably retweeted
Big data is coming to crypto. Millions of transactions. Massive databases.
But how do you prove it instantly with almost no data?
We talked with Shyam Duraiswami from Provably (@GetProvably)
@MidnightNtwrk
















