We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
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
This involves adding two new functions to halo2-wasm/src/lib.rs:
gen_evm_proof to generate a proof with a Keccak transcript instead of a Poseidon transcript https://github.com/axiom-crypto/snark-verifier/blob/0b4f1a46a23f0dd06702d71af3da760141f5a347/snark-verifier-sdk/src/evm.rs#L36
gen_evm_proof
gen_evm_verifier_shplonk to export a verifier that takes an evm_proof https://github.com/axiom-crypto/snark-verifier/blob/0b4f1a46a23f0dd06702d71af3da760141f5a347/snark-verifier-sdk/src/evm.rs#L168C8-L168C32
gen_evm_verifier_shplonk
evm_proof
Once this is added, we should add two new export options to halo2-repl
The text was updated successfully, but these errors were encountered:
No branches or pull requests
This involves adding two new functions to halo2-wasm/src/lib.rs:
gen_evm_proof
to generate a proof with a Keccak transcript instead of a Poseidon transcripthttps://github.com/axiom-crypto/snark-verifier/blob/0b4f1a46a23f0dd06702d71af3da760141f5a347/snark-verifier-sdk/src/evm.rs#L36
gen_evm_verifier_shplonk
to export a verifier that takes anevm_proof
https://github.com/axiom-crypto/snark-verifier/blob/0b4f1a46a23f0dd06702d71af3da760141f5a347/snark-verifier-sdk/src/evm.rs#L168C8-L168C32
Once this is added, we should add two new export options to halo2-repl
The text was updated successfully, but these errors were encountered: