Introducing Dynamic zk-SNARKs—a breakthrough from the Lagrange research team... Weijie Wang, Charalampos (Babis) Papamanthou, Shravan Srinivasan, and Dimitris Papadopoulos Dynamic zk-SNARKs mark a major step forward in making real-time, updatable cryptographic proofs a reality Here’s what that means and why it matters 🧵show more

Tachyon redesigns the architecture of shielded payments by separating... cryptographic state from payment logic. One layer focuses purely on SNARKs, encryption, and recursive proofs, the other evolves around addresses, UX, and key exchange. Margulus on why that matters.show more

We’re excited to share that Lagrange is building in... Anduril Industries 's Lattice SDK environment to deliver real-time, verifiable AI for defense workflows. This is an important milestone for applying ZK proofs to mission-critical AI systems for cryptographic supremacy. Learn more🧵show more

“zK-SNARKs are going to be as important as #Blockchains... in the next 10 years” vitalik.eth #EDCON2023show more

Introducing the ∞Infinite Proving Layer∞: Prove anything with Lagrange... We’ve extended our ZK Prover Network to support proving for ZK rollups—including all proof generation for AltLayer & @calderaxyz's ecosystems Unlock proofs for everything *at internet scale*: 👇🧵show more

🚨 BREAKING: Claude just got a major upgrade and... it changes how you do research. Anthropic just launched Research + Google Workspace integration. Here’s why it matters (and how it works): 🧵show more

At the recent ZK Hub, ZKM Engineer Vanhger Pham... introduced the zkMIPS precompile, explaining how it accelerates cryptographic operations in ZK circuits and walking us through a live demo 🟠show more

Introducing DeepProve—Lagrange’s zkML Library—a breakthrough in verifiable AI inference.... We can now verify AI decisions instead of blindly trusting black-box models. And we can do it up to 158x faster than ever before. The future of AI is ZK. The future of humanity is Lagrange: 🧵show more

Check out the video below to hear what our... core contributor Ram had to say about ZK (Zero Knowledge) proofs, why they're important, how we're exploring ZK proofs at OpenLedger and much moreshow more

Introducing edgenOS Light Node: World’s first People-Backed zk verifier... light client A lightweight zk verifier you run in your browser. Verifies zk proofs. Backed by people. Anchored to multiple chains. Securing the future of verifiable internet.show more

It’s #CommunityFridays at the zkVerify Blockparty 🎉 This week... we’re spotlighting Shravan — the builder behind Wordle ZK 🧩✨ He caught up with 0xMilica | ZK education & Arman Aurobindo from our DevRel team at the Vietnam Hacker House to talk building, proofs & what’s next 🚀 Be sure to check out Wordle ZK and the other zkMiniGames on the ProofPoints Dashboard 👇 🔗show more

Can ZK-proofs help Bitcoin reach its full potential as... P2P cash?🤔 @dimahledba from StarkWare (BTCFi arc) 🥷 gave us the TL;DR on two fundamental ways ZK-proofs can do that: 😎Private payments on Bitcoin using ZK-proofs 🖥️Post-quantum signature schemes using ZK proofs Full 📺👇show more

What do ZK proofs unlock for users and institutions?... Lsquared² from @succinctlabs at the Scaling Summit ⬇️show more

For the first time, parallelization and formal verification will... be brought to Ethereum. Introducing: ⚡️M2, the first ZK Move-EVM L2 on Ethereum⚡️ Let's get into what this means🧵👇show more

Introducing: OP SUCCINCT LITE Feeling ZK curious? Any OP... Stack rollup can now seamlessly upgrade to ZK Fraud Proofs.show more

Vitalik: zk Will Transform Not Only Blockchains, but the... Entire Internet On January 27, Ethereum founder Vitalik Buterin stated at the ETH ChiangMai togETHer Tuesday event that zero-knowledge proofs (zk) offer not only privacy and scalability benefits for blockchains, but may also extend their impact to broader internet use cases. zk technology enables the verification of computation results without revealing the underlying data, providing new approaches to identity verification, algorithm transparency, and large-scale computation verification. He added that as technologies such as zk-SNARKs continue to mature, their range of applications is expected to expand significantly over the coming years. Source:show more

NEW EP: Why ZK Proof Adoption Will Explode in... 2025 ZK proving has always been expensive—but that’s changing fast. For today’s episode, robbie sat down with Jim Posen of Irreducible and Jeremy Bruestle of RISC Zero to cover: > The Cost of ZK Proofs > New Era of ZKPs > Real-Time Proving >A New Model for Proving Networks Full episode links below: Timestamps: 00:00 Intro 01:25 The Latest in ZK 11:30 ZK Proof Markets 14:56 Verifiable Compute 24:17 Prime Fields vs Binary Fields 37:13 Real-Time Proving 41:27 Client-Side Provingshow more

How should L2s outsource proofs without compromising decentralization? In... this talk from ZK Hub, Norbert Vadas, Head of Product at @gevulot_labs (ZkCloud), breaks down the risks of auction-based proving marketplaces and argues for a permissionless, randomized, and redundant approach to proof infrastructure. A clear case against centralizing trust in ZK rollups 🤝 Also available on the House of ZK YouTube:show more

Introducing OP Kailua: The easiest way for OP chains... to integrate ZK 🌴 Choose between ZK Fraud or Validity Proofs depending on your needs. Upgrade to ZK, at your own pace.show more

💥 MILLIONS of PancakeSwap users just got an Intelligent... UX upgrade. 🥞 Today, Brevis and PancakeSwap launch a ZK-powered, dynamic trading fee feature on BNB Chain —personalized in real time by your trading history and $CAKE stash. Here is how the math rewrites DeFi 👇show more

Lagrange x Azuki: ODYSSEY . ݁₊ ⊹ . ݁... ⟡ ݁ Experience pivotal moments in Azuki history, via a ZK coprocessor.show more