Role overview
We are a team working on Ceno (paper link: https://eprint.iacr.org/2024/387), one of the cutting-edge ZKVM solutions. It is the first ZKVM that exploits the program structure and compiler techniques to improve the proof generation time. The project consists of three modules: GKR prover, ZKVM protocol, and recursive prover. Our whole team is working on the following tasks:
Responsibilities:
Requirements:
What you'll work on
- The GKR prover acceleration.
- ZKVM infrastructure optimization, and opcode implementation.
- Recursive prover design and implementation.
- ZK research discussion.
What we're looking for
- 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.
Tags & focus areas
Used for matching and alerts on DevFound Research Engineer Rust Zero Knowledge