pub trait VerifyingKeyLen { type VkLen: ArraySize; }
A trait specifying the length of a serialized verifying key for a given parameter set
The length of the serialized verifying key in bytes