Terrace

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.

[Inactive] Slashauth builds a developer platform for web3 enabled apps.