Senior ZK Engineer

We are seeking an experienced ZK engineer, who specializes in zero knowledge proof technology, to join our team and contribute to a new block-model based virtual machine. This role will be heavily involved in implementing the ZK frontend and backend of the Proof of Proof framework, enhancing its design and optimizing its performance. The candidate is expected to be strong in algorithmic design, a dedicated passion for zkp that would stay on top of the latest advancement in this field and strong coding ability that is keen to implement and try out new ideas. To summarise, your responsibilities are Being a core contributor of the ZK frontend and backend of the Proof of Proof framework; Contribute to the design and implementation of ZK algorithms- for Proof of Proof, universal verifiable computing, and trustless cross-chain interoperability protocol. Collaborate with cross-functionalg teams to design, optimize, and deploy specialized circuits using platforms such as Circom, Arkworks, etc. to ensure high performance and scalability. Research and analysis on emerging ZKP protocols and integrate the innovative techniques into our Proof of Proof framework Analyze and validate proof correctness, security, and performance. Develop robust tools, reusable libraries, and detailed documentation to streamline ZKP development and adoption across the organization. Participate in code review and help the team grow in cryptography and ZK aspects.

Pi Squared aims to change the world from deep fragmentation caused by programming language barriers from Web2 to Web3; ecosystem barriers in cross-chain interoperability; and trust barriers in cloud computing. We are building groundbreaking innovations to crack down these barriers - the Universal Language Machine (ULM) which empowers developers to write and execute programs in any programming language on any blockchain, onboarding Web2 developers into the Web3 spaces seamlessly; the Universal Settlement Layer (USL), a modular and universal protocol set to redefine cross-chain interoperability; and lastly Proof of Proof (PoP), a universal verifiable computing framework based on formal methods and zero-knowledge technologies to enable trustless remote computing, AI, and interoperable smart contracts for any blockchain or dApp. We sincerely invite the passionate builders, researchers to join our exciting journey.