Canopi

Yatima is a verifiable computing platform which uses formal proofs and zkSNARKs to make software safer.

A digital currency wallet and platform where merchants and consumers can transact with new digital currencies like bitcoin, ethereum, and litecoin.

All-in-one observability platform for Web3 applications powered by machine learning.