我認爲 Compact 是 Midnight 的突出創新之一，這是一種智能合約語言，旨在讓開發者構建以隱私爲中心的 dApp，而不必像在 Circom 或 Halo2 中那樣掙扎於 ZK 的複雜性。
Compact 緊密遵循類似 TypeScript 的語法。如果您已經知道 TypeScript，您幾乎可以立即閱讀和編寫 Compact。它是靜態類型的，使用函數式風格，強制不可變性，並應用急切評估，但所有這些都在爲零知識系統量身定製的安全範圍內。
主要優勢在於編譯器抽象了ZK的複雜性。它自動處理電路生成、證明創建、密鑰管理，甚至為公共/複製部分生成JavaScript實現。開發者不需要手動連接約束或處理自定義閘。
快速比較：
Circom：一種基於R1CS的以電路為中心的DSL。它在定義信號和約束時冗長，缺乏高級特性（如複雜的循環或強大的函數），並且工具相對原始。開發者必須在低層算術層面思考，這使得出錯的機會增多，對於應用構建者來說更難學習。
Halo2：基於Rust的高度靈活的Plonkish系統（支持自定義閘和查詢）。然而，它涉及大量的樣板代碼、長時間的編譯和冗長的代碼。它需要對證明系統有深入的理解——非常適合研究或極端優化，但不適合快速原型開發。
Compact在人體工學方面表現非常出色。其學習曲線很小（多虧了其類似TypeScript的設計），它與TypeScript無縫集成以處理鏈外邏輯，支持可以調用外部代碼的見證函數，並為公共和私人狀態提供清晰的賬本聲明。
結果是，開發者可以專注於商業邏輯和隱私規則，而不是調試電路約束。這導致了更快的受保護合約開發、更少的錯誤，以及更容易讓Web2開發者過渡到Web3隱私。
如果你打算推出現實世界的隱私應用，如私人DeFi、在敏感數據上運行的AI或代幣化股權，而不想花幾個月學習ZK DSL，Compact可以說是目前最實用的選擇之一。Midnight確實讓零知識變得更加可及。🚀