Загрузка видео...

Не удалось загрузить видео

На главную

Post-Quantum Zero-Knowledge Proofs solved: From 33 minutes to 3 seconds. We optimized the math and made proving time fast enough to run on your phone. Watch the breakdown 👇

17,137 просмотров • 9 дней назад •via X (Twitter)

Комментарии: 34

Фото профиля KalqiX
KalqiX9 дней назад

33 minutes to 3 seconds, proving speed is so back.

Фото профиля 𝑺𝒂𝒓𝒊𝒉𝒂 𝑱𝒂𝒏𝒏𝒂𝒕
𝑺𝒂𝒓𝒊𝒉𝒂 𝑱𝒂𝒏𝒏𝒂𝒕9 дней назад

33 minutes to 3 seconds is a massive upgrade

Фото профиля NaoX | Post-Quantum Chain
NaoX | Post-Quantum Chain9 дней назад

Three seconds on a phone is the number everyone will quote, but proof size and verifier cost decide whether it holds up on chain. Which assumption did you land on, hash based or lattice

Фото профиля Liviu Epure
Liviu Epure9 дней назад

The 600x is the part worth unpacking, more than the 3 seconds. A drop that size rarely comes from the same statement getting cheaper. It usually comes from changing what is proven or where: a smaller circuit, a different field or hash, recursion, a GPU. From the number alone nobody can tell whether the 3 seconds and the 33 minutes are proving the same thing, and that is the difference between an optimisation and a change of scope. The constraint underneath is structural rather than an engineering gap. Pairing based succinctness is precisely what Shor removes, so the families that survive the transition are hash based, and they pay for surviving in size: a few hundred byte proof becomes tens or hundreds of kilobytes. Prover time is paid once, by you. Proof size and verifier work are paid by every node, every block, for as long as the chain exists. Five numbers would settle it: statement size, security parameter, device, proof size, verifier cost.

Фото профиля Brave 🦅 🤖ボッ
Brave 🦅 🤖ボッ8 дней назад

Hash-based proofs survive Shor. The hard part has always been making them fast enough for real use.

Фото профиля 0xAjaxxx
0xAjaxxx6 дней назад

LFG

Фото профиля belmar
belmar7 дней назад

ZK builders are cooking. 🔥

Фото профиля Engage IO
Engage IO8 дней назад

Getting post-quantum proofs down to phone-level performance is notable.

Фото профиля Zaynab
Zaynab8 дней назад

The steady direction from Americanfort makes the project interesting.

Фото профиля _Sijs..
_Sijs..8 дней назад

Faster is the key

Фото профиля Ethan Kevin 🐂🀄️
Ethan Kevin 🐂🀄️9 дней назад

Can’t wait to see how this evolves in mobile applications.This is game-changing!

Фото профиля Pkry669 base.eth
Pkry669 base.eth6 дней назад

Nice come to phone

Фото профиля Paloma
Paloma6 дней назад

What stands out here is the combination: quantum-resistant security plus practical proving performance.

Фото профиля 𝙎𝙖𝙨𝙝𝙞 𝙍𝙖𝙣𝙟𝙖𝙣
𝙎𝙖𝙨𝙝𝙞 𝙍𝙖𝙣𝙟𝙖𝙣6 дней назад

Post-quantum cryptography often comes with performance concerns. Cutting proving time this aggressively directly addresses that tradeoff.

Фото профиля 𝖁𝖆𝖓𝖊𝖘𝖘𝖆 𝕸𝖔𝖓𝖊𝖆
𝖁𝖆𝖓𝖊𝖘𝖘𝖆 𝕸𝖔𝖓𝖊𝖆6 дней назад

Faster proving doesn't just improve benchmarks. It expands the number of applications where ZK can run in real time.

Фото профиля 𝓐𝓫𝓱𝓲𝓵𝓪𝓼𝓱┊𝓚𝓾𝓶𝓪𝓻
𝓐𝓫𝓱𝓲𝓵𝓪𝓼𝓱┊𝓚𝓾𝓶𝓪𝓻6 дней назад

Post-quantum security is one thing. Making the proof fast enough for a phone is the harder part.

Фото профиля Sam 🂾
Sam 🂾9 дней назад

Okay, 33 minutes to 3 seconds is kind of crazy. That’s the kind of improvement that makes the tech feel actually usable.👀🔥

Фото профиля Lincoln |KUVI
Lincoln |KUVI8 дней назад

now super fast

Фото профиля KayDe_J
KayDe_J6 дней назад

The impressive part isn't just the optimization. It's making heavyweight cryptography viable on everyday hardware.

Фото профиля 𝐄𝐦𝐦𝐚
𝐄𝐦𝐦𝐚6 дней назад

Privacy technology becomes far more interesting when users can generate proofs locally instead of outsourcing the computation.

Фото профиля MrOdinochestvo
MrOdinochestvo9 дней назад

nice project

Фото профиля Lucas
Lucas8 дней назад

Security is one thing, but making it fast enough to actually use is where this gets exciting 🔥

Фото профиля A PU🍌
A PU🍌8 дней назад

That’s huge for zero-knowledge proofs running on phones now

Фото профиля 𝓐𝓷𝓭𝓻𝓮𝔀 𝓛𝓪𝓻𝓼𝓸𝓷
𝓐𝓷𝓭𝓻𝓮𝔀 𝓛𝓪𝓻𝓼𝓸𝓷6 дней назад

Running advanced ZK proving on a phone makes the phrase “user-side cryptography” feel much more realistic.

Фото профиля Master
Master8 дней назад

the enterprise potential here is worth watching

Фото профиля TalukderDhruba 🌶️ π² ETHGas ⛽️🐞 🚢nub
TalukderDhruba 🌶️ π² ETHGas ⛽️🐞 🚢nub6 дней назад

Ok

Фото профиля ᗴthan
ᗴthan6 дней назад

The phone detail matters. Cryptographic proving that works locally opens a very different design space.

Фото профиля 𝘔𝘦𝘯 𝘛𝘶𝘚𝘢𝘯
𝘔𝘦𝘯 𝘛𝘶𝘚𝘢𝘯6 дней назад

Better math can sometimes matter more than bigger hardware. This looks like one of those cases.

Фото профиля LanChi
LanChi6 дней назад

33 minutes was research territory. 3 seconds starts to feel like usable infrastructure.

Фото профиля ᗩbhishek ᗰittal
ᗩbhishek ᗰittal6 дней назад

The hardware requirement is part of adoption. If a phone can handle the proof, the barrier gets dramatically lower.

Фото профиля love
love6 дней назад

good

Фото профиля 𝒜𝓁𝑒𝓍𝐸𝒶𝓈𝓉𝑒𝓇
𝒜𝓁𝑒𝓍𝐸𝒶𝓈𝓉𝑒𝓇6 дней назад

Security primitives need to be practical, not just mathematically impressive. Three-second proving is a meaningful step there.

Фото профиля ZSEERO | 🌶️ | 🚢 |🦫🥒| nub
ZSEERO | 🌶️ | 🚢 |🦫🥒| nub8 дней назад

gAmericanFortress

Фото профиля Odinqp Claren
Odinqp Claren6 дней назад

Quantum resistance gets more compelling when the proof system is fast enough to disappear into the user experience.

Похожие видео

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 просмотров • 3 месяцев назад

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

202,498 просмотров • 2 месяцев назад