New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Find or write a verifier for Halo2 over BN254 for EVM #35

Open

lopeetall opened this issue Jan 24, 2023 · 1 comment

Assignees

Labels

Contributor

lopeetall commented Jan 24, 2023

Several teams want to use Halo2 in Ethereum, so there may be a Halo2 verifier in Solidity that is already written somewhere.

lopeetall added the research label

lopeetall self-assigned this

lopeetall mentioned this issue

Write a verifier for Halo2 over BN254 in Solidity #36

Closed

Contributor Author

lopeetall commented Jan 24, 2023

This repo looks very promising @CarloModicaPortfolio: https://github.com/privacy-scaling-explorations/snark-verifier/blob/main/snark-verifier/examples/evm-verifier.rs

This appears to call Halo2 over BN256 and generate a verifier for the circuit in EVM bytecode(?) and perhaps deploy it as well.

lopeetall added the demo label

lopeetall changed the title ~~Find a verifier for Halo2 over BN254 in Solidity~~ Find or write a verifier for Halo2 over BN254 for EVM

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment