Yatima is a verifiable computing platform which uses formal proofs and zkSNARKs to make software safer.
CEO @ Yatima Inc
Co-Founder and Chief Architect at Yatima Inc.
Co-founder and Vice President at Yatima Inc.