[D1 · Sibilla Room · Privacy] Zcash quantum recoverability — Pierre Daix-Moreux, Derek Sorensen
Ethereum · 33:40 · Watch on YouTube
ZIP 2005(양자 복구 가능성)을 RISC-V zkVM으로 구현하고 Lean에서 형식 검증했으며, zkVM 대 수작성 회로에 대한 실시간 토론
Ethereum · 33:40 · Watch on YouTube
ZIP 2005(양자 복구 가능성)을 RISC-V zkVM으로 구현하고 Lean에서 형식 검증했으며, zkVM 대 수작성 회로에 대한 실시간 토론