Yatima Inc.
Description
Yatima is a verifiable computing platform which uses formal proofs and zkSNARKs to make software safer.
Chains
Related DApps
Hiro Systems
Hiro System builds developer tools for Bitcoin L1 and the Stacks L2 (layer-2).
Y Combinator