vk property

@TagNumber(1) VerificationKey get vk

Implementation

@$pb.TagNumber(1)
VerificationKey get vk => $_getN(0);

@TagNumber(1) set vk (VerificationKey v)

Implementation

@$pb.TagNumber(1)
set vk(VerificationKey v) { setField(1, v); }