
atsuma is a developer tool for building applications on top of real-time blockchain data.
Notabene helps businesses perform crypto transactions in a regulatory compliant way.
Hiro System builds developer tools for Bitcoin L1 and the Stacks L2 (layer-2).
Yatima is a verifiable computing platform which uses formal proofs and zkSNARKs to make software safer.