About Scroll
Responsibilities:
Enhance performance through innovative optimization techniques. Benchmark protocols, including different IOP protocols, polynomial commitments, and circuit designs. Maintain and enhance the zk[E]VM architecture for optimal performance and reliability. Implement opcode circuits, test, benchmark and optimize opcode design. Design and implement recursive proof systems. Analyze academic papers, design algorithms, and develop compiler systems to implement new solutions. Requirements:
Proficient in Rust/C++, and experience with low-level optimizations. Advanced degree in Computer Science, Mathematics, or a related field, In-depth understanding of algorithms and mathematical concepts. Experience in designing and developing compilers and algorithmic systems. Ability to read, understand, and implement ideas from academic papers. Experience in MPI development. Preferred Qualifications:
Strong algorithm or mathematics contest background. Publications or contributions to ZK research. Hands-on experience with ZKVM and recursive proof systems. Experience in collaborative zkSNARKs, or decentralized provers.