在深入研究 @Starknet 時，我發現了兩個值得關注的領域：更高效的 STARK 證明，以及其在後量子安全方面的研究。 這兩者都與我認為重要的事情相關：隨著密碼學技術的演進，系統具備適應的能力。 STARK 證明基於哈希密碼學，而可程式化帳戶則使我們能在不進行全網升級的情況下，引入新的簽名驗證方法。 目前也有持續的研究，旨在將達成 100 位安全目標所需的檢查次數從 241 次減少至 200 次，下一目標為 150 次。研究人員與 AI 代理正在探索相關數學理論，並借助 Lean 驗證這些證明。 Starknet 在聲稱實現完整的量子安全之前，仍需解決現有帳戶與以太坊依賴性等問題。 最令我感興趣的是背後的長期思維：密碼學假設將持續演進，基礎設施也需有空間與之同步演變。 @Starknet @KaitoAI