At Algofi, we're building the new financial system. Our work will reduce barriers to entry and promote democracy in the financial system.
Yatima is a verifiable computing platform which uses formal proofs and zkSNARKs to make software safer.
Solve the Web3 identity problem by using Zero-Knowledge to provide both anonymous proof-of-humanity and credential aggregation.