Rio lets users buy and sell crypto and stablecoins in 5 minutes or less, using local payment methods in LATAM.
Stackup is a suite of open-source developer tools for building user-friendly blockchain products. It starts with ERC-4337 infrastructure.
Helicarrier (previously Buycoins) is building cryptocurrency infrastructure for Africa.
Yatima is a verifiable computing platform which uses formal proofs and zkSNARKs to make software safer.