正在加载视频...

视频加载失败

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

⚠️ What are the key challenges when it comes to UX and Zero Knowledge Proofs? 🤫 Adam Gągol breaks them all down for you on House of ZK Radio #8: • ⚡️ Speed; • 🔗 dApp interaction; • ↔️ Data transfer.

Aleph Zero

186,103 subscribers

12,278 次观看 • 1 年前 •via X (Twitter)

科学技术教育新闻政治

Anya Rossi• Live Now

Private livecam show

9 条评论

Aleph Zero 的头像

Aleph Zero1 年前

📆 He also appeared today on @Zk_Hub_Global’s panel discussing the “Challenges of Building Privacy-enabling Blockchain" at @EFDevcon in Bangkok with: • 🎙 @jbaylina – @0xPolygon Co-founder; • 🎙 @vivford – @AleoHQ VP of Community; • 🎙 @bkase_ – @o1_labs CEO. 📺 Watch the whole thing here:

Aleph Zero 的头像

Aleph Zero1 年前

📲 Aleph Zero’s client-side ZK-proving is already optimized for the devices you use today—achieving proofs of 0.27 seconds on newer iPhones! 👇 You can watch @GagolAdam and @AntoniZolciak talk in more detail about Aleph Zero’s ZKP capabilities on the full @HouseofZK episode on Spotify and YouTube: 📺 Spotify: 📺 YouTube:

Charles 的头像

Charles1 年前

@GagolAdam @HouseofZK The key challenge is to dump millions of rewards coins without the holders noticing ! Scammers

truthcrusader 的头像

truthcrusader1 年前

@GagolAdam @HouseofZK I took a chance on this, and it paid off! Try it out ➡️ @largep1g_eth

m 的头像

m1 年前

@GagolAdam @HouseofZK 48 week long straight sell off and new ATL this week, thanks.

KusamaSutra_ 的头像

KusamaSutra_1 年前

@GagolAdam @HouseofZK Blah blah blah technical problems,blah blah blah zkevm solutions. WHO GIVES A FK! The whole market is doing 10x every other day,while $Azero is going for new lows,AGAIN! PEOPLE WANT A T1 CEX LISTING and NO technical bs solutions.We had enough of your zoom calls and speeches! 🤡

与武士杰克的头像

与武士杰克1 年前

@GagolAdam @HouseofZK Shit coin #AZERO İS DOWN TODAY DOWN DAY BY DAY

ПΣЯDYX™ 的头像

ПΣЯDYX™1 年前

@GagolAdam @HouseofZK AlephBFT !! 🙌🙌🙌🙌

Gro3 ⚫🟠 的头像

Gro3 ⚫🟠1 年前

@GagolAdam @HouseofZK ZK problems require ZK solutions.

相关视频

🪪 KYC for DeFi? It might be needed eventually— and Aleph Zero is here to keep your verified credentials private, powering the idOS. 🤫 🔮 Antoni Zolciak talked about possible future developments surrounding KYC on House of ZK Radio. 👇 Tune in to the full Episode #8!

🪪 KYC for DeFi? It might be needed eventually— and Aleph Zero is here to keep your verified credentials private, powering the idOS. 🤫 🔮 Antoni Zolciak talked about possible future developments surrounding KYC on House of ZK Radio. 👇 Tune in to the full Episode #8!

Aleph Zero

11,074 次观看 • 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,232 次观看 • 1 年前

Soundness Layer is launching SOON! 🐬✨ Verifiable games, zk proofs, and a new era of onchain apps, all powered by Soundness layer, using Sui as the coordination layer and Walrus 🦭/acc as DDA. How ready are you to play in zero-knowledge? 🎮 #soundness

Soundness Layer is launching SOON! 🐬✨ Verifiable games, zk proofs, and a new era of onchain apps, all powered by Soundness layer, using Sui as the coordination layer and Walrus 🦭/acc as DDA. How ready are you to play in zero-knowledge? 🎮 #soundness

