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.
CypherHunter Plus
Subscribe to distraction-free reading, and unprecedented access to our data.
