EcPairing EVM Circuit Gadget

[roynalnaruto]

Description

EVM Circuit Gadget for EcPairing precompile verification.

The EcPairingGadget, unlike the EcAddGadget or EcMulGadget, is designed to be capable of handling valid as well as invalid inputs supplied to the precompile call. So if the call fails (CallContext::IsSuccess == false), we should be able to validate the following:

cb.require_true(
    "ecPairing: possible reasons for failure",
    or::expr([
        // 1. len(inputs) > 4 * 192
        // 2. len(inputs) % 192 != 0
        // 3. any point not on curve (G1 / G2)
    ]),
);

Issue Link

Closes #596

Type of change

• Bug fix (non-breaking change which fixes an issue)
• New feature (non-breaking change which adds functionality)
• Breaking change (fix or feature that would cause existing functionality to not work as expected)
• This change requires a documentation update

[lispc]

i think this is irrelevant and can be closed now?

[roynalnaruto]

@lispc

i think this is irrelevant and can be closed now?

This PR was WIP for error handling. I need to rebase/update it based on all the latest changes and then make more progress for error handling.

[roynalnaruto]

Closing this as the work is now done in #811