Soundness

38,691 次观看 • 1 年前

First Principles Ep. 6 with Shafi Goldwasser What if you could prove something is true without revealing why it’s true? Turing Award winner Shafi Goldwasser tells the origin story of zero-knowledge proofs: how a playful question about playing poker securely over the telephone led her, Silvio Micali, and Charles Rackoff to rethink what a mathematical proof could be. Goldwasser traces those ideas through interactive proofs, the sum-check protocol, SNARKs, and the systems now used to verify computation and preserve privacy on blockchains. She also reflects on why breakthrough ideas are often rejected at first, how toy problems can produce foundational theories, and whether AI systems should have to prove their answers. Hosted by Tim Roughgarden with Justin Thaler 00:00 Intro 03:36 How mental poker inspired zero-knowledge proofs: Proving that something is true without revealing the underlying information 06:30 The simulation paradigm and the meaning of “zero knowledge” 08:33 Why the original paper was repeatedly rejected 10:33 How interactive proofs became more powerful than conventional proofs 13:36 The road to modern SNARKs 19:02 Why the sum-check protocol is so useful for verifiable computation 25:31 Why many so-called “zk proofs” are not actually zero knowledge 34:06 Why toy examples, playfulness, and narratives can produce deep theory 37:23 The role of rigor and computational assumptions in cryptography 42:44 Applying zero-knowledge proofs to law, evidence, and secret software 45:23 Training AI systems to provide proofs alongside their answers 54:27 Why genuinely new ideas are often difficult for experts to recognize

First Principles Ep. 6 with Shafi Goldwasser What if you could prove something is true without revealing why it’s true? Turing Award winner Shafi Goldwasser tells the origin story of zero-knowledge proofs: how a playful question about playing poker securely over the telephone led her, Silvio Micali, and Charles Rackoff to rethink what a mathematical proof could be. Goldwasser traces those ideas through interactive proofs, the sum-check protocol, SNARKs, and the systems now used to verify computation and preserve privacy on blockchains. She also reflects on why breakthrough ideas are often rejected at first, how toy problems can produce foundational theories, and whether AI systems should have to prove their answers. Hosted by Tim Roughgarden with Justin Thaler 00:00 Intro 03:36 How mental poker inspired zero-knowledge proofs: Proving that something is true without revealing the underlying information 06:30 The simulation paradigm and the meaning of “zero knowledge” 08:33 Why the original paper was repeatedly rejected 10:33 How interactive proofs became more powerful than conventional proofs 13:36 The road to modern SNARKs 19:02 Why the sum-check protocol is so useful for verifiable computation 25:31 Why many so-called “zk proofs” are not actually zero knowledge 34:06 Why toy examples, playfulness, and narratives can produce deep theory 37:23 The role of rigor and computational assumptions in cryptography 42:44 Applying zero-knowledge proofs to law, evidence, and secret software 45:23 Training AI systems to provide proofs alongside their answers 54:27 Why genuinely new ideas are often difficult for experts to recognize

a16z crypto

196,910 次观看 • 28 天前

Not all eVTOLs are created equal. In this clip from a recent Stocktwits interview, Brandon Robinson breaks down a key advantage of the Cavorite X7’s hybrid design vs. fully electric machines, it comes down to energy and flexibility.

Not all eVTOLs are created equal. In this clip from a recent Stocktwits interview, Brandon Robinson breaks down a key advantage of the Cavorite X7’s hybrid design vs. fully electric machines, it comes down to energy and flexibility.

Horizon Aircraft

504,006 次观看 • 4 个月前

Episode 38 - What the hell happened to Malaysia Airlines Flight 370? knows. He breaks it all down for us on this episode and the truth is crazy as hell! Unlimited Energy, Teleporting, Warp Speed, and more! We going down all kinds of rabbit holes on this one!

