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.