The `Solidity` Verifier for `Plonky2` Proofs

Question

The `Solidity` Verifier for `Plonky2` Proofs

xiyu1984 opened this issue a year ago · 7 comments

xiyu1984 commented a year ago

Hi,

Is there any convenient way to verify the proof generated by plonky2 in the solidity smart contract?

Answer 1 · 2024-03-11T13:12:40.000Z

Thanks to gnark-plonky2-verifier my demand has been met.

Answer 2 · 2024-03-13T11:48:44.000Z

just curious if you know of a way to verify plonky2 STARK proof in EVM/solidity?

Answer 3 · 2024-03-14T00:11:29.000Z

just curious if you know of a way to verify plonky2 STARK proof in EVM/solidity?

Until now, I've not tried. The proof is about 200k even though I used high-rate recursive proof.

Answer 4 · 2024-03-14T17:43:56.000Z

https://github.com/DoHoonKim8/stark-verifier
This is aother option for on-chain verification of plonky2. It consumes more gas than gnark-plonky2-verifier but has lower memory usage, operating with about 16GB of RAM.

Answer 5 · 2024-03-15T01:35:45.000Z

https://github.com/DoHoonKim8/stark-verifier This is aother option for on-chain verification of plonky2. It consumes more gas than gnark-plonky2-verifier but has lower memory usage, operating with about 16GB of RAM

Awesome! I will try it soon.

Answer 6 · 2024-03-15T15:40:02.000Z

https://github.com/DoHoonKim8/stark-verifier This is aother option for on-chain verification of plonky2. It consumes more gas than gnark-plonky2-verifier but has lower memory usage, operating with about 16GB of RAM.

hey @qope , [stark-verifier](https://github.com/DoHoonKim8/stark-verifier) makes a better performance to generate snark proof. But I failed in compile_solidity when running test test_recursive_halo2_proof.

I think it's about the version of solc, so could you tell me what is the version when you make the test?

Answer 7 · 2024-03-16T00:01:31.000Z

Hi, @xiyu1984, I'm using solc version 0.8.20.