Episode 38 - What the hell happened to Malaysia Airlines Flight 370? knows. He breaks it all down for us on this episode and the truth is crazy as hell! Unlimited Energy, Teleporting, Warp Speed, and more! We going down all kinds of rabbit holes on this one!

Hodgetwins Podcast

764,141 次观看 • 1 年前

None of these dogs would survive alone on the streets. Tomorrow will bring more challenges to fix them and probably some more new arrivals. But for now, as the rain comes down all are asleep, cosy and well after their vet trips 🥰🙏. Fingers crossed 🤞 for them all (7/7)

None of these dogs would survive alone on the streets. Tomorrow will bring more challenges to fix them and probably some more new arrivals. But for now, as the rain comes down all are asleep, cosy and well after their vet trips 🥰🙏. Fingers crossed 🤞 for them all (7/7)

Niall Harbison

57,499 次观看 • 1 年前

A man comes to your door and occupies your house at gunpoint. Demands that you pay him for all the effort it took to steal your house, as well as for the cost of demolishing it. This is what Palestinians are enduring every day.

A man comes to your door and occupies your house at gunpoint. Demands that you pay him for all the effort it took to steal your house, as well as for the cost of demolishing it. This is what Palestinians are enduring every day.

The Resonance

135,351 次观看 • 10 个月前

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

58,112 次观看 • 6 个月前

On laughter generating common knowledge: "Laughter is--like eye contact, like direct speech--generates common knowledge. When you're laughing, you know it, because your breathing is interrupted. People around you know it, because they can hear the laughter. It interrupts your speech, and so people who are listening to you know that you're laughing, and you know that you're laughing. So it's generally common knowledge of something. What is that common knowledge? It's generally common knowledge of some infirmity, indignity, embarrassment, cause for humility. And the laughter makes that private knowledge of an infirmity common knowledge. There's something that we all knew compromised that person's dignity, stature. Now, we are all acknowledging it commonly, which means that that person's stature has gone down." Clip on laughter and common knowledge, the topic of my new book, from an interview with Robert Contofalsky (Robert Contofalsky) of R-Academy. -- When Everyone Knows That Everyone Knows . . .: Common Knowledge and the Mysteries of Money, Power, and Everyday Life:

On laughter generating common knowledge: "Laughter is--like eye contact, like direct speech--generates common knowledge. When you're laughing, you know it, because your breathing is interrupted. People around you know it, because they can hear the laughter. It interrupts your speech, and so people who are listening to you know that you're laughing, and you know that you're laughing. So it's generally common knowledge of something. What is that common knowledge? It's generally common knowledge of some infirmity, indignity, embarrassment, cause for humility. And the laughter makes that private knowledge of an infirmity common knowledge. There's something that we all knew compromised that person's dignity, stature. Now, we are all acknowledging it commonly, which means that that person's stature has gone down." Clip on laughter and common knowledge, the topic of my new book, from an interview with Robert Contofalsky (Robert Contofalsky) of R-Academy. -- When Everyone Knows That Everyone Knows . . .: Common Knowledge and the Mysteries of Money, Power, and Everyday Life:

Steven Pinker

42,797 次观看 • 10 个月前

