Yatima

Yatima

A verifiable computing platform.

Share

Yatima Introduction

Yatima is a Substrate blockchain which uses on-chain formal verification and zero-knowledge proofs to radically improve the safety and scalability of smart contracts, and other deterministic computations.