Hi every one,
We are working on a noir circuit with bb and ultra honk, where we came across the “0x9fc3a218” custom error in verifying the proof on chain, which is the Sumcheck fail in Ultrahonk,
the verifier generation commands:
$b write_vk --oracle_hash keccak -b $d/target/circuit.json -o $d/target/vk
$b write_solidity_verifier -k $d/target/vk/vk -o $d/HonkVerifier.sol
and all the solidity parameters are outputed using the proof and vk output by Nargo 1.0.0beta9 and bbv0.87.0. we also wrote the same verifier logic in Rust, and the verification passes,
and now we’re in a pickle!
would appreciate any tips.