BITCOIN RAILS EPISODE #24: The History of Zero-Knowledge Proofs | with ZK “Godfather” Eli Ben Sasson In 2013, computer science professor Eli Ben-Sasson | Starknet.io presented his research on zero-knowledge proofs at a small Bitcoin conference outside of Standford University. The presentation immediately sparked interest from Bitcoin Core developer Greg Maxwell—leading Eli into over a decade of sustained work advancing ZK-based solutions for blockchain scalability and privacy. Today, zero-knowledge proofs are widely considered some of the most powerful and promising cryptographic primitives for scaling—with their full potential for Bitcoin simmering just beneath the surface of active development. This episode shares Eli’s early discussions of ZKPs for scaling, the use of proofs in privacy-enhancing technologies like Zcash, the explosion of ZKPs for Layer 2s on Ethereum… and his recent return to exploring ZKPs for Bitcoin. As always, you can view this episode on YouTube or Spotify via the linktree in my bio—YouTube link in comments as well. This episode is powered by Best In Slot—the leading API for Ordinals and BRC20 data aggregation and indexing. TIMESTAMPS: 00:51 Eli Ben-Sasson: Godfather of ZKPs 02:15 Revealing Proof Research to Bitcoiners 04:15 Meeting Greg Maxwell; Mike Hearn 06:10 ZCash: Bringing ZK Based Privacy for Crypto 07:05 SNARKs and STARKs Explained 08:10 Would Satoshi Approve of Bitcoin STARKs? 11:41 ZCash Privacy Versus Monero 13:45 When did the ZKP era begin on Ethereum? 16:34 What’s different about ZK STARKs? 18:40 Vitalik and STARKs on Ethereum with Starkware 21:10 Academics finally appreciating STARKs 23:18 Healthy competition in the ZK industry 24:20 What is Starknet? 25:50 What is an L2, in Eli’s view? 27:20 Focustree, an app on Starknet 30:00 How Eli arrived at Bitcoin Season 2 34:45 When did ZK look realistic for Bitcoin? 36:55 Eli first heard about OP_CAT 39:30 Why Lightning isn’t good enough 40:30 When did Starkware start focusing on OP_CAT? 44:20 Runes bridge to Starknet! 46:00 Expanding Starknet staking to BTC 48:20 Why is OP_CAT “barely enough” for Bitcoin L2s? 51:00 The real reason people oppose OP_CAT, per Eli 53:00 The risks of *not* changing Bitcoin 55:35 The weakness of Bitcoin’s lack of governance 01:00:15 We will need to softfork for quantum!

BITCOIN RAILS EPISODE #24: The History of Zero-Knowledge Proofs | with ZK “Godfather” Eli Ben Sasson In 2013, computer science professor Eli Ben-Sasson | Starknet.io presented his research on zero-knowledge proofs at a small Bitcoin conference outside of Standford University. The presentation immediately sparked interest from Bitcoin Core developer Greg Maxwell—leading Eli into over a decade of sustained work advancing ZK-based solutions for blockchain scalability and privacy. Today, zero-knowledge proofs are widely considered some of the most powerful and promising cryptographic primitives for scaling—with their full potential for Bitcoin simmering just beneath the surface of active development. This episode shares Eli’s early discussions of ZKPs for scaling, the use of proofs in privacy-enhancing technologies like Zcash, the explosion of ZKPs for Layer 2s on Ethereum… and his recent return to exploring ZKPs for Bitcoin. As always, you can view this episode on YouTube or Spotify via the linktree in my bio—YouTube link in comments as well. This episode is powered by Best In Slot—the leading API for Ordinals and BRC20 data aggregation and indexing. TIMESTAMPS: 00:51 Eli Ben-Sasson: Godfather of ZKPs 02:15 Revealing Proof Research to Bitcoiners 04:15 Meeting Greg Maxwell; Mike Hearn 06:10 ZCash: Bringing ZK Based Privacy for Crypto 07:05 SNARKs and STARKs Explained 08:10 Would Satoshi Approve of Bitcoin STARKs? 11:41 ZCash Privacy Versus Monero 13:45 When did the ZKP era begin on Ethereum? 16:34 What’s different about ZK STARKs? 18:40 Vitalik and STARKs on Ethereum with Starkware 21:10 Academics finally appreciating STARKs 23:18 Healthy competition in the ZK industry 24:20 What is Starknet? 25:50 What is an L2, in Eli’s view? 27:20 Focustree, an app on Starknet 30:00 How Eli arrived at Bitcoin Season 2 34:45 When did ZK look realistic for Bitcoin? 36:55 Eli first heard about OP_CAT 39:30 Why Lightning isn’t good enough 40:30 When did Starkware start focusing on OP_CAT? 44:20 Runes bridge to Starknet! 46:00 Expanding Starknet staking to BTC 48:20 Why is OP_CAT “barely enough” for Bitcoin L2s? 51:00 The real reason people oppose OP_CAT, per Eli 53:00 The risks of not changing Bitcoin 55:35 The weakness of Bitcoin’s lack of governance 01:00:15 We will need to softfork for quantum!

