正在加载视频...

视频加载失败

加载此视频时出现问题。这可能是由于临时网络问题，或视频可能不可用。

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 🧵

LAGRANGE

100,799 subscribers

640,166 次观看 • 1 年前 •via X (Twitter)

科学技术新闻政治教育

Anya Rossi• Live Now

Private livecam show

0 条评论

暂无评论

原始帖子的评论将显示在这里

相关视频

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.

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.

Project Tachyon

11,791 次观看 • 24 天前

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🧵

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🧵

LAGRANGE

790,151 次观看 • 7 个月前

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

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

EDCON

497,013 次观看 • 3 年前

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*: 👇🧵

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: 👇🧵

LAGRANGE

2,227,816 次观看 • 1 年前

🚨 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): 🧵

🚨 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): 🧵

Brendan Jowett

46,887 次观看 • 1 年前

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

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

ZKM

73,812 次观看 • 1 年前

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: 🧵

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: 🧵

LAGRANGE

1,740,711 次观看 • 1 年前

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 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 more

Openledger

13,398 次观看 • 1 年前

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.

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.

LayerEdge

399,719 次观看 • 1 年前

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 👇 🔗

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 👇 🔗

zk V e r i f y

77,930 次观看 • 10 个月前

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 📺👇

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 📺👇

Gareth Jenkinson

30,236 次观看 • 9 个月前

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

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

Optimism

14,164 次观看 • 3 个月前

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🧵👇

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🧵👇

Movement

175,468 次观看 • 2 年前

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

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

Succinct

134,677 次观看 • 1 年前

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:

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:

House of ZK

29,104 次观看 • 1 年前

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 Proving

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 Proving

The Rollup

48,222 次观看 • 1 年前

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:

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:

Wu Blockchain

57,890 次观看 • 3 个月前

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.

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.

RISC Zero

82,705 次观看 • 1 年前

💥 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 👇

💥 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 👇

Brevis

114,705 次观看 • 1 年前

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

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

Azuki

137,110 次观看 • 1 年前