[D1 · Sibilla Room · Privacy] Zcash quantum recoverability — Pierre Daix-Moreux, Derek Sorensen

Name: [D1 · Sibilla Room · Privacy] Zcash quantum recoverability — Pierre Daix-Moreux, Derek Sorensen
Uploaded: 2026-11-07T00:00:00.000Z
Duration: 33 min 40 s
Description: ZIP 2005 (quantum recoverability) implemented with a RISC-V zkVM and formally verified in Lean, plus a live debate on zkVMs vs. hand-written circuits

Ethereum · 33:40 · Watch on YouTube

ZIP 2005 (quantum recoverability) implemented with a RISC-V zkVM and formally verified in Lean, plus a live debate on zkVMs vs. hand-written circuits

Read the full summary on retube

한국어