
Yatima is a verifiable computing platform which uses formal proofs and zkSNARKs to make software safer.
A digital currency wallet and platform where merchants and consumers can transact with new digital currencies like bitcoin, ethereum, and litecoin.
Blockscope is a Web3 data platform that enables anyone interested in on-chain data to quickly spin up live or historical data pipelines
Hedgehog is a crypto robo-adviser that manages your funds in broad baskets of digital assets covering up to 85% of crypto's market cap.