
Yatima is a verifiable computing platform which uses formal proofs and zkSNARKs to make software safer.
Empower people to participate in a more open financial system It starts with helping people save & invest in Bitcoin, effortlessly.
Blockscope is a Web3 data platform that enables anyone interested in on-chain data to quickly spin up live or historical data pipelines