
Building tools and products in the crypto industry.
Empower people to participate in a more open financial system It starts with helping people save & invest in Bitcoin, effortlessly.
Yatima is a verifiable computing platform which uses formal proofs and zkSNARKs to make software safer.
Hiro System builds developer tools for Bitcoin L1 and the Stacks L2 (layer-2).