Provable offers developers a software toolkit for developing applications using zero-knowledge proofs, aimed at users with varying levels of expertise in mathematics and computer science. Our platform integrates a functional programming language called Leo, designed for creating applications that utilize zero-knowledge proofs. This ecosystem is tailored for secure, scalable application deployment in sectors such as machine learning, gaming, and identity.
Aptos is a web3 startup that builds a scalable Layer 1 blockchain that enables developers to design scalable, future-proof apps. The Aptos team consists of a talented group of engineers, researchers, strategists, designers, and constructors. The company was founded in 2021 and is based in Palo Alto, California.
AVA Labs makes it simple to launch finance applications using blockchain technology–with highly scalable and efficient networks, customizable public and private blockchains, the capability to create any digital asset, and more. We are empowering people to build an open, simple, and democratic internet of finance.