@TagNumber(1) List<int> get proof => $_getN(0);
@TagNumber(1) set proof(List<int> v) { $_setBytes(0, v); }