Uncompressed Output for On-Chain Verification:
The values in grumpkin_info.forwarded_acumulators are currently exposed as public outputs of the decider_circuit, with the expectation that they will be used in on-chain opening checks. However, to optimize gas costs, we should accumulate these two Fq elements into a single linear combination within the circuit. This would allow us to perform only one on-chain opening verification instead of two. Note that this requires building a non-native msm circuit.
Tasks:
- Ensure the accumulator is properly derived from the two Fq elements,
Uncompressed Output for On-Chain Verification:
The values in
grumpkin_info.forwarded_acumulatorsare currently exposed as public outputs of thedecider_circuit, with the expectation that they will be used in on-chain opening checks. However, to optimize gas costs, we should accumulate these two Fq elements into a single linear combination within the circuit. This would allow us to perform only one on-chain opening verification instead of two. Note that this requires building a non-native msm circuit.Tasks: