Video yükleniyor...

Video Yüklenemedi

Ana Sayfaya Dön

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 görüntüleme • 8 gün önce •via X (Twitter)

34 Yorum

KalqiX profil fotoğrafı
KalqiX8 gün önce

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

𝑺𝒂𝒓𝒊𝒉𝒂 𝑱𝒂𝒏𝒏𝒂𝒕 profil fotoğrafı
𝑺𝒂𝒓𝒊𝒉𝒂 𝑱𝒂𝒏𝒏𝒂𝒕8 gün önce

33 minutes to 3 seconds is a massive upgrade

NaoX | Post-Quantum Chain profil fotoğrafı
NaoX | Post-Quantum Chain8 gün önce

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 profil fotoğrafı
Liviu Epure8 gün önce

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 🦅 🤖ボッ profil fotoğrafı
Brave 🦅 🤖ボッ8 gün önce

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

0xAjaxxx profil fotoğrafı
0xAjaxxx6 gün önce

LFG

belmar profil fotoğrafı
belmar7 gün önce

ZK builders are cooking. 🔥

Engage IO profil fotoğrafı
Engage IO8 gün önce

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

Zaynab profil fotoğrafı
Zaynab8 gün önce

The steady direction from Americanfort makes the project interesting.

_Sijs.. profil fotoğrafı
_Sijs..8 gün önce

Faster is the key

Ethan Kevin 🐂🀄️ profil fotoğrafı
Ethan Kevin 🐂🀄️8 gün önce

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

Pkry669 base.eth profil fotoğrafı
Pkry669 base.eth6 gün önce

Nice come to phone

Paloma profil fotoğrafı
Paloma6 gün önce

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

𝙎𝙖𝙨𝙝𝙞 𝙍𝙖𝙣𝙟𝙖𝙣 profil fotoğrafı
𝙎𝙖𝙨𝙝𝙞 𝙍𝙖𝙣𝙟𝙖𝙣6 gün önce

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

𝖁𝖆𝖓𝖊𝖘𝖘𝖆 𝕸𝖔𝖓𝖊𝖆 profil fotoğrafı
𝖁𝖆𝖓𝖊𝖘𝖘𝖆 𝕸𝖔𝖓𝖊𝖆6 gün önce

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

𝓐𝓫𝓱𝓲𝓵𝓪𝓼𝓱┊𝓚𝓾𝓶𝓪𝓻 profil fotoğrafı
𝓐𝓫𝓱𝓲𝓵𝓪𝓼𝓱┊𝓚𝓾𝓶𝓪𝓻6 gün önce

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

Sam 🂾 profil fotoğrafı
Sam 🂾8 gün önce

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 profil fotoğrafı
Lincoln |KUVI8 gün önce

now super fast

KayDe_J profil fotoğrafı
KayDe_J6 gün önce

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

𝐄𝐦𝐦𝐚 profil fotoğrafı
𝐄𝐦𝐦𝐚6 gün önce

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

MrOdinochestvo profil fotoğrafı
MrOdinochestvo8 gün önce

nice project

Lucas profil fotoğrafı
Lucas7 gün önce

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

A PU🍌 profil fotoğrafı
A PU🍌8 gün önce

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

𝓐𝓷𝓭𝓻𝓮𝔀 𝓛𝓪𝓻𝓼𝓸𝓷 profil fotoğrafı
𝓐𝓷𝓭𝓻𝓮𝔀 𝓛𝓪𝓻𝓼𝓸𝓷6 gün önce

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

Master profil fotoğrafı
Master8 gün önce

the enterprise potential here is worth watching

TalukderDhruba 🌶️ π² ETHGas ⛽️🐞 🚢nub profil fotoğrafı
TalukderDhruba 🌶️ π² ETHGas ⛽️🐞 🚢nub6 gün önce

Ok

ᗴthan profil fotoğrafı
ᗴthan6 gün önce

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

𝘔𝘦𝘯 𝘛𝘶𝘚𝘢𝘯 profil fotoğrafı
𝘔𝘦𝘯 𝘛𝘶𝘚𝘢𝘯6 gün önce

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

LanChi profil fotoğrafı
LanChi6 gün önce

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

ᗩbhishek ᗰittal profil fotoğrafı
ᗩbhishek ᗰittal6 gün önce

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

love profil fotoğrafı
love6 gün önce

good

𝒜𝓁𝑒𝓍𝐸𝒶𝓈𝓉𝑒𝓇 profil fotoğrafı
𝒜𝓁𝑒𝓍𝐸𝒶𝓈𝓉𝑒𝓇6 gün önce

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

ZSEERO | 🌶️ | 🚢 |🦫🥒| nub profil fotoğrafı
ZSEERO | 🌶️ | 🚢 |🦫🥒| nub8 gün önce

gAmericanFortress

Odinqp Claren profil fotoğrafı
Odinqp Claren6 gün önce

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

Benzer Videolar

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 görüntüleme • 3 ay önce

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 görüntüleme • 2 ay önce