Implement on-chain verifier (Solidity, Move, etc.)

[GUJustin]

The on-chain verifier will be much cheaper after switching the polynomial commitment scheme to one with logarithmic verifier costs (see this other issue)

[wyattbenno777]

Hey @GUJustin -

Do you happen to know off-hand how many MSM / the non-native field work would be for both Zeromorph or HyperKZG? For Hyrax is was two MSM (Grumpkin-base-field and circuit in BN254 scalar field ) then sum-check is non-native.

[flyq]

I tried to integrate the verifier into the canister of the IC blockchain, and succeeded. For details, see: https://hackmd.io/@liquan/S1dybGcl0