We develop a full software stack, using STARK ZKP, to generate and verify proofs of computational integrity
We develop code that runs on the blockchain. We build smart contracts for the STARK verifier, and for various applications built on top of our scalability services. Currently our smart contracts run over the Ethereum Virtual Machine (EVM), and are written in Solidity or EVM Assembly.
We develop production-grade robust services that run in the cloud. The STARK prover performs the heavy-duty computations that generate STARK proofs. It’s written in C++ and in Assembly, and is heavily optimised and parallelized. In addition, we develop a scalable SaaS backend written in Python. It includes multiple microservices, and interfaces with the blockchain.
We’re looking for talented individuals to join our ranks