A verifiable computing platform
Yatima is a verifiable computing platform that uses formal proofs and zkSNARKs to make software more secure.
No related events yet.
