Skip to main content

Arda

Arda screenshot
Description

Tools for institutions to manage risk in DeFi

Chains

Related DApps

Yatima Inc.

Yatima is a verifiable computing platform which uses formal proofs and zkSNARKs to make software safer.

website icon
Twitter icon
Y Combinator

Listia

Listia is a new kind of auction marketplace for giving and getting free stuff.

website icon
Twitter icon
Y Combinator

Hiro Systems

Hiro System builds developer tools for Bitcoin L1 and the Stacks L2 (layer-2).

website icon
Twitter icon
Y Combinator