Video wird geladen...

Video konnte nicht geladen werden

Zur Startseite

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 🧵

lagrangedev's profile picture

LAGRANGE

97,604 subscribers

640,194 Aufrufe • vor 1 Jahr •via X (Twitter)

Wissenschaft & TechnologieNachrichten & PolitikBildung
LIVE

Anya Rossi• Live Now

Private livecam show

0 Kommentare

Keine Kommentare verfügbar

Kommentare vom Original-Post werden hier angezeigt

Ähnliche Videos

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.
1:24

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

12,162 Aufrufe • vor 5 Monaten

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

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

792,982 Aufrufe • vor 1 Jahr

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

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

EDCON

497,077 Aufrufe • vor 3 Jahren

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

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,228,111 Aufrufe • vor 1 Jahr

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

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,979 Aufrufe • vor 1 Jahr

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.
0:36

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,958 Aufrufe • vor 1 Jahr

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 👇 🔗
2:01

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

78,175 Aufrufe • vor 1 Jahr

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 📺👇
3:12

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 Aufrufe • vor 1 Jahr

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

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

Optimism

14,825 Aufrufe • vor 8 Monaten

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

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,511 Aufrufe • vor 2 Jahren

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

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

Succinct

134,861 Aufrufe • vor 1 Jahr

BITCOIN RAILS #69: ZERO-KNOWLEDGE PROOFS FOR POST-QUANTUM BITCOIN | with Benedikt Bünz 🔗 YOUTUBE: 🌿 SPOTIFY: While many Bitcoiners remain hopeful the network will embrace zero-knowledge proofs for protocol-level use cases, practical adoption has remained limited outside of BitVM and a handful of experimental proposals. Most of the world’s ZKP research has circled around Ethereum and other ecosystems, where significant resources have been dedicated to advancing these systems, particularly for scaling and privacy applications. One of the most notable contributors to this research is Benedikt Bünz ☕️ — professor of cryptography at NYU and collaborator of Dan Boneh, who together inarguably form one of the strongest blockchain-applied cryptography teams in the world. The pair recently announced they’ll be leading the new post-quantum cryptography unit localhost research — the first dedicated PQ research effort within a major Bitcoin development organization. With Benedikt leading the charge on the use of zero-knowledge proofs for post-quantum mitigation, the question emerges: will the post-quantum transition be the catalyst to finally bring zero-knowledge proofs to Bitcoin's core protocol? In more detail, Benedikt and I discuss: - Why ZKPs haven’t been widely adopted by the Bitcoin technical community — and why the threat of quantum computers may change that posture going forward - How ZKPs could be used for signature batching to address larger post-quantum signatures in Bitcoin’s post-quantum era - Why Bitcoiners will likely prioritize hash-based signatures as an initial post-quantum scheme — rather than more efficient but less proven alternatives (e.g., lattice-based) - How ZKPs have evolved over the last decade and may finally be ready for Bitcoin’s strict requirements around trust assumptions - Why Benedikt and Dan are teaming up with localhost research to create the first post-quantum cryptography unit within a major Bitcoin development organization + what they hope to accomplish This episode of Bitcoin Rails is brought to you by: LayerTwo Labs LayerTwo Labs — developing research, software, and technologies for scaling Bitcoin via the integration of Drivechains (BIP 300/301) Hashi on Sui — a primitive for executing Bitcoin DeFi transactions, without having to trust a federated bridge or other centralized entity BitBox BitBox — an open-source Bitcoin-only hardware wallet, with smooth UX and no compromises on security. Check out Bitbox [dot] swiss and use code BITCOINRAILS to get a discount TIMESTAMPS: 00:00 — Intro 00:22 — Benedikt's background 04:10 — How Benedikt got into Bitcoin and cryptography 07:42 — First ZK project: proving exchange solvency after Mt. Gox 16:01 — ZK proofs explained 27:43 — How security gets popular & ZK proofs in Bitcoin 35:49 — Other applications of ZK proofs for Bitcoin 40:15 — Why ZK proofs haven't been adopted in Bitcoin 50:46 — Why the Bitcoin post-quantum transition needs ZK proofs 01:07:00 — Cryptographic agility and why lattices win 01:18:00 — The size problem and how SNARKs solve it 01:33:57 — Proving a Bitcoin block in a laptop in 1.5 seconds 01:37:12 — Bitcoin as the primary quantum target 01:40:47 — ZK proofs for seed phrase recovery
1:43:41