Isabel Foxen Duke⚡️

46,022 次观看 • 1 年前

I encourage all MPs from across the House to vote this Bill down today- please think of those people who are counting on us to stand up for them- vote it down!!

I encourage all MPs from across the House to vote this Bill down today- please think of those people who are counting on us to stand up for them- vote it down!!

Sorcha Eastwood MP

23,741 次观看 • 1 年前

People drastically underestimate how important cryptography is for US national security interests. I am fascinated by the work being done on zero-knowledge proofs in particular. I sat down with Rob Viglione to understand the latest developments. Enjoy! YouTube: Spotify: Apple: TIMESTAMPS: 0:00 - Intro 1:34 - ZK proofs and bitcoin & crypto in Afghanistan 6:31 - National security use cases 9:48 - Biggest areas for opportunity 13:51 - AI, proof of human & machine 19:31 - Why blockchain is so valuable 23:50 - What are some technical obstacles? 26:23 - How to cut costs and improve efficiency 29:39 - Bitcoin integration & future tech

People drastically underestimate how important cryptography is for US national security interests. I am fascinated by the work being done on zero-knowledge proofs in particular. I sat down with Rob Viglione to understand the latest developments. Enjoy! YouTube: Spotify: Apple: TIMESTAMPS: 0:00 - Intro 1:34 - ZK proofs and bitcoin & crypto in Afghanistan 6:31 - National security use cases 9:48 - Biggest areas for opportunity 13:51 - AI, proof of human & machine 19:31 - Why blockchain is so valuable 23:50 - What are some technical obstacles? 26:23 - How to cut costs and improve efficiency 29:39 - Bitcoin integration & future tech

Anthony Pompliano 🌪

58,768 次观看 • 11 个月前

Hébert: "Increasingly what you're hearing from Conservatives in public, not in private, is that they believe he will never be PM. And for sure, what you see on the ground, anecdotally, is that Canadians have tuned them off. They've turned off the radio. And when you turn off the radio on the leader of a federal party, you are doing it to the entire party."

Hébert: "Increasingly what you're hearing from Conservatives in public, not in private, is that they believe he will never be PM. And for sure, what you see on the ground, anecdotally, is that Canadians have tuned them off. They've turned off the radio. And when you turn off the radio on the leader of a federal party, you are doing it to the entire party."

Scott Robertson

69,824 次观看 • 1 个月前

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

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⚡️

19,872 次观看 • 1 个月前

There’s been a lot of conversation about speed cameras on Broad Street. Here’s what matters. Speeding kills. And Broad Street has seen too much of it. This isn’t about revenue. It’s about saving lives and delivering on Vision Zero. Zero traffic deaths. Vision Zero is built on community input and shared responsibility. Safety has to be the standard everywhere, including how we think about fairness across speed zones. Philadelphia’s Deputy Managing Director for Office of Transportation & Infrastructure Systems, Mike Carroll, breaks it down in this video. #OnePhilly means safer streets for everyone.

There’s been a lot of conversation about speed cameras on Broad Street. Here’s what matters. Speeding kills. And Broad Street has seen too much of it. This isn’t about revenue. It’s about saving lives and delivering on Vision Zero. Zero traffic deaths. Vision Zero is built on community input and shared responsibility. Safety has to be the standard everywhere, including how we think about fairness across speed zones. Philadelphia’s Deputy Managing Director for Office of Transportation & Infrastructure Systems, Mike Carroll, breaks it down in this video. #OnePhilly means safer streets for everyone.

Mayor Cherelle L. Parker

17,604 次观看 • 5 个月前