ProofTranslate

ProofTranslate

ProofTranslate is a conversion algorithm of ZK proofs between the Polygon zkEVM system and the Scroll system.

The problem ProofTranslate solves

Zero Knowledge projects have their own ecosystem and it is currently hard to use the results of a proof computation from one project to another. With ProofTranslate, we want to fill that gap by proposing a method to convert ZK proofs from the Polygon zkEVM system to the Scroll system, and on the another way. This could be useful for different usecases, as voting on different chains and reusing the vote result.

Challenges we ran into

The compatiblity of ZK Proofs is not an easy topic given that the types and the generation methods are different. Creating a methodology that properly convert one type to another takes a lot of time and calculation verifications.

Technologies used

Discussion