ZoKrates

ZoKrates 是以太坊上 zkSNARKs 的工具箱，是一個概念驗證實現，尚未經過生產測試。 零知識證明，能夠在不泄露數據本身的情況下證明有關數據的陳述，從而增強用戶隱私。 然而，這些證明系統極其複雜且難以使用。ZoKrates 提供了一種簡單的特定於域的語言，其語法接近 Python，簡化了 ZKP 開發並使其更易於編程和推理。這使得在鏈上鍊下創建隱私保護應用更加容易。