(feature): Vk Verification

[protocolwhisper]

Implement Validation Process for Verifying Key Contract

[sifnoc]

This can be used as an interface contract if someone (or you) implements the remaining verification process for the verifier key contract.

I would like to suggest that vkVerifier does not need to be inherited into the Summa contract. The contract should be independent, as it can be used for any verifying key contract.

The vkVerifier should:

• Load data from the deployed verifier contract (InclusionVerifier.sol in V1 or VerifyingKey.sol in V2), with the contract address provided by the user. You can refer to this example:

  summa-solvency/contracts/src/Summa.sol

  Line 174 in f11b1fe

  extcodecopy(vkContract, 0x00, readOffset, 0x20)

• The current verifying_vk method looks good, but it requires additional inputs to compare all elements of the keys, not just vk_digest, k, n_inv, and omega, but the rest of them as well.

I would be happy to accept your contribution if you modify the contract to be used as the final step in the validation process.