Cardano 已經在其主鏈上直接支援零知識證明驗證(ZK 證明)。 Plutus V3 在 2024 年 9 月的 Chang 升級中引入了原生配對運算,為智能合約提供了加密工具,以驗證來自如 Groth16 等兼容系統的證明。 證明在區塊鏈外部生成,並在交易驗證期間由智能合約進行檢查。網路可以驗證某項條件是否已滿足,而該證明背後的私密輸入則保持不公開。 這使得開發者可以在 Cardano 上構建應用程式,讓用戶在不公開完整憑證的情況下證明其資格。配合合適的證明系統,複雜的運算也可以在其他地方進行,而 Cardano 僅需檢查結果的壓縮證明。 驗證會消耗資源,且證明僅能確認其電路實際檢查的內容,但在我看來,Cardano 上有許多非常酷的可能性,可能為生態系統使用者開啟另一扇實現更多實用性的大門。

