Yatima

Yatima 是一個可驗證的計算平臺，它使用形式證明和 zkSNARKs 來使軟件更安全。