🚀 Provably V2 is out! We believe every blockchain and database will create and collaborate over verifiable data & queries. V2 is a fast, modular Verifiable Database that delivers verifiable SQL proofs under 1KB - without SNARKs. → Check out launch blog & whitepaper:

d/acc a day: @ProvablyShyam, @GetProvably

Midnight 🤝 @GetProvably We’re excited to announce a new collaboration with Provably, aimed at advancing the frontiers of zero-knowledge cryptography and verifiable computation. The collaboration will focus on three key areas: 🔹 Proof system integration: uniting Midnight’s

cc @eliben_sasson @zmanian @zooko @emgoldstein @ameensol @alex_pertsev @romanzolotarev @zacwilliamson @binji_x @calummoore @CV_Labs @ProvablyShyam @balajis @liamihorne @0xMert_ @sidgandhi_xyz

Our collaboration focuses on three pillars driving scalable verifiability: ⚙️ Proof system integration ⚡ Performance & cost optimization 🌐 Standards and ecosystem growth The next phase of privacy is: Verifiable Apps  🤝 Verifiable Databases.

Privacy chains have been limited to simple transfers and swaps because private data wasn’t accessible for complex logic. With Provably, the Midnight ecosystem can unlock private data safely for: ✅ Programmable compliance ✅ Expressive DeFi smart contracts ✅ Verifiable

🤝 Provably × @MidnightNtwrk We’re combining two strengths to advance verifiable computation: 🔹 Verifiable Analytics from Provably 🔹 Zero knowledge infrastructure from Midnight Together we’re making privacy programmable, expressive, and easy to implement. 🔗

cc @eliben_sasson, @zmanian, @zooko, @emgoldstein, @ameensol, @alex_pertsev, @romanzolotarev, @zacwilliamson, @binji_x , @calummoore, @CV_Labs, @ProvablyShyam

Privacy + Programmable Compliance would be 2026.

We are fast moving toward an internet with Verifiable Data Collaboration for the most critical needs. This calls for high speed and internet scale proof verification - and so we are super excited to collaborate with zkVerify on this.

In the 80s Bell Labs transitioned analog comms to digital, in the process they eliminated the necessity of the AT&T monopoly. Payments on the internet are in their analog era. Every fiat payment is a legal agreement between counter parties. The overhead is immense, but it

Reminiscing the early days of MAKR and crypto native stablecoins with Seb.

Speaking tomorrow at #CVSummit on one of crypto’s last big unlocks: Confidentiality in 24/7 On-Chain Finance Let’s go @GetProvably @CV_Labs

A week ago, we saw the US government start to report economic data on chain. This week we saw Albania put AI in for Corruption-free decision-making. And now, the people of Nepal are voting for their next interim leader on Discord. Governance is modernising.

Proud to be backed by Nazare and @deseventral - check out Nazare s year in review.

What is Verifiable Analytics with Verifiable Data? Listen to our CTO Emanuele Ragnoli speak at the I ❤️ PETS webinar recently. #verifiabledata #verifiableanalytics #verifiblesql https://t.co/ZfDZLNflIj

🔍 Onchain verifications will bring institutional adoption. Financial institutions need certainty to transact, automate workflows, stay compliant and audit what's happened. Emerging technologies like zkTLS from @vlayer_xyz , verifiable blockchain data analytics from

🔐 Last week, industry leaders from the @thecryptovalley and Etheros HealthData Foundation came together at @Trust_Square to explore how technologies like self-sovereign identity and zero-knowledge proofs are transforming healthcare. Alongside @dfinity, @SwissSubnet,

Great thread guys. Heres our take. Before we get to AI verification there is a bigger problem we have lived with for a while. AI verification will land first in high value, high volume deterministic use cases, where even a 1% error is unacceptable. Think agent-to-agent flows

💡What a great conversation on how cutting-edge technology is transforming trust, automation, and security! This panel explored how AI agents and blockchain can work together in today’s digital economy. Konrad Merino from @NEARProtocol, Shyam Duraiswami from @GetProvably, and