Yatima

Yatima 是一個 Substrate 區塊鏈，它使用鏈上形式驗證和零知識證明從根本上提高智能合約和其他確定性計算的安全性和可擴展性。