Littio

Meson is a stablecoin swap protocol among blockchains and Layer 2s

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

At Algofi, we're building the new financial system. Our work will reduce barriers to entry and promote democracy in the financial system.