Yatima

Yatima 是一个可验证的计算平台，它使用形式证明和 zkSNARKs 来使软件更安全。