Related DApps
Yatima Inc.
Yatima is a verifiable computing platform which uses formal proofs and zkSNARKs to make software safer.
Y Combinator
Terrace
Terrace is a regulatory-compliant, all-in-one institutional-grade trading UI / terminal and infrastructure layer
Y Combinator