snark-verifiers/batch_query_2.yul (data/tests/batch_query/final_2.yul from axiom-eth)
test/data/mmr_old.calldata (data/tests/batch_query/test_scheduler_final_assembly_old.calldata from axiom-eth)
test/data/mmr_recent.calldata (data/tests/batch_query/test_scheduler_final_assembly_recent.calldata from axiom-eth)
This PR does not affect AxiomV1Core snark verifiers (snark-verifiers/mainnet_*.yul) because those proving keys and snark verifiers were already generated using the new challenge_0078 trusted setup.
This is the companion to https://github.com/axiom-crypto/axiom-eth/pull/13
We have generated a new
AxiomV1Querysnark verifier (in the form of yul code) using the new KZG trusted setup from challenge_0078 of the Perpetual Powers of Tau Ceremony ceremony.This updates:
snark-verifiers/batch_query_2.yul(data/tests/batch_query/final_2.yulfromaxiom-eth)test/data/mmr_old.calldata(data/tests/batch_query/test_scheduler_final_assembly_old.calldatafromaxiom-eth)test/data/mmr_recent.calldata(data/tests/batch_query/test_scheduler_final_assembly_recent.calldatafromaxiom-eth)This PR does not affect
AxiomV1Coresnark verifiers (snark-verifiers/mainnet_*.yul) because those proving keys and snark verifiers were already generated using the newchallenge_0078trusted setup.