We apply formal methods to improve the safety, reliability, and correctness of computing systems for auto, space, and blockchain.
https://t.co/ElLuw8eT08
#MultiversX is a distributed blockchain network for next-gen applications. Decentralized via 3000+ nodes, scalable through sharding, fast, secure & green.
IOSG Ventures is a first-check crypto fund investing in Web3. We are a thesis-driven firm, helping founders build community-driven Protocols. [email protected]