Tools for institutions to manage risk in DeFi
Yatima is a verifiable computing platform which uses formal proofs and zkSNARKs to make software safer.
Listia is a new kind of auction marketplace for giving and getting free stuff.
Hiro System builds developer tools for Bitcoin L1 and the Stacks L2 (layer-2).