Video wird geladen...

Video konnte nicht geladen werden

Zur Startseite

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 Aufrufe • vor 8 Tagen •via X (Twitter)

34 Kommentare

Profilbild von KalqiX
KalqiXvor 8 Tagen

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

Profilbild von 𝑺𝒂𝒓𝒊𝒉𝒂 𝑱𝒂𝒏𝒏𝒂𝒕
𝑺𝒂𝒓𝒊𝒉𝒂 𝑱𝒂𝒏𝒏𝒂𝒕vor 8 Tagen

33 minutes to 3 seconds is a massive upgrade

Profilbild von NaoX | Post-Quantum Chain
NaoX | Post-Quantum Chainvor 8 Tagen

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

Profilbild von Liviu Epure
Liviu Epurevor 8 Tagen

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.

Profilbild von Brave 🦅 🤖ボッ
Brave 🦅 🤖ボッvor 8 Tagen

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

Profilbild von 0xAjaxxx
0xAjaxxxvor 6 Tagen

LFG

Profilbild von belmar
belmarvor 7 Tagen

ZK builders are cooking. 🔥

Profilbild von Engage IO
Engage IOvor 8 Tagen

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

Profilbild von Zaynab
Zaynabvor 8 Tagen

The steady direction from Americanfort makes the project interesting.

Profilbild von _Sijs..
_Sijs..vor 8 Tagen

Faster is the key

Profilbild von Ethan Kevin 🐂🀄️
Ethan Kevin 🐂🀄️vor 8 Tagen

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

Profilbild von Pkry669 base.eth
Pkry669 base.ethvor 6 Tagen

Nice come to phone

Profilbild von Paloma
Palomavor 6 Tagen

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

Profilbild von 𝙎𝙖𝙨𝙝𝙞 𝙍𝙖𝙣𝙟𝙖𝙣
𝙎𝙖𝙨𝙝𝙞 𝙍𝙖𝙣𝙟𝙖𝙣vor 6 Tagen

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

Profilbild von 𝖁𝖆𝖓𝖊𝖘𝖘𝖆 𝕸𝖔𝖓𝖊𝖆
𝖁𝖆𝖓𝖊𝖘𝖘𝖆 𝕸𝖔𝖓𝖊𝖆vor 6 Tagen

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

Profilbild von 𝓐𝓫𝓱𝓲𝓵𝓪𝓼𝓱┊𝓚𝓾𝓶𝓪𝓻
𝓐𝓫𝓱𝓲𝓵𝓪𝓼𝓱┊𝓚𝓾𝓶𝓪𝓻vor 6 Tagen

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

Profilbild von Sam 🂾
Sam 🂾vor 8 Tagen

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

Profilbild von Lincoln |KUVI
Lincoln |KUVIvor 8 Tagen

now super fast

Profilbild von KayDe_J
KayDe_Jvor 6 Tagen

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

Profilbild von 𝐄𝐦𝐦𝐚
𝐄𝐦𝐦𝐚vor 6 Tagen

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

Profilbild von MrOdinochestvo
MrOdinochestvovor 8 Tagen

nice project

Profilbild von Lucas
Lucasvor 8 Tagen

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

Profilbild von A PU🍌
A PU🍌vor 8 Tagen

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

Profilbild von 𝓐𝓷𝓭𝓻𝓮𝔀 𝓛𝓪𝓻𝓼𝓸𝓷
𝓐𝓷𝓭𝓻𝓮𝔀 𝓛𝓪𝓻𝓼𝓸𝓷vor 6 Tagen

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

Profilbild von Master
Mastervor 8 Tagen

the enterprise potential here is worth watching

Profilbild von TalukderDhruba 🌶️ π² ETHGas ⛽️🐞 🚢nub
TalukderDhruba 🌶️ π² ETHGas ⛽️🐞 🚢nubvor 6 Tagen

Ok

Profilbild von ᗴthan
ᗴthanvor 6 Tagen

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

Profilbild von 𝘔𝘦𝘯 𝘛𝘶𝘚𝘢𝘯
𝘔𝘦𝘯 𝘛𝘶𝘚𝘢𝘯vor 6 Tagen

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

Profilbild von LanChi
LanChivor 6 Tagen

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

Profilbild von ᗩbhishek ᗰittal
ᗩbhishek ᗰittalvor 6 Tagen

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

Profilbild von love
lovevor 6 Tagen

good

Profilbild von 𝒜𝓁𝑒𝓍𝐸𝒶𝓈𝓉𝑒𝓇
𝒜𝓁𝑒𝓍𝐸𝒶𝓈𝓉𝑒𝓇vor 6 Tagen

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

Profilbild von ZSEERO | 🌶️ | 🚢 |🦫🥒| nub
ZSEERO | 🌶️ | 🚢 |🦫🥒| nubvor 8 Tagen

gAmericanFortress

Profilbild von Odinqp Claren
Odinqp Clarenvor 6 Tagen

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

Ähnliche Videos

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 Aufrufe • vor 3 Monaten

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 Aufrufe • vor 2 Monaten