Yatima

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