有備而來 · 開發中
把「有備而來」App 匯出的 .zkproof 檔案拖進來，看看裡面到底有什麼——
以及它證明了什麼、沒有證明什麼。檔案完全不會離開你的瀏覽器。
完整的密碼學驗證需要兩把驗證金鑰，**解壓後共約 968 MB**。那是瀏覽器分頁裝不下的東西， 而且實測顯示驗證是計算受限而非 I/O 受限——把 968 MB 冷讀進來只要 0.59 秒， 但三項檢查要跑約 14 秒。預先載入金鑰救不了。
所以這一頁做的是它真的做得到的事：解析封包、列出裡面的東西、 把證明自己帶著的但書如實顯示出來。要真正驗證，目前得用 App 裡的「查驗零知識證明」。
| 內容 | 用途 | bytes |
|---|---|---|
cert_chain_rs4096_proof | 憑證鏈證明 | 113,055 |
user_sig_rs2048_proof | 持有者簽章證明 | 77,743 |
cert_chain_rs4096_instance | 公開輸入（查驗方必須有） | 68,967 |
user_sig_rs2048_instance | 公開輸入 | 34,151 |
| 合計 | 293,916 | |
App 實際的 QR 分片是每張 364 bytes（89 modules、容錯 Q，為了隔著手機螢幕還掃得到）—— 照這個算是約 808 張；而且 App 的掃碼上限是 64 KB，這一包超過四倍， 根本輪不到分片就會被拒絕。所以 ZK 出示走檔案而不是掃碼。合計 293,916 bytes 是實測的，不是估的。