Canopi

By investing on a schedule and selling available gains when you spend, Soon automates investing from beginning to end.

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

[Inactive] API to measure and eliminate carbon emissions.