隱私保護邏輯手冊
當前文檔解釋了什麼是零知識(ZK)證明,但沒有深入的教程來設計私有狀態轉換。
目標:一個指南,展示如何將公共DApp(如簡單的拍賣或投票系統)重構其邏輯爲私有狀態(保存在用戶的機器上)與公共狀態(保存在鏈上)。調試ZK電路和證明服務器
開發人員經常遇到“證明服務器”失敗或電路不可滿足的問題。
目標:午夜 SDK 的故障排除手冊。
關鍵部分:"解釋 ZKIR(零知識中間表示)錯誤日誌" 以精確查找導致證明生成失敗的 Compact 代碼行。DUST 管理策略"
新用戶經常會陷入困境,因爲他們沒有足夠的 DUST 來支付交易費用。
目標:關於 NIGHT(治理代幣)與 DUST(費用代幣)關係的專門指南。
關鍵部分:"自動化 DUST 生成用於 CI/CD 管道",以便開發人員在自動化測試期間無需手動等待代幣生成。從 TypeScript 到 Compact"
當前的 Compact 語言文檔提到它是"受 TypeScript 啓發的",但沒有明確將常見的 TS 模式映射到它們的 Compact 等效項。
重寫:創建一個並排的"備忘單",展示如何將標準 TypeScript 邏輯翻譯爲隱私保護的 Compact 代碼,突顯出遞歸或某些不友好的 ZK 數據結構等特定限制。與 Open Zeppelin 在 Midnight 上構建"
雖然 OpenZeppelin 已宣佈支持 Midnight,但在主文檔中目前缺少實現隱私保護代幣標準(如私有 ERC-20 等效項)的逐步教程。