Helicarrier (prev Buycoins)

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

We create an affordable way for gamers to start playing crypto games and a secure way for investors to earn yield through NFTs.

Ben aims to be a unified platform for learning about, buying, selling, and storing cryptocurrency.