Skip to content
ProofTranslate

ProofTranslate

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

56
Built at ZK Hack Istanbul
Polygon: Best Idea

Created on 12th November 2023

•

ProofTranslate

ProofTranslate

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

Carousel Gallery Item: 1
Carousel Gallery Item: 2

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.

Tracks Applied (2)

Scroll - ZK dapp Track

Our project used the implementation of the zk-SNARK of the Scroll project to get the proof format, transform it into PLO...Read More
Scroll

Scroll

Develop a zkDapp using the Polygon zkEVM

Our project used the implementation of the zk-SNARK of the Polygon zkEVM project to get the proof format, transform it i...Read More
Polygon

Polygon

Technologies used

plonk

zk-SNARKS

Halo2

FFLONK

Discussion

Builders also viewed

See more projects on Devfolio