Yatima
A verifiable computing platform.
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.
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.