
Solve the Web3 identity problem by using Zero-Knowledge to provide both anonymous proof-of-humanity and credential aggregation.
Rio lets users buy and sell crypto and stablecoins in 5 minutes or less, using local payment methods in LATAM.
Yatima is a verifiable computing platform which uses formal proofs and zkSNARKs to make software safer.