Developer of a software toolkit for developing applications using zero-knowledge proofs designed to aim at users with varying levels of expertise in mathematics and computer science. The company's toolkit offers toolkits for different operating systems, allowing individuals to write, deploy and share applications with a package manager, enabling users to compile and test codes without compromising privacy.