A verifiable computing platform
Yatima is a verifiable computing platform which uses formal proofs and zkSNARKs to make software safer.
Active Founders
John Burnham
CEO @ Yatima Inc
Gabriel Barreto
Co-Founder and Chief Architect at Yatima Inc.
Samuel Burnham
Co-founder and Vice President at Yatima Inc.
