The solidity verifier doesn't FS the vk yet. Also think about whether actually need to fiat shamir the whole vk in the contract, as opposed to just FSing the vk hash.
The solidity verifier doesn't FS the vk yet.
Also think about whether actually need to fiat shamir the whole vk in the contract, as opposed to just FSing the vk hash.