Yatima Inc.
Description
Yatima is a verifiable computing platform which uses formal proofs and zkSNARKs to make software safer.
Chains
Related DApps
Blockscope
Blockscope is a Web3 data platform that enables anyone interested in on-chain data to quickly spin up live or historical data pipelines
Y Combinator