BITCOIN RAILS #69: ZERO-KNOWLEDGE PROOFS FOR POST-QUANTUM BITCOIN | with Benedikt Bünz 🔗 YOUTUBE: 🌿 SPOTIFY: While many Bitcoiners remain hopeful the network will embrace zero-knowledge proofs for protocol-level use cases, practical adoption has remained limited outside of BitVM and a handful of experimental proposals. Most of the world’s ZKP research has circled around Ethereum and other ecosystems, where significant resources have been dedicated to advancing these systems, particularly for scaling and privacy applications. One of the most notable contributors to this research is Benedikt Bünz ☕️ — professor of cryptography at NYU and collaborator of Dan Boneh, who together inarguably form one of the strongest blockchain-applied cryptography teams in the world. The pair recently announced they’ll be leading the new post-quantum cryptography unit localhost research — the first dedicated PQ research effort within a major Bitcoin development organization. With Benedikt leading the charge on the use of zero-knowledge proofs for post-quantum mitigation, the question emerges: will the post-quantum transition be the catalyst to finally bring zero-knowledge proofs to Bitcoin's core protocol? In more detail, Benedikt and I discuss: - Why ZKPs haven’t been widely adopted by the Bitcoin technical community — and why the threat of quantum computers may change that posture going forward - How ZKPs could be used for signature batching to address larger post-quantum signatures in Bitcoin’s post-quantum era - Why Bitcoiners will likely prioritize hash-based signatures as an initial post-quantum scheme — rather than more efficient but less proven alternatives (e.g., lattice-based) - How ZKPs have evolved over the last decade and may finally be ready for Bitcoin’s strict requirements around trust assumptions - Why Benedikt and Dan are teaming up with localhost research to create the first post-quantum cryptography unit within a major Bitcoin development organization + what they hope to accomplish This episode of Bitcoin Rails is brought to you by: LayerTwo Labs LayerTwo Labs — developing research, software, and technologies for scaling Bitcoin via the integration of Drivechains (BIP 300/301) Hashi on Sui — a primitive for executing Bitcoin DeFi transactions, without having to trust a federated bridge or other centralized entity BitBox BitBox — an open-source Bitcoin-only hardware wallet, with smooth UX and no compromises on security. Check out Bitbox [dot] swiss and use code BITCOINRAILS to get a discount TIMESTAMPS: 00:00 — Intro 00:22 — Benedikt's background 04:10 — How Benedikt got into Bitcoin and cryptography 07:42 — First ZK project: proving exchange solvency after Mt. Gox 16:01 — ZK proofs explained 27:43 — How security gets popular & ZK proofs in Bitcoin 35:49 — Other applications of ZK proofs for Bitcoin 40:15 — Why ZK proofs haven't been adopted in Bitcoin 50:46 — Why the Bitcoin post-quantum transition needs ZK proofs 01:07:00 — Cryptographic agility and why lattices win 01:18:00 — The size problem and how SNARKs solve it 01:33:57 — Proving a Bitcoin block in a laptop in 1.5 seconds 01:37:12 — Bitcoin as the primary quantum target 01:40:47 — ZK proofs for seed phrase recovery

Isabel Foxen Duke⚡️

21,690 Aufrufe • vor 3 Monaten

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:
2:09

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

58,172 Aufrufe • vor 8 Monaten

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

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,232 Aufrufe • vor 1 Jahr

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.
0:21

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,813 Aufrufe • vor 1 Jahr

"ZK stands for integrity of operations. It's very important in the age of AI to diversify your defenses and ZK gives institutions a new protection class." ALEX | ZK discusses on The Rollup why ZK is the foundational tech that will connect institutions while elevating trust.
2:06

"ZK stands for integrity of operations. It's very important in the age of AI to diversify your defenses and ZK gives institutions a new protection class." ALEX | ZK discusses on The Rollup why ZK is the foundational tech that will connect institutions while elevating trust.

ZKsync

37,133 Aufrufe • vor 5 Tagen

💥 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 👇
2:59

💥 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,766 Aufrufe • vor 1 Jahr