@midnight-ntwrk/credential-compact 0.1.0-rc2 → 0.2.0-rc1

package/dist/managed/credentials/contract/index.js

@@ -1,379 +1,254 @@
 import * as __compactRuntime from '@midnight-ntwrk/compact-runtime';
-__compactRuntime.checkRuntimeVersion('0.15.0');
+__compactRuntime.checkRuntimeVersion('0.16.0');
 
-export var HolderBindingProfile;
-(function (HolderBindingProfile) {
-  HolderBindingProfile[HolderBindingProfile['explicitDid'] = 0] = 'explicitDid';
-  HolderBindingProfile[HolderBindingProfile['secretHolder'] = 1] = 'secretHolder';
-  HolderBindingProfile[HolderBindingProfile['blindedSecretHolder'] = 2] = 'blindedSecretHolder';
-})(HolderBindingProfile || (HolderBindingProfile = {}));
+export var SignerRole;
+(function (SignerRole) {
+  SignerRole[SignerRole['issuer'] = 0] = 'issuer';
+  SignerRole[SignerRole['verifier'] = 1] = 'verifier';
+})(SignerRole || (SignerRole = {}));
 
-export var StatusType;
-(function (StatusType) {
-  StatusType[StatusType['revocationRegistry'] = 0] = 'revocationRegistry';
-})(StatusType || (StatusType = {}));
+export var AuthorizationState;
+(function (AuthorizationState) {
+  AuthorizationState[AuthorizationState['active'] = 0] = 'active';
+  AuthorizationState[AuthorizationState['suspended'] = 1] = 'suspended';
+  AuthorizationState[AuthorizationState['revoked'] = 2] = 'revoked';
+})(AuthorizationState || (AuthorizationState = {}));
 
-const _descriptor_0 = new __compactRuntime.CompactTypeEnum(0, 0);
+export var VerificationRelationship;
+(function (VerificationRelationship) {
+  VerificationRelationship[VerificationRelationship['assertionMethod'] = 0] = 'assertionMethod';
+  VerificationRelationship[VerificationRelationship['authentication'] = 1] = 'authentication';
+  VerificationRelationship[VerificationRelationship['capabilityInvocation'] = 2] = 'capabilityInvocation';
+})(VerificationRelationship || (VerificationRelationship = {}));
 
-const _descriptor_1 = new __compactRuntime.CompactTypeBytes(32);
+const _descriptor_0 = new __compactRuntime.CompactTypeBytes(32);
 
 class _ContractAddress_0 {
   alignment() {
-    return _descriptor_1.alignment();
+    return _descriptor_0.alignment();
   }
   fromValue(value_0) {
     return {
-      bytes: _descriptor_1.fromValue(value_0)
+      bytes: _descriptor_0.fromValue(value_0)
     }
   }
   toValue(value_0) {
-    return _descriptor_1.toValue(value_0.bytes);
+    return _descriptor_0.toValue(value_0.bytes);
   }
 }
 
-const _descriptor_2 = new _ContractAddress_0();
+const _descriptor_1 = new _ContractAddress_0();
 
 class _VerificationMethodRef_0 {
   alignment() {
-    return _descriptor_2.alignment().concat(_descriptor_1.alignment());
+    return _descriptor_1.alignment().concat(_descriptor_0.alignment());
   }
   fromValue(value_0) {
     return {
-      didContractAddress: _descriptor_2.fromValue(value_0),
-      methodId: _descriptor_1.fromValue(value_0)
+      controllerAddress: _descriptor_1.fromValue(value_0),
+      methodId: _descriptor_0.fromValue(value_0)
     }
   }
   toValue(value_0) {
-    return _descriptor_2.toValue(value_0.didContractAddress).concat(_descriptor_1.toValue(value_0.methodId));
+    return _descriptor_1.toValue(value_0.controllerAddress).concat(_descriptor_0.toValue(value_0.methodId));
   }
 }
 
-const _descriptor_3 = new _VerificationMethodRef_0();
+const _descriptor_2 = new _VerificationMethodRef_0();
 
 class _StatusRegistryRef_0 {
   alignment() {
-    return _descriptor_1.alignment().concat(_descriptor_3.alignment());
+    return _descriptor_0.alignment().concat(_descriptor_2.alignment());
   }
   fromValue(value_0) {
     return {
-      registryId: _descriptor_1.fromValue(value_0),
-      authorityVerificationMethodRef: _descriptor_3.fromValue(value_0)
+      registryId: _descriptor_0.fromValue(value_0),
+      authorityVerificationMethodRef: _descriptor_2.fromValue(value_0)
     }
   }
   toValue(value_0) {
-    return _descriptor_1.toValue(value_0.registryId).concat(_descriptor_3.toValue(value_0.authorityVerificationMethodRef));
+    return _descriptor_0.toValue(value_0.registryId).concat(_descriptor_2.toValue(value_0.authorityVerificationMethodRef));
   }
 }
 
-const _descriptor_4 = new _StatusRegistryRef_0();
+const _descriptor_3 = new _StatusRegistryRef_0();
 
 class _RegistryBoundStatusBinding_0 {
   alignment() {
-    return _descriptor_0.alignment().concat(_descriptor_4.alignment().concat(_descriptor_1.alignment()));
+    return _descriptor_3.alignment().concat(_descriptor_0.alignment());
   }
   fromValue(value_0) {
     return {
-      statusType: _descriptor_0.fromValue(value_0),
-      registryRef: _descriptor_4.fromValue(value_0),
-      statusHandleCommitment: _descriptor_1.fromValue(value_0)
+      registryRef: _descriptor_3.fromValue(value_0),
+      statusHandleCommitment: _descriptor_0.fromValue(value_0)
     }
   }
   toValue(value_0) {
-    return _descriptor_0.toValue(value_0.statusType).concat(_descriptor_4.toValue(value_0.registryRef).concat(_descriptor_1.toValue(value_0.statusHandleCommitment)));
+    return _descriptor_3.toValue(value_0.registryRef).concat(_descriptor_0.toValue(value_0.statusHandleCommitment));
   }
 }
 
-const _descriptor_5 = new _RegistryBoundStatusBinding_0();
+const _descriptor_4 = new _RegistryBoundStatusBinding_0();
 
-class _NoStatusBinding_0 {
-  alignment() {
-    return [];
-  }
-  fromValue(value_0) {
-    return {
-    }
-  }
-  toValue(value_0) {
-    return [];
-  }
-}
-
-const _descriptor_6 = new _NoStatusBinding_0();
-
-const _descriptor_7 = new __compactRuntime.CompactTypeUnsignedInteger(65535n, 2);
-
-const _descriptor_8 = __compactRuntime.CompactTypeBoolean;
-
-const _descriptor_9 = new __compactRuntime.CompactTypeUnsignedInteger(18446744073709551615n, 8);
-
-class _ProtocolMessageEnvelope_0 {
-  alignment() {
-    return _descriptor_7.alignment().concat(_descriptor_1.alignment().concat(_descriptor_1.alignment().concat(_descriptor_8.alignment().concat(_descriptor_1.alignment().concat(_descriptor_9.alignment().concat(_descriptor_8.alignment().concat(_descriptor_9.alignment())))))));
-  }
-  fromValue(value_0) {
-    return {
-      version: _descriptor_7.fromValue(value_0),
-      messageId: _descriptor_1.fromValue(value_0),
-      threadId: _descriptor_1.fromValue(value_0),
-      initialMessage: _descriptor_8.fromValue(value_0),
-      respondsToMessageId: _descriptor_1.fromValue(value_0),
-      createdAt: _descriptor_9.fromValue(value_0),
-      hasExpiresAt: _descriptor_8.fromValue(value_0),
-      expiresAt: _descriptor_9.fromValue(value_0)
-    }
-  }
-  toValue(value_0) {
-    return _descriptor_7.toValue(value_0.version).concat(_descriptor_1.toValue(value_0.messageId).concat(_descriptor_1.toValue(value_0.threadId).concat(_descriptor_8.toValue(value_0.initialMessage).concat(_descriptor_1.toValue(value_0.respondsToMessageId).concat(_descriptor_9.toValue(value_0.createdAt).concat(_descriptor_8.toValue(value_0.hasExpiresAt).concat(_descriptor_9.toValue(value_0.expiresAt))))))));
-  }
-}
-
-const _descriptor_10 = new _ProtocolMessageEnvelope_0();
-
-class _SchemaRef_0 {
-  alignment() {
-    return _descriptor_1.alignment().concat(_descriptor_1.alignment().concat(_descriptor_7.alignment().concat(_descriptor_7.alignment())));
-  }
-  fromValue(value_0) {
-    return {
-      packageId: _descriptor_1.fromValue(value_0),
-      schemaId: _descriptor_1.fromValue(value_0),
-      majorVersion: _descriptor_7.fromValue(value_0),
-      minorVersion: _descriptor_7.fromValue(value_0)
-    }
-  }
-  toValue(value_0) {
-    return _descriptor_1.toValue(value_0.packageId).concat(_descriptor_1.toValue(value_0.schemaId).concat(_descriptor_7.toValue(value_0.majorVersion).concat(_descriptor_7.toValue(value_0.minorVersion))));
-  }
-}
-
-const _descriptor_11 = new _SchemaRef_0();
-
-class _CredentialProtocolFeatures_0 {
+class _ExplicitHolderBinding_0 {
   alignment() {
-    return _descriptor_8.alignment().concat(_descriptor_8.alignment().concat(_descriptor_8.alignment().concat(_descriptor_8.alignment())));
+    return _descriptor_2.alignment();
   }
   fromValue(value_0) {
     return {
-      supportsSelectiveDisclosure: _descriptor_8.fromValue(value_0),
-      supportsPredicateProofs: _descriptor_8.fromValue(value_0),
-      supportsVerifierScopedPseudonym: _descriptor_8.fromValue(value_0),
-      supportsSameHolderProof: _descriptor_8.fromValue(value_0)
+      holderVerificationMethodRef: _descriptor_2.fromValue(value_0)
     }
   }
   toValue(value_0) {
-    return _descriptor_8.toValue(value_0.supportsSelectiveDisclosure).concat(_descriptor_8.toValue(value_0.supportsPredicateProofs).concat(_descriptor_8.toValue(value_0.supportsVerifierScopedPseudonym).concat(_descriptor_8.toValue(value_0.supportsSameHolderProof))));
+    return _descriptor_2.toValue(value_0.holderVerificationMethodRef);
   }
 }
 
-const _descriptor_12 = new _CredentialProtocolFeatures_0();
-
-class _SchemaCapabilities_0 {
-  alignment() {
-    return _descriptor_8.alignment().concat(_descriptor_8.alignment().concat(_descriptor_8.alignment().concat(_descriptor_8.alignment())));
-  }
-  fromValue(value_0) {
-    return {
-      supportsSelectiveDisclosure: _descriptor_8.fromValue(value_0),
-      supportsPredicateProofs: _descriptor_8.fromValue(value_0),
-      supportsVerifierScopedPseudonym: _descriptor_8.fromValue(value_0),
-      supportsSameHolderProof: _descriptor_8.fromValue(value_0)
-    }
-  }
-  toValue(value_0) {
-    return _descriptor_8.toValue(value_0.supportsSelectiveDisclosure).concat(_descriptor_8.toValue(value_0.supportsPredicateProofs).concat(_descriptor_8.toValue(value_0.supportsVerifierScopedPseudonym).concat(_descriptor_8.toValue(value_0.supportsSameHolderProof))));
-  }
-}
+const _descriptor_5 = new _ExplicitHolderBinding_0();
 
-const _descriptor_13 = new _SchemaCapabilities_0();
+const _descriptor_6 = new __compactRuntime.CompactTypeUnsignedInteger(18446744073709551615n, 8);
 
-class _BlindedSecretHolderBinding_0 {
-  alignment() {
-    return _descriptor_1.alignment().concat(_descriptor_1.alignment().concat(_descriptor_1.alignment()));
-  }
-  fromValue(value_0) {
-    return {
-      blindedHolderSecretCommitment: _descriptor_1.fromValue(value_0),
-      issuerNonce: _descriptor_1.fromValue(value_0),
-      requestChallengeResponse: _descriptor_1.fromValue(value_0)
-    }
-  }
-  toValue(value_0) {
-    return _descriptor_1.toValue(value_0.blindedHolderSecretCommitment).concat(_descriptor_1.toValue(value_0.issuerNonce).concat(_descriptor_1.toValue(value_0.requestChallengeResponse)));
-  }
-}
+const _descriptor_7 = __compactRuntime.CompactTypeJubjubPoint;
 
-const _descriptor_14 = new _BlindedSecretHolderBinding_0();
+const _descriptor_8 = __compactRuntime.CompactTypeField;
 
-class _SecretHolderBinding_0 {
+class _Signature_0 {
   alignment() {
-    return _descriptor_1.alignment().concat(_descriptor_1.alignment());
+    return _descriptor_7.alignment().concat(_descriptor_8.alignment());
   }
   fromValue(value_0) {
     return {
-      holderSecretCommitment: _descriptor_1.fromValue(value_0),
-      requestChallengeResponse: _descriptor_1.fromValue(value_0)
+      r: _descriptor_7.fromValue(value_0),
+      s: _descriptor_8.fromValue(value_0)
     }
   }
   toValue(value_0) {
-    return _descriptor_1.toValue(value_0.holderSecretCommitment).concat(_descriptor_1.toValue(value_0.requestChallengeResponse));
+    return _descriptor_7.toValue(value_0.r).concat(_descriptor_8.toValue(value_0.s));
   }
 }
 
-const _descriptor_15 = new _SecretHolderBinding_0();
+const _descriptor_9 = new _Signature_0();
 
-const _descriptor_16 = __compactRuntime.CompactTypeJubjubPoint;
-
-class _OffchainMidnightHolderBinding_0 {
+class _Proof_0 {
   alignment() {
-    return _descriptor_1.alignment().concat(_descriptor_1.alignment().concat(_descriptor_16.alignment()));
+    return _descriptor_2.alignment().concat(_descriptor_6.alignment().concat(_descriptor_0.alignment().concat(_descriptor_7.alignment().concat(_descriptor_9.alignment()))));
   }
   fromValue(value_0) {
     return {
-      holderDidStateHash: _descriptor_1.fromValue(value_0),
-      holderMethodId: _descriptor_1.fromValue(value_0),
-      holderPublicKey: _descriptor_16.fromValue(value_0)
+      signerVerificationMethodRef: _descriptor_2.fromValue(value_0),
+      createdAt: _descriptor_6.fromValue(value_0),
+      challengeHash: _descriptor_0.fromValue(value_0),
+      publicKey: _descriptor_7.fromValue(value_0),
+      signature: _descriptor_9.fromValue(value_0)
     }
   }
   toValue(value_0) {
-    return _descriptor_1.toValue(value_0.holderDidStateHash).concat(_descriptor_1.toValue(value_0.holderMethodId).concat(_descriptor_16.toValue(value_0.holderPublicKey)));
+    return _descriptor_2.toValue(value_0.signerVerificationMethodRef).concat(_descriptor_6.toValue(value_0.createdAt).concat(_descriptor_0.toValue(value_0.challengeHash).concat(_descriptor_7.toValue(value_0.publicKey).concat(_descriptor_9.toValue(value_0.signature)))));
   }
 }
 
-const _descriptor_17 = new _OffchainMidnightHolderBinding_0();
+const _descriptor_10 = new _Proof_0();
 
-const _descriptor_18 = __compactRuntime.CompactTypeField;
-
-class _Signature_0 {
-  alignment() {
-    return _descriptor_16.alignment().concat(_descriptor_18.alignment());
-  }
-  fromValue(value_0) {
-    return {
-      r: _descriptor_16.fromValue(value_0),
-      s: _descriptor_18.fromValue(value_0)
-    }
-  }
-  toValue(value_0) {
-    return _descriptor_16.toValue(value_0.r).concat(_descriptor_18.toValue(value_0.s));
-  }
-}
+const _descriptor_11 = new __compactRuntime.CompactTypeUnsignedInteger(65535n, 2);
 
-const _descriptor_19 = new _Signature_0();
+const _descriptor_12 = new __compactRuntime.CompactTypeEnum(2, 1);
 
-class _Proof_0 {
-  alignment() {
-    return _descriptor_3.alignment().concat(_descriptor_9.alignment().concat(_descriptor_1.alignment().concat(_descriptor_16.alignment().concat(_descriptor_19.alignment()))));
-  }
-  fromValue(value_0) {
-    return {
-      signerVerificationMethodRef: _descriptor_3.fromValue(value_0),
-      createdAt: _descriptor_9.fromValue(value_0),
-      challengeHash: _descriptor_1.fromValue(value_0),
-      publicKey: _descriptor_16.fromValue(value_0),
-      signature: _descriptor_19.fromValue(value_0)
-    }
-  }
-  toValue(value_0) {
-    return _descriptor_3.toValue(value_0.signerVerificationMethodRef).concat(_descriptor_9.toValue(value_0.createdAt).concat(_descriptor_1.toValue(value_0.challengeHash).concat(_descriptor_16.toValue(value_0.publicKey).concat(_descriptor_19.toValue(value_0.signature)))));
-  }
-}
+const _descriptor_13 = new __compactRuntime.CompactTypeEnum(1, 1);
 
-const _descriptor_20 = new _Proof_0();
+const _descriptor_14 = new __compactRuntime.CompactTypeEnum(2, 1);
 
-class _JubjubHolderBinding_0 {
+class _AuthorizedSignerDescriptor_0 {
   alignment() {
-    return _descriptor_16.alignment();
+    return _descriptor_11.alignment().concat(_descriptor_0.alignment().concat(_descriptor_6.alignment().concat(_descriptor_12.alignment().concat(_descriptor_13.alignment().concat(_descriptor_2.alignment().concat(_descriptor_7.alignment().concat(_descriptor_6.alignment().concat(_descriptor_14.alignment().concat(_descriptor_0.alignment().concat(_descriptor_0.alignment()))))))))));
   }
   fromValue(value_0) {
     return {
-      holderPublicKey: _descriptor_16.fromValue(value_0)
+      version: _descriptor_11.fromValue(value_0),
+      authorizationId: _descriptor_0.fromValue(value_0),
+      decisionSequence: _descriptor_6.fromValue(value_0),
+      state: _descriptor_12.fromValue(value_0),
+      role: _descriptor_13.fromValue(value_0),
+      signerVerificationMethodRef: _descriptor_2.fromValue(value_0),
+      signerPublicKey: _descriptor_7.fromValue(value_0),
+      didStateVersion: _descriptor_6.fromValue(value_0),
+      verificationRelationship: _descriptor_14.fromValue(value_0),
+      scopeCommitment: _descriptor_0.fromValue(value_0),
+      policyCommitment: _descriptor_0.fromValue(value_0)
     }
   }
   toValue(value_0) {
-    return _descriptor_16.toValue(value_0.holderPublicKey);
+    return _descriptor_11.toValue(value_0.version).concat(_descriptor_0.toValue(value_0.authorizationId).concat(_descriptor_6.toValue(value_0.decisionSequence).concat(_descriptor_12.toValue(value_0.state).concat(_descriptor_13.toValue(value_0.role).concat(_descriptor_2.toValue(value_0.signerVerificationMethodRef).concat(_descriptor_7.toValue(value_0.signerPublicKey).concat(_descriptor_6.toValue(value_0.didStateVersion).concat(_descriptor_14.toValue(value_0.verificationRelationship).concat(_descriptor_0.toValue(value_0.scopeCommitment).concat(_descriptor_0.toValue(value_0.policyCommitment)))))))))));
   }
 }
 
-const _descriptor_21 = new _JubjubHolderBinding_0();
+const _descriptor_15 = new _AuthorizedSignerDescriptor_0();
 
-class _ExplicitHolderBinding_0 {
+class _SignerAuthorizationAuthority_0 {
   alignment() {
-    return _descriptor_3.alignment();
+    return _descriptor_0.alignment().concat(_descriptor_2.alignment().concat(_descriptor_7.alignment()));
   }
   fromValue(value_0) {
     return {
-      holderVerificationMethodRef: _descriptor_3.fromValue(value_0)
+      domainCommitment: _descriptor_0.fromValue(value_0),
+      verificationMethodRef: _descriptor_2.fromValue(value_0),
+      publicKey: _descriptor_7.fromValue(value_0)
     }
   }
   toValue(value_0) {
-    return _descriptor_3.toValue(value_0.holderVerificationMethodRef);
+    return _descriptor_0.toValue(value_0.domainCommitment).concat(_descriptor_2.toValue(value_0.verificationMethodRef).concat(_descriptor_7.toValue(value_0.publicKey)));
   }
 }
 
-const _descriptor_22 = new _ExplicitHolderBinding_0();
+const _descriptor_16 = new _SignerAuthorizationAuthority_0();
 
-class _SchemaFamilyResolutionHint_0 {
+class _SchemaRef_0 {
   alignment() {
-    return _descriptor_8.alignment().concat(_descriptor_1.alignment());
+    return _descriptor_0.alignment().concat(_descriptor_0.alignment().concat(_descriptor_11.alignment().concat(_descriptor_11.alignment())));
   }
   fromValue(value_0) {
     return {
-      hasResolverHint: _descriptor_8.fromValue(value_0),
-      resolverHint: _descriptor_1.fromValue(value_0)
+      packageId: _descriptor_0.fromValue(value_0),
+      schemaId: _descriptor_0.fromValue(value_0),
+      majorVersion: _descriptor_11.fromValue(value_0),
+      minorVersion: _descriptor_11.fromValue(value_0)
     }
   }
   toValue(value_0) {
-    return _descriptor_8.toValue(value_0.hasResolverHint).concat(_descriptor_1.toValue(value_0.resolverHint));
+    return _descriptor_0.toValue(value_0.packageId).concat(_descriptor_0.toValue(value_0.schemaId).concat(_descriptor_11.toValue(value_0.majorVersion).concat(_descriptor_11.toValue(value_0.minorVersion))));
   }
 }
 
-const _descriptor_23 = new _SchemaFamilyResolutionHint_0();
-
-class _SchemaDescriptor_0 {
-  alignment() {
-    return _descriptor_11.alignment().concat(_descriptor_13.alignment().concat(_descriptor_23.alignment()));
-  }
-  fromValue(value_0) {
-    return {
-      schema: _descriptor_11.fromValue(value_0),
-      capabilities: _descriptor_13.fromValue(value_0),
-      familyResolutionHint: _descriptor_23.fromValue(value_0)
-    }
-  }
-  toValue(value_0) {
-    return _descriptor_11.toValue(value_0.schema).concat(_descriptor_13.toValue(value_0.capabilities).concat(_descriptor_23.toValue(value_0.familyResolutionHint)));
-  }
-}
+const _descriptor_17 = new _SchemaRef_0();
 
-const _descriptor_24 = new _SchemaDescriptor_0();
+const _descriptor_18 = __compactRuntime.CompactTypeBoolean;
 
-const _descriptor_25 = new __compactRuntime.CompactTypeVector(4, _descriptor_1);
+const _descriptor_19 = new __compactRuntime.CompactTypeVector(2, _descriptor_0);
 
-const _descriptor_26 = new __compactRuntime.CompactTypeVector(3, _descriptor_1);
+const _descriptor_20 = new __compactRuntime.CompactTypeVector(5, _descriptor_0);
 
-const _descriptor_27 = new __compactRuntime.CompactTypeVector(5, _descriptor_1);
+const _descriptor_21 = new __compactRuntime.CompactTypeVector(3, _descriptor_0);
 
 class _Either_0 {
   alignment() {
-    return _descriptor_8.alignment().concat(_descriptor_1.alignment().concat(_descriptor_1.alignment()));
+    return _descriptor_18.alignment().concat(_descriptor_0.alignment().concat(_descriptor_0.alignment()));
   }
   fromValue(value_0) {
     return {
-      is_left: _descriptor_8.fromValue(value_0),
-      left: _descriptor_1.fromValue(value_0),
-      right: _descriptor_1.fromValue(value_0)
+      is_left: _descriptor_18.fromValue(value_0),
+      left: _descriptor_0.fromValue(value_0),
+      right: _descriptor_0.fromValue(value_0)
     }
   }
   toValue(value_0) {
-    return _descriptor_8.toValue(value_0.is_left).concat(_descriptor_1.toValue(value_0.left).concat(_descriptor_1.toValue(value_0.right)));
+    return _descriptor_18.toValue(value_0.is_left).concat(_descriptor_0.toValue(value_0.left).concat(_descriptor_0.toValue(value_0.right)));
   }
 }
 
-const _descriptor_28 = new _Either_0();
+const _descriptor_22 = new _Either_0();
 
-const _descriptor_29 = new __compactRuntime.CompactTypeUnsignedInteger(340282366920938463463374607431768211455n, 16);
+const _descriptor_23 = new __compactRuntime.CompactTypeUnsignedInteger(340282366920938463463374607431768211455n, 16);
 
-const _descriptor_30 = new __compactRuntime.CompactTypeUnsignedInteger(255n, 1);
+const _descriptor_24 = new __compactRuntime.CompactTypeUnsignedInteger(255n, 1);
 
 export class Contract {
   witnesses;
@@ -387,23 +262,14 @@ export class Contract {
     }
     this.witnesses = witnesses_0;
     this.circuits = {
-      noSchemaFamilyResolverHint(context, ...args_1) {
-        return { result: pureCircuits.noSchemaFamilyResolverHint(...args_1), context };
-      },
       assertValidSchemaRef(context, ...args_1) {
         return { result: pureCircuits.assertValidSchemaRef(...args_1), context };
       },
-      assertValidSchemaCapabilities(context, ...args_1) {
-        return { result: pureCircuits.assertValidSchemaCapabilities(...args_1), context };
-      },
-      assertValidSchemaFamilyResolutionHint(context, ...args_1) {
-        return { result: pureCircuits.assertValidSchemaFamilyResolutionHint(...args_1), context };
-      },
-      assertValidSchemaDescriptor(context, ...args_1) {
-        return { result: pureCircuits.assertValidSchemaDescriptor(...args_1), context };
+      assertMatchingSchemaRefs(context, ...args_1) {
+        return { result: pureCircuits.assertMatchingSchemaRefs(...args_1), context };
       },
-      assertMatchingSchemaCapabilities(context, ...args_1) {
-        return { result: pureCircuits.assertMatchingSchemaCapabilities(...args_1), context };
+      assertValidVerificationMethodRef(context, ...args_1) {
+        return { result: pureCircuits.assertValidVerificationMethodRef(...args_1), context };
       },
       verifySignature(context, ...args_1) {
         return { result: pureCircuits.verifySignature(...args_1), context };
@@ -414,6 +280,12 @@ export class Contract {
       presentationContextTag(context, ...args_1) {
         return { result: pureCircuits.presentationContextTag(...args_1), context };
       },
+      signerAuthorizationContextTag(context, ...args_1) {
+        return { result: pureCircuits.signerAuthorizationContextTag(...args_1), context };
+      },
+      verifierRequestContextTag(context, ...args_1) {
+        return { result: pureCircuits.verifierRequestContextTag(...args_1), context };
+      },
       issuanceProofPayloadRoot(context, ...args_1) {
         return { result: pureCircuits.issuanceProofPayloadRoot(...args_1), context };
       },
@@ -426,108 +298,66 @@ export class Contract {
       presentationProofChallenge(context, ...args_1) {
         return { result: pureCircuits.presentationProofChallenge(...args_1), context };
       },
+      signerAuthorizationProofChallenge(context, ...args_1) {
+        return { result: pureCircuits.signerAuthorizationProofChallenge(...args_1), context };
+      },
+      verifierRequestProofChallenge(context, ...args_1) {
+        return { result: pureCircuits.verifierRequestProofChallenge(...args_1), context };
+      },
       assertValidIssuanceContextProof(context, ...args_1) {
         return { result: pureCircuits.assertValidIssuanceContextProof(...args_1), context };
       },
       assertValidPresentationContextProof(context, ...args_1) {
         return { result: pureCircuits.assertValidPresentationContextProof(...args_1), context };
       },
-      assertValidExplicitHolderBinding(context, ...args_1) {
-        return { result: pureCircuits.assertValidExplicitHolderBinding(...args_1), context };
-      },
-      assertMatchingExplicitHolderBindings(context, ...args_1) {
-        return { result: pureCircuits.assertMatchingExplicitHolderBindings(...args_1), context };
-      },
-      assertProofMatchesExplicitHolderBinding(context, ...args_1) {
-        return { result: pureCircuits.assertProofMatchesExplicitHolderBinding(...args_1), context };
-      },
-      assertValidJubjubHolderBinding(context, ...args_1) {
-        return { result: pureCircuits.assertValidJubjubHolderBinding(...args_1), context };
-      },
-      assertMatchingJubjubHolderBindings(context, ...args_1) {
-        return { result: pureCircuits.assertMatchingJubjubHolderBindings(...args_1), context };
-      },
-      assertProofMatchesJubjubHolderBinding(context, ...args_1) {
-        return { result: pureCircuits.assertProofMatchesJubjubHolderBinding(...args_1), context };
-      },
-      assertValidOffchainMidnightHolderBinding(context, ...args_1) {
-        return { result: pureCircuits.assertValidOffchainMidnightHolderBinding(...args_1), context };
-      },
-      assertMatchingOffchainMidnightHolderBindings(context, ...args_1) {
-        return { result: pureCircuits.assertMatchingOffchainMidnightHolderBindings(...args_1), context };
-      },
-      assertProofMatchesOffchainMidnightHolderBinding(context, ...args_1) {
-        return { result: pureCircuits.assertProofMatchesOffchainMidnightHolderBinding(...args_1), context };
+      assertValidSignerAuthorizationContextProof(context, ...args_1) {
+        return { result: pureCircuits.assertValidSignerAuthorizationContextProof(...args_1), context };
       },
-      noSecretHolderChallengeResponse(context, ...args_1) {
-        return { result: pureCircuits.noSecretHolderChallengeResponse(...args_1), context };
+      assertValidVerifierRequestContextProof(context, ...args_1) {
+        return { result: pureCircuits.assertValidVerifierRequestContextProof(...args_1), context };
       },
-      secretHolderBindingCommitment(context, ...args_1) {
-        return { result: pureCircuits.secretHolderBindingCommitment(...args_1), context };
+      assertValidAuthorizedSignerDescriptor(context, ...args_1) {
+        return { result: pureCircuits.assertValidAuthorizedSignerDescriptor(...args_1), context };
       },
-      secretHolderBindingChallengeResponse(context, ...args_1) {
-        return { result: pureCircuits.secretHolderBindingChallengeResponse(...args_1), context };
+      authorizedSignerDescriptorRoot(context, ...args_1) {
+        return { result: pureCircuits.authorizedSignerDescriptorRoot(...args_1), context };
       },
-      verifierScopedPseudonym(context, ...args_1) {
-        return { result: pureCircuits.verifierScopedPseudonym(...args_1), context };
+      issuerScopeCommitment(context, ...args_1) {
+        return { result: pureCircuits.issuerScopeCommitment(...args_1), context };
       },
-      assertVerifierScopedPseudonym(context, ...args_1) {
-        return { result: pureCircuits.assertVerifierScopedPseudonym(...args_1), context };
+      assertProofSignerMatchesAuthorization(context, ...args_1) {
+        return { result: pureCircuits.assertProofSignerMatchesAuthorization(...args_1), context };
       },
-      blindedSecretHolderCommitment(context, ...args_1) {
-        return { result: pureCircuits.blindedSecretHolderCommitment(...args_1), context };
+      assertAuthorizedIssuerDescriptor(context, ...args_1) {
+        return { result: pureCircuits.assertAuthorizedIssuerDescriptor(...args_1), context };
       },
-      assertValidSecretHolderCredentialBinding(context, ...args_1) {
-        return { result: pureCircuits.assertValidSecretHolderCredentialBinding(...args_1), context };
+      assertAuthorizedVerifierProof(context, ...args_1) {
+        return { result: pureCircuits.assertAuthorizedVerifierProof(...args_1), context };
       },
-      assertValidSecretHolderPresentationBinding(context, ...args_1) {
-        return { result: pureCircuits.assertValidSecretHolderPresentationBinding(...args_1), context };
+      assertValidSignerAuthorizationAuthority(context, ...args_1) {
+        return { result: pureCircuits.assertValidSignerAuthorizationAuthority(...args_1), context };
       },
-      assertMatchingSecretHolderBindings(context, ...args_1) {
-        return { result: pureCircuits.assertMatchingSecretHolderBindings(...args_1), context };
+      signerAuthorizationDecisionRoot(context, ...args_1) {
+        return { result: pureCircuits.signerAuthorizationDecisionRoot(...args_1), context };
       },
-      assertValidBlindedSecretHolderCredentialBinding(context, ...args_1) {
-        return { result: pureCircuits.assertValidBlindedSecretHolderCredentialBinding(...args_1), context };
+      assertValidSignerAuthorizationProof(context, ...args_1) {
+        return { result: pureCircuits.assertValidSignerAuthorizationProof(...args_1), context };
       },
-      assertValidBlindedSecretHolderPresentationBinding(context, ...args_1) {
-        return { result: pureCircuits.assertValidBlindedSecretHolderPresentationBinding(...args_1), context };
-      },
-      assertMatchingBlindedSecretHolderBindings(context, ...args_1) {
-        return { result: pureCircuits.assertMatchingBlindedSecretHolderBindings(...args_1), context };
-      },
-      assertSecretHolderBindingWitness(context, ...args_1) {
-        return { result: pureCircuits.assertSecretHolderBindingWitness(...args_1), context };
-      },
-      assertBlindedSecretHolderBindingWitness(context, ...args_1) {
-        return { result: pureCircuits.assertBlindedSecretHolderBindingWitness(...args_1), context };
-      },
-      protocolFeaturesAsSchemaCapabilities(context, ...args_1) {
-        return { result: pureCircuits.protocolFeaturesAsSchemaCapabilities(...args_1), context };
-      },
-      assertProtocolFeaturesMatchSchemaCapabilities(context, ...args_1) {
-        return { result: pureCircuits.assertProtocolFeaturesMatchSchemaCapabilities(...args_1), context };
-      },
-      noProtocolResponseReference(context, ...args_1) {
-        return { result: pureCircuits.noProtocolResponseReference(...args_1), context };
-      },
-      assertValidVerificationMethodRef(context, ...args_1) {
-        return { result: pureCircuits.assertValidVerificationMethodRef(...args_1), context };
+      assertValidSignerAuthorizationUpdate(context, ...args_1) {
+        return { result: pureCircuits.assertValidSignerAuthorizationUpdate(...args_1), context };
       },
-      assertMatchingSchemaRefs(context, ...args_1) {
-        return { result: pureCircuits.assertMatchingSchemaRefs(...args_1), context };
+      assertValidExplicitHolderBinding(context, ...args_1) {
+        return { result: pureCircuits.assertValidExplicitHolderBinding(...args_1), context };
       },
-      assertValidProtocolMessageEnvelope(context, ...args_1) {
-        return { result: pureCircuits.assertValidProtocolMessageEnvelope(...args_1), context };
+      assertMatchingExplicitHolderBindings(context, ...args_1) {
+        return { result: pureCircuits.assertMatchingExplicitHolderBindings(...args_1), context };
       },
-      assertProtocolResponseEnvelope(context, ...args_1) {
-        return { result: pureCircuits.assertProtocolResponseEnvelope(...args_1), context };
+      assertProofMatchesExplicitHolderBinding(context, ...args_1) {
+        return { result: pureCircuits.assertProofMatchesExplicitHolderBinding(...args_1), context };
       },
       assertValidStatusRegistryRef(context, ...args_1) {
         return { result: pureCircuits.assertValidStatusRegistryRef(...args_1), context };
       },
-      assertValidNoStatusBinding(context, ...args_1) {
-        return { result: pureCircuits.assertValidNoStatusBinding(...args_1), context };
-      },
       assertValidRegistryBoundStatusBinding(context, ...args_1) {
         return { result: pureCircuits.assertValidRegistryBoundStatusBinding(...args_1), context };
       },
@@ -570,37 +400,39 @@ export class Contract {
     }
   }
   _transientHash_0(value_0) {
-    const result_0 = __compactRuntime.transientHash(_descriptor_16, value_0);
+    const result_0 = __compactRuntime.transientHash(_descriptor_7, value_0);
     return result_0;
   }
   _transientHash_1(value_0) {
-    const result_0 = __compactRuntime.transientHash(_descriptor_9, value_0);
+    const result_0 = __compactRuntime.transientHash(_descriptor_6, value_0);
     return result_0;
   }
   _persistentHash_0(value_0) {
-    const result_0 = __compactRuntime.persistentHash(_descriptor_27, value_0);
+    const result_0 = __compactRuntime.persistentHash(_descriptor_21, value_0);
     return result_0;
   }
   _persistentHash_1(value_0) {
-    const result_0 = __compactRuntime.persistentHash(_descriptor_3, value_0);
+    const result_0 = __compactRuntime.persistentHash(_descriptor_20, value_0);
     return result_0;
   }
   _persistentHash_2(value_0) {
-    const result_0 = __compactRuntime.persistentHash(_descriptor_26, value_0);
+    const result_0 = __compactRuntime.persistentHash(_descriptor_2, value_0);
     return result_0;
   }
   _persistentHash_3(value_0) {
-    const result_0 = __compactRuntime.persistentHash(_descriptor_25, value_0);
+    const result_0 = __compactRuntime.persistentHash(_descriptor_17, value_0);
     return result_0;
   }
   _persistentHash_4(value_0) {
-    const result_0 = __compactRuntime.persistentHash(_descriptor_5, value_0);
+    const result_0 = __compactRuntime.persistentHash(_descriptor_19, value_0);
+    return result_0;
+  }
+  _persistentHash_5(value_0) {
+    const result_0 = __compactRuntime.persistentHash(_descriptor_15, value_0);
     return result_0;
   }
-  _persistentCommit_0(value_0, rand_0) {
-    const result_0 = __compactRuntime.persistentCommit(_descriptor_1,
-                                                       value_0,
-                                                       rand_0);
+  _persistentHash_6(value_0) {
+    const result_0 = __compactRuntime.persistentHash(_descriptor_4, value_0);
     return result_0;
   }
   _degradeToTransient_0(x_0) {
@@ -631,9 +463,6 @@ export class Contract {
     const result_0 = __compactRuntime.ecMulGenerator(b_0);
     return result_0;
   }
-  _noSchemaFamilyResolverHint_0() {
-    return new Uint8Array([109, 105, 100, 110, 105, 103, 104, 116, 58, 118, 99, 58, 115, 99, 104, 101, 109, 97, 58, 110, 111, 45, 104, 105, 110, 116, 0, 0, 0, 0, 0, 0]);
-  }
   _assertValidSchemaRef_0(schema_0) {
     __compactRuntime.assert(!this._equal_0(schema_0.packageId,
                                            new Uint8Array([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0])),
@@ -646,47 +475,56 @@ export class Contract {
                             'Schema major version must be positive');
     return [];
   }
-  _assertValidSchemaCapabilities_0(capabilities_0) { return []; }
-  _assertValidSchemaFamilyResolutionHint_0(hint_0) {
-    const noHint_0 = this._noSchemaFamilyResolverHint_0();
-    if (hint_0.hasResolverHint) {
-      __compactRuntime.assert(!this._equal_2(hint_0.resolverHint, noHint_0),
-                              'Schema resolver hint must be set');
-      __compactRuntime.assert(!this._equal_3(hint_0.resolverHint,
-                                             new Uint8Array([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0])),
-                              'Schema resolver hint must not be empty');
-    } else {
-      __compactRuntime.assert(this._equal_4(hint_0.resolverHint, noHint_0),
-                              'Absent schema resolver hint must use the no-hint sentinel');
-    }
+  _assertMatchingSchemaRefs_0(expected_0, actual_0) {
+    this._assertValidSchemaRef_0(expected_0);
+    this._assertValidSchemaRef_0(actual_0);
+    __compactRuntime.assert(this._equal_2(expected_0.packageId,
+                                          actual_0.packageId)
+                            &&
+                            this._equal_3(expected_0.schemaId, actual_0.schemaId)
+                            &&
+                            this._equal_4(expected_0.majorVersion,
+                                          actual_0.majorVersion)
+                            &&
+                            this._equal_5(expected_0.minorVersion,
+                                          actual_0.minorVersion),
+                            'Schema reference mismatch');
     return [];
   }
-  _assertValidSchemaDescriptor_0(descriptor_0) {
-    this._assertValidSchemaRef_0(descriptor_0.schema);
-    this._assertValidSchemaCapabilities_0(descriptor_0.capabilities);
-    this._assertValidSchemaFamilyResolutionHint_0(descriptor_0.familyResolutionHint);
+  _assertValidVerificationMethodRef_0(verificationMethodRef_0) {
+    __compactRuntime.assert(!this._equal_6(verificationMethodRef_0.controllerAddress.bytes,
+                                           new Uint8Array([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0])),
+                            'Verification method controller address must be set');
+    __compactRuntime.assert(!this._equal_7(verificationMethodRef_0.methodId,
+                                           new Uint8Array([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0])),
+                            'Verification method reference must be set');
     return [];
   }
-  _assertMatchingSchemaCapabilities_0(expected_0, actual_0) {
-    __compactRuntime.assert(expected_0.supportsSelectiveDisclosure
-                            ===
-                            actual_0.supportsSelectiveDisclosure
-                            &&
-                            expected_0.supportsPredicateProofs
+  _assertMatchingJubjubPoints_0(expected_0, actual_0) {
+    __compactRuntime.assert(this._jubjubPointX_0(expected_0)
                             ===
-                            actual_0.supportsPredicateProofs
+                            this._jubjubPointX_0(actual_0)
                             &&
-                            expected_0.supportsVerifierScopedPseudonym
+                            this._jubjubPointY_0(expected_0)
                             ===
-                            actual_0.supportsVerifierScopedPseudonym
-                            &&
-                            expected_0.supportsSameHolderProof
-                            ===
-                            actual_0.supportsSameHolderProof,
-                            'Schema capabilities mismatch');
+                            this._jubjubPointY_0(actual_0),
+                            'Jubjub points do not match');
+    return [];
+  }
+  _assertUsableJubjubPoint_0(point_0) {
+    __compactRuntime.assert(this._jubjubPointX_0(point_0) !== 0n
+                            ||
+                            this._jubjubPointY_0(point_0) !== 1n,
+                            'Jubjub point must not be the identity point');
+    const subgroupProjection_0 = this._ecMul_0(this._ecMul_0(point_0,
+                                                             819310549611346726241370945440405716213240158234039660170669895299022906775n),
+                                               8n);
+    this._assertMatchingJubjubPoints_0(point_0, subgroupProjection_0);
     return [];
   }
   _verifySignature_0(pk_0, signature_0, challenge_0) {
+    this._assertUsableJubjubPoint_0(pk_0);
+    this._assertUsableJubjubPoint_0(signature_0.r);
     const leftSide_0 = this._ecMulGenerator_0(signature_0.s);
     const cPk_0 = this._ecMul_0(pk_0, challenge_0);
     const rightSide_0 = this._ecAdd_0(signature_0.r, cPk_0);
@@ -706,21 +544,28 @@ export class Contract {
   _presentationContextTag_0() {
     return new Uint8Array([109, 105, 100, 110, 105, 103, 104, 116, 58, 118, 99, 58, 112, 114, 101, 115, 101, 110, 116, 97, 116, 105, 111, 110, 0, 0, 0, 0, 0, 0, 0, 0]);
   }
+  _signerAuthorizationContextTag_0() {
+    return new Uint8Array([109, 105, 100, 110, 105, 103, 104, 116, 58, 118, 99, 58, 115, 105, 103, 110, 101, 114, 45, 97, 117, 116, 104, 58, 118, 49, 0, 0, 0, 0, 0, 0]);
+  }
+  _verifierRequestContextTag_0() {
+    return new Uint8Array([109, 105, 100, 110, 105, 103, 104, 116, 58, 118, 99, 58, 118, 101, 114, 105, 102, 105, 101, 114, 45, 114, 101, 113, 58, 118, 49, 0, 0, 0, 0, 0]);
+  }
   _proofPayloadRootForContext_0(bodyRoot_0, contextTag_0, proof_0) {
-    return this._persistentHash_0([bodyRoot_0,
+    return this._persistentHash_1([bodyRoot_0,
                                    contextTag_0,
-                                   this._persistentHash_1(proof_0.signerVerificationMethodRef),
+                                   this._persistentHash_2(proof_0.signerVerificationMethodRef),
                                    this._upgradeFromTransient_0(this._transientHash_1(proof_0.createdAt)),
                                    proof_0.challengeHash]);
   }
   _proofChallengeForContext_0(bodyRoot_0, contextTag_0, proof_0) {
-    return this._degradeToTransient_0(this._persistentHash_2([this._proofPayloadRootForContext_0(bodyRoot_0,
+    return this._degradeToTransient_0(this._persistentHash_0([this._proofPayloadRootForContext_0(bodyRoot_0,
                                                                                                  contextTag_0,
                                                                                                  proof_0),
                                                               this._upgradeFromTransient_0(this._transientHash_0(proof_0.publicKey)),
                                                               this._upgradeFromTransient_0(this._transientHash_0(proof_0.signature.r))]));
   }
   _assertValidProofForContext_0(bodyRoot_0, contextTag_0, proof_0) {
+    this._assertValidVerificationMethodRef_0(proof_0.signerVerificationMethodRef);
     __compactRuntime.assert(this._verifySignature_0(proof_0.publicKey,
                                                     proof_0.signature,
                                                     this._proofChallengeForContext_0(bodyRoot_0,
@@ -749,6 +594,16 @@ export class Contract {
                                             this._presentationContextTag_0(),
                                             proof_0);
   }
+  _signerAuthorizationProofChallenge_0(bodyRoot_0, proof_0) {
+    return this._proofChallengeForContext_0(bodyRoot_0,
+                                            this._signerAuthorizationContextTag_0(),
+                                            proof_0);
+  }
+  _verifierRequestProofChallenge_0(requestScopeCommitment_0, proof_0) {
+    return this._proofChallengeForContext_0(requestScopeCommitment_0,
+                                            this._verifierRequestContextTag_0(),
+                                            proof_0);
+  }
   _assertValidIssuanceContextProof_0(bodyRoot_0, proof_0) {
     this._assertValidProofForContext_0(bodyRoot_0,
                                        this._issuanceContextTag_0(),
@@ -761,320 +616,201 @@ export class Contract {
                                        proof_0);
     return [];
   }
-  _assertValidExplicitHolderBinding_0(binding_0) {
-    __compactRuntime.assert(!this._equal_5(binding_0.holderVerificationMethodRef.didContractAddress.bytes,
-                                           new Uint8Array([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0])),
-                            'Explicit holder binding DID contract address must be set');
-    __compactRuntime.assert(!this._equal_6(binding_0.holderVerificationMethodRef.methodId,
-                                           new Uint8Array([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0])),
-                            'Explicit holder binding method reference must be set');
-    return [];
-  }
-  _assertMatchingExplicitHolderBindings_0(credentialBinding_0,
-                                          presentationBinding_0)
-  {
-    __compactRuntime.assert(this._equal_7(presentationBinding_0.holderVerificationMethodRef.didContractAddress,
-                                          credentialBinding_0.holderVerificationMethodRef.didContractAddress),
-                            'Presentation holder contract does not match credential holder binding');
-    __compactRuntime.assert(this._equal_8(presentationBinding_0.holderVerificationMethodRef.methodId,
-                                          credentialBinding_0.holderVerificationMethodRef.methodId),
-                            'Presentation holder method reference does not match credential holder binding');
-    return [];
-  }
-  _assertProofMatchesExplicitHolderBinding_0(binding_0, presentationProof_0) {
-    __compactRuntime.assert(this._equal_9(binding_0.holderVerificationMethodRef.didContractAddress,
-                                          presentationProof_0.signerVerificationMethodRef.didContractAddress),
-                            'Presentation proof signer must match holder binding');
-    __compactRuntime.assert(this._equal_10(binding_0.holderVerificationMethodRef.methodId,
-                                           presentationProof_0.signerVerificationMethodRef.methodId),
-                            'Presentation proof signer method reference must match holder binding');
-    return [];
-  }
-  _assertValidJubjubHolderBinding_0(binding_0) {
-    __compactRuntime.assert(this._jubjubPointX_0(binding_0.holderPublicKey)
-                            !==
-                            0n
-                            ||
-                            this._jubjubPointY_0(binding_0.holderPublicKey)
-                            !==
-                            0n,
-                            'Jubjub holder binding public key must be set');
-    return [];
-  }
-  _assertMatchingJubjubHolderBindings_0(credentialBinding_0,
-                                        presentationBinding_0)
-  {
-    __compactRuntime.assert(this._jubjubPointX_0(presentationBinding_0.holderPublicKey)
-                            ===
-                            this._jubjubPointX_0(credentialBinding_0.holderPublicKey)
-                            &&
-                            this._jubjubPointY_0(presentationBinding_0.holderPublicKey)
-                            ===
-                            this._jubjubPointY_0(credentialBinding_0.holderPublicKey),
-                            'Presentation Jubjub holder key does not match the credential holder binding');
+  _assertValidSignerAuthorizationContextProof_0(bodyRoot_0, proof_0) {
+    this._assertValidProofForContext_0(bodyRoot_0,
+                                       this._signerAuthorizationContextTag_0(),
+                                       proof_0);
     return [];
   }
-  _assertProofMatchesJubjubHolderBinding_0(binding_0, presentationProof_0) {
-    __compactRuntime.assert(this._jubjubPointX_0(binding_0.holderPublicKey)
-                            ===
-                            this._jubjubPointX_0(presentationProof_0.publicKey)
-                            &&
-                            this._jubjubPointY_0(binding_0.holderPublicKey)
-                            ===
-                            this._jubjubPointY_0(presentationProof_0.publicKey),
-                            'Presentation proof public key must match the Jubjub holder binding');
+  _assertValidVerifierRequestContextProof_0(requestScopeCommitment_0, proof_0) {
+    this._assertValidProofForContext_0(requestScopeCommitment_0,
+                                       this._verifierRequestContextTag_0(),
+                                       proof_0);
     return [];
   }
-  _assertValidOffchainMidnightHolderBinding_0(binding_0) {
-    __compactRuntime.assert(!this._equal_11(binding_0.holderDidStateHash,
+  _assertValidAuthorizedSignerDescriptor_0(descriptor_0) {
+    __compactRuntime.assert(this._equal_8(descriptor_0.version, 1n),
+                            'Signer authorization version mismatch');
+    __compactRuntime.assert(!this._equal_9(descriptor_0.authorizationId,
+                                           new Uint8Array([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0])),
+                            'Signer authorization id must be set');
+    let t_0;
+    __compactRuntime.assert((t_0 = descriptor_0.decisionSequence, t_0 > 0n),
+                            'Signer authorization decision sequence must be positive');
+    this._assertValidVerificationMethodRef_0(descriptor_0.signerVerificationMethodRef);
+    this._assertUsableJubjubPoint_0(descriptor_0.signerPublicKey);
+    let t_1;
+    __compactRuntime.assert((t_1 = descriptor_0.didStateVersion, t_1 > 0n),
+                            'Signer authorization DID state version must be positive');
+    __compactRuntime.assert(!this._equal_10(descriptor_0.scopeCommitment,
                                             new Uint8Array([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0])),
-                            'Offchain Midnight holder state hash must be set');
-    __compactRuntime.assert(!this._equal_12(binding_0.holderMethodId,
+                            'Signer authorization scope commitment must be set');
+    __compactRuntime.assert(!this._equal_11(descriptor_0.policyCommitment,
                                             new Uint8Array([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0])),
-                            'Offchain Midnight holder method id must be set');
-    const jubjubBinding_0 = { holderPublicKey: binding_0.holderPublicKey };
-    this._assertValidJubjubHolderBinding_0(jubjubBinding_0);
+                            'Signer authorization policy commitment must be set');
+    if (descriptor_0.role === 0) {
+      __compactRuntime.assert(descriptor_0.verificationRelationship === 0,
+                              'Issuer authorization requires assertionMethod');
+    } else {
+      __compactRuntime.assert(descriptor_0.verificationRelationship === 1
+                              ||
+                              descriptor_0.verificationRelationship === 2,
+                              'Verifier authorization requires authentication or capabilityInvocation');
+    }
     return [];
   }
-  _assertMatchingOffchainMidnightHolderBindings_0(credentialBinding_0,
-                                                  presentationBinding_0)
-  {
-    __compactRuntime.assert(this._equal_13(presentationBinding_0.holderDidStateHash,
-                                           credentialBinding_0.holderDidStateHash),
-                            'Offchain Midnight holder state hash does not match the credential holder binding');
-    __compactRuntime.assert(this._equal_14(presentationBinding_0.holderMethodId,
-                                           credentialBinding_0.holderMethodId),
-                            'Offchain Midnight holder method id does not match the credential holder binding');
-    const credentialJubjubBinding_0 = { holderPublicKey:
-                                          credentialBinding_0.holderPublicKey };
-    const presentationJubjubBinding_0 = { holderPublicKey:
-                                            presentationBinding_0.holderPublicKey };
-    this._assertMatchingJubjubHolderBindings_0(credentialJubjubBinding_0,
-                                               presentationJubjubBinding_0);
+  _authorizedSignerDescriptorRoot_0(descriptor_0) {
+    this._assertValidAuthorizedSignerDescriptor_0(descriptor_0);
+    return this._authorizedSignerDescriptorHash_0(descriptor_0);
+  }
+  _authorizedSignerDescriptorHash_0(descriptor_0) {
+    return this._persistentHash_5(descriptor_0);
+  }
+  _issuerScopeCommitment_0(schema_0) {
+    this._assertValidSchemaRef_0(schema_0);
+    return this._persistentHash_3(schema_0);
+  }
+  _assertProofSignerMatchesAuthorization_0(proof_0, descriptor_0) {
+    this._assertValidAuthorizedSignerDescriptor_0(descriptor_0);
+    __compactRuntime.assert(descriptor_0.state === 0,
+                            'Signer authorization must be active');
+    __compactRuntime.assert(this._equal_12(proof_0.signerVerificationMethodRef.controllerAddress,
+                                           descriptor_0.signerVerificationMethodRef.controllerAddress),
+                            'Proof signer controller does not match authorization');
+    __compactRuntime.assert(this._equal_13(proof_0.signerVerificationMethodRef.methodId,
+                                           descriptor_0.signerVerificationMethodRef.methodId),
+                            'Proof signer method does not match authorization');
+    this._assertMatchingJubjubPoints_0(descriptor_0.signerPublicKey,
+                                       proof_0.publicKey);
     return [];
   }
-  _assertProofMatchesOffchainMidnightHolderBinding_0(binding_0,
-                                                     presentationProof_0)
-  {
-    const jubjubBinding_0 = { holderPublicKey: binding_0.holderPublicKey };
-    this._assertProofMatchesJubjubHolderBinding_0(jubjubBinding_0,
-                                                  presentationProof_0);
+  _assertAuthorizedIssuerDescriptor_0(schema_0, proof_0, descriptor_0) {
+    this._assertProofSignerMatchesAuthorization_0(proof_0, descriptor_0);
+    __compactRuntime.assert(descriptor_0.role === 0,
+                            'Signer authorization role must be issuer');
+    __compactRuntime.assert(this._equal_14(descriptor_0.scopeCommitment,
+                                           this._issuerScopeCommitment_0(schema_0)),
+                            'Issuer authorization scope does not match schema');
     return [];
   }
-  _noSecretHolderChallengeResponse_0() {
-    return new Uint8Array([109, 105, 100, 110, 105, 103, 104, 116, 58, 118, 99, 58, 110, 111, 45, 104, 111, 108, 100, 101, 114, 45, 114, 101, 115, 112, 111, 110, 115, 101, 0, 0]);
-  }
-  _secretHolderBindingCommitment_0(holderSecret_0, opening_0) {
-    return this._persistentCommit_0(holderSecret_0, opening_0);
-  }
-  _secretHolderBindingChallengeResponse_0(holderSecret_0,
-                                          verifierChallengeHash_0)
+  _assertAuthorizedVerifierProof_0(requestScopeCommitment_0,
+                                   proof_0,
+                                   descriptor_0)
   {
-    return this._persistentHash_2([new Uint8Array([109, 105, 100, 110, 105, 103, 104, 116, 58, 118, 99, 58, 104, 111, 108, 100, 101, 114, 45, 99, 104, 97, 108, 108, 0, 0, 0, 0, 0, 0, 0, 0]),
-                                   holderSecret_0,
-                                   verifierChallengeHash_0]);
-  }
-  _verifierScopedPseudonym_0(holderSecret_0, verifierDomainHash_0) {
-    return this._persistentHash_2([new Uint8Array([109, 105, 100, 110, 105, 103, 104, 116, 58, 118, 99, 58, 104, 111, 108, 100, 101, 114, 45, 112, 115, 101, 117, 100, 111, 110, 121, 109, 0, 0, 0, 0]),
-                                   holderSecret_0,
-                                   verifierDomainHash_0]);
-  }
-  _assertVerifierScopedPseudonym_0(pseudonym_0,
-                                   holderSecret_0,
-                                   verifierDomainHash_0)
-  {
-    __compactRuntime.assert(this._equal_15(pseudonym_0,
-                                           this._verifierScopedPseudonym_0(holderSecret_0,
-                                                                           verifierDomainHash_0)),
-                            'Verifier-scoped pseudonym does not match the holder secret and verifier domain');
+    __compactRuntime.assert(!this._equal_15(requestScopeCommitment_0,
+                                            new Uint8Array([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0])),
+                            'Verifier request scope commitment must be set');
+    this._assertProofSignerMatchesAuthorization_0(proof_0, descriptor_0);
+    __compactRuntime.assert(descriptor_0.role === 1,
+                            'Signer authorization role must be verifier');
+    __compactRuntime.assert(this._equal_16(descriptor_0.scopeCommitment,
+                                           requestScopeCommitment_0),
+                            'Verifier authorization scope does not match request');
+    this._assertValidVerifierRequestContextProof_0(requestScopeCommitment_0,
+                                                   proof_0);
     return [];
   }
-  _blindedSecretHolderCommitment_0(holderSecretCommitment_0,
-                                   issuerNonce_0,
-                                   blindingFactor_0)
-  {
-    return this._persistentHash_3([new Uint8Array([109, 105, 100, 110, 105, 103, 104, 116, 58, 118, 99, 58, 98, 108, 105, 110, 100, 45, 104, 111, 108, 100, 101, 114, 0, 0, 0, 0, 0, 0, 0, 0]),
-                                   holderSecretCommitment_0,
-                                   issuerNonce_0,
-                                   blindingFactor_0]);
-  }
-  _assertValidSecretHolderCredentialBinding_0(binding_0) {
-    __compactRuntime.assert(this._equal_16(binding_0.requestChallengeResponse,
-                                           this._noSecretHolderChallengeResponse_0()),
-                            'Credential secret holder binding must not embed a request challenge response');
+  _assertValidSignerAuthorizationAuthority_0(authority_0) {
+    __compactRuntime.assert(!this._equal_17(authority_0.domainCommitment,
+                                            new Uint8Array([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0])),
+                            'Signer authorization authority domain must be set');
+    this._assertValidVerificationMethodRef_0(authority_0.verificationMethodRef);
+    this._assertUsableJubjubPoint_0(authority_0.publicKey);
     return [];
   }
-  _assertValidSecretHolderPresentationBinding_0(binding_0) {
-    __compactRuntime.assert(!this._equal_17(binding_0.requestChallengeResponse,
-                                            this._noSecretHolderChallengeResponse_0()),
-                            'Presentation secret holder binding must include a request challenge response');
-    return [];
+  _signerAuthorizationDecisionRoot_0(descriptor_0, domainCommitment_0) {
+    this._assertValidAuthorizedSignerDescriptor_0(descriptor_0);
+    __compactRuntime.assert(!this._equal_18(domainCommitment_0,
+                                            new Uint8Array([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0])),
+                            'Signer authorization authority domain must be set');
+    return this._persistentHash_4([domainCommitment_0,
+                                   this._authorizedSignerDescriptorHash_0(descriptor_0)]);
   }
-  _assertMatchingSecretHolderBindings_0(credentialBinding_0,
-                                        presentationBinding_0)
+  _assertValidSignerAuthorizationProof_0(descriptor_0,
+                                         authorizationProof_0,
+                                         authority_0)
   {
-    __compactRuntime.assert(this._equal_18(credentialBinding_0.holderSecretCommitment,
-                                           presentationBinding_0.holderSecretCommitment),
-                            'Presentation holder secret commitment does not match the credential holder binding');
-    return [];
-  }
-  _assertValidBlindedSecretHolderCredentialBinding_0(binding_0) {
-    __compactRuntime.assert(this._equal_19(binding_0.requestChallengeResponse,
-                                           this._noSecretHolderChallengeResponse_0()),
-                            'Credential blinded holder binding must not embed a request challenge response');
-    return [];
-  }
-  _assertValidBlindedSecretHolderPresentationBinding_0(binding_0) {
-    __compactRuntime.assert(!this._equal_20(binding_0.requestChallengeResponse,
-                                            this._noSecretHolderChallengeResponse_0()),
-                            'Presentation blinded holder binding must include a request challenge response');
+    this._assertValidAuthorizedSignerDescriptor_0(descriptor_0);
+    this._assertValidSignerAuthorizationAuthority_0(authority_0);
+    __compactRuntime.assert(this._equal_19(authorizationProof_0.createdAt,
+                                           descriptor_0.decisionSequence),
+                            'Authorization proof sequence does not match descriptor');
+    __compactRuntime.assert(this._equal_20(authorizationProof_0.signerVerificationMethodRef.controllerAddress,
+                                           authority_0.verificationMethodRef.controllerAddress),
+                            'Authorization proof controller does not match authority');
+    __compactRuntime.assert(this._equal_21(authorizationProof_0.signerVerificationMethodRef.methodId,
+                                           authority_0.verificationMethodRef.methodId),
+                            'Authorization proof method does not match authority');
+    this._assertMatchingJubjubPoints_0(authority_0.publicKey,
+                                       authorizationProof_0.publicKey);
+    this._assertValidSignerAuthorizationContextProof_0(this._signerAuthorizationDecisionRoot_0(descriptor_0,
+                                                                                               authority_0.domainCommitment),
+                                                       authorizationProof_0);
     return [];
   }
-  _assertMatchingBlindedSecretHolderBindings_0(credentialBinding_0,
-                                               presentationBinding_0)
-  {
-    __compactRuntime.assert(this._equal_21(credentialBinding_0.blindedHolderSecretCommitment,
-                                           presentationBinding_0.blindedHolderSecretCommitment),
-                            'Presentation blinded holder commitment does not match the credential holder binding');
-    __compactRuntime.assert(this._equal_22(credentialBinding_0.issuerNonce,
-                                           presentationBinding_0.issuerNonce),
-                            'Presentation issuer nonce does not match the credential holder binding');
+  _assertValidSignerAuthorizationUpdate_0(previous_0, next_0) {
+    this._assertValidAuthorizedSignerDescriptor_0(previous_0);
+    this._assertValidAuthorizedSignerDescriptor_0(next_0);
+    __compactRuntime.assert(this._equal_22(previous_0.authorizationId,
+                                           next_0.authorizationId),
+                            'Signer authorization update id mismatch');
+    let t_0;
+    __compactRuntime.assert((t_0 = next_0.decisionSequence,
+                             t_0 > previous_0.decisionSequence),
+                            'Signer authorization update sequence must increase');
+    let t_1;
+    __compactRuntime.assert((t_1 = next_0.didStateVersion,
+                             t_1 >= previous_0.didStateVersion),
+                            'Signer authorization DID state version must not decrease');
+    __compactRuntime.assert(previous_0.state !== 2 || next_0.state === 2,
+                            'Revoked signer authorization must remain revoked');
     return [];
   }
-  _assertSecretHolderBindingWitness_0(binding_0,
-                                      verifierChallengeHash_0,
-                                      holderSecret_0,
-                                      opening_0)
-  {
-    __compactRuntime.assert(this._equal_23(this._secretHolderBindingCommitment_0(holderSecret_0,
-                                                                                 opening_0),
-                                           binding_0.holderSecretCommitment),
-                            'Holder secret witness does not match the holder-binding commitment');
-    __compactRuntime.assert(this._equal_24(this._secretHolderBindingChallengeResponse_0(holderSecret_0,
-                                                                                        verifierChallengeHash_0),
-                                           binding_0.requestChallengeResponse),
-                            'Holder secret challenge response does not match the verifier challenge');
+  _assertValidExplicitHolderBinding_0(binding_0) {
+    this._assertValidVerificationMethodRef_0(binding_0.holderVerificationMethodRef);
     return [];
   }
-  _assertBlindedSecretHolderBindingWitness_0(binding_0,
-                                             verifierChallengeHash_0,
-                                             holderSecret_0,
-                                             opening_0,
-                                             blindingFactor_0)
+  _assertMatchingExplicitHolderBindings_0(credentialBinding_0,
+                                          presentationBinding_0)
   {
-    const holderCommitment_0 = this._secretHolderBindingCommitment_0(holderSecret_0,
-                                                                     opening_0);
-    __compactRuntime.assert(this._equal_25(this._blindedSecretHolderCommitment_0(holderCommitment_0,
-                                                                                 binding_0.issuerNonce,
-                                                                                 blindingFactor_0),
-                                           binding_0.blindedHolderSecretCommitment),
-                            'Blinded holder commitment does not match the hidden holder secret witness');
-    __compactRuntime.assert(this._equal_26(this._secretHolderBindingChallengeResponse_0(holderSecret_0,
-                                                                                        verifierChallengeHash_0),
-                                           binding_0.requestChallengeResponse),
-                            'Blinded holder challenge response does not match the verifier challenge');
-    return [];
-  }
-  _protocolFeaturesAsSchemaCapabilities_0(features_0) {
-    return { supportsSelectiveDisclosure: features_0.supportsSelectiveDisclosure,
-             supportsPredicateProofs: features_0.supportsPredicateProofs,
-             supportsVerifierScopedPseudonym:
-               features_0.supportsVerifierScopedPseudonym,
-             supportsSameHolderProof: features_0.supportsSameHolderProof };
-  }
-  _assertProtocolFeaturesMatchSchemaCapabilities_0(features_0, capabilities_0) {
-    this._assertMatchingSchemaCapabilities_0(this._protocolFeaturesAsSchemaCapabilities_0(features_0),
-                                             capabilities_0);
-    return [];
-  }
-  _noProtocolResponseReference_0() {
-    return new Uint8Array([109, 105, 100, 110, 105, 103, 104, 116, 58, 118, 99, 58, 112, 114, 111, 116, 111, 99, 111, 108, 58, 110, 111, 110, 101, 0, 0, 0, 0, 0, 0, 0]);
-  }
-  _assertValidVerificationMethodRef_0(verificationMethodRef_0) {
-    __compactRuntime.assert(!this._equal_27(verificationMethodRef_0.methodId,
-                                            new Uint8Array([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0])),
-                            'Verification method reference must be set');
-    return [];
-  }
-  _assertMatchingSchemaRefs_0(expected_0, actual_0) {
-    this._assertValidSchemaRef_0(expected_0);
-    this._assertValidSchemaRef_0(actual_0);
-    __compactRuntime.assert(this._equal_28(expected_0.packageId,
-                                           actual_0.packageId)
-                            &&
-                            this._equal_29(expected_0.schemaId,
-                                           actual_0.schemaId)
-                            &&
-                            this._equal_30(expected_0.majorVersion,
-                                           actual_0.majorVersion)
-                            &&
-                            this._equal_31(expected_0.minorVersion,
-                                           actual_0.minorVersion),
-                            'Schema reference mismatch');
-    return [];
-  }
-  _assertValidProtocolMessageEnvelope_0(envelope_0) {
-    const noResponse_0 = this._noProtocolResponseReference_0();
-    __compactRuntime.assert(this._equal_32(envelope_0.version, 1n),
-                            'Protocol message version mismatch');
-    __compactRuntime.assert(!this._equal_33(envelope_0.messageId, noResponse_0),
-                            'Protocol message id must be set');
-    __compactRuntime.assert(!this._equal_34(envelope_0.threadId, noResponse_0),
-                            'Protocol thread id must be set');
-    if (envelope_0.initialMessage) {
-      __compactRuntime.assert(this._equal_35(envelope_0.respondsToMessageId,
-                                             noResponse_0),
-                              'Initial protocol message must not reference a previous message');
-    } else {
-      __compactRuntime.assert(!this._equal_36(envelope_0.respondsToMessageId,
-                                              noResponse_0),
-                              'Protocol response message must reference a previous message');
-    }
-    if (envelope_0.hasExpiresAt) {
-      let t_0;
-      __compactRuntime.assert((t_0 = envelope_0.expiresAt,
-                               t_0 >= envelope_0.createdAt),
-                              'Protocol message expiration must not precede creation');
-    }
+    this._assertValidExplicitHolderBinding_0(credentialBinding_0);
+    this._assertValidExplicitHolderBinding_0(presentationBinding_0);
+    __compactRuntime.assert(this._equal_23(presentationBinding_0.holderVerificationMethodRef.controllerAddress,
+                                           credentialBinding_0.holderVerificationMethodRef.controllerAddress),
+                            'Presentation holder controller does not match credential holder binding');
+    __compactRuntime.assert(this._equal_24(presentationBinding_0.holderVerificationMethodRef.methodId,
+                                           credentialBinding_0.holderVerificationMethodRef.methodId),
+                            'Presentation holder method reference does not match credential holder binding');
     return [];
   }
-  _assertProtocolResponseEnvelope_0(requestEnvelope_0, responseEnvelope_0) {
-    this._assertValidProtocolMessageEnvelope_0(requestEnvelope_0);
-    this._assertValidProtocolMessageEnvelope_0(responseEnvelope_0);
-    __compactRuntime.assert(!responseEnvelope_0.initialMessage,
-                            'Protocol response must not be initial');
-    __compactRuntime.assert(this._equal_37(responseEnvelope_0.threadId,
-                                           requestEnvelope_0.threadId),
-                            'Protocol response thread id does not match the request thread id');
-    __compactRuntime.assert(this._equal_38(responseEnvelope_0.respondsToMessageId,
-                                           requestEnvelope_0.messageId),
-                            'Protocol response does not reference the request message id');
-    let t_0;
-    __compactRuntime.assert((t_0 = responseEnvelope_0.createdAt,
-                             t_0 >= requestEnvelope_0.createdAt),
-                            'Protocol response creation time must not precede the request');
+  _assertProofMatchesExplicitHolderBinding_0(binding_0, presentationProof_0) {
+    this._assertValidExplicitHolderBinding_0(binding_0);
+    this._assertValidVerificationMethodRef_0(presentationProof_0.signerVerificationMethodRef);
+    __compactRuntime.assert(this._equal_25(binding_0.holderVerificationMethodRef.controllerAddress,
+                                           presentationProof_0.signerVerificationMethodRef.controllerAddress),
+                            'Presentation proof signer must match holder binding');
+    __compactRuntime.assert(this._equal_26(binding_0.holderVerificationMethodRef.methodId,
+                                           presentationProof_0.signerVerificationMethodRef.methodId),
+                            'Presentation proof signer method reference must match holder binding');
     return [];
   }
   _assertValidStatusRegistryRef_0(registryRef_0) {
-    __compactRuntime.assert(!this._equal_39(registryRef_0.registryId,
+    __compactRuntime.assert(!this._equal_27(registryRef_0.registryId,
                                             new Uint8Array([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0])),
                             'Status registry id must be set');
     this._assertValidVerificationMethodRef_0(registryRef_0.authorityVerificationMethodRef);
     return [];
   }
-  _assertValidNoStatusBinding_0(binding_0) { return []; }
   _assertValidRegistryBoundStatusBinding_0(binding_0) {
-    __compactRuntime.assert(binding_0.statusType === 0,
-                            'Registry-bound status type must be revocationRegistry');
     this._assertValidStatusRegistryRef_0(binding_0.registryRef);
-    __compactRuntime.assert(!this._equal_40(binding_0.statusHandleCommitment,
+    __compactRuntime.assert(!this._equal_28(binding_0.statusHandleCommitment,
                                             new Uint8Array([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0])),
                             'Status handle commitment must be set');
     return [];
   }
   _registryBoundStatusBindingRoot_0(binding_0) {
     this._assertValidRegistryBoundStatusBinding_0(binding_0);
-    return this._persistentHash_4(binding_0);
+    return this._persistentHash_6(binding_0);
   }
   _equal_0(x0, y0) {
     if (!x0.every((x, i) => y0[i] === x)) { return false; }
@@ -1093,11 +829,11 @@ export class Contract {
     return true;
   }
   _equal_4(x0, y0) {
-    if (!x0.every((x, i) => y0[i] === x)) { return false; }
+    if (x0 !== y0) { return false; }
     return true;
   }
   _equal_5(x0, y0) {
-    if (!x0.every((x, i) => y0[i] === x)) { return false; }
+    if (x0 !== y0) { return false; }
     return true;
   }
   _equal_6(x0, y0) {
@@ -1105,23 +841,15 @@ export class Contract {
     return true;
   }
   _equal_7(x0, y0) {
-    {
-      let x1 = x0.bytes;
-      let y1 = y0.bytes;
-      if (!x1.every((x, i) => y1[i] === x)) { return false; }
-    }
+    if (!x0.every((x, i) => y0[i] === x)) { return false; }
     return true;
   }
   _equal_8(x0, y0) {
-    if (!x0.every((x, i) => y0[i] === x)) { return false; }
+    if (x0 !== y0) { return false; }
     return true;
   }
   _equal_9(x0, y0) {
-    {
-      let x1 = x0.bytes;
-      let y1 = y0.bytes;
-      if (!x1.every((x, i) => y1[i] === x)) { return false; }
-    }
+    if (!x0.every((x, i) => y0[i] === x)) { return false; }
     return true;
   }
   _equal_10(x0, y0) {
@@ -1133,7 +861,11 @@ export class Contract {
     return true;
   }
   _equal_12(x0, y0) {
-    if (!x0.every((x, i) => y0[i] === x)) { return false; }
+    {
+      let x1 = x0.bytes;
+      let y1 = y0.bytes;
+      if (!x1.every((x, i) => y1[i] === x)) { return false; }
+    }
     return true;
   }
   _equal_13(x0, y0) {
@@ -1161,11 +893,15 @@ export class Contract {
     return true;
   }
   _equal_19(x0, y0) {
-    if (!x0.every((x, i) => y0[i] === x)) { return false; }
+    if (x0 !== y0) { return false; }
     return true;
   }
   _equal_20(x0, y0) {
-    if (!x0.every((x, i) => y0[i] === x)) { return false; }
+    {
+      let x1 = x0.bytes;
+      let y1 = y0.bytes;
+      if (!x1.every((x, i) => y1[i] === x)) { return false; }
+    }
     return true;
   }
   _equal_21(x0, y0) {
@@ -1177,7 +913,11 @@ export class Contract {
     return true;
   }
   _equal_23(x0, y0) {
-    if (!x0.every((x, i) => y0[i] === x)) { return false; }
+    {
+      let x1 = x0.bytes;
+      let y1 = y0.bytes;
+      if (!x1.every((x, i) => y1[i] === x)) { return false; }
+    }
     return true;
   }
   _equal_24(x0, y0) {
@@ -1185,7 +925,11 @@ export class Contract {
     return true;
   }
   _equal_25(x0, y0) {
-    if (!x0.every((x, i) => y0[i] === x)) { return false; }
+    {
+      let x1 = x0.bytes;
+      let y1 = y0.bytes;
+      if (!x1.every((x, i) => y1[i] === x)) { return false; }
+    }
     return true;
   }
   _equal_26(x0, y0) {
@@ -1200,54 +944,6 @@ export class Contract {
     if (!x0.every((x, i) => y0[i] === x)) { return false; }
     return true;
   }
-  _equal_29(x0, y0) {
-    if (!x0.every((x, i) => y0[i] === x)) { return false; }
-    return true;
-  }
-  _equal_30(x0, y0) {
-    if (x0 !== y0) { return false; }
-    return true;
-  }
-  _equal_31(x0, y0) {
-    if (x0 !== y0) { return false; }
-    return true;
-  }
-  _equal_32(x0, y0) {
-    if (x0 !== y0) { return false; }
-    return true;
-  }
-  _equal_33(x0, y0) {
-    if (!x0.every((x, i) => y0[i] === x)) { return false; }
-    return true;
-  }
-  _equal_34(x0, y0) {
-    if (!x0.every((x, i) => y0[i] === x)) { return false; }
-    return true;
-  }
-  _equal_35(x0, y0) {
-    if (!x0.every((x, i) => y0[i] === x)) { return false; }
-    return true;
-  }
-  _equal_36(x0, y0) {
-    if (!x0.every((x, i) => y0[i] === x)) { return false; }
-    return true;
-  }
-  _equal_37(x0, y0) {
-    if (!x0.every((x, i) => y0[i] === x)) { return false; }
-    return true;
-  }
-  _equal_38(x0, y0) {
-    if (!x0.every((x, i) => y0[i] === x)) { return false; }
-    return true;
-  }
-  _equal_39(x0, y0) {
-    if (!x0.every((x, i) => y0[i] === x)) { return false; }
-    return true;
-  }
-  _equal_40(x0, y0) {
-    if (!x0.every((x, i) => y0[i] === x)) { return false; }
-    return true;
-  }
 }
 export function ledger(stateOrChargedState) {
   const state = stateOrChargedState instanceof __compactRuntime.StateValue ? stateOrChargedState : stateOrChargedState.state;
@@ -1270,12 +966,6 @@ const _emptyContext = {
 };
 const _dummyContract = new Contract({ });
 export const pureCircuits = {
-  noSchemaFamilyResolverHint: (...args_0) => {
-    if (args_0.length !== 0) {
-      throw new __compactRuntime.CompactError(`noSchemaFamilyResolverHint: expected 0 arguments (as invoked from Typescript), received ${args_0.length}`);
-    }
-    return _dummyContract._noSchemaFamilyResolverHint_0();
-  },
   assertValidSchemaRef: (...args_0) => {
     if (args_0.length !== 1) {
       throw new __compactRuntime.CompactError(`assertValidSchemaRef: expected 1 argument (as invoked from Typescript), received ${args_0.length}`);
@@ -1284,76 +974,47 @@ export const pureCircuits = {
     if (!(typeof(schema_0) === 'object' && schema_0.packageId.buffer instanceof ArrayBuffer && schema_0.packageId.BYTES_PER_ELEMENT === 1 && schema_0.packageId.length === 32 && schema_0.schemaId.buffer instanceof ArrayBuffer && schema_0.schemaId.BYTES_PER_ELEMENT === 1 && schema_0.schemaId.length === 32 && typeof(schema_0.majorVersion) === 'bigint' && schema_0.majorVersion >= 0n && schema_0.majorVersion <= 65535n && typeof(schema_0.minorVersion) === 'bigint' && schema_0.minorVersion >= 0n && schema_0.minorVersion <= 65535n)) {
       __compactRuntime.typeError('assertValidSchemaRef',
                                  'argument 1',
-                                 'types.compact line 30 char 1',
+                                 'types.compact line 8 char 1',
                                  'struct SchemaRef<packageId: Bytes<32>, schemaId: Bytes<32>, majorVersion: Uint<0..65536>, minorVersion: Uint<0..65536>>',
                                  schema_0)
     }
     return _dummyContract._assertValidSchemaRef_0(schema_0);
   },
-  assertValidSchemaCapabilities: (...args_0) => {
-    if (args_0.length !== 1) {
-      throw new __compactRuntime.CompactError(`assertValidSchemaCapabilities: expected 1 argument (as invoked from Typescript), received ${args_0.length}`);
-    }
-    const capabilities_0 = args_0[0];
-    if (!(typeof(capabilities_0) === 'object' && typeof(capabilities_0.supportsSelectiveDisclosure) === 'boolean' && typeof(capabilities_0.supportsPredicateProofs) === 'boolean' && typeof(capabilities_0.supportsVerifierScopedPseudonym) === 'boolean' && typeof(capabilities_0.supportsSameHolderProof) === 'boolean')) {
-      __compactRuntime.typeError('assertValidSchemaCapabilities',
-                                 'argument 1',
-                                 'types.compact line 36 char 1',
-                                 'struct SchemaCapabilities<supportsSelectiveDisclosure: Boolean, supportsPredicateProofs: Boolean, supportsVerifierScopedPseudonym: Boolean, supportsSameHolderProof: Boolean>',
-                                 capabilities_0)
-    }
-    return _dummyContract._assertValidSchemaCapabilities_0(capabilities_0);
-  },
-  assertValidSchemaFamilyResolutionHint: (...args_0) => {
-    if (args_0.length !== 1) {
-      throw new __compactRuntime.CompactError(`assertValidSchemaFamilyResolutionHint: expected 1 argument (as invoked from Typescript), received ${args_0.length}`);
-    }
-    const hint_0 = args_0[0];
-    if (!(typeof(hint_0) === 'object' && typeof(hint_0.hasResolverHint) === 'boolean' && hint_0.resolverHint.buffer instanceof ArrayBuffer && hint_0.resolverHint.BYTES_PER_ELEMENT === 1 && hint_0.resolverHint.length === 32)) {
-      __compactRuntime.typeError('assertValidSchemaFamilyResolutionHint',
-                                 'argument 1',
-                                 'types.compact line 43 char 1',
-                                 'struct SchemaFamilyResolutionHint<hasResolverHint: Boolean, resolverHint: Bytes<32>>',
-                                 hint_0)
-    }
-    return _dummyContract._assertValidSchemaFamilyResolutionHint_0(hint_0);
-  },
-  assertValidSchemaDescriptor: (...args_0) => {
-    if (args_0.length !== 1) {
-      throw new __compactRuntime.CompactError(`assertValidSchemaDescriptor: expected 1 argument (as invoked from Typescript), received ${args_0.length}`);
-    }
-    const descriptor_0 = args_0[0];
-    if (!(typeof(descriptor_0) === 'object' && typeof(descriptor_0.schema) === 'object' && descriptor_0.schema.packageId.buffer instanceof ArrayBuffer && descriptor_0.schema.packageId.BYTES_PER_ELEMENT === 1 && descriptor_0.schema.packageId.length === 32 && descriptor_0.schema.schemaId.buffer instanceof ArrayBuffer && descriptor_0.schema.schemaId.BYTES_PER_ELEMENT === 1 && descriptor_0.schema.schemaId.length === 32 && typeof(descriptor_0.schema.majorVersion) === 'bigint' && descriptor_0.schema.majorVersion >= 0n && descriptor_0.schema.majorVersion <= 65535n && typeof(descriptor_0.schema.minorVersion) === 'bigint' && descriptor_0.schema.minorVersion >= 0n && descriptor_0.schema.minorVersion <= 65535n && typeof(descriptor_0.capabilities) === 'object' && typeof(descriptor_0.capabilities.supportsSelectiveDisclosure) === 'boolean' && typeof(descriptor_0.capabilities.supportsPredicateProofs) === 'boolean' && typeof(descriptor_0.capabilities.supportsVerifierScopedPseudonym) === 'boolean' && typeof(descriptor_0.capabilities.supportsSameHolderProof) === 'boolean' && typeof(descriptor_0.familyResolutionHint) === 'object' && typeof(descriptor_0.familyResolutionHint.hasResolverHint) === 'boolean' && descriptor_0.familyResolutionHint.resolverHint.buffer instanceof ArrayBuffer && descriptor_0.familyResolutionHint.resolverHint.BYTES_PER_ELEMENT === 1 && descriptor_0.familyResolutionHint.resolverHint.length === 32)) {
-      __compactRuntime.typeError('assertValidSchemaDescriptor',
-                                 'argument 1',
-                                 'types.compact line 61 char 1',
-                                 'struct SchemaDescriptor<schema: struct SchemaRef<packageId: Bytes<32>, schemaId: Bytes<32>, majorVersion: Uint<0..65536>, minorVersion: Uint<0..65536>>, capabilities: struct SchemaCapabilities<supportsSelectiveDisclosure: Boolean, supportsPredicateProofs: Boolean, supportsVerifierScopedPseudonym: Boolean, supportsSameHolderProof: Boolean>, familyResolutionHint: struct SchemaFamilyResolutionHint<hasResolverHint: Boolean, resolverHint: Bytes<32>>>',
-                                 descriptor_0)
-    }
-    return _dummyContract._assertValidSchemaDescriptor_0(descriptor_0);
-  },
-  assertMatchingSchemaCapabilities: (...args_0) => {
+  assertMatchingSchemaRefs: (...args_0) => {
     if (args_0.length !== 2) {
-      throw new __compactRuntime.CompactError(`assertMatchingSchemaCapabilities: expected 2 arguments (as invoked from Typescript), received ${args_0.length}`);
+      throw new __compactRuntime.CompactError(`assertMatchingSchemaRefs: expected 2 arguments (as invoked from Typescript), received ${args_0.length}`);
     }
     const expected_0 = args_0[0];
     const actual_0 = args_0[1];
-    if (!(typeof(expected_0) === 'object' && typeof(expected_0.supportsSelectiveDisclosure) === 'boolean' && typeof(expected_0.supportsPredicateProofs) === 'boolean' && typeof(expected_0.supportsVerifierScopedPseudonym) === 'boolean' && typeof(expected_0.supportsSameHolderProof) === 'boolean')) {
-      __compactRuntime.typeError('assertMatchingSchemaCapabilities',
+    if (!(typeof(expected_0) === 'object' && expected_0.packageId.buffer instanceof ArrayBuffer && expected_0.packageId.BYTES_PER_ELEMENT === 1 && expected_0.packageId.length === 32 && expected_0.schemaId.buffer instanceof ArrayBuffer && expected_0.schemaId.BYTES_PER_ELEMENT === 1 && expected_0.schemaId.length === 32 && typeof(expected_0.majorVersion) === 'bigint' && expected_0.majorVersion >= 0n && expected_0.majorVersion <= 65535n && typeof(expected_0.minorVersion) === 'bigint' && expected_0.minorVersion >= 0n && expected_0.minorVersion <= 65535n)) {
+      __compactRuntime.typeError('assertMatchingSchemaRefs',
                                  'argument 1',
-                                 'types.compact line 69 char 1',
-                                 'struct SchemaCapabilities<supportsSelectiveDisclosure: Boolean, supportsPredicateProofs: Boolean, supportsVerifierScopedPseudonym: Boolean, supportsSameHolderProof: Boolean>',
+                                 'types.compact line 14 char 1',
+                                 'struct SchemaRef<packageId: Bytes<32>, schemaId: Bytes<32>, majorVersion: Uint<0..65536>, minorVersion: Uint<0..65536>>',
                                  expected_0)
     }
-    if (!(typeof(actual_0) === 'object' && typeof(actual_0.supportsSelectiveDisclosure) === 'boolean' && typeof(actual_0.supportsPredicateProofs) === 'boolean' && typeof(actual_0.supportsVerifierScopedPseudonym) === 'boolean' && typeof(actual_0.supportsSameHolderProof) === 'boolean')) {
-      __compactRuntime.typeError('assertMatchingSchemaCapabilities',
+    if (!(typeof(actual_0) === 'object' && actual_0.packageId.buffer instanceof ArrayBuffer && actual_0.packageId.BYTES_PER_ELEMENT === 1 && actual_0.packageId.length === 32 && actual_0.schemaId.buffer instanceof ArrayBuffer && actual_0.schemaId.BYTES_PER_ELEMENT === 1 && actual_0.schemaId.length === 32 && typeof(actual_0.majorVersion) === 'bigint' && actual_0.majorVersion >= 0n && actual_0.majorVersion <= 65535n && typeof(actual_0.minorVersion) === 'bigint' && actual_0.minorVersion >= 0n && actual_0.minorVersion <= 65535n)) {
+      __compactRuntime.typeError('assertMatchingSchemaRefs',
                                  'argument 2',
-                                 'types.compact line 69 char 1',
-                                 'struct SchemaCapabilities<supportsSelectiveDisclosure: Boolean, supportsPredicateProofs: Boolean, supportsVerifierScopedPseudonym: Boolean, supportsSameHolderProof: Boolean>',
+                                 'types.compact line 14 char 1',
+                                 'struct SchemaRef<packageId: Bytes<32>, schemaId: Bytes<32>, majorVersion: Uint<0..65536>, minorVersion: Uint<0..65536>>',
                                  actual_0)
     }
-    return _dummyContract._assertMatchingSchemaCapabilities_0(expected_0,
-                                                              actual_0);
+    return _dummyContract._assertMatchingSchemaRefs_0(expected_0, actual_0);
+  },
+  assertValidVerificationMethodRef: (...args_0) => {
+    if (args_0.length !== 1) {
+      throw new __compactRuntime.CompactError(`assertValidVerificationMethodRef: expected 1 argument (as invoked from Typescript), received ${args_0.length}`);
+    }
+    const verificationMethodRef_0 = args_0[0];
+    if (!(typeof(verificationMethodRef_0) === 'object' && typeof(verificationMethodRef_0.controllerAddress) === 'object' && verificationMethodRef_0.controllerAddress.bytes.buffer instanceof ArrayBuffer && verificationMethodRef_0.controllerAddress.bytes.BYTES_PER_ELEMENT === 1 && verificationMethodRef_0.controllerAddress.bytes.length === 32 && verificationMethodRef_0.methodId.buffer instanceof ArrayBuffer && verificationMethodRef_0.methodId.BYTES_PER_ELEMENT === 1 && verificationMethodRef_0.methodId.length === 32)) {
+      __compactRuntime.typeError('assertValidVerificationMethodRef',
+                                 'argument 1',
+                                 'types.compact line 34 char 1',
+                                 'struct VerificationMethodRef<controllerAddress: struct ContractAddress<bytes: Bytes<32>>, methodId: Bytes<32>>',
+                                 verificationMethodRef_0)
+    }
+    return _dummyContract._assertValidVerificationMethodRef_0(verificationMethodRef_0);
   },
   verifySignature: (...args_0) => {
     if (args_0.length !== 3) {
@@ -1365,14 +1026,14 @@ export const pureCircuits = {
     if (!(typeof(signature_0) === 'object' && true && typeof(signature_0.s) === 'bigint' && signature_0.s >= 0 && signature_0.s <= __compactRuntime.MAX_FIELD)) {
       __compactRuntime.typeError('verifySignature',
                                  'argument 2',
-                                 'proofs.compact line 4 char 1',
+                                 'proofs.compact line 34 char 1',
                                  'struct Signature<r: Opaque<"JubjubPoint">, s: Field>',
                                  signature_0)
     }
     if (!(typeof(challenge_0) === 'bigint' && challenge_0 >= 0 && challenge_0 <= __compactRuntime.MAX_FIELD)) {
       __compactRuntime.typeError('verifySignature',
                                  'argument 3',
-                                 'proofs.compact line 4 char 1',
+                                 'proofs.compact line 34 char 1',
                                  'Field',
                                  challenge_0)
     }
@@ -1390,6 +1051,18 @@ export const pureCircuits = {
     }
     return _dummyContract._presentationContextTag_0();
   },
+  signerAuthorizationContextTag: (...args_0) => {
+    if (args_0.length !== 0) {
+      throw new __compactRuntime.CompactError(`signerAuthorizationContextTag: expected 0 arguments (as invoked from Typescript), received ${args_0.length}`);
+    }
+    return _dummyContract._signerAuthorizationContextTag_0();
+  },
+  verifierRequestContextTag: (...args_0) => {
+    if (args_0.length !== 0) {
+      throw new __compactRuntime.CompactError(`verifierRequestContextTag: expected 0 arguments (as invoked from Typescript), received ${args_0.length}`);
+    }
+    return _dummyContract._verifierRequestContextTag_0();
+  },
   issuanceProofPayloadRoot: (...args_0) => {
     if (args_0.length !== 2) {
       throw new __compactRuntime.CompactError(`issuanceProofPayloadRoot: expected 2 arguments (as invoked from Typescript), received ${args_0.length}`);
@@ -1399,15 +1072,15 @@ export const pureCircuits = {
     if (!(bodyRoot_0.buffer instanceof ArrayBuffer && bodyRoot_0.BYTES_PER_ELEMENT === 1 && bodyRoot_0.length === 32)) {
       __compactRuntime.typeError('issuanceProofPayloadRoot',
                                  'argument 1',
-                                 'proofs.compact line 76 char 1',
+                                 'proofs.compact line 117 char 1',
                                  'Bytes<32>',
                                  bodyRoot_0)
     }
-    if (!(typeof(proof_0) === 'object' && typeof(proof_0.signerVerificationMethodRef) === 'object' && typeof(proof_0.signerVerificationMethodRef.didContractAddress) === 'object' && proof_0.signerVerificationMethodRef.didContractAddress.bytes.buffer instanceof ArrayBuffer && proof_0.signerVerificationMethodRef.didContractAddress.bytes.BYTES_PER_ELEMENT === 1 && proof_0.signerVerificationMethodRef.didContractAddress.bytes.length === 32 && proof_0.signerVerificationMethodRef.methodId.buffer instanceof ArrayBuffer && proof_0.signerVerificationMethodRef.methodId.BYTES_PER_ELEMENT === 1 && proof_0.signerVerificationMethodRef.methodId.length === 32 && typeof(proof_0.createdAt) === 'bigint' && proof_0.createdAt >= 0n && proof_0.createdAt <= 18446744073709551615n && proof_0.challengeHash.buffer instanceof ArrayBuffer && proof_0.challengeHash.BYTES_PER_ELEMENT === 1 && proof_0.challengeHash.length === 32 && true && typeof(proof_0.signature) === 'object' && true && typeof(proof_0.signature.s) === 'bigint' && proof_0.signature.s >= 0 && proof_0.signature.s <= __compactRuntime.MAX_FIELD)) {
+    if (!(typeof(proof_0) === 'object' && typeof(proof_0.signerVerificationMethodRef) === 'object' && typeof(proof_0.signerVerificationMethodRef.controllerAddress) === 'object' && proof_0.signerVerificationMethodRef.controllerAddress.bytes.buffer instanceof ArrayBuffer && proof_0.signerVerificationMethodRef.controllerAddress.bytes.BYTES_PER_ELEMENT === 1 && proof_0.signerVerificationMethodRef.controllerAddress.bytes.length === 32 && proof_0.signerVerificationMethodRef.methodId.buffer instanceof ArrayBuffer && proof_0.signerVerificationMethodRef.methodId.BYTES_PER_ELEMENT === 1 && proof_0.signerVerificationMethodRef.methodId.length === 32 && typeof(proof_0.createdAt) === 'bigint' && proof_0.createdAt >= 0n && proof_0.createdAt <= 18446744073709551615n && proof_0.challengeHash.buffer instanceof ArrayBuffer && proof_0.challengeHash.BYTES_PER_ELEMENT === 1 && proof_0.challengeHash.length === 32 && true && typeof(proof_0.signature) === 'object' && true && typeof(proof_0.signature.s) === 'bigint' && proof_0.signature.s >= 0 && proof_0.signature.s <= __compactRuntime.MAX_FIELD)) {
       __compactRuntime.typeError('issuanceProofPayloadRoot',
                                  'argument 2',
-                                 'proofs.compact line 76 char 1',
-                                 'struct Proof<signerVerificationMethodRef: struct VerificationMethodRef<didContractAddress: struct ContractAddress<bytes: Bytes<32>>, methodId: Bytes<32>>, createdAt: Uint<0..18446744073709551616>, challengeHash: Bytes<32>, publicKey: Opaque<"JubjubPoint">, signature: struct Signature<r: Opaque<"JubjubPoint">, s: Field>>',
+                                 'proofs.compact line 117 char 1',
+                                 'struct Proof<signerVerificationMethodRef: struct VerificationMethodRef<controllerAddress: struct ContractAddress<bytes: Bytes<32>>, methodId: Bytes<32>>, createdAt: Uint<0..18446744073709551616>, challengeHash: Bytes<32>, publicKey: Opaque<"JubjubPoint">, signature: struct Signature<r: Opaque<"JubjubPoint">, s: Field>>',
                                  proof_0)
     }
     return _dummyContract._issuanceProofPayloadRoot_0(bodyRoot_0, proof_0);
@@ -1421,15 +1094,15 @@ export const pureCircuits = {
     if (!(bodyRoot_0.buffer instanceof ArrayBuffer && bodyRoot_0.BYTES_PER_ELEMENT === 1 && bodyRoot_0.length === 32)) {
       __compactRuntime.typeError('presentationProofPayloadRoot',
                                  'argument 1',
-                                 'proofs.compact line 83 char 1',
+                                 'proofs.compact line 124 char 1',
                                  'Bytes<32>',
                                  bodyRoot_0)
     }
-    if (!(typeof(proof_0) === 'object' && typeof(proof_0.signerVerificationMethodRef) === 'object' && typeof(proof_0.signerVerificationMethodRef.didContractAddress) === 'object' && proof_0.signerVerificationMethodRef.didContractAddress.bytes.buffer instanceof ArrayBuffer && proof_0.signerVerificationMethodRef.didContractAddress.bytes.BYTES_PER_ELEMENT === 1 && proof_0.signerVerificationMethodRef.didContractAddress.bytes.length === 32 && proof_0.signerVerificationMethodRef.methodId.buffer instanceof ArrayBuffer && proof_0.signerVerificationMethodRef.methodId.BYTES_PER_ELEMENT === 1 && proof_0.signerVerificationMethodRef.methodId.length === 32 && typeof(proof_0.createdAt) === 'bigint' && proof_0.createdAt >= 0n && proof_0.createdAt <= 18446744073709551615n && proof_0.challengeHash.buffer instanceof ArrayBuffer && proof_0.challengeHash.BYTES_PER_ELEMENT === 1 && proof_0.challengeHash.length === 32 && true && typeof(proof_0.signature) === 'object' && true && typeof(proof_0.signature.s) === 'bigint' && proof_0.signature.s >= 0 && proof_0.signature.s <= __compactRuntime.MAX_FIELD)) {
+    if (!(typeof(proof_0) === 'object' && typeof(proof_0.signerVerificationMethodRef) === 'object' && typeof(proof_0.signerVerificationMethodRef.controllerAddress) === 'object' && proof_0.signerVerificationMethodRef.controllerAddress.bytes.buffer instanceof ArrayBuffer && proof_0.signerVerificationMethodRef.controllerAddress.bytes.BYTES_PER_ELEMENT === 1 && proof_0.signerVerificationMethodRef.controllerAddress.bytes.length === 32 && proof_0.signerVerificationMethodRef.methodId.buffer instanceof ArrayBuffer && proof_0.signerVerificationMethodRef.methodId.BYTES_PER_ELEMENT === 1 && proof_0.signerVerificationMethodRef.methodId.length === 32 && typeof(proof_0.createdAt) === 'bigint' && proof_0.createdAt >= 0n && proof_0.createdAt <= 18446744073709551615n && proof_0.challengeHash.buffer instanceof ArrayBuffer && proof_0.challengeHash.BYTES_PER_ELEMENT === 1 && proof_0.challengeHash.length === 32 && true && typeof(proof_0.signature) === 'object' && true && typeof(proof_0.signature.s) === 'bigint' && proof_0.signature.s >= 0 && proof_0.signature.s <= __compactRuntime.MAX_FIELD)) {
       __compactRuntime.typeError('presentationProofPayloadRoot',
                                  'argument 2',
-                                 'proofs.compact line 83 char 1',
-                                 'struct Proof<signerVerificationMethodRef: struct VerificationMethodRef<didContractAddress: struct ContractAddress<bytes: Bytes<32>>, methodId: Bytes<32>>, createdAt: Uint<0..18446744073709551616>, challengeHash: Bytes<32>, publicKey: Opaque<"JubjubPoint">, signature: struct Signature<r: Opaque<"JubjubPoint">, s: Field>>',
+                                 'proofs.compact line 124 char 1',
+                                 'struct Proof<signerVerificationMethodRef: struct VerificationMethodRef<controllerAddress: struct ContractAddress<bytes: Bytes<32>>, methodId: Bytes<32>>, createdAt: Uint<0..18446744073709551616>, challengeHash: Bytes<32>, publicKey: Opaque<"JubjubPoint">, signature: struct Signature<r: Opaque<"JubjubPoint">, s: Field>>',
                                  proof_0)
     }
     return _dummyContract._presentationProofPayloadRoot_0(bodyRoot_0, proof_0);
@@ -1443,15 +1116,15 @@ export const pureCircuits = {
     if (!(bodyRoot_0.buffer instanceof ArrayBuffer && bodyRoot_0.BYTES_PER_ELEMENT === 1 && bodyRoot_0.length === 32)) {
       __compactRuntime.typeError('issuanceProofChallenge',
                                  'argument 1',
-                                 'proofs.compact line 90 char 1',
+                                 'proofs.compact line 131 char 1',
                                  'Bytes<32>',
                                  bodyRoot_0)
     }
-    if (!(typeof(proof_0) === 'object' && typeof(proof_0.signerVerificationMethodRef) === 'object' && typeof(proof_0.signerVerificationMethodRef.didContractAddress) === 'object' && proof_0.signerVerificationMethodRef.didContractAddress.bytes.buffer instanceof ArrayBuffer && proof_0.signerVerificationMethodRef.didContractAddress.bytes.BYTES_PER_ELEMENT === 1 && proof_0.signerVerificationMethodRef.didContractAddress.bytes.length === 32 && proof_0.signerVerificationMethodRef.methodId.buffer instanceof ArrayBuffer && proof_0.signerVerificationMethodRef.methodId.BYTES_PER_ELEMENT === 1 && proof_0.signerVerificationMethodRef.methodId.length === 32 && typeof(proof_0.createdAt) === 'bigint' && proof_0.createdAt >= 0n && proof_0.createdAt <= 18446744073709551615n && proof_0.challengeHash.buffer instanceof ArrayBuffer && proof_0.challengeHash.BYTES_PER_ELEMENT === 1 && proof_0.challengeHash.length === 32 && true && typeof(proof_0.signature) === 'object' && true && typeof(proof_0.signature.s) === 'bigint' && proof_0.signature.s >= 0 && proof_0.signature.s <= __compactRuntime.MAX_FIELD)) {
+    if (!(typeof(proof_0) === 'object' && typeof(proof_0.signerVerificationMethodRef) === 'object' && typeof(proof_0.signerVerificationMethodRef.controllerAddress) === 'object' && proof_0.signerVerificationMethodRef.controllerAddress.bytes.buffer instanceof ArrayBuffer && proof_0.signerVerificationMethodRef.controllerAddress.bytes.BYTES_PER_ELEMENT === 1 && proof_0.signerVerificationMethodRef.controllerAddress.bytes.length === 32 && proof_0.signerVerificationMethodRef.methodId.buffer instanceof ArrayBuffer && proof_0.signerVerificationMethodRef.methodId.BYTES_PER_ELEMENT === 1 && proof_0.signerVerificationMethodRef.methodId.length === 32 && typeof(proof_0.createdAt) === 'bigint' && proof_0.createdAt >= 0n && proof_0.createdAt <= 18446744073709551615n && proof_0.challengeHash.buffer instanceof ArrayBuffer && proof_0.challengeHash.BYTES_PER_ELEMENT === 1 && proof_0.challengeHash.length === 32 && true && typeof(proof_0.signature) === 'object' && true && typeof(proof_0.signature.s) === 'bigint' && proof_0.signature.s >= 0 && proof_0.signature.s <= __compactRuntime.MAX_FIELD)) {
       __compactRuntime.typeError('issuanceProofChallenge',
                                  'argument 2',
-                                 'proofs.compact line 90 char 1',
-                                 'struct Proof<signerVerificationMethodRef: struct VerificationMethodRef<didContractAddress: struct ContractAddress<bytes: Bytes<32>>, methodId: Bytes<32>>, createdAt: Uint<0..18446744073709551616>, challengeHash: Bytes<32>, publicKey: Opaque<"JubjubPoint">, signature: struct Signature<r: Opaque<"JubjubPoint">, s: Field>>',
+                                 'proofs.compact line 131 char 1',
+                                 'struct Proof<signerVerificationMethodRef: struct VerificationMethodRef<controllerAddress: struct ContractAddress<bytes: Bytes<32>>, methodId: Bytes<32>>, createdAt: Uint<0..18446744073709551616>, challengeHash: Bytes<32>, publicKey: Opaque<"JubjubPoint">, signature: struct Signature<r: Opaque<"JubjubPoint">, s: Field>>',
                                  proof_0)
     }
     return _dummyContract._issuanceProofChallenge_0(bodyRoot_0, proof_0);
@@ -1465,19 +1138,65 @@ export const pureCircuits = {
     if (!(bodyRoot_0.buffer instanceof ArrayBuffer && bodyRoot_0.BYTES_PER_ELEMENT === 1 && bodyRoot_0.length === 32)) {
       __compactRuntime.typeError('presentationProofChallenge',
                                  'argument 1',
-                                 'proofs.compact line 97 char 1',
+                                 'proofs.compact line 138 char 1',
                                  'Bytes<32>',
                                  bodyRoot_0)
     }
-    if (!(typeof(proof_0) === 'object' && typeof(proof_0.signerVerificationMethodRef) === 'object' && typeof(proof_0.signerVerificationMethodRef.didContractAddress) === 'object' && proof_0.signerVerificationMethodRef.didContractAddress.bytes.buffer instanceof ArrayBuffer && proof_0.signerVerificationMethodRef.didContractAddress.bytes.BYTES_PER_ELEMENT === 1 && proof_0.signerVerificationMethodRef.didContractAddress.bytes.length === 32 && proof_0.signerVerificationMethodRef.methodId.buffer instanceof ArrayBuffer && proof_0.signerVerificationMethodRef.methodId.BYTES_PER_ELEMENT === 1 && proof_0.signerVerificationMethodRef.methodId.length === 32 && typeof(proof_0.createdAt) === 'bigint' && proof_0.createdAt >= 0n && proof_0.createdAt <= 18446744073709551615n && proof_0.challengeHash.buffer instanceof ArrayBuffer && proof_0.challengeHash.BYTES_PER_ELEMENT === 1 && proof_0.challengeHash.length === 32 && true && typeof(proof_0.signature) === 'object' && true && typeof(proof_0.signature.s) === 'bigint' && proof_0.signature.s >= 0 && proof_0.signature.s <= __compactRuntime.MAX_FIELD)) {
+    if (!(typeof(proof_0) === 'object' && typeof(proof_0.signerVerificationMethodRef) === 'object' && typeof(proof_0.signerVerificationMethodRef.controllerAddress) === 'object' && proof_0.signerVerificationMethodRef.controllerAddress.bytes.buffer instanceof ArrayBuffer && proof_0.signerVerificationMethodRef.controllerAddress.bytes.BYTES_PER_ELEMENT === 1 && proof_0.signerVerificationMethodRef.controllerAddress.bytes.length === 32 && proof_0.signerVerificationMethodRef.methodId.buffer instanceof ArrayBuffer && proof_0.signerVerificationMethodRef.methodId.BYTES_PER_ELEMENT === 1 && proof_0.signerVerificationMethodRef.methodId.length === 32 && typeof(proof_0.createdAt) === 'bigint' && proof_0.createdAt >= 0n && proof_0.createdAt <= 18446744073709551615n && proof_0.challengeHash.buffer instanceof ArrayBuffer && proof_0.challengeHash.BYTES_PER_ELEMENT === 1 && proof_0.challengeHash.length === 32 && true && typeof(proof_0.signature) === 'object' && true && typeof(proof_0.signature.s) === 'bigint' && proof_0.signature.s >= 0 && proof_0.signature.s <= __compactRuntime.MAX_FIELD)) {
       __compactRuntime.typeError('presentationProofChallenge',
                                  'argument 2',
-                                 'proofs.compact line 97 char 1',
-                                 'struct Proof<signerVerificationMethodRef: struct VerificationMethodRef<didContractAddress: struct ContractAddress<bytes: Bytes<32>>, methodId: Bytes<32>>, createdAt: Uint<0..18446744073709551616>, challengeHash: Bytes<32>, publicKey: Opaque<"JubjubPoint">, signature: struct Signature<r: Opaque<"JubjubPoint">, s: Field>>',
+                                 'proofs.compact line 138 char 1',
+                                 'struct Proof<signerVerificationMethodRef: struct VerificationMethodRef<controllerAddress: struct ContractAddress<bytes: Bytes<32>>, methodId: Bytes<32>>, createdAt: Uint<0..18446744073709551616>, challengeHash: Bytes<32>, publicKey: Opaque<"JubjubPoint">, signature: struct Signature<r: Opaque<"JubjubPoint">, s: Field>>',
                                  proof_0)
     }
     return _dummyContract._presentationProofChallenge_0(bodyRoot_0, proof_0);
   },
+  signerAuthorizationProofChallenge: (...args_0) => {
+    if (args_0.length !== 2) {
+      throw new __compactRuntime.CompactError(`signerAuthorizationProofChallenge: expected 2 arguments (as invoked from Typescript), received ${args_0.length}`);
+    }
+    const bodyRoot_0 = args_0[0];
+    const proof_0 = args_0[1];
+    if (!(bodyRoot_0.buffer instanceof ArrayBuffer && bodyRoot_0.BYTES_PER_ELEMENT === 1 && bodyRoot_0.length === 32)) {
+      __compactRuntime.typeError('signerAuthorizationProofChallenge',
+                                 'argument 1',
+                                 'proofs.compact line 145 char 1',
+                                 'Bytes<32>',
+                                 bodyRoot_0)
+    }
+    if (!(typeof(proof_0) === 'object' && typeof(proof_0.signerVerificationMethodRef) === 'object' && typeof(proof_0.signerVerificationMethodRef.controllerAddress) === 'object' && proof_0.signerVerificationMethodRef.controllerAddress.bytes.buffer instanceof ArrayBuffer && proof_0.signerVerificationMethodRef.controllerAddress.bytes.BYTES_PER_ELEMENT === 1 && proof_0.signerVerificationMethodRef.controllerAddress.bytes.length === 32 && proof_0.signerVerificationMethodRef.methodId.buffer instanceof ArrayBuffer && proof_0.signerVerificationMethodRef.methodId.BYTES_PER_ELEMENT === 1 && proof_0.signerVerificationMethodRef.methodId.length === 32 && typeof(proof_0.createdAt) === 'bigint' && proof_0.createdAt >= 0n && proof_0.createdAt <= 18446744073709551615n && proof_0.challengeHash.buffer instanceof ArrayBuffer && proof_0.challengeHash.BYTES_PER_ELEMENT === 1 && proof_0.challengeHash.length === 32 && true && typeof(proof_0.signature) === 'object' && true && typeof(proof_0.signature.s) === 'bigint' && proof_0.signature.s >= 0 && proof_0.signature.s <= __compactRuntime.MAX_FIELD)) {
+      __compactRuntime.typeError('signerAuthorizationProofChallenge',
+                                 'argument 2',
+                                 'proofs.compact line 145 char 1',
+                                 'struct Proof<signerVerificationMethodRef: struct VerificationMethodRef<controllerAddress: struct ContractAddress<bytes: Bytes<32>>, methodId: Bytes<32>>, createdAt: Uint<0..18446744073709551616>, challengeHash: Bytes<32>, publicKey: Opaque<"JubjubPoint">, signature: struct Signature<r: Opaque<"JubjubPoint">, s: Field>>',
+                                 proof_0)
+    }
+    return _dummyContract._signerAuthorizationProofChallenge_0(bodyRoot_0,
+                                                               proof_0);
+  },
+  verifierRequestProofChallenge: (...args_0) => {
+    if (args_0.length !== 2) {
+      throw new __compactRuntime.CompactError(`verifierRequestProofChallenge: expected 2 arguments (as invoked from Typescript), received ${args_0.length}`);
+    }
+    const requestScopeCommitment_0 = args_0[0];
+    const proof_0 = args_0[1];
+    if (!(requestScopeCommitment_0.buffer instanceof ArrayBuffer && requestScopeCommitment_0.BYTES_PER_ELEMENT === 1 && requestScopeCommitment_0.length === 32)) {
+      __compactRuntime.typeError('verifierRequestProofChallenge',
+                                 'argument 1',
+                                 'proofs.compact line 156 char 1',
+                                 'Bytes<32>',
+                                 requestScopeCommitment_0)
+    }
+    if (!(typeof(proof_0) === 'object' && typeof(proof_0.signerVerificationMethodRef) === 'object' && typeof(proof_0.signerVerificationMethodRef.controllerAddress) === 'object' && proof_0.signerVerificationMethodRef.controllerAddress.bytes.buffer instanceof ArrayBuffer && proof_0.signerVerificationMethodRef.controllerAddress.bytes.BYTES_PER_ELEMENT === 1 && proof_0.signerVerificationMethodRef.controllerAddress.bytes.length === 32 && proof_0.signerVerificationMethodRef.methodId.buffer instanceof ArrayBuffer && proof_0.signerVerificationMethodRef.methodId.BYTES_PER_ELEMENT === 1 && proof_0.signerVerificationMethodRef.methodId.length === 32 && typeof(proof_0.createdAt) === 'bigint' && proof_0.createdAt >= 0n && proof_0.createdAt <= 18446744073709551615n && proof_0.challengeHash.buffer instanceof ArrayBuffer && proof_0.challengeHash.BYTES_PER_ELEMENT === 1 && proof_0.challengeHash.length === 32 && true && typeof(proof_0.signature) === 'object' && true && typeof(proof_0.signature.s) === 'bigint' && proof_0.signature.s >= 0 && proof_0.signature.s <= __compactRuntime.MAX_FIELD)) {
+      __compactRuntime.typeError('verifierRequestProofChallenge',
+                                 'argument 2',
+                                 'proofs.compact line 156 char 1',
+                                 'struct Proof<signerVerificationMethodRef: struct VerificationMethodRef<controllerAddress: struct ContractAddress<bytes: Bytes<32>>, methodId: Bytes<32>>, createdAt: Uint<0..18446744073709551616>, challengeHash: Bytes<32>, publicKey: Opaque<"JubjubPoint">, signature: struct Signature<r: Opaque<"JubjubPoint">, s: Field>>',
+                                 proof_0)
+    }
+    return _dummyContract._verifierRequestProofChallenge_0(requestScopeCommitment_0,
+                                                           proof_0);
+  },
   assertValidIssuanceContextProof: (...args_0) => {
     if (args_0.length !== 2) {
       throw new __compactRuntime.CompactError(`assertValidIssuanceContextProof: expected 2 arguments (as invoked from Typescript), received ${args_0.length}`);
@@ -1487,15 +1206,15 @@ export const pureCircuits = {
     if (!(bodyRoot_0.buffer instanceof ArrayBuffer && bodyRoot_0.BYTES_PER_ELEMENT === 1 && bodyRoot_0.length === 32)) {
       __compactRuntime.typeError('assertValidIssuanceContextProof',
                                  'argument 1',
-                                 'proofs.compact line 110 char 1',
+                                 'proofs.compact line 173 char 1',
                                  'Bytes<32>',
                                  bodyRoot_0)
     }
-    if (!(typeof(proof_0) === 'object' && typeof(proof_0.signerVerificationMethodRef) === 'object' && typeof(proof_0.signerVerificationMethodRef.didContractAddress) === 'object' && proof_0.signerVerificationMethodRef.didContractAddress.bytes.buffer instanceof ArrayBuffer && proof_0.signerVerificationMethodRef.didContractAddress.bytes.BYTES_PER_ELEMENT === 1 && proof_0.signerVerificationMethodRef.didContractAddress.bytes.length === 32 && proof_0.signerVerificationMethodRef.methodId.buffer instanceof ArrayBuffer && proof_0.signerVerificationMethodRef.methodId.BYTES_PER_ELEMENT === 1 && proof_0.signerVerificationMethodRef.methodId.length === 32 && typeof(proof_0.createdAt) === 'bigint' && proof_0.createdAt >= 0n && proof_0.createdAt <= 18446744073709551615n && proof_0.challengeHash.buffer instanceof ArrayBuffer && proof_0.challengeHash.BYTES_PER_ELEMENT === 1 && proof_0.challengeHash.length === 32 && true && typeof(proof_0.signature) === 'object' && true && typeof(proof_0.signature.s) === 'bigint' && proof_0.signature.s >= 0 && proof_0.signature.s <= __compactRuntime.MAX_FIELD)) {
+    if (!(typeof(proof_0) === 'object' && typeof(proof_0.signerVerificationMethodRef) === 'object' && typeof(proof_0.signerVerificationMethodRef.controllerAddress) === 'object' && proof_0.signerVerificationMethodRef.controllerAddress.bytes.buffer instanceof ArrayBuffer && proof_0.signerVerificationMethodRef.controllerAddress.bytes.BYTES_PER_ELEMENT === 1 && proof_0.signerVerificationMethodRef.controllerAddress.bytes.length === 32 && proof_0.signerVerificationMethodRef.methodId.buffer instanceof ArrayBuffer && proof_0.signerVerificationMethodRef.methodId.BYTES_PER_ELEMENT === 1 && proof_0.signerVerificationMethodRef.methodId.length === 32 && typeof(proof_0.createdAt) === 'bigint' && proof_0.createdAt >= 0n && proof_0.createdAt <= 18446744073709551615n && proof_0.challengeHash.buffer instanceof ArrayBuffer && proof_0.challengeHash.BYTES_PER_ELEMENT === 1 && proof_0.challengeHash.length === 32 && true && typeof(proof_0.signature) === 'object' && true && typeof(proof_0.signature.s) === 'bigint' && proof_0.signature.s >= 0 && proof_0.signature.s <= __compactRuntime.MAX_FIELD)) {
       __compactRuntime.typeError('assertValidIssuanceContextProof',
                                  'argument 2',
-                                 'proofs.compact line 110 char 1',
-                                 'struct Proof<signerVerificationMethodRef: struct VerificationMethodRef<didContractAddress: struct ContractAddress<bytes: Bytes<32>>, methodId: Bytes<32>>, createdAt: Uint<0..18446744073709551616>, challengeHash: Bytes<32>, publicKey: Opaque<"JubjubPoint">, signature: struct Signature<r: Opaque<"JubjubPoint">, s: Field>>',
+                                 'proofs.compact line 173 char 1',
+                                 'struct Proof<signerVerificationMethodRef: struct VerificationMethodRef<controllerAddress: struct ContractAddress<bytes: Bytes<32>>, methodId: Bytes<32>>, createdAt: Uint<0..18446744073709551616>, challengeHash: Bytes<32>, publicKey: Opaque<"JubjubPoint">, signature: struct Signature<r: Opaque<"JubjubPoint">, s: Field>>',
                                  proof_0)
     }
     return _dummyContract._assertValidIssuanceContextProof_0(bodyRoot_0, proof_0);
@@ -1509,686 +1228,371 @@ export const pureCircuits = {
     if (!(bodyRoot_0.buffer instanceof ArrayBuffer && bodyRoot_0.BYTES_PER_ELEMENT === 1 && bodyRoot_0.length === 32)) {
       __compactRuntime.typeError('assertValidPresentationContextProof',
                                  'argument 1',
-                                 'proofs.compact line 117 char 1',
+                                 'proofs.compact line 180 char 1',
                                  'Bytes<32>',
                                  bodyRoot_0)
     }
-    if (!(typeof(proof_0) === 'object' && typeof(proof_0.signerVerificationMethodRef) === 'object' && typeof(proof_0.signerVerificationMethodRef.didContractAddress) === 'object' && proof_0.signerVerificationMethodRef.didContractAddress.bytes.buffer instanceof ArrayBuffer && proof_0.signerVerificationMethodRef.didContractAddress.bytes.BYTES_PER_ELEMENT === 1 && proof_0.signerVerificationMethodRef.didContractAddress.bytes.length === 32 && proof_0.signerVerificationMethodRef.methodId.buffer instanceof ArrayBuffer && proof_0.signerVerificationMethodRef.methodId.BYTES_PER_ELEMENT === 1 && proof_0.signerVerificationMethodRef.methodId.length === 32 && typeof(proof_0.createdAt) === 'bigint' && proof_0.createdAt >= 0n && proof_0.createdAt <= 18446744073709551615n && proof_0.challengeHash.buffer instanceof ArrayBuffer && proof_0.challengeHash.BYTES_PER_ELEMENT === 1 && proof_0.challengeHash.length === 32 && true && typeof(proof_0.signature) === 'object' && true && typeof(proof_0.signature.s) === 'bigint' && proof_0.signature.s >= 0 && proof_0.signature.s <= __compactRuntime.MAX_FIELD)) {
+    if (!(typeof(proof_0) === 'object' && typeof(proof_0.signerVerificationMethodRef) === 'object' && typeof(proof_0.signerVerificationMethodRef.controllerAddress) === 'object' && proof_0.signerVerificationMethodRef.controllerAddress.bytes.buffer instanceof ArrayBuffer && proof_0.signerVerificationMethodRef.controllerAddress.bytes.BYTES_PER_ELEMENT === 1 && proof_0.signerVerificationMethodRef.controllerAddress.bytes.length === 32 && proof_0.signerVerificationMethodRef.methodId.buffer instanceof ArrayBuffer && proof_0.signerVerificationMethodRef.methodId.BYTES_PER_ELEMENT === 1 && proof_0.signerVerificationMethodRef.methodId.length === 32 && typeof(proof_0.createdAt) === 'bigint' && proof_0.createdAt >= 0n && proof_0.createdAt <= 18446744073709551615n && proof_0.challengeHash.buffer instanceof ArrayBuffer && proof_0.challengeHash.BYTES_PER_ELEMENT === 1 && proof_0.challengeHash.length === 32 && true && typeof(proof_0.signature) === 'object' && true && typeof(proof_0.signature.s) === 'bigint' && proof_0.signature.s >= 0 && proof_0.signature.s <= __compactRuntime.MAX_FIELD)) {
       __compactRuntime.typeError('assertValidPresentationContextProof',
                                  'argument 2',
-                                 'proofs.compact line 117 char 1',
-                                 'struct Proof<signerVerificationMethodRef: struct VerificationMethodRef<didContractAddress: struct ContractAddress<bytes: Bytes<32>>, methodId: Bytes<32>>, createdAt: Uint<0..18446744073709551616>, challengeHash: Bytes<32>, publicKey: Opaque<"JubjubPoint">, signature: struct Signature<r: Opaque<"JubjubPoint">, s: Field>>',
+                                 'proofs.compact line 180 char 1',
+                                 'struct Proof<signerVerificationMethodRef: struct VerificationMethodRef<controllerAddress: struct ContractAddress<bytes: Bytes<32>>, methodId: Bytes<32>>, createdAt: Uint<0..18446744073709551616>, challengeHash: Bytes<32>, publicKey: Opaque<"JubjubPoint">, signature: struct Signature<r: Opaque<"JubjubPoint">, s: Field>>',
                                  proof_0)
     }
     return _dummyContract._assertValidPresentationContextProof_0(bodyRoot_0,
                                                                  proof_0);
   },
-  assertValidExplicitHolderBinding: (...args_0) => {
-    if (args_0.length !== 1) {
-      throw new __compactRuntime.CompactError(`assertValidExplicitHolderBinding: expected 1 argument (as invoked from Typescript), received ${args_0.length}`);
-    }
-    const binding_0 = args_0[0];
-    if (!(typeof(binding_0) === 'object' && typeof(binding_0.holderVerificationMethodRef) === 'object' && typeof(binding_0.holderVerificationMethodRef.didContractAddress) === 'object' && binding_0.holderVerificationMethodRef.didContractAddress.bytes.buffer instanceof ArrayBuffer && binding_0.holderVerificationMethodRef.didContractAddress.bytes.BYTES_PER_ELEMENT === 1 && binding_0.holderVerificationMethodRef.didContractAddress.bytes.length === 32 && binding_0.holderVerificationMethodRef.methodId.buffer instanceof ArrayBuffer && binding_0.holderVerificationMethodRef.methodId.BYTES_PER_ELEMENT === 1 && binding_0.holderVerificationMethodRef.methodId.length === 32)) {
-      __compactRuntime.typeError('assertValidExplicitHolderBinding',
-                                 'argument 1',
-                                 'holder-bindings.compact line 7 char 1',
-                                 'struct ExplicitHolderBinding<holderVerificationMethodRef: struct VerificationMethodRef<didContractAddress: struct ContractAddress<bytes: Bytes<32>>, methodId: Bytes<32>>>',
-                                 binding_0)
-    }
-    return _dummyContract._assertValidExplicitHolderBinding_0(binding_0);
-  },
-  assertMatchingExplicitHolderBindings: (...args_0) => {
+  assertValidSignerAuthorizationContextProof: (...args_0) => {
     if (args_0.length !== 2) {
-      throw new __compactRuntime.CompactError(`assertMatchingExplicitHolderBindings: expected 2 arguments (as invoked from Typescript), received ${args_0.length}`);
+      throw new __compactRuntime.CompactError(`assertValidSignerAuthorizationContextProof: expected 2 arguments (as invoked from Typescript), received ${args_0.length}`);
     }
-    const credentialBinding_0 = args_0[0];
-    const presentationBinding_0 = args_0[1];
-    if (!(typeof(credentialBinding_0) === 'object' && typeof(credentialBinding_0.holderVerificationMethodRef) === 'object' && typeof(credentialBinding_0.holderVerificationMethodRef.didContractAddress) === 'object' && credentialBinding_0.holderVerificationMethodRef.didContractAddress.bytes.buffer instanceof ArrayBuffer && credentialBinding_0.holderVerificationMethodRef.didContractAddress.bytes.BYTES_PER_ELEMENT === 1 && credentialBinding_0.holderVerificationMethodRef.didContractAddress.bytes.length === 32 && credentialBinding_0.holderVerificationMethodRef.methodId.buffer instanceof ArrayBuffer && credentialBinding_0.holderVerificationMethodRef.methodId.BYTES_PER_ELEMENT === 1 && credentialBinding_0.holderVerificationMethodRef.methodId.length === 32)) {
-      __compactRuntime.typeError('assertMatchingExplicitHolderBindings',
+    const bodyRoot_0 = args_0[0];
+    const proof_0 = args_0[1];
+    if (!(bodyRoot_0.buffer instanceof ArrayBuffer && bodyRoot_0.BYTES_PER_ELEMENT === 1 && bodyRoot_0.length === 32)) {
+      __compactRuntime.typeError('assertValidSignerAuthorizationContextProof',
                                  'argument 1',
-                                 'holder-bindings.compact line 20 char 1',
-                                 'struct ExplicitHolderBinding<holderVerificationMethodRef: struct VerificationMethodRef<didContractAddress: struct ContractAddress<bytes: Bytes<32>>, methodId: Bytes<32>>>',
-                                 credentialBinding_0)
+                                 'proofs.compact line 187 char 1',
+                                 'Bytes<32>',
+                                 bodyRoot_0)
     }
-    if (!(typeof(presentationBinding_0) === 'object' && typeof(presentationBinding_0.holderVerificationMethodRef) === 'object' && typeof(presentationBinding_0.holderVerificationMethodRef.didContractAddress) === 'object' && presentationBinding_0.holderVerificationMethodRef.didContractAddress.bytes.buffer instanceof ArrayBuffer && presentationBinding_0.holderVerificationMethodRef.didContractAddress.bytes.BYTES_PER_ELEMENT === 1 && presentationBinding_0.holderVerificationMethodRef.didContractAddress.bytes.length === 32 && presentationBinding_0.holderVerificationMethodRef.methodId.buffer instanceof ArrayBuffer && presentationBinding_0.holderVerificationMethodRef.methodId.BYTES_PER_ELEMENT === 1 && presentationBinding_0.holderVerificationMethodRef.methodId.length === 32)) {
-      __compactRuntime.typeError('assertMatchingExplicitHolderBindings',
+    if (!(typeof(proof_0) === 'object' && typeof(proof_0.signerVerificationMethodRef) === 'object' && typeof(proof_0.signerVerificationMethodRef.controllerAddress) === 'object' && proof_0.signerVerificationMethodRef.controllerAddress.bytes.buffer instanceof ArrayBuffer && proof_0.signerVerificationMethodRef.controllerAddress.bytes.BYTES_PER_ELEMENT === 1 && proof_0.signerVerificationMethodRef.controllerAddress.bytes.length === 32 && proof_0.signerVerificationMethodRef.methodId.buffer instanceof ArrayBuffer && proof_0.signerVerificationMethodRef.methodId.BYTES_PER_ELEMENT === 1 && proof_0.signerVerificationMethodRef.methodId.length === 32 && typeof(proof_0.createdAt) === 'bigint' && proof_0.createdAt >= 0n && proof_0.createdAt <= 18446744073709551615n && proof_0.challengeHash.buffer instanceof ArrayBuffer && proof_0.challengeHash.BYTES_PER_ELEMENT === 1 && proof_0.challengeHash.length === 32 && true && typeof(proof_0.signature) === 'object' && true && typeof(proof_0.signature.s) === 'bigint' && proof_0.signature.s >= 0 && proof_0.signature.s <= __compactRuntime.MAX_FIELD)) {
+      __compactRuntime.typeError('assertValidSignerAuthorizationContextProof',
                                  'argument 2',
-                                 'holder-bindings.compact line 20 char 1',
-                                 'struct ExplicitHolderBinding<holderVerificationMethodRef: struct VerificationMethodRef<didContractAddress: struct ContractAddress<bytes: Bytes<32>>, methodId: Bytes<32>>>',
-                                 presentationBinding_0)
+                                 'proofs.compact line 187 char 1',
+                                 'struct Proof<signerVerificationMethodRef: struct VerificationMethodRef<controllerAddress: struct ContractAddress<bytes: Bytes<32>>, methodId: Bytes<32>>, createdAt: Uint<0..18446744073709551616>, challengeHash: Bytes<32>, publicKey: Opaque<"JubjubPoint">, signature: struct Signature<r: Opaque<"JubjubPoint">, s: Field>>',
+                                 proof_0)
     }
-    return _dummyContract._assertMatchingExplicitHolderBindings_0(credentialBinding_0,
-                                                                  presentationBinding_0);
+    return _dummyContract._assertValidSignerAuthorizationContextProof_0(bodyRoot_0,
+                                                                        proof_0);
   },
-  assertProofMatchesExplicitHolderBinding: (...args_0) => {
+  assertValidVerifierRequestContextProof: (...args_0) => {
     if (args_0.length !== 2) {
-      throw new __compactRuntime.CompactError(`assertProofMatchesExplicitHolderBinding: expected 2 arguments (as invoked from Typescript), received ${args_0.length}`);
+      throw new __compactRuntime.CompactError(`assertValidVerifierRequestContextProof: expected 2 arguments (as invoked from Typescript), received ${args_0.length}`);
     }
-    const binding_0 = args_0[0];
-    const presentationProof_0 = args_0[1];
-    if (!(typeof(binding_0) === 'object' && typeof(binding_0.holderVerificationMethodRef) === 'object' && typeof(binding_0.holderVerificationMethodRef.didContractAddress) === 'object' && binding_0.holderVerificationMethodRef.didContractAddress.bytes.buffer instanceof ArrayBuffer && binding_0.holderVerificationMethodRef.didContractAddress.bytes.BYTES_PER_ELEMENT === 1 && binding_0.holderVerificationMethodRef.didContractAddress.bytes.length === 32 && binding_0.holderVerificationMethodRef.methodId.buffer instanceof ArrayBuffer && binding_0.holderVerificationMethodRef.methodId.BYTES_PER_ELEMENT === 1 && binding_0.holderVerificationMethodRef.methodId.length === 32)) {
-      __compactRuntime.typeError('assertProofMatchesExplicitHolderBinding',
+    const requestScopeCommitment_0 = args_0[0];
+    const proof_0 = args_0[1];
+    if (!(requestScopeCommitment_0.buffer instanceof ArrayBuffer && requestScopeCommitment_0.BYTES_PER_ELEMENT === 1 && requestScopeCommitment_0.length === 32)) {
+      __compactRuntime.typeError('assertValidVerifierRequestContextProof',
                                  'argument 1',
-                                 'holder-bindings.compact line 36 char 1',
-                                 'struct ExplicitHolderBinding<holderVerificationMethodRef: struct VerificationMethodRef<didContractAddress: struct ContractAddress<bytes: Bytes<32>>, methodId: Bytes<32>>>',
-                                 binding_0)
+                                 'proofs.compact line 198 char 1',
+                                 'Bytes<32>',
+                                 requestScopeCommitment_0)
     }
-    if (!(typeof(presentationProof_0) === 'object' && typeof(presentationProof_0.signerVerificationMethodRef) === 'object' && typeof(presentationProof_0.signerVerificationMethodRef.didContractAddress) === 'object' && presentationProof_0.signerVerificationMethodRef.didContractAddress.bytes.buffer instanceof ArrayBuffer && presentationProof_0.signerVerificationMethodRef.didContractAddress.bytes.BYTES_PER_ELEMENT === 1 && presentationProof_0.signerVerificationMethodRef.didContractAddress.bytes.length === 32 && presentationProof_0.signerVerificationMethodRef.methodId.buffer instanceof ArrayBuffer && presentationProof_0.signerVerificationMethodRef.methodId.BYTES_PER_ELEMENT === 1 && presentationProof_0.signerVerificationMethodRef.methodId.length === 32 && typeof(presentationProof_0.createdAt) === 'bigint' && presentationProof_0.createdAt >= 0n && presentationProof_0.createdAt <= 18446744073709551615n && presentationProof_0.challengeHash.buffer instanceof ArrayBuffer && presentationProof_0.challengeHash.BYTES_PER_ELEMENT === 1 && presentationProof_0.challengeHash.length === 32 && true && typeof(presentationProof_0.signature) === 'object' && true && typeof(presentationProof_0.signature.s) === 'bigint' && presentationProof_0.signature.s >= 0 && presentationProof_0.signature.s <= __compactRuntime.MAX_FIELD)) {
-      __compactRuntime.typeError('assertProofMatchesExplicitHolderBinding',
+    if (!(typeof(proof_0) === 'object' && typeof(proof_0.signerVerificationMethodRef) === 'object' && typeof(proof_0.signerVerificationMethodRef.controllerAddress) === 'object' && proof_0.signerVerificationMethodRef.controllerAddress.bytes.buffer instanceof ArrayBuffer && proof_0.signerVerificationMethodRef.controllerAddress.bytes.BYTES_PER_ELEMENT === 1 && proof_0.signerVerificationMethodRef.controllerAddress.bytes.length === 32 && proof_0.signerVerificationMethodRef.methodId.buffer instanceof ArrayBuffer && proof_0.signerVerificationMethodRef.methodId.BYTES_PER_ELEMENT === 1 && proof_0.signerVerificationMethodRef.methodId.length === 32 && typeof(proof_0.createdAt) === 'bigint' && proof_0.createdAt >= 0n && proof_0.createdAt <= 18446744073709551615n && proof_0.challengeHash.buffer instanceof ArrayBuffer && proof_0.challengeHash.BYTES_PER_ELEMENT === 1 && proof_0.challengeHash.length === 32 && true && typeof(proof_0.signature) === 'object' && true && typeof(proof_0.signature.s) === 'bigint' && proof_0.signature.s >= 0 && proof_0.signature.s <= __compactRuntime.MAX_FIELD)) {
+      __compactRuntime.typeError('assertValidVerifierRequestContextProof',
                                  'argument 2',
-                                 'holder-bindings.compact line 36 char 1',
-                                 'struct Proof<signerVerificationMethodRef: struct VerificationMethodRef<didContractAddress: struct ContractAddress<bytes: Bytes<32>>, methodId: Bytes<32>>, createdAt: Uint<0..18446744073709551616>, challengeHash: Bytes<32>, publicKey: Opaque<"JubjubPoint">, signature: struct Signature<r: Opaque<"JubjubPoint">, s: Field>>',
-                                 presentationProof_0)
+                                 'proofs.compact line 198 char 1',
+                                 'struct Proof<signerVerificationMethodRef: struct VerificationMethodRef<controllerAddress: struct ContractAddress<bytes: Bytes<32>>, methodId: Bytes<32>>, createdAt: Uint<0..18446744073709551616>, challengeHash: Bytes<32>, publicKey: Opaque<"JubjubPoint">, signature: struct Signature<r: Opaque<"JubjubPoint">, s: Field>>',
+                                 proof_0)
     }
-    return _dummyContract._assertProofMatchesExplicitHolderBinding_0(binding_0,
-                                                                     presentationProof_0);
+    return _dummyContract._assertValidVerifierRequestContextProof_0(requestScopeCommitment_0,
+                                                                    proof_0);
   },
-  assertValidJubjubHolderBinding: (...args_0) => {
+  assertValidAuthorizedSignerDescriptor: (...args_0) => {
     if (args_0.length !== 1) {
-      throw new __compactRuntime.CompactError(`assertValidJubjubHolderBinding: expected 1 argument (as invoked from Typescript), received ${args_0.length}`);
+      throw new __compactRuntime.CompactError(`assertValidAuthorizedSignerDescriptor: expected 1 argument (as invoked from Typescript), received ${args_0.length}`);
     }
-    const binding_0 = args_0[0];
-    if (!(typeof(binding_0) === 'object' && true)) {
-      __compactRuntime.typeError('assertValidJubjubHolderBinding',
-                                 'argument 1',
-                                 'holder-bindings.compact line 52 char 1',
-                                 'struct JubjubHolderBinding<holderPublicKey: Opaque<"JubjubPoint">>',
-                                 binding_0)
-    }
-    return _dummyContract._assertValidJubjubHolderBinding_0(binding_0);
-  },
-  assertMatchingJubjubHolderBindings: (...args_0) => {
-    if (args_0.length !== 2) {
-      throw new __compactRuntime.CompactError(`assertMatchingJubjubHolderBindings: expected 2 arguments (as invoked from Typescript), received ${args_0.length}`);
-    }
-    const credentialBinding_0 = args_0[0];
-    const presentationBinding_0 = args_0[1];
-    if (!(typeof(credentialBinding_0) === 'object' && true)) {
-      __compactRuntime.typeError('assertMatchingJubjubHolderBindings',
+    const descriptor_0 = args_0[0];
+    if (!(typeof(descriptor_0) === 'object' && typeof(descriptor_0.version) === 'bigint' && descriptor_0.version >= 0n && descriptor_0.version <= 65535n && descriptor_0.authorizationId.buffer instanceof ArrayBuffer && descriptor_0.authorizationId.BYTES_PER_ELEMENT === 1 && descriptor_0.authorizationId.length === 32 && typeof(descriptor_0.decisionSequence) === 'bigint' && descriptor_0.decisionSequence >= 0n && descriptor_0.decisionSequence <= 18446744073709551615n && typeof(descriptor_0.state) === 'number' && descriptor_0.state >= 0 && descriptor_0.state <= 2 && typeof(descriptor_0.role) === 'number' && descriptor_0.role >= 0 && descriptor_0.role <= 1 && typeof(descriptor_0.signerVerificationMethodRef) === 'object' && typeof(descriptor_0.signerVerificationMethodRef.controllerAddress) === 'object' && descriptor_0.signerVerificationMethodRef.controllerAddress.bytes.buffer instanceof ArrayBuffer && descriptor_0.signerVerificationMethodRef.controllerAddress.bytes.BYTES_PER_ELEMENT === 1 && descriptor_0.signerVerificationMethodRef.controllerAddress.bytes.length === 32 && descriptor_0.signerVerificationMethodRef.methodId.buffer instanceof ArrayBuffer && descriptor_0.signerVerificationMethodRef.methodId.BYTES_PER_ELEMENT === 1 && descriptor_0.signerVerificationMethodRef.methodId.length === 32 && true && typeof(descriptor_0.didStateVersion) === 'bigint' && descriptor_0.didStateVersion >= 0n && descriptor_0.didStateVersion <= 18446744073709551615n && typeof(descriptor_0.verificationRelationship) === 'number' && descriptor_0.verificationRelationship >= 0 && descriptor_0.verificationRelationship <= 2 && descriptor_0.scopeCommitment.buffer instanceof ArrayBuffer && descriptor_0.scopeCommitment.BYTES_PER_ELEMENT === 1 && descriptor_0.scopeCommitment.length === 32 && descriptor_0.policyCommitment.buffer instanceof ArrayBuffer && descriptor_0.policyCommitment.BYTES_PER_ELEMENT === 1 && descriptor_0.policyCommitment.length === 32)) {
+      __compactRuntime.typeError('assertValidAuthorizedSignerDescriptor',
                                  'argument 1',
-                                 'holder-bindings.compact line 67 char 1',
-                                 'struct JubjubHolderBinding<holderPublicKey: Opaque<"JubjubPoint">>',
-                                 credentialBinding_0)
-    }
-    if (!(typeof(presentationBinding_0) === 'object' && true)) {
-      __compactRuntime.typeError('assertMatchingJubjubHolderBindings',
-                                 'argument 2',
-                                 'holder-bindings.compact line 67 char 1',
-                                 'struct JubjubHolderBinding<holderPublicKey: Opaque<"JubjubPoint">>',
-                                 presentationBinding_0)
+                                 'signer-authorization.compact line 42 char 1',
+                                 'struct AuthorizedSignerDescriptor<version: Uint<0..65536>, authorizationId: Bytes<32>, decisionSequence: Uint<0..18446744073709551616>, state: Enum<AuthorizationState, active, suspended, revoked>, role: Enum<SignerRole, issuer, verifier>, signerVerificationMethodRef: struct VerificationMethodRef<controllerAddress: struct ContractAddress<bytes: Bytes<32>>, methodId: Bytes<32>>, signerPublicKey: Opaque<"JubjubPoint">, didStateVersion: Uint<0..18446744073709551616>, verificationRelationship: Enum<VerificationRelationship, assertionMethod, authentication, capabilityInvocation>, scopeCommitment: Bytes<32>, policyCommitment: Bytes<32>>',
+                                 descriptor_0)
     }
-    return _dummyContract._assertMatchingJubjubHolderBindings_0(credentialBinding_0,
-                                                                presentationBinding_0);
+    return _dummyContract._assertValidAuthorizedSignerDescriptor_0(descriptor_0);
   },
-  assertProofMatchesJubjubHolderBinding: (...args_0) => {
-    if (args_0.length !== 2) {
-      throw new __compactRuntime.CompactError(`assertProofMatchesJubjubHolderBinding: expected 2 arguments (as invoked from Typescript), received ${args_0.length}`);
+  authorizedSignerDescriptorRoot: (...args_0) => {
+    if (args_0.length !== 1) {
+      throw new __compactRuntime.CompactError(`authorizedSignerDescriptorRoot: expected 1 argument (as invoked from Typescript), received ${args_0.length}`);
     }
-    const binding_0 = args_0[0];
-    const presentationProof_0 = args_0[1];
-    if (!(typeof(binding_0) === 'object' && true)) {
-      __compactRuntime.typeError('assertProofMatchesJubjubHolderBinding',
+    const descriptor_0 = args_0[0];
+    if (!(typeof(descriptor_0) === 'object' && typeof(descriptor_0.version) === 'bigint' && descriptor_0.version >= 0n && descriptor_0.version <= 65535n && descriptor_0.authorizationId.buffer instanceof ArrayBuffer && descriptor_0.authorizationId.BYTES_PER_ELEMENT === 1 && descriptor_0.authorizationId.length === 32 && typeof(descriptor_0.decisionSequence) === 'bigint' && descriptor_0.decisionSequence >= 0n && descriptor_0.decisionSequence <= 18446744073709551615n && typeof(descriptor_0.state) === 'number' && descriptor_0.state >= 0 && descriptor_0.state <= 2 && typeof(descriptor_0.role) === 'number' && descriptor_0.role >= 0 && descriptor_0.role <= 1 && typeof(descriptor_0.signerVerificationMethodRef) === 'object' && typeof(descriptor_0.signerVerificationMethodRef.controllerAddress) === 'object' && descriptor_0.signerVerificationMethodRef.controllerAddress.bytes.buffer instanceof ArrayBuffer && descriptor_0.signerVerificationMethodRef.controllerAddress.bytes.BYTES_PER_ELEMENT === 1 && descriptor_0.signerVerificationMethodRef.controllerAddress.bytes.length === 32 && descriptor_0.signerVerificationMethodRef.methodId.buffer instanceof ArrayBuffer && descriptor_0.signerVerificationMethodRef.methodId.BYTES_PER_ELEMENT === 1 && descriptor_0.signerVerificationMethodRef.methodId.length === 32 && true && typeof(descriptor_0.didStateVersion) === 'bigint' && descriptor_0.didStateVersion >= 0n && descriptor_0.didStateVersion <= 18446744073709551615n && typeof(descriptor_0.verificationRelationship) === 'number' && descriptor_0.verificationRelationship >= 0 && descriptor_0.verificationRelationship <= 2 && descriptor_0.scopeCommitment.buffer instanceof ArrayBuffer && descriptor_0.scopeCommitment.BYTES_PER_ELEMENT === 1 && descriptor_0.scopeCommitment.length === 32 && descriptor_0.policyCommitment.buffer instanceof ArrayBuffer && descriptor_0.policyCommitment.BYTES_PER_ELEMENT === 1 && descriptor_0.policyCommitment.length === 32)) {
+      __compactRuntime.typeError('authorizedSignerDescriptorRoot',
                                  'argument 1',
-                                 'holder-bindings.compact line 80 char 1',
-                                 'struct JubjubHolderBinding<holderPublicKey: Opaque<"JubjubPoint">>',
-                                 binding_0)
-    }
-    if (!(typeof(presentationProof_0) === 'object' && typeof(presentationProof_0.signerVerificationMethodRef) === 'object' && typeof(presentationProof_0.signerVerificationMethodRef.didContractAddress) === 'object' && presentationProof_0.signerVerificationMethodRef.didContractAddress.bytes.buffer instanceof ArrayBuffer && presentationProof_0.signerVerificationMethodRef.didContractAddress.bytes.BYTES_PER_ELEMENT === 1 && presentationProof_0.signerVerificationMethodRef.didContractAddress.bytes.length === 32 && presentationProof_0.signerVerificationMethodRef.methodId.buffer instanceof ArrayBuffer && presentationProof_0.signerVerificationMethodRef.methodId.BYTES_PER_ELEMENT === 1 && presentationProof_0.signerVerificationMethodRef.methodId.length === 32 && typeof(presentationProof_0.createdAt) === 'bigint' && presentationProof_0.createdAt >= 0n && presentationProof_0.createdAt <= 18446744073709551615n && presentationProof_0.challengeHash.buffer instanceof ArrayBuffer && presentationProof_0.challengeHash.BYTES_PER_ELEMENT === 1 && presentationProof_0.challengeHash.length === 32 && true && typeof(presentationProof_0.signature) === 'object' && true && typeof(presentationProof_0.signature.s) === 'bigint' && presentationProof_0.signature.s >= 0 && presentationProof_0.signature.s <= __compactRuntime.MAX_FIELD)) {
-      __compactRuntime.typeError('assertProofMatchesJubjubHolderBinding',
-                                 'argument 2',
-                                 'holder-bindings.compact line 80 char 1',
-                                 'struct Proof<signerVerificationMethodRef: struct VerificationMethodRef<didContractAddress: struct ContractAddress<bytes: Bytes<32>>, methodId: Bytes<32>>, createdAt: Uint<0..18446744073709551616>, challengeHash: Bytes<32>, publicKey: Opaque<"JubjubPoint">, signature: struct Signature<r: Opaque<"JubjubPoint">, s: Field>>',
-                                 presentationProof_0)
+                                 'signer-authorization.compact line 86 char 1',
+                                 'struct AuthorizedSignerDescriptor<version: Uint<0..65536>, authorizationId: Bytes<32>, decisionSequence: Uint<0..18446744073709551616>, state: Enum<AuthorizationState, active, suspended, revoked>, role: Enum<SignerRole, issuer, verifier>, signerVerificationMethodRef: struct VerificationMethodRef<controllerAddress: struct ContractAddress<bytes: Bytes<32>>, methodId: Bytes<32>>, signerPublicKey: Opaque<"JubjubPoint">, didStateVersion: Uint<0..18446744073709551616>, verificationRelationship: Enum<VerificationRelationship, assertionMethod, authentication, capabilityInvocation>, scopeCommitment: Bytes<32>, policyCommitment: Bytes<32>>',
+                                 descriptor_0)
     }
-    return _dummyContract._assertProofMatchesJubjubHolderBinding_0(binding_0,
-                                                                   presentationProof_0);
+    return _dummyContract._authorizedSignerDescriptorRoot_0(descriptor_0);
   },
-  assertValidOffchainMidnightHolderBinding: (...args_0) => {
+  issuerScopeCommitment: (...args_0) => {
     if (args_0.length !== 1) {
-      throw new __compactRuntime.CompactError(`assertValidOffchainMidnightHolderBinding: expected 1 argument (as invoked from Typescript), received ${args_0.length}`);
+      throw new __compactRuntime.CompactError(`issuerScopeCommitment: expected 1 argument (as invoked from Typescript), received ${args_0.length}`);
     }
-    const binding_0 = args_0[0];
-    if (!(typeof(binding_0) === 'object' && binding_0.holderDidStateHash.buffer instanceof ArrayBuffer && binding_0.holderDidStateHash.BYTES_PER_ELEMENT === 1 && binding_0.holderDidStateHash.length === 32 && binding_0.holderMethodId.buffer instanceof ArrayBuffer && binding_0.holderMethodId.BYTES_PER_ELEMENT === 1 && binding_0.holderMethodId.length === 32 && true)) {
-      __compactRuntime.typeError('assertValidOffchainMidnightHolderBinding',
+    const schema_0 = args_0[0];
+    if (!(typeof(schema_0) === 'object' && schema_0.packageId.buffer instanceof ArrayBuffer && schema_0.packageId.BYTES_PER_ELEMENT === 1 && schema_0.packageId.length === 32 && schema_0.schemaId.buffer instanceof ArrayBuffer && schema_0.schemaId.BYTES_PER_ELEMENT === 1 && schema_0.schemaId.length === 32 && typeof(schema_0.majorVersion) === 'bigint' && schema_0.majorVersion >= 0n && schema_0.majorVersion <= 65535n && typeof(schema_0.minorVersion) === 'bigint' && schema_0.minorVersion >= 0n && schema_0.minorVersion <= 65535n)) {
+      __compactRuntime.typeError('issuerScopeCommitment',
                                  'argument 1',
-                                 'holder-bindings.compact line 93 char 1',
-                                 'struct OffchainMidnightHolderBinding<holderDidStateHash: Bytes<32>, holderMethodId: Bytes<32>, holderPublicKey: Opaque<"JubjubPoint">>',
-                                 binding_0)
+                                 'signer-authorization.compact line 99 char 1',
+                                 'struct SchemaRef<packageId: Bytes<32>, schemaId: Bytes<32>, majorVersion: Uint<0..65536>, minorVersion: Uint<0..65536>>',
+                                 schema_0)
     }
-    return _dummyContract._assertValidOffchainMidnightHolderBinding_0(binding_0);
+    return _dummyContract._issuerScopeCommitment_0(schema_0);
   },
-  assertMatchingOffchainMidnightHolderBindings: (...args_0) => {
+  assertProofSignerMatchesAuthorization: (...args_0) => {
     if (args_0.length !== 2) {
-      throw new __compactRuntime.CompactError(`assertMatchingOffchainMidnightHolderBindings: expected 2 arguments (as invoked from Typescript), received ${args_0.length}`);
+      throw new __compactRuntime.CompactError(`assertProofSignerMatchesAuthorization: expected 2 arguments (as invoked from Typescript), received ${args_0.length}`);
     }
-    const credentialBinding_0 = args_0[0];
-    const presentationBinding_0 = args_0[1];
-    if (!(typeof(credentialBinding_0) === 'object' && credentialBinding_0.holderDidStateHash.buffer instanceof ArrayBuffer && credentialBinding_0.holderDidStateHash.BYTES_PER_ELEMENT === 1 && credentialBinding_0.holderDidStateHash.length === 32 && credentialBinding_0.holderMethodId.buffer instanceof ArrayBuffer && credentialBinding_0.holderMethodId.BYTES_PER_ELEMENT === 1 && credentialBinding_0.holderMethodId.length === 32 && true)) {
-      __compactRuntime.typeError('assertMatchingOffchainMidnightHolderBindings',
+    const proof_0 = args_0[0];
+    const descriptor_0 = args_0[1];
+    if (!(typeof(proof_0) === 'object' && typeof(proof_0.signerVerificationMethodRef) === 'object' && typeof(proof_0.signerVerificationMethodRef.controllerAddress) === 'object' && proof_0.signerVerificationMethodRef.controllerAddress.bytes.buffer instanceof ArrayBuffer && proof_0.signerVerificationMethodRef.controllerAddress.bytes.BYTES_PER_ELEMENT === 1 && proof_0.signerVerificationMethodRef.controllerAddress.bytes.length === 32 && proof_0.signerVerificationMethodRef.methodId.buffer instanceof ArrayBuffer && proof_0.signerVerificationMethodRef.methodId.BYTES_PER_ELEMENT === 1 && proof_0.signerVerificationMethodRef.methodId.length === 32 && typeof(proof_0.createdAt) === 'bigint' && proof_0.createdAt >= 0n && proof_0.createdAt <= 18446744073709551615n && proof_0.challengeHash.buffer instanceof ArrayBuffer && proof_0.challengeHash.BYTES_PER_ELEMENT === 1 && proof_0.challengeHash.length === 32 && true && typeof(proof_0.signature) === 'object' && true && typeof(proof_0.signature.s) === 'bigint' && proof_0.signature.s >= 0 && proof_0.signature.s <= __compactRuntime.MAX_FIELD)) {
+      __compactRuntime.typeError('assertProofSignerMatchesAuthorization',
                                  'argument 1',
-                                 'holder-bindings.compact line 114 char 1',
-                                 'struct OffchainMidnightHolderBinding<holderDidStateHash: Bytes<32>, holderMethodId: Bytes<32>, holderPublicKey: Opaque<"JubjubPoint">>',
-                                 credentialBinding_0)
+                                 'signer-authorization.compact line 104 char 1',
+                                 'struct Proof<signerVerificationMethodRef: struct VerificationMethodRef<controllerAddress: struct ContractAddress<bytes: Bytes<32>>, methodId: Bytes<32>>, createdAt: Uint<0..18446744073709551616>, challengeHash: Bytes<32>, publicKey: Opaque<"JubjubPoint">, signature: struct Signature<r: Opaque<"JubjubPoint">, s: Field>>',
+                                 proof_0)
     }
-    if (!(typeof(presentationBinding_0) === 'object' && presentationBinding_0.holderDidStateHash.buffer instanceof ArrayBuffer && presentationBinding_0.holderDidStateHash.BYTES_PER_ELEMENT === 1 && presentationBinding_0.holderDidStateHash.length === 32 && presentationBinding_0.holderMethodId.buffer instanceof ArrayBuffer && presentationBinding_0.holderMethodId.BYTES_PER_ELEMENT === 1 && presentationBinding_0.holderMethodId.length === 32 && true)) {
-      __compactRuntime.typeError('assertMatchingOffchainMidnightHolderBindings',
+    if (!(typeof(descriptor_0) === 'object' && typeof(descriptor_0.version) === 'bigint' && descriptor_0.version >= 0n && descriptor_0.version <= 65535n && descriptor_0.authorizationId.buffer instanceof ArrayBuffer && descriptor_0.authorizationId.BYTES_PER_ELEMENT === 1 && descriptor_0.authorizationId.length === 32 && typeof(descriptor_0.decisionSequence) === 'bigint' && descriptor_0.decisionSequence >= 0n && descriptor_0.decisionSequence <= 18446744073709551615n && typeof(descriptor_0.state) === 'number' && descriptor_0.state >= 0 && descriptor_0.state <= 2 && typeof(descriptor_0.role) === 'number' && descriptor_0.role >= 0 && descriptor_0.role <= 1 && typeof(descriptor_0.signerVerificationMethodRef) === 'object' && typeof(descriptor_0.signerVerificationMethodRef.controllerAddress) === 'object' && descriptor_0.signerVerificationMethodRef.controllerAddress.bytes.buffer instanceof ArrayBuffer && descriptor_0.signerVerificationMethodRef.controllerAddress.bytes.BYTES_PER_ELEMENT === 1 && descriptor_0.signerVerificationMethodRef.controllerAddress.bytes.length === 32 && descriptor_0.signerVerificationMethodRef.methodId.buffer instanceof ArrayBuffer && descriptor_0.signerVerificationMethodRef.methodId.BYTES_PER_ELEMENT === 1 && descriptor_0.signerVerificationMethodRef.methodId.length === 32 && true && typeof(descriptor_0.didStateVersion) === 'bigint' && descriptor_0.didStateVersion >= 0n && descriptor_0.didStateVersion <= 18446744073709551615n && typeof(descriptor_0.verificationRelationship) === 'number' && descriptor_0.verificationRelationship >= 0 && descriptor_0.verificationRelationship <= 2 && descriptor_0.scopeCommitment.buffer instanceof ArrayBuffer && descriptor_0.scopeCommitment.BYTES_PER_ELEMENT === 1 && descriptor_0.scopeCommitment.length === 32 && descriptor_0.policyCommitment.buffer instanceof ArrayBuffer && descriptor_0.policyCommitment.BYTES_PER_ELEMENT === 1 && descriptor_0.policyCommitment.length === 32)) {
+      __compactRuntime.typeError('assertProofSignerMatchesAuthorization',
                                  'argument 2',
-                                 'holder-bindings.compact line 114 char 1',
-                                 'struct OffchainMidnightHolderBinding<holderDidStateHash: Bytes<32>, holderMethodId: Bytes<32>, holderPublicKey: Opaque<"JubjubPoint">>',
-                                 presentationBinding_0)
+                                 'signer-authorization.compact line 104 char 1',
+                                 'struct AuthorizedSignerDescriptor<version: Uint<0..65536>, authorizationId: Bytes<32>, decisionSequence: Uint<0..18446744073709551616>, state: Enum<AuthorizationState, active, suspended, revoked>, role: Enum<SignerRole, issuer, verifier>, signerVerificationMethodRef: struct VerificationMethodRef<controllerAddress: struct ContractAddress<bytes: Bytes<32>>, methodId: Bytes<32>>, signerPublicKey: Opaque<"JubjubPoint">, didStateVersion: Uint<0..18446744073709551616>, verificationRelationship: Enum<VerificationRelationship, assertionMethod, authentication, capabilityInvocation>, scopeCommitment: Bytes<32>, policyCommitment: Bytes<32>>',
+                                 descriptor_0)
     }
-    return _dummyContract._assertMatchingOffchainMidnightHolderBindings_0(credentialBinding_0,
-                                                                          presentationBinding_0);
+    return _dummyContract._assertProofSignerMatchesAuthorization_0(proof_0,
+                                                                   descriptor_0);
   },
-  assertProofMatchesOffchainMidnightHolderBinding: (...args_0) => {
-    if (args_0.length !== 2) {
-      throw new __compactRuntime.CompactError(`assertProofMatchesOffchainMidnightHolderBinding: expected 2 arguments (as invoked from Typescript), received ${args_0.length}`);
+  assertAuthorizedIssuerDescriptor: (...args_0) => {
+    if (args_0.length !== 3) {
+      throw new __compactRuntime.CompactError(`assertAuthorizedIssuerDescriptor: expected 3 arguments (as invoked from Typescript), received ${args_0.length}`);
     }
-    const binding_0 = args_0[0];
-    const presentationProof_0 = args_0[1];
-    if (!(typeof(binding_0) === 'object' && binding_0.holderDidStateHash.buffer instanceof ArrayBuffer && binding_0.holderDidStateHash.BYTES_PER_ELEMENT === 1 && binding_0.holderDidStateHash.length === 32 && binding_0.holderMethodId.buffer instanceof ArrayBuffer && binding_0.holderMethodId.BYTES_PER_ELEMENT === 1 && binding_0.holderMethodId.length === 32 && true)) {
-      __compactRuntime.typeError('assertProofMatchesOffchainMidnightHolderBinding',
+    const schema_0 = args_0[0];
+    const proof_0 = args_0[1];
+    const descriptor_0 = args_0[2];
+    if (!(typeof(schema_0) === 'object' && schema_0.packageId.buffer instanceof ArrayBuffer && schema_0.packageId.BYTES_PER_ELEMENT === 1 && schema_0.packageId.length === 32 && schema_0.schemaId.buffer instanceof ArrayBuffer && schema_0.schemaId.BYTES_PER_ELEMENT === 1 && schema_0.schemaId.length === 32 && typeof(schema_0.majorVersion) === 'bigint' && schema_0.majorVersion >= 0n && schema_0.majorVersion <= 65535n && typeof(schema_0.minorVersion) === 'bigint' && schema_0.minorVersion >= 0n && schema_0.minorVersion <= 65535n)) {
+      __compactRuntime.typeError('assertAuthorizedIssuerDescriptor',
                                  'argument 1',
-                                 'holder-bindings.compact line 140 char 1',
-                                 'struct OffchainMidnightHolderBinding<holderDidStateHash: Bytes<32>, holderMethodId: Bytes<32>, holderPublicKey: Opaque<"JubjubPoint">>',
-                                 binding_0)
+                                 'signer-authorization.compact line 129 char 1',
+                                 'struct SchemaRef<packageId: Bytes<32>, schemaId: Bytes<32>, majorVersion: Uint<0..65536>, minorVersion: Uint<0..65536>>',
+                                 schema_0)
     }
-    if (!(typeof(presentationProof_0) === 'object' && typeof(presentationProof_0.signerVerificationMethodRef) === 'object' && typeof(presentationProof_0.signerVerificationMethodRef.didContractAddress) === 'object' && presentationProof_0.signerVerificationMethodRef.didContractAddress.bytes.buffer instanceof ArrayBuffer && presentationProof_0.signerVerificationMethodRef.didContractAddress.bytes.BYTES_PER_ELEMENT === 1 && presentationProof_0.signerVerificationMethodRef.didContractAddress.bytes.length === 32 && presentationProof_0.signerVerificationMethodRef.methodId.buffer instanceof ArrayBuffer && presentationProof_0.signerVerificationMethodRef.methodId.BYTES_PER_ELEMENT === 1 && presentationProof_0.signerVerificationMethodRef.methodId.length === 32 && typeof(presentationProof_0.createdAt) === 'bigint' && presentationProof_0.createdAt >= 0n && presentationProof_0.createdAt <= 18446744073709551615n && presentationProof_0.challengeHash.buffer instanceof ArrayBuffer && presentationProof_0.challengeHash.BYTES_PER_ELEMENT === 1 && presentationProof_0.challengeHash.length === 32 && true && typeof(presentationProof_0.signature) === 'object' && true && typeof(presentationProof_0.signature.s) === 'bigint' && presentationProof_0.signature.s >= 0 && presentationProof_0.signature.s <= __compactRuntime.MAX_FIELD)) {
-      __compactRuntime.typeError('assertProofMatchesOffchainMidnightHolderBinding',
+    if (!(typeof(proof_0) === 'object' && typeof(proof_0.signerVerificationMethodRef) === 'object' && typeof(proof_0.signerVerificationMethodRef.controllerAddress) === 'object' && proof_0.signerVerificationMethodRef.controllerAddress.bytes.buffer instanceof ArrayBuffer && proof_0.signerVerificationMethodRef.controllerAddress.bytes.BYTES_PER_ELEMENT === 1 && proof_0.signerVerificationMethodRef.controllerAddress.bytes.length === 32 && proof_0.signerVerificationMethodRef.methodId.buffer instanceof ArrayBuffer && proof_0.signerVerificationMethodRef.methodId.BYTES_PER_ELEMENT === 1 && proof_0.signerVerificationMethodRef.methodId.length === 32 && typeof(proof_0.createdAt) === 'bigint' && proof_0.createdAt >= 0n && proof_0.createdAt <= 18446744073709551615n && proof_0.challengeHash.buffer instanceof ArrayBuffer && proof_0.challengeHash.BYTES_PER_ELEMENT === 1 && proof_0.challengeHash.length === 32 && true && typeof(proof_0.signature) === 'object' && true && typeof(proof_0.signature.s) === 'bigint' && proof_0.signature.s >= 0 && proof_0.signature.s <= __compactRuntime.MAX_FIELD)) {
+      __compactRuntime.typeError('assertAuthorizedIssuerDescriptor',
                                  'argument 2',
-                                 'holder-bindings.compact line 140 char 1',
-                                 'struct Proof<signerVerificationMethodRef: struct VerificationMethodRef<didContractAddress: struct ContractAddress<bytes: Bytes<32>>, methodId: Bytes<32>>, createdAt: Uint<0..18446744073709551616>, challengeHash: Bytes<32>, publicKey: Opaque<"JubjubPoint">, signature: struct Signature<r: Opaque<"JubjubPoint">, s: Field>>',
-                                 presentationProof_0)
+                                 'signer-authorization.compact line 129 char 1',
+                                 'struct Proof<signerVerificationMethodRef: struct VerificationMethodRef<controllerAddress: struct ContractAddress<bytes: Bytes<32>>, methodId: Bytes<32>>, createdAt: Uint<0..18446744073709551616>, challengeHash: Bytes<32>, publicKey: Opaque<"JubjubPoint">, signature: struct Signature<r: Opaque<"JubjubPoint">, s: Field>>',
+                                 proof_0)
     }
-    return _dummyContract._assertProofMatchesOffchainMidnightHolderBinding_0(binding_0,
-                                                                             presentationProof_0);
-  },
-  noSecretHolderChallengeResponse: (...args_0) => {
-    if (args_0.length !== 0) {
-      throw new __compactRuntime.CompactError(`noSecretHolderChallengeResponse: expected 0 arguments (as invoked from Typescript), received ${args_0.length}`);
+    if (!(typeof(descriptor_0) === 'object' && typeof(descriptor_0.version) === 'bigint' && descriptor_0.version >= 0n && descriptor_0.version <= 65535n && descriptor_0.authorizationId.buffer instanceof ArrayBuffer && descriptor_0.authorizationId.BYTES_PER_ELEMENT === 1 && descriptor_0.authorizationId.length === 32 && typeof(descriptor_0.decisionSequence) === 'bigint' && descriptor_0.decisionSequence >= 0n && descriptor_0.decisionSequence <= 18446744073709551615n && typeof(descriptor_0.state) === 'number' && descriptor_0.state >= 0 && descriptor_0.state <= 2 && typeof(descriptor_0.role) === 'number' && descriptor_0.role >= 0 && descriptor_0.role <= 1 && typeof(descriptor_0.signerVerificationMethodRef) === 'object' && typeof(descriptor_0.signerVerificationMethodRef.controllerAddress) === 'object' && descriptor_0.signerVerificationMethodRef.controllerAddress.bytes.buffer instanceof ArrayBuffer && descriptor_0.signerVerificationMethodRef.controllerAddress.bytes.BYTES_PER_ELEMENT === 1 && descriptor_0.signerVerificationMethodRef.controllerAddress.bytes.length === 32 && descriptor_0.signerVerificationMethodRef.methodId.buffer instanceof ArrayBuffer && descriptor_0.signerVerificationMethodRef.methodId.BYTES_PER_ELEMENT === 1 && descriptor_0.signerVerificationMethodRef.methodId.length === 32 && true && typeof(descriptor_0.didStateVersion) === 'bigint' && descriptor_0.didStateVersion >= 0n && descriptor_0.didStateVersion <= 18446744073709551615n && typeof(descriptor_0.verificationRelationship) === 'number' && descriptor_0.verificationRelationship >= 0 && descriptor_0.verificationRelationship <= 2 && descriptor_0.scopeCommitment.buffer instanceof ArrayBuffer && descriptor_0.scopeCommitment.BYTES_PER_ELEMENT === 1 && descriptor_0.scopeCommitment.length === 32 && descriptor_0.policyCommitment.buffer instanceof ArrayBuffer && descriptor_0.policyCommitment.BYTES_PER_ELEMENT === 1 && descriptor_0.policyCommitment.length === 32)) {
+      __compactRuntime.typeError('assertAuthorizedIssuerDescriptor',
+                                 'argument 3',
+                                 'signer-authorization.compact line 129 char 1',
+                                 'struct AuthorizedSignerDescriptor<version: Uint<0..65536>, authorizationId: Bytes<32>, decisionSequence: Uint<0..18446744073709551616>, state: Enum<AuthorizationState, active, suspended, revoked>, role: Enum<SignerRole, issuer, verifier>, signerVerificationMethodRef: struct VerificationMethodRef<controllerAddress: struct ContractAddress<bytes: Bytes<32>>, methodId: Bytes<32>>, signerPublicKey: Opaque<"JubjubPoint">, didStateVersion: Uint<0..18446744073709551616>, verificationRelationship: Enum<VerificationRelationship, assertionMethod, authentication, capabilityInvocation>, scopeCommitment: Bytes<32>, policyCommitment: Bytes<32>>',
+                                 descriptor_0)
     }
-    return _dummyContract._noSecretHolderChallengeResponse_0();
+    return _dummyContract._assertAuthorizedIssuerDescriptor_0(schema_0,
+                                                              proof_0,
+                                                              descriptor_0);
   },
-  secretHolderBindingCommitment: (...args_0) => {
-    if (args_0.length !== 2) {
-      throw new __compactRuntime.CompactError(`secretHolderBindingCommitment: expected 2 arguments (as invoked from Typescript), received ${args_0.length}`);
+  assertAuthorizedVerifierProof: (...args_0) => {
+    if (args_0.length !== 3) {
+      throw new __compactRuntime.CompactError(`assertAuthorizedVerifierProof: expected 3 arguments (as invoked from Typescript), received ${args_0.length}`);
     }
-    const holderSecret_0 = args_0[0];
-    const opening_0 = args_0[1];
-    if (!(holderSecret_0.buffer instanceof ArrayBuffer && holderSecret_0.BYTES_PER_ELEMENT === 1 && holderSecret_0.length === 32)) {
-      __compactRuntime.typeError('secretHolderBindingCommitment',
+    const requestScopeCommitment_0 = args_0[0];
+    const proof_0 = args_0[1];
+    const descriptor_0 = args_0[2];
+    if (!(requestScopeCommitment_0.buffer instanceof ArrayBuffer && requestScopeCommitment_0.BYTES_PER_ELEMENT === 1 && requestScopeCommitment_0.length === 32)) {
+      __compactRuntime.typeError('assertAuthorizedVerifierProof',
                                  'argument 1',
-                                 'holder-bindings.compact line 157 char 1',
+                                 'signer-authorization.compact line 145 char 1',
                                  'Bytes<32>',
-                                 holderSecret_0)
+                                 requestScopeCommitment_0)
     }
-    if (!(opening_0.buffer instanceof ArrayBuffer && opening_0.BYTES_PER_ELEMENT === 1 && opening_0.length === 32)) {
-      __compactRuntime.typeError('secretHolderBindingCommitment',
+    if (!(typeof(proof_0) === 'object' && typeof(proof_0.signerVerificationMethodRef) === 'object' && typeof(proof_0.signerVerificationMethodRef.controllerAddress) === 'object' && proof_0.signerVerificationMethodRef.controllerAddress.bytes.buffer instanceof ArrayBuffer && proof_0.signerVerificationMethodRef.controllerAddress.bytes.BYTES_PER_ELEMENT === 1 && proof_0.signerVerificationMethodRef.controllerAddress.bytes.length === 32 && proof_0.signerVerificationMethodRef.methodId.buffer instanceof ArrayBuffer && proof_0.signerVerificationMethodRef.methodId.BYTES_PER_ELEMENT === 1 && proof_0.signerVerificationMethodRef.methodId.length === 32 && typeof(proof_0.createdAt) === 'bigint' && proof_0.createdAt >= 0n && proof_0.createdAt <= 18446744073709551615n && proof_0.challengeHash.buffer instanceof ArrayBuffer && proof_0.challengeHash.BYTES_PER_ELEMENT === 1 && proof_0.challengeHash.length === 32 && true && typeof(proof_0.signature) === 'object' && true && typeof(proof_0.signature.s) === 'bigint' && proof_0.signature.s >= 0 && proof_0.signature.s <= __compactRuntime.MAX_FIELD)) {
+      __compactRuntime.typeError('assertAuthorizedVerifierProof',
                                  'argument 2',
-                                 'holder-bindings.compact line 157 char 1',
-                                 'Bytes<32>',
-                                 opening_0)
-    }
-    return _dummyContract._secretHolderBindingCommitment_0(holderSecret_0,
-                                                           opening_0);
-  },
-  secretHolderBindingChallengeResponse: (...args_0) => {
-    if (args_0.length !== 2) {
-      throw new __compactRuntime.CompactError(`secretHolderBindingChallengeResponse: expected 2 arguments (as invoked from Typescript), received ${args_0.length}`);
-    }
-    const holderSecret_0 = args_0[0];
-    const verifierChallengeHash_0 = args_0[1];
-    if (!(holderSecret_0.buffer instanceof ArrayBuffer && holderSecret_0.BYTES_PER_ELEMENT === 1 && holderSecret_0.length === 32)) {
-      __compactRuntime.typeError('secretHolderBindingChallengeResponse',
-                                 'argument 1',
-                                 'holder-bindings.compact line 164 char 1',
-                                 'Bytes<32>',
-                                 holderSecret_0)
+                                 'signer-authorization.compact line 145 char 1',
+                                 'struct Proof<signerVerificationMethodRef: struct VerificationMethodRef<controllerAddress: struct ContractAddress<bytes: Bytes<32>>, methodId: Bytes<32>>, createdAt: Uint<0..18446744073709551616>, challengeHash: Bytes<32>, publicKey: Opaque<"JubjubPoint">, signature: struct Signature<r: Opaque<"JubjubPoint">, s: Field>>',
+                                 proof_0)
     }
-    if (!(verifierChallengeHash_0.buffer instanceof ArrayBuffer && verifierChallengeHash_0.BYTES_PER_ELEMENT === 1 && verifierChallengeHash_0.length === 32)) {
-      __compactRuntime.typeError('secretHolderBindingChallengeResponse',
-                                 'argument 2',
-                                 'holder-bindings.compact line 164 char 1',
-                                 'Bytes<32>',
-                                 verifierChallengeHash_0)
+    if (!(typeof(descriptor_0) === 'object' && typeof(descriptor_0.version) === 'bigint' && descriptor_0.version >= 0n && descriptor_0.version <= 65535n && descriptor_0.authorizationId.buffer instanceof ArrayBuffer && descriptor_0.authorizationId.BYTES_PER_ELEMENT === 1 && descriptor_0.authorizationId.length === 32 && typeof(descriptor_0.decisionSequence) === 'bigint' && descriptor_0.decisionSequence >= 0n && descriptor_0.decisionSequence <= 18446744073709551615n && typeof(descriptor_0.state) === 'number' && descriptor_0.state >= 0 && descriptor_0.state <= 2 && typeof(descriptor_0.role) === 'number' && descriptor_0.role >= 0 && descriptor_0.role <= 1 && typeof(descriptor_0.signerVerificationMethodRef) === 'object' && typeof(descriptor_0.signerVerificationMethodRef.controllerAddress) === 'object' && descriptor_0.signerVerificationMethodRef.controllerAddress.bytes.buffer instanceof ArrayBuffer && descriptor_0.signerVerificationMethodRef.controllerAddress.bytes.BYTES_PER_ELEMENT === 1 && descriptor_0.signerVerificationMethodRef.controllerAddress.bytes.length === 32 && descriptor_0.signerVerificationMethodRef.methodId.buffer instanceof ArrayBuffer && descriptor_0.signerVerificationMethodRef.methodId.BYTES_PER_ELEMENT === 1 && descriptor_0.signerVerificationMethodRef.methodId.length === 32 && true && typeof(descriptor_0.didStateVersion) === 'bigint' && descriptor_0.didStateVersion >= 0n && descriptor_0.didStateVersion <= 18446744073709551615n && typeof(descriptor_0.verificationRelationship) === 'number' && descriptor_0.verificationRelationship >= 0 && descriptor_0.verificationRelationship <= 2 && descriptor_0.scopeCommitment.buffer instanceof ArrayBuffer && descriptor_0.scopeCommitment.BYTES_PER_ELEMENT === 1 && descriptor_0.scopeCommitment.length === 32 && descriptor_0.policyCommitment.buffer instanceof ArrayBuffer && descriptor_0.policyCommitment.BYTES_PER_ELEMENT === 1 && descriptor_0.policyCommitment.length === 32)) {
+      __compactRuntime.typeError('assertAuthorizedVerifierProof',
+                                 'argument 3',
+                                 'signer-authorization.compact line 145 char 1',
+                                 'struct AuthorizedSignerDescriptor<version: Uint<0..65536>, authorizationId: Bytes<32>, decisionSequence: Uint<0..18446744073709551616>, state: Enum<AuthorizationState, active, suspended, revoked>, role: Enum<SignerRole, issuer, verifier>, signerVerificationMethodRef: struct VerificationMethodRef<controllerAddress: struct ContractAddress<bytes: Bytes<32>>, methodId: Bytes<32>>, signerPublicKey: Opaque<"JubjubPoint">, didStateVersion: Uint<0..18446744073709551616>, verificationRelationship: Enum<VerificationRelationship, assertionMethod, authentication, capabilityInvocation>, scopeCommitment: Bytes<32>, policyCommitment: Bytes<32>>',
+                                 descriptor_0)
     }
-    return _dummyContract._secretHolderBindingChallengeResponse_0(holderSecret_0,
-                                                                  verifierChallengeHash_0);
+    return _dummyContract._assertAuthorizedVerifierProof_0(requestScopeCommitment_0,
+                                                           proof_0,
+                                                           descriptor_0);
   },
-  verifierScopedPseudonym: (...args_0) => {
-    if (args_0.length !== 2) {
-      throw new __compactRuntime.CompactError(`verifierScopedPseudonym: expected 2 arguments (as invoked from Typescript), received ${args_0.length}`);
+  assertValidSignerAuthorizationAuthority: (...args_0) => {
+    if (args_0.length !== 1) {
+      throw new __compactRuntime.CompactError(`assertValidSignerAuthorizationAuthority: expected 1 argument (as invoked from Typescript), received ${args_0.length}`);
     }
-    const holderSecret_0 = args_0[0];
-    const verifierDomainHash_0 = args_0[1];
-    if (!(holderSecret_0.buffer instanceof ArrayBuffer && holderSecret_0.BYTES_PER_ELEMENT === 1 && holderSecret_0.length === 32)) {
-      __compactRuntime.typeError('verifierScopedPseudonym',
+    const authority_0 = args_0[0];
+    if (!(typeof(authority_0) === 'object' && authority_0.domainCommitment.buffer instanceof ArrayBuffer && authority_0.domainCommitment.BYTES_PER_ELEMENT === 1 && authority_0.domainCommitment.length === 32 && typeof(authority_0.verificationMethodRef) === 'object' && typeof(authority_0.verificationMethodRef.controllerAddress) === 'object' && authority_0.verificationMethodRef.controllerAddress.bytes.buffer instanceof ArrayBuffer && authority_0.verificationMethodRef.controllerAddress.bytes.BYTES_PER_ELEMENT === 1 && authority_0.verificationMethodRef.controllerAddress.bytes.length === 32 && authority_0.verificationMethodRef.methodId.buffer instanceof ArrayBuffer && authority_0.verificationMethodRef.methodId.BYTES_PER_ELEMENT === 1 && authority_0.verificationMethodRef.methodId.length === 32 && true)) {
+      __compactRuntime.typeError('assertValidSignerAuthorizationAuthority',
                                  'argument 1',
-                                 'holder-bindings.compact line 175 char 1',
-                                 'Bytes<32>',
-                                 holderSecret_0)
+                                 'signer-authorization.compact line 166 char 1',
+                                 'struct SignerAuthorizationAuthority<domainCommitment: Bytes<32>, verificationMethodRef: struct VerificationMethodRef<controllerAddress: struct ContractAddress<bytes: Bytes<32>>, methodId: Bytes<32>>, publicKey: Opaque<"JubjubPoint">>',
+                                 authority_0)
     }
-    if (!(verifierDomainHash_0.buffer instanceof ArrayBuffer && verifierDomainHash_0.BYTES_PER_ELEMENT === 1 && verifierDomainHash_0.length === 32)) {
-      __compactRuntime.typeError('verifierScopedPseudonym',
-                                 'argument 2',
-                                 'holder-bindings.compact line 175 char 1',
-                                 'Bytes<32>',
-                                 verifierDomainHash_0)
-    }
-    return _dummyContract._verifierScopedPseudonym_0(holderSecret_0,
-                                                     verifierDomainHash_0);
+    return _dummyContract._assertValidSignerAuthorizationAuthority_0(authority_0);
   },
-  assertVerifierScopedPseudonym: (...args_0) => {
-    if (args_0.length !== 3) {
-      throw new __compactRuntime.CompactError(`assertVerifierScopedPseudonym: expected 3 arguments (as invoked from Typescript), received ${args_0.length}`);
+  signerAuthorizationDecisionRoot: (...args_0) => {
+    if (args_0.length !== 2) {
+      throw new __compactRuntime.CompactError(`signerAuthorizationDecisionRoot: expected 2 arguments (as invoked from Typescript), received ${args_0.length}`);
     }
-    const pseudonym_0 = args_0[0];
-    const holderSecret_0 = args_0[1];
-    const verifierDomainHash_0 = args_0[2];
-    if (!(pseudonym_0.buffer instanceof ArrayBuffer && pseudonym_0.BYTES_PER_ELEMENT === 1 && pseudonym_0.length === 32)) {
-      __compactRuntime.typeError('assertVerifierScopedPseudonym',
+    const descriptor_0 = args_0[0];
+    const domainCommitment_0 = args_0[1];
+    if (!(typeof(descriptor_0) === 'object' && typeof(descriptor_0.version) === 'bigint' && descriptor_0.version >= 0n && descriptor_0.version <= 65535n && descriptor_0.authorizationId.buffer instanceof ArrayBuffer && descriptor_0.authorizationId.BYTES_PER_ELEMENT === 1 && descriptor_0.authorizationId.length === 32 && typeof(descriptor_0.decisionSequence) === 'bigint' && descriptor_0.decisionSequence >= 0n && descriptor_0.decisionSequence <= 18446744073709551615n && typeof(descriptor_0.state) === 'number' && descriptor_0.state >= 0 && descriptor_0.state <= 2 && typeof(descriptor_0.role) === 'number' && descriptor_0.role >= 0 && descriptor_0.role <= 1 && typeof(descriptor_0.signerVerificationMethodRef) === 'object' && typeof(descriptor_0.signerVerificationMethodRef.controllerAddress) === 'object' && descriptor_0.signerVerificationMethodRef.controllerAddress.bytes.buffer instanceof ArrayBuffer && descriptor_0.signerVerificationMethodRef.controllerAddress.bytes.BYTES_PER_ELEMENT === 1 && descriptor_0.signerVerificationMethodRef.controllerAddress.bytes.length === 32 && descriptor_0.signerVerificationMethodRef.methodId.buffer instanceof ArrayBuffer && descriptor_0.signerVerificationMethodRef.methodId.BYTES_PER_ELEMENT === 1 && descriptor_0.signerVerificationMethodRef.methodId.length === 32 && true && typeof(descriptor_0.didStateVersion) === 'bigint' && descriptor_0.didStateVersion >= 0n && descriptor_0.didStateVersion <= 18446744073709551615n && typeof(descriptor_0.verificationRelationship) === 'number' && descriptor_0.verificationRelationship >= 0 && descriptor_0.verificationRelationship <= 2 && descriptor_0.scopeCommitment.buffer instanceof ArrayBuffer && descriptor_0.scopeCommitment.BYTES_PER_ELEMENT === 1 && descriptor_0.scopeCommitment.length === 32 && descriptor_0.policyCommitment.buffer instanceof ArrayBuffer && descriptor_0.policyCommitment.BYTES_PER_ELEMENT === 1 && descriptor_0.policyCommitment.length === 32)) {
+      __compactRuntime.typeError('signerAuthorizationDecisionRoot',
                                  'argument 1',
-                                 'holder-bindings.compact line 186 char 1',
-                                 'Bytes<32>',
-                                 pseudonym_0)
+                                 'signer-authorization.compact line 177 char 1',
+                                 'struct AuthorizedSignerDescriptor<version: Uint<0..65536>, authorizationId: Bytes<32>, decisionSequence: Uint<0..18446744073709551616>, state: Enum<AuthorizationState, active, suspended, revoked>, role: Enum<SignerRole, issuer, verifier>, signerVerificationMethodRef: struct VerificationMethodRef<controllerAddress: struct ContractAddress<bytes: Bytes<32>>, methodId: Bytes<32>>, signerPublicKey: Opaque<"JubjubPoint">, didStateVersion: Uint<0..18446744073709551616>, verificationRelationship: Enum<VerificationRelationship, assertionMethod, authentication, capabilityInvocation>, scopeCommitment: Bytes<32>, policyCommitment: Bytes<32>>',
+                                 descriptor_0)
     }
-    if (!(holderSecret_0.buffer instanceof ArrayBuffer && holderSecret_0.BYTES_PER_ELEMENT === 1 && holderSecret_0.length === 32)) {
-      __compactRuntime.typeError('assertVerifierScopedPseudonym',
+    if (!(domainCommitment_0.buffer instanceof ArrayBuffer && domainCommitment_0.BYTES_PER_ELEMENT === 1 && domainCommitment_0.length === 32)) {
+      __compactRuntime.typeError('signerAuthorizationDecisionRoot',
                                  'argument 2',
-                                 'holder-bindings.compact line 186 char 1',
+                                 'signer-authorization.compact line 177 char 1',
                                  'Bytes<32>',
-                                 holderSecret_0)
+                                 domainCommitment_0)
     }
-    if (!(verifierDomainHash_0.buffer instanceof ArrayBuffer && verifierDomainHash_0.BYTES_PER_ELEMENT === 1 && verifierDomainHash_0.length === 32)) {
-      __compactRuntime.typeError('assertVerifierScopedPseudonym',
-                                 'argument 3',
-                                 'holder-bindings.compact line 186 char 1',
-                                 'Bytes<32>',
-                                 verifierDomainHash_0)
-    }
-    return _dummyContract._assertVerifierScopedPseudonym_0(pseudonym_0,
-                                                           holderSecret_0,
-                                                           verifierDomainHash_0);
+    return _dummyContract._signerAuthorizationDecisionRoot_0(descriptor_0,
+                                                             domainCommitment_0);
   },
-  blindedSecretHolderCommitment: (...args_0) => {
+  assertValidSignerAuthorizationProof: (...args_0) => {
     if (args_0.length !== 3) {
-      throw new __compactRuntime.CompactError(`blindedSecretHolderCommitment: expected 3 arguments (as invoked from Typescript), received ${args_0.length}`);
+      throw new __compactRuntime.CompactError(`assertValidSignerAuthorizationProof: expected 3 arguments (as invoked from Typescript), received ${args_0.length}`);
     }
-    const holderSecretCommitment_0 = args_0[0];
-    const issuerNonce_0 = args_0[1];
-    const blindingFactor_0 = args_0[2];
-    if (!(holderSecretCommitment_0.buffer instanceof ArrayBuffer && holderSecretCommitment_0.BYTES_PER_ELEMENT === 1 && holderSecretCommitment_0.length === 32)) {
-      __compactRuntime.typeError('blindedSecretHolderCommitment',
+    const descriptor_0 = args_0[0];
+    const authorizationProof_0 = args_0[1];
+    const authority_0 = args_0[2];
+    if (!(typeof(descriptor_0) === 'object' && typeof(descriptor_0.version) === 'bigint' && descriptor_0.version >= 0n && descriptor_0.version <= 65535n && descriptor_0.authorizationId.buffer instanceof ArrayBuffer && descriptor_0.authorizationId.BYTES_PER_ELEMENT === 1 && descriptor_0.authorizationId.length === 32 && typeof(descriptor_0.decisionSequence) === 'bigint' && descriptor_0.decisionSequence >= 0n && descriptor_0.decisionSequence <= 18446744073709551615n && typeof(descriptor_0.state) === 'number' && descriptor_0.state >= 0 && descriptor_0.state <= 2 && typeof(descriptor_0.role) === 'number' && descriptor_0.role >= 0 && descriptor_0.role <= 1 && typeof(descriptor_0.signerVerificationMethodRef) === 'object' && typeof(descriptor_0.signerVerificationMethodRef.controllerAddress) === 'object' && descriptor_0.signerVerificationMethodRef.controllerAddress.bytes.buffer instanceof ArrayBuffer && descriptor_0.signerVerificationMethodRef.controllerAddress.bytes.BYTES_PER_ELEMENT === 1 && descriptor_0.signerVerificationMethodRef.controllerAddress.bytes.length === 32 && descriptor_0.signerVerificationMethodRef.methodId.buffer instanceof ArrayBuffer && descriptor_0.signerVerificationMethodRef.methodId.BYTES_PER_ELEMENT === 1 && descriptor_0.signerVerificationMethodRef.methodId.length === 32 && true && typeof(descriptor_0.didStateVersion) === 'bigint' && descriptor_0.didStateVersion >= 0n && descriptor_0.didStateVersion <= 18446744073709551615n && typeof(descriptor_0.verificationRelationship) === 'number' && descriptor_0.verificationRelationship >= 0 && descriptor_0.verificationRelationship <= 2 && descriptor_0.scopeCommitment.buffer instanceof ArrayBuffer && descriptor_0.scopeCommitment.BYTES_PER_ELEMENT === 1 && descriptor_0.scopeCommitment.length === 32 && descriptor_0.policyCommitment.buffer instanceof ArrayBuffer && descriptor_0.policyCommitment.BYTES_PER_ELEMENT === 1 && descriptor_0.policyCommitment.length === 32)) {
+      __compactRuntime.typeError('assertValidSignerAuthorizationProof',
                                  'argument 1',
-                                 'holder-bindings.compact line 197 char 1',
-                                 'Bytes<32>',
-                                 holderSecretCommitment_0)
+                                 'signer-authorization.compact line 192 char 1',
+                                 'struct AuthorizedSignerDescriptor<version: Uint<0..65536>, authorizationId: Bytes<32>, decisionSequence: Uint<0..18446744073709551616>, state: Enum<AuthorizationState, active, suspended, revoked>, role: Enum<SignerRole, issuer, verifier>, signerVerificationMethodRef: struct VerificationMethodRef<controllerAddress: struct ContractAddress<bytes: Bytes<32>>, methodId: Bytes<32>>, signerPublicKey: Opaque<"JubjubPoint">, didStateVersion: Uint<0..18446744073709551616>, verificationRelationship: Enum<VerificationRelationship, assertionMethod, authentication, capabilityInvocation>, scopeCommitment: Bytes<32>, policyCommitment: Bytes<32>>',
+                                 descriptor_0)
     }
-    if (!(issuerNonce_0.buffer instanceof ArrayBuffer && issuerNonce_0.BYTES_PER_ELEMENT === 1 && issuerNonce_0.length === 32)) {
-      __compactRuntime.typeError('blindedSecretHolderCommitment',
+    if (!(typeof(authorizationProof_0) === 'object' && typeof(authorizationProof_0.signerVerificationMethodRef) === 'object' && typeof(authorizationProof_0.signerVerificationMethodRef.controllerAddress) === 'object' && authorizationProof_0.signerVerificationMethodRef.controllerAddress.bytes.buffer instanceof ArrayBuffer && authorizationProof_0.signerVerificationMethodRef.controllerAddress.bytes.BYTES_PER_ELEMENT === 1 && authorizationProof_0.signerVerificationMethodRef.controllerAddress.bytes.length === 32 && authorizationProof_0.signerVerificationMethodRef.methodId.buffer instanceof ArrayBuffer && authorizationProof_0.signerVerificationMethodRef.methodId.BYTES_PER_ELEMENT === 1 && authorizationProof_0.signerVerificationMethodRef.methodId.length === 32 && typeof(authorizationProof_0.createdAt) === 'bigint' && authorizationProof_0.createdAt >= 0n && authorizationProof_0.createdAt <= 18446744073709551615n && authorizationProof_0.challengeHash.buffer instanceof ArrayBuffer && authorizationProof_0.challengeHash.BYTES_PER_ELEMENT === 1 && authorizationProof_0.challengeHash.length === 32 && true && typeof(authorizationProof_0.signature) === 'object' && true && typeof(authorizationProof_0.signature.s) === 'bigint' && authorizationProof_0.signature.s >= 0 && authorizationProof_0.signature.s <= __compactRuntime.MAX_FIELD)) {
+      __compactRuntime.typeError('assertValidSignerAuthorizationProof',
                                  'argument 2',
-                                 'holder-bindings.compact line 197 char 1',
-                                 'Bytes<32>',
-                                 issuerNonce_0)
+                                 'signer-authorization.compact line 192 char 1',
+                                 'struct Proof<signerVerificationMethodRef: struct VerificationMethodRef<controllerAddress: struct ContractAddress<bytes: Bytes<32>>, methodId: Bytes<32>>, createdAt: Uint<0..18446744073709551616>, challengeHash: Bytes<32>, publicKey: Opaque<"JubjubPoint">, signature: struct Signature<r: Opaque<"JubjubPoint">, s: Field>>',
+                                 authorizationProof_0)
     }
-    if (!(blindingFactor_0.buffer instanceof ArrayBuffer && blindingFactor_0.BYTES_PER_ELEMENT === 1 && blindingFactor_0.length === 32)) {
-      __compactRuntime.typeError('blindedSecretHolderCommitment',
+    if (!(typeof(authority_0) === 'object' && authority_0.domainCommitment.buffer instanceof ArrayBuffer && authority_0.domainCommitment.BYTES_PER_ELEMENT === 1 && authority_0.domainCommitment.length === 32 && typeof(authority_0.verificationMethodRef) === 'object' && typeof(authority_0.verificationMethodRef.controllerAddress) === 'object' && authority_0.verificationMethodRef.controllerAddress.bytes.buffer instanceof ArrayBuffer && authority_0.verificationMethodRef.controllerAddress.bytes.BYTES_PER_ELEMENT === 1 && authority_0.verificationMethodRef.controllerAddress.bytes.length === 32 && authority_0.verificationMethodRef.methodId.buffer instanceof ArrayBuffer && authority_0.verificationMethodRef.methodId.BYTES_PER_ELEMENT === 1 && authority_0.verificationMethodRef.methodId.length === 32 && true)) {
+      __compactRuntime.typeError('assertValidSignerAuthorizationProof',
                                  'argument 3',
-                                 'holder-bindings.compact line 197 char 1',
-                                 'Bytes<32>',
-                                 blindingFactor_0)
+                                 'signer-authorization.compact line 192 char 1',
+                                 'struct SignerAuthorizationAuthority<domainCommitment: Bytes<32>, verificationMethodRef: struct VerificationMethodRef<controllerAddress: struct ContractAddress<bytes: Bytes<32>>, methodId: Bytes<32>>, publicKey: Opaque<"JubjubPoint">>',
+                                 authority_0)
     }
-    return _dummyContract._blindedSecretHolderCommitment_0(holderSecretCommitment_0,
-                                                           issuerNonce_0,
-                                                           blindingFactor_0);
+    return _dummyContract._assertValidSignerAuthorizationProof_0(descriptor_0,
+                                                                 authorizationProof_0,
+                                                                 authority_0);
   },
-  assertValidSecretHolderCredentialBinding: (...args_0) => {
-    if (args_0.length !== 1) {
-      throw new __compactRuntime.CompactError(`assertValidSecretHolderCredentialBinding: expected 1 argument (as invoked from Typescript), received ${args_0.length}`);
-    }
-    const binding_0 = args_0[0];
-    if (!(typeof(binding_0) === 'object' && binding_0.holderSecretCommitment.buffer instanceof ArrayBuffer && binding_0.holderSecretCommitment.BYTES_PER_ELEMENT === 1 && binding_0.holderSecretCommitment.length === 32 && binding_0.requestChallengeResponse.buffer instanceof ArrayBuffer && binding_0.requestChallengeResponse.BYTES_PER_ELEMENT === 1 && binding_0.requestChallengeResponse.length === 32)) {
-      __compactRuntime.typeError('assertValidSecretHolderCredentialBinding',
-                                 'argument 1',
-                                 'holder-bindings.compact line 213 char 1',
-                                 'struct SecretHolderBinding<holderSecretCommitment: Bytes<32>, requestChallengeResponse: Bytes<32>>',
-                                 binding_0)
-    }
-    return _dummyContract._assertValidSecretHolderCredentialBinding_0(binding_0);
-  },
-  assertValidSecretHolderPresentationBinding: (...args_0) => {
-    if (args_0.length !== 1) {
-      throw new __compactRuntime.CompactError(`assertValidSecretHolderPresentationBinding: expected 1 argument (as invoked from Typescript), received ${args_0.length}`);
-    }
-    const binding_0 = args_0[0];
-    if (!(typeof(binding_0) === 'object' && binding_0.holderSecretCommitment.buffer instanceof ArrayBuffer && binding_0.holderSecretCommitment.BYTES_PER_ELEMENT === 1 && binding_0.holderSecretCommitment.length === 32 && binding_0.requestChallengeResponse.buffer instanceof ArrayBuffer && binding_0.requestChallengeResponse.BYTES_PER_ELEMENT === 1 && binding_0.requestChallengeResponse.length === 32)) {
-      __compactRuntime.typeError('assertValidSecretHolderPresentationBinding',
-                                 'argument 1',
-                                 'holder-bindings.compact line 222 char 1',
-                                 'struct SecretHolderBinding<holderSecretCommitment: Bytes<32>, requestChallengeResponse: Bytes<32>>',
-                                 binding_0)
-    }
-    return _dummyContract._assertValidSecretHolderPresentationBinding_0(binding_0);
-  },
-  assertMatchingSecretHolderBindings: (...args_0) => {
+  assertValidSignerAuthorizationUpdate: (...args_0) => {
     if (args_0.length !== 2) {
-      throw new __compactRuntime.CompactError(`assertMatchingSecretHolderBindings: expected 2 arguments (as invoked from Typescript), received ${args_0.length}`);
+      throw new __compactRuntime.CompactError(`assertValidSignerAuthorizationUpdate: expected 2 arguments (as invoked from Typescript), received ${args_0.length}`);
     }
-    const credentialBinding_0 = args_0[0];
-    const presentationBinding_0 = args_0[1];
-    if (!(typeof(credentialBinding_0) === 'object' && credentialBinding_0.holderSecretCommitment.buffer instanceof ArrayBuffer && credentialBinding_0.holderSecretCommitment.BYTES_PER_ELEMENT === 1 && credentialBinding_0.holderSecretCommitment.length === 32 && credentialBinding_0.requestChallengeResponse.buffer instanceof ArrayBuffer && credentialBinding_0.requestChallengeResponse.BYTES_PER_ELEMENT === 1 && credentialBinding_0.requestChallengeResponse.length === 32)) {
-      __compactRuntime.typeError('assertMatchingSecretHolderBindings',
+    const previous_0 = args_0[0];
+    const next_0 = args_0[1];
+    if (!(typeof(previous_0) === 'object' && typeof(previous_0.version) === 'bigint' && previous_0.version >= 0n && previous_0.version <= 65535n && previous_0.authorizationId.buffer instanceof ArrayBuffer && previous_0.authorizationId.BYTES_PER_ELEMENT === 1 && previous_0.authorizationId.length === 32 && typeof(previous_0.decisionSequence) === 'bigint' && previous_0.decisionSequence >= 0n && previous_0.decisionSequence <= 18446744073709551615n && typeof(previous_0.state) === 'number' && previous_0.state >= 0 && previous_0.state <= 2 && typeof(previous_0.role) === 'number' && previous_0.role >= 0 && previous_0.role <= 1 && typeof(previous_0.signerVerificationMethodRef) === 'object' && typeof(previous_0.signerVerificationMethodRef.controllerAddress) === 'object' && previous_0.signerVerificationMethodRef.controllerAddress.bytes.buffer instanceof ArrayBuffer && previous_0.signerVerificationMethodRef.controllerAddress.bytes.BYTES_PER_ELEMENT === 1 && previous_0.signerVerificationMethodRef.controllerAddress.bytes.length === 32 && previous_0.signerVerificationMethodRef.methodId.buffer instanceof ArrayBuffer && previous_0.signerVerificationMethodRef.methodId.BYTES_PER_ELEMENT === 1 && previous_0.signerVerificationMethodRef.methodId.length === 32 && true && typeof(previous_0.didStateVersion) === 'bigint' && previous_0.didStateVersion >= 0n && previous_0.didStateVersion <= 18446744073709551615n && typeof(previous_0.verificationRelationship) === 'number' && previous_0.verificationRelationship >= 0 && previous_0.verificationRelationship <= 2 && previous_0.scopeCommitment.buffer instanceof ArrayBuffer && previous_0.scopeCommitment.BYTES_PER_ELEMENT === 1 && previous_0.scopeCommitment.length === 32 && previous_0.policyCommitment.buffer instanceof ArrayBuffer && previous_0.policyCommitment.BYTES_PER_ELEMENT === 1 && previous_0.policyCommitment.length === 32)) {
+      __compactRuntime.typeError('assertValidSignerAuthorizationUpdate',
                                  'argument 1',
-                                 'holder-bindings.compact line 231 char 1',
-                                 'struct SecretHolderBinding<holderSecretCommitment: Bytes<32>, requestChallengeResponse: Bytes<32>>',
-                                 credentialBinding_0)
+                                 'signer-authorization.compact line 223 char 1',
+                                 'struct AuthorizedSignerDescriptor<version: Uint<0..65536>, authorizationId: Bytes<32>, decisionSequence: Uint<0..18446744073709551616>, state: Enum<AuthorizationState, active, suspended, revoked>, role: Enum<SignerRole, issuer, verifier>, signerVerificationMethodRef: struct VerificationMethodRef<controllerAddress: struct ContractAddress<bytes: Bytes<32>>, methodId: Bytes<32>>, signerPublicKey: Opaque<"JubjubPoint">, didStateVersion: Uint<0..18446744073709551616>, verificationRelationship: Enum<VerificationRelationship, assertionMethod, authentication, capabilityInvocation>, scopeCommitment: Bytes<32>, policyCommitment: Bytes<32>>',
+                                 previous_0)
     }
-    if (!(typeof(presentationBinding_0) === 'object' && presentationBinding_0.holderSecretCommitment.buffer instanceof ArrayBuffer && presentationBinding_0.holderSecretCommitment.BYTES_PER_ELEMENT === 1 && presentationBinding_0.holderSecretCommitment.length === 32 && presentationBinding_0.requestChallengeResponse.buffer instanceof ArrayBuffer && presentationBinding_0.requestChallengeResponse.BYTES_PER_ELEMENT === 1 && presentationBinding_0.requestChallengeResponse.length === 32)) {
-      __compactRuntime.typeError('assertMatchingSecretHolderBindings',
+    if (!(typeof(next_0) === 'object' && typeof(next_0.version) === 'bigint' && next_0.version >= 0n && next_0.version <= 65535n && next_0.authorizationId.buffer instanceof ArrayBuffer && next_0.authorizationId.BYTES_PER_ELEMENT === 1 && next_0.authorizationId.length === 32 && typeof(next_0.decisionSequence) === 'bigint' && next_0.decisionSequence >= 0n && next_0.decisionSequence <= 18446744073709551615n && typeof(next_0.state) === 'number' && next_0.state >= 0 && next_0.state <= 2 && typeof(next_0.role) === 'number' && next_0.role >= 0 && next_0.role <= 1 && typeof(next_0.signerVerificationMethodRef) === 'object' && typeof(next_0.signerVerificationMethodRef.controllerAddress) === 'object' && next_0.signerVerificationMethodRef.controllerAddress.bytes.buffer instanceof ArrayBuffer && next_0.signerVerificationMethodRef.controllerAddress.bytes.BYTES_PER_ELEMENT === 1 && next_0.signerVerificationMethodRef.controllerAddress.bytes.length === 32 && next_0.signerVerificationMethodRef.methodId.buffer instanceof ArrayBuffer && next_0.signerVerificationMethodRef.methodId.BYTES_PER_ELEMENT === 1 && next_0.signerVerificationMethodRef.methodId.length === 32 && true && typeof(next_0.didStateVersion) === 'bigint' && next_0.didStateVersion >= 0n && next_0.didStateVersion <= 18446744073709551615n && typeof(next_0.verificationRelationship) === 'number' && next_0.verificationRelationship >= 0 && next_0.verificationRelationship <= 2 && next_0.scopeCommitment.buffer instanceof ArrayBuffer && next_0.scopeCommitment.BYTES_PER_ELEMENT === 1 && next_0.scopeCommitment.length === 32 && next_0.policyCommitment.buffer instanceof ArrayBuffer && next_0.policyCommitment.BYTES_PER_ELEMENT === 1 && next_0.policyCommitment.length === 32)) {
+      __compactRuntime.typeError('assertValidSignerAuthorizationUpdate',
                                  'argument 2',
-                                 'holder-bindings.compact line 231 char 1',
-                                 'struct SecretHolderBinding<holderSecretCommitment: Bytes<32>, requestChallengeResponse: Bytes<32>>',
-                                 presentationBinding_0)
+                                 'signer-authorization.compact line 223 char 1',
+                                 'struct AuthorizedSignerDescriptor<version: Uint<0..65536>, authorizationId: Bytes<32>, decisionSequence: Uint<0..18446744073709551616>, state: Enum<AuthorizationState, active, suspended, revoked>, role: Enum<SignerRole, issuer, verifier>, signerVerificationMethodRef: struct VerificationMethodRef<controllerAddress: struct ContractAddress<bytes: Bytes<32>>, methodId: Bytes<32>>, signerPublicKey: Opaque<"JubjubPoint">, didStateVersion: Uint<0..18446744073709551616>, verificationRelationship: Enum<VerificationRelationship, assertionMethod, authentication, capabilityInvocation>, scopeCommitment: Bytes<32>, policyCommitment: Bytes<32>>',
+                                 next_0)
     }
-    return _dummyContract._assertMatchingSecretHolderBindings_0(credentialBinding_0,
-                                                                presentationBinding_0);
+    return _dummyContract._assertValidSignerAuthorizationUpdate_0(previous_0,
+                                                                  next_0);
   },
-  assertValidBlindedSecretHolderCredentialBinding: (...args_0) => {
-    if (args_0.length !== 1) {
-      throw new __compactRuntime.CompactError(`assertValidBlindedSecretHolderCredentialBinding: expected 1 argument (as invoked from Typescript), received ${args_0.length}`);
-    }
-    const binding_0 = args_0[0];
-    if (!(typeof(binding_0) === 'object' && binding_0.blindedHolderSecretCommitment.buffer instanceof ArrayBuffer && binding_0.blindedHolderSecretCommitment.BYTES_PER_ELEMENT === 1 && binding_0.blindedHolderSecretCommitment.length === 32 && binding_0.issuerNonce.buffer instanceof ArrayBuffer && binding_0.issuerNonce.BYTES_PER_ELEMENT === 1 && binding_0.issuerNonce.length === 32 && binding_0.requestChallengeResponse.buffer instanceof ArrayBuffer && binding_0.requestChallengeResponse.BYTES_PER_ELEMENT === 1 && binding_0.requestChallengeResponse.length === 32)) {
-      __compactRuntime.typeError('assertValidBlindedSecretHolderCredentialBinding',
-                                 'argument 1',
-                                 'holder-bindings.compact line 241 char 1',
-                                 'struct BlindedSecretHolderBinding<blindedHolderSecretCommitment: Bytes<32>, issuerNonce: Bytes<32>, requestChallengeResponse: Bytes<32>>',
-                                 binding_0)
-    }
-    return _dummyContract._assertValidBlindedSecretHolderCredentialBinding_0(binding_0);
-  },
-  assertValidBlindedSecretHolderPresentationBinding: (...args_0) => {
+  assertValidExplicitHolderBinding: (...args_0) => {
     if (args_0.length !== 1) {
-      throw new __compactRuntime.CompactError(`assertValidBlindedSecretHolderPresentationBinding: expected 1 argument (as invoked from Typescript), received ${args_0.length}`);
+      throw new __compactRuntime.CompactError(`assertValidExplicitHolderBinding: expected 1 argument (as invoked from Typescript), received ${args_0.length}`);
     }
     const binding_0 = args_0[0];
-    if (!(typeof(binding_0) === 'object' && binding_0.blindedHolderSecretCommitment.buffer instanceof ArrayBuffer && binding_0.blindedHolderSecretCommitment.BYTES_PER_ELEMENT === 1 && binding_0.blindedHolderSecretCommitment.length === 32 && binding_0.issuerNonce.buffer instanceof ArrayBuffer && binding_0.issuerNonce.BYTES_PER_ELEMENT === 1 && binding_0.issuerNonce.length === 32 && binding_0.requestChallengeResponse.buffer instanceof ArrayBuffer && binding_0.requestChallengeResponse.BYTES_PER_ELEMENT === 1 && binding_0.requestChallengeResponse.length === 32)) {
-      __compactRuntime.typeError('assertValidBlindedSecretHolderPresentationBinding',
+    if (!(typeof(binding_0) === 'object' && typeof(binding_0.holderVerificationMethodRef) === 'object' && typeof(binding_0.holderVerificationMethodRef.controllerAddress) === 'object' && binding_0.holderVerificationMethodRef.controllerAddress.bytes.buffer instanceof ArrayBuffer && binding_0.holderVerificationMethodRef.controllerAddress.bytes.BYTES_PER_ELEMENT === 1 && binding_0.holderVerificationMethodRef.controllerAddress.bytes.length === 32 && binding_0.holderVerificationMethodRef.methodId.buffer instanceof ArrayBuffer && binding_0.holderVerificationMethodRef.methodId.BYTES_PER_ELEMENT === 1 && binding_0.holderVerificationMethodRef.methodId.length === 32)) {
+      __compactRuntime.typeError('assertValidExplicitHolderBinding',
                                  'argument 1',
-                                 'holder-bindings.compact line 250 char 1',
-                                 'struct BlindedSecretHolderBinding<blindedHolderSecretCommitment: Bytes<32>, issuerNonce: Bytes<32>, requestChallengeResponse: Bytes<32>>',
+                                 'holder-bindings.compact line 2 char 1',
+                                 'struct ExplicitHolderBinding<holderVerificationMethodRef: struct VerificationMethodRef<controllerAddress: struct ContractAddress<bytes: Bytes<32>>, methodId: Bytes<32>>>',
                                  binding_0)
     }
-    return _dummyContract._assertValidBlindedSecretHolderPresentationBinding_0(binding_0);
+    return _dummyContract._assertValidExplicitHolderBinding_0(binding_0);
   },
-  assertMatchingBlindedSecretHolderBindings: (...args_0) => {
+  assertMatchingExplicitHolderBindings: (...args_0) => {
     if (args_0.length !== 2) {
-      throw new __compactRuntime.CompactError(`assertMatchingBlindedSecretHolderBindings: expected 2 arguments (as invoked from Typescript), received ${args_0.length}`);
+      throw new __compactRuntime.CompactError(`assertMatchingExplicitHolderBindings: expected 2 arguments (as invoked from Typescript), received ${args_0.length}`);
     }
     const credentialBinding_0 = args_0[0];
     const presentationBinding_0 = args_0[1];
-    if (!(typeof(credentialBinding_0) === 'object' && credentialBinding_0.blindedHolderSecretCommitment.buffer instanceof ArrayBuffer && credentialBinding_0.blindedHolderSecretCommitment.BYTES_PER_ELEMENT === 1 && credentialBinding_0.blindedHolderSecretCommitment.length === 32 && credentialBinding_0.issuerNonce.buffer instanceof ArrayBuffer && credentialBinding_0.issuerNonce.BYTES_PER_ELEMENT === 1 && credentialBinding_0.issuerNonce.length === 32 && credentialBinding_0.requestChallengeResponse.buffer instanceof ArrayBuffer && credentialBinding_0.requestChallengeResponse.BYTES_PER_ELEMENT === 1 && credentialBinding_0.requestChallengeResponse.length === 32)) {
-      __compactRuntime.typeError('assertMatchingBlindedSecretHolderBindings',
+    if (!(typeof(credentialBinding_0) === 'object' && typeof(credentialBinding_0.holderVerificationMethodRef) === 'object' && typeof(credentialBinding_0.holderVerificationMethodRef.controllerAddress) === 'object' && credentialBinding_0.holderVerificationMethodRef.controllerAddress.bytes.buffer instanceof ArrayBuffer && credentialBinding_0.holderVerificationMethodRef.controllerAddress.bytes.BYTES_PER_ELEMENT === 1 && credentialBinding_0.holderVerificationMethodRef.controllerAddress.bytes.length === 32 && credentialBinding_0.holderVerificationMethodRef.methodId.buffer instanceof ArrayBuffer && credentialBinding_0.holderVerificationMethodRef.methodId.BYTES_PER_ELEMENT === 1 && credentialBinding_0.holderVerificationMethodRef.methodId.length === 32)) {
+      __compactRuntime.typeError('assertMatchingExplicitHolderBindings',
                                  'argument 1',
-                                 'holder-bindings.compact line 259 char 1',
-                                 'struct BlindedSecretHolderBinding<blindedHolderSecretCommitment: Bytes<32>, issuerNonce: Bytes<32>, requestChallengeResponse: Bytes<32>>',
+                                 'holder-bindings.compact line 8 char 1',
+                                 'struct ExplicitHolderBinding<holderVerificationMethodRef: struct VerificationMethodRef<controllerAddress: struct ContractAddress<bytes: Bytes<32>>, methodId: Bytes<32>>>',
                                  credentialBinding_0)
     }
-    if (!(typeof(presentationBinding_0) === 'object' && presentationBinding_0.blindedHolderSecretCommitment.buffer instanceof ArrayBuffer && presentationBinding_0.blindedHolderSecretCommitment.BYTES_PER_ELEMENT === 1 && presentationBinding_0.blindedHolderSecretCommitment.length === 32 && presentationBinding_0.issuerNonce.buffer instanceof ArrayBuffer && presentationBinding_0.issuerNonce.BYTES_PER_ELEMENT === 1 && presentationBinding_0.issuerNonce.length === 32 && presentationBinding_0.requestChallengeResponse.buffer instanceof ArrayBuffer && presentationBinding_0.requestChallengeResponse.BYTES_PER_ELEMENT === 1 && presentationBinding_0.requestChallengeResponse.length === 32)) {
-      __compactRuntime.typeError('assertMatchingBlindedSecretHolderBindings',
+    if (!(typeof(presentationBinding_0) === 'object' && typeof(presentationBinding_0.holderVerificationMethodRef) === 'object' && typeof(presentationBinding_0.holderVerificationMethodRef.controllerAddress) === 'object' && presentationBinding_0.holderVerificationMethodRef.controllerAddress.bytes.buffer instanceof ArrayBuffer && presentationBinding_0.holderVerificationMethodRef.controllerAddress.bytes.BYTES_PER_ELEMENT === 1 && presentationBinding_0.holderVerificationMethodRef.controllerAddress.bytes.length === 32 && presentationBinding_0.holderVerificationMethodRef.methodId.buffer instanceof ArrayBuffer && presentationBinding_0.holderVerificationMethodRef.methodId.BYTES_PER_ELEMENT === 1 && presentationBinding_0.holderVerificationMethodRef.methodId.length === 32)) {
+      __compactRuntime.typeError('assertMatchingExplicitHolderBindings',
                                  'argument 2',
-                                 'holder-bindings.compact line 259 char 1',
-                                 'struct BlindedSecretHolderBinding<blindedHolderSecretCommitment: Bytes<32>, issuerNonce: Bytes<32>, requestChallengeResponse: Bytes<32>>',
+                                 'holder-bindings.compact line 8 char 1',
+                                 'struct ExplicitHolderBinding<holderVerificationMethodRef: struct VerificationMethodRef<controllerAddress: struct ContractAddress<bytes: Bytes<32>>, methodId: Bytes<32>>>',
                                  presentationBinding_0)
     }
-    return _dummyContract._assertMatchingBlindedSecretHolderBindings_0(credentialBinding_0,
-                                                                       presentationBinding_0);
-  },
-  assertSecretHolderBindingWitness: (...args_0) => {
-    if (args_0.length !== 4) {
-      throw new __compactRuntime.CompactError(`assertSecretHolderBindingWitness: expected 4 arguments (as invoked from Typescript), received ${args_0.length}`);
-    }
-    const binding_0 = args_0[0];
-    const verifierChallengeHash_0 = args_0[1];
-    const holderSecret_0 = args_0[2];
-    const opening_0 = args_0[3];
-    if (!(typeof(binding_0) === 'object' && binding_0.holderSecretCommitment.buffer instanceof ArrayBuffer && binding_0.holderSecretCommitment.BYTES_PER_ELEMENT === 1 && binding_0.holderSecretCommitment.length === 32 && binding_0.requestChallengeResponse.buffer instanceof ArrayBuffer && binding_0.requestChallengeResponse.BYTES_PER_ELEMENT === 1 && binding_0.requestChallengeResponse.length === 32)) {
-      __compactRuntime.typeError('assertSecretHolderBindingWitness',
-                                 'argument 1',
-                                 'holder-bindings.compact line 279 char 1',
-                                 'struct SecretHolderBinding<holderSecretCommitment: Bytes<32>, requestChallengeResponse: Bytes<32>>',
-                                 binding_0)
-    }
-    if (!(verifierChallengeHash_0.buffer instanceof ArrayBuffer && verifierChallengeHash_0.BYTES_PER_ELEMENT === 1 && verifierChallengeHash_0.length === 32)) {
-      __compactRuntime.typeError('assertSecretHolderBindingWitness',
-                                 'argument 2',
-                                 'holder-bindings.compact line 279 char 1',
-                                 'Bytes<32>',
-                                 verifierChallengeHash_0)
-    }
-    if (!(holderSecret_0.buffer instanceof ArrayBuffer && holderSecret_0.BYTES_PER_ELEMENT === 1 && holderSecret_0.length === 32)) {
-      __compactRuntime.typeError('assertSecretHolderBindingWitness',
-                                 'argument 3',
-                                 'holder-bindings.compact line 279 char 1',
-                                 'Bytes<32>',
-                                 holderSecret_0)
-    }
-    if (!(opening_0.buffer instanceof ArrayBuffer && opening_0.BYTES_PER_ELEMENT === 1 && opening_0.length === 32)) {
-      __compactRuntime.typeError('assertSecretHolderBindingWitness',
-                                 'argument 4',
-                                 'holder-bindings.compact line 279 char 1',
-                                 'Bytes<32>',
-                                 opening_0)
-    }
-    return _dummyContract._assertSecretHolderBindingWitness_0(binding_0,
-                                                              verifierChallengeHash_0,
-                                                              holderSecret_0,
-                                                              opening_0);
+    return _dummyContract._assertMatchingExplicitHolderBindings_0(credentialBinding_0,
+                                                                  presentationBinding_0);
   },
-  assertBlindedSecretHolderBindingWitness: (...args_0) => {
-    if (args_0.length !== 5) {
-      throw new __compactRuntime.CompactError(`assertBlindedSecretHolderBindingWitness: expected 5 arguments (as invoked from Typescript), received ${args_0.length}`);
+  assertProofMatchesExplicitHolderBinding: (...args_0) => {
+    if (args_0.length !== 2) {
+      throw new __compactRuntime.CompactError(`assertProofMatchesExplicitHolderBinding: expected 2 arguments (as invoked from Typescript), received ${args_0.length}`);
     }
     const binding_0 = args_0[0];
-    const verifierChallengeHash_0 = args_0[1];
-    const holderSecret_0 = args_0[2];
-    const opening_0 = args_0[3];
-    const blindingFactor_0 = args_0[4];
-    if (!(typeof(binding_0) === 'object' && binding_0.blindedHolderSecretCommitment.buffer instanceof ArrayBuffer && binding_0.blindedHolderSecretCommitment.BYTES_PER_ELEMENT === 1 && binding_0.blindedHolderSecretCommitment.length === 32 && binding_0.issuerNonce.buffer instanceof ArrayBuffer && binding_0.issuerNonce.BYTES_PER_ELEMENT === 1 && binding_0.issuerNonce.length === 32 && binding_0.requestChallengeResponse.buffer instanceof ArrayBuffer && binding_0.requestChallengeResponse.BYTES_PER_ELEMENT === 1 && binding_0.requestChallengeResponse.length === 32)) {
-      __compactRuntime.typeError('assertBlindedSecretHolderBindingWitness',
+    const presentationProof_0 = args_0[1];
+    if (!(typeof(binding_0) === 'object' && typeof(binding_0.holderVerificationMethodRef) === 'object' && typeof(binding_0.holderVerificationMethodRef.controllerAddress) === 'object' && binding_0.holderVerificationMethodRef.controllerAddress.bytes.buffer instanceof ArrayBuffer && binding_0.holderVerificationMethodRef.controllerAddress.bytes.BYTES_PER_ELEMENT === 1 && binding_0.holderVerificationMethodRef.controllerAddress.bytes.length === 32 && binding_0.holderVerificationMethodRef.methodId.buffer instanceof ArrayBuffer && binding_0.holderVerificationMethodRef.methodId.BYTES_PER_ELEMENT === 1 && binding_0.holderVerificationMethodRef.methodId.length === 32)) {
+      __compactRuntime.typeError('assertProofMatchesExplicitHolderBinding',
                                  'argument 1',
-                                 'holder-bindings.compact line 296 char 1',
-                                 'struct BlindedSecretHolderBinding<blindedHolderSecretCommitment: Bytes<32>, issuerNonce: Bytes<32>, requestChallengeResponse: Bytes<32>>',
+                                 'holder-bindings.compact line 26 char 1',
+                                 'struct ExplicitHolderBinding<holderVerificationMethodRef: struct VerificationMethodRef<controllerAddress: struct ContractAddress<bytes: Bytes<32>>, methodId: Bytes<32>>>',
                                  binding_0)
     }
-    if (!(verifierChallengeHash_0.buffer instanceof ArrayBuffer && verifierChallengeHash_0.BYTES_PER_ELEMENT === 1 && verifierChallengeHash_0.length === 32)) {
-      __compactRuntime.typeError('assertBlindedSecretHolderBindingWitness',
-                                 'argument 2',
-                                 'holder-bindings.compact line 296 char 1',
-                                 'Bytes<32>',
-                                 verifierChallengeHash_0)
-    }
-    if (!(holderSecret_0.buffer instanceof ArrayBuffer && holderSecret_0.BYTES_PER_ELEMENT === 1 && holderSecret_0.length === 32)) {
-      __compactRuntime.typeError('assertBlindedSecretHolderBindingWitness',
-                                 'argument 3',
-                                 'holder-bindings.compact line 296 char 1',
-                                 'Bytes<32>',
-                                 holderSecret_0)
-    }
-    if (!(opening_0.buffer instanceof ArrayBuffer && opening_0.BYTES_PER_ELEMENT === 1 && opening_0.length === 32)) {
-      __compactRuntime.typeError('assertBlindedSecretHolderBindingWitness',
-                                 'argument 4',
-                                 'holder-bindings.compact line 296 char 1',
-                                 'Bytes<32>',
-                                 opening_0)
-    }
-    if (!(blindingFactor_0.buffer instanceof ArrayBuffer && blindingFactor_0.BYTES_PER_ELEMENT === 1 && blindingFactor_0.length === 32)) {
-      __compactRuntime.typeError('assertBlindedSecretHolderBindingWitness',
-                                 'argument 5',
-                                 'holder-bindings.compact line 296 char 1',
-                                 'Bytes<32>',
-                                 blindingFactor_0)
-    }
-    return _dummyContract._assertBlindedSecretHolderBindingWitness_0(binding_0,
-                                                                     verifierChallengeHash_0,
-                                                                     holderSecret_0,
-                                                                     opening_0,
-                                                                     blindingFactor_0);
-  },
-  protocolFeaturesAsSchemaCapabilities: (...args_0) => {
-    if (args_0.length !== 1) {
-      throw new __compactRuntime.CompactError(`protocolFeaturesAsSchemaCapabilities: expected 1 argument (as invoked from Typescript), received ${args_0.length}`);
-    }
-    const features_0 = args_0[0];
-    if (!(typeof(features_0) === 'object' && typeof(features_0.supportsSelectiveDisclosure) === 'boolean' && typeof(features_0.supportsPredicateProofs) === 'boolean' && typeof(features_0.supportsVerifierScopedPseudonym) === 'boolean' && typeof(features_0.supportsSameHolderProof) === 'boolean')) {
-      __compactRuntime.typeError('protocolFeaturesAsSchemaCapabilities',
-                                 'argument 1',
-                                 'protocols.compact line 20 char 1',
-                                 'struct CredentialProtocolFeatures<supportsSelectiveDisclosure: Boolean, supportsPredicateProofs: Boolean, supportsVerifierScopedPseudonym: Boolean, supportsSameHolderProof: Boolean>',
-                                 features_0)
-    }
-    return _dummyContract._protocolFeaturesAsSchemaCapabilities_0(features_0);
-  },
-  assertProtocolFeaturesMatchSchemaCapabilities: (...args_0) => {
-    if (args_0.length !== 2) {
-      throw new __compactRuntime.CompactError(`assertProtocolFeaturesMatchSchemaCapabilities: expected 2 arguments (as invoked from Typescript), received ${args_0.length}`);
-    }
-    const features_0 = args_0[0];
-    const capabilities_0 = args_0[1];
-    if (!(typeof(features_0) === 'object' && typeof(features_0.supportsSelectiveDisclosure) === 'boolean' && typeof(features_0.supportsPredicateProofs) === 'boolean' && typeof(features_0.supportsVerifierScopedPseudonym) === 'boolean' && typeof(features_0.supportsSameHolderProof) === 'boolean')) {
-      __compactRuntime.typeError('assertProtocolFeaturesMatchSchemaCapabilities',
-                                 'argument 1',
-                                 'protocols.compact line 31 char 1',
-                                 'struct CredentialProtocolFeatures<supportsSelectiveDisclosure: Boolean, supportsPredicateProofs: Boolean, supportsVerifierScopedPseudonym: Boolean, supportsSameHolderProof: Boolean>',
-                                 features_0)
-    }
-    if (!(typeof(capabilities_0) === 'object' && typeof(capabilities_0.supportsSelectiveDisclosure) === 'boolean' && typeof(capabilities_0.supportsPredicateProofs) === 'boolean' && typeof(capabilities_0.supportsVerifierScopedPseudonym) === 'boolean' && typeof(capabilities_0.supportsSameHolderProof) === 'boolean')) {
-      __compactRuntime.typeError('assertProtocolFeaturesMatchSchemaCapabilities',
-                                 'argument 2',
-                                 'protocols.compact line 31 char 1',
-                                 'struct SchemaCapabilities<supportsSelectiveDisclosure: Boolean, supportsPredicateProofs: Boolean, supportsVerifierScopedPseudonym: Boolean, supportsSameHolderProof: Boolean>',
-                                 capabilities_0)
-    }
-    return _dummyContract._assertProtocolFeaturesMatchSchemaCapabilities_0(features_0,
-                                                                           capabilities_0);
-  },
-  noProtocolResponseReference: (...args_0) => {
-    if (args_0.length !== 0) {
-      throw new __compactRuntime.CompactError(`noProtocolResponseReference: expected 0 arguments (as invoked from Typescript), received ${args_0.length}`);
-    }
-    return _dummyContract._noProtocolResponseReference_0();
-  },
-  assertValidVerificationMethodRef: (...args_0) => {
-    if (args_0.length !== 1) {
-      throw new __compactRuntime.CompactError(`assertValidVerificationMethodRef: expected 1 argument (as invoked from Typescript), received ${args_0.length}`);
-    }
-    const verificationMethodRef_0 = args_0[0];
-    if (!(typeof(verificationMethodRef_0) === 'object' && typeof(verificationMethodRef_0.didContractAddress) === 'object' && verificationMethodRef_0.didContractAddress.bytes.buffer instanceof ArrayBuffer && verificationMethodRef_0.didContractAddress.bytes.BYTES_PER_ELEMENT === 1 && verificationMethodRef_0.didContractAddress.bytes.length === 32 && verificationMethodRef_0.methodId.buffer instanceof ArrayBuffer && verificationMethodRef_0.methodId.BYTES_PER_ELEMENT === 1 && verificationMethodRef_0.methodId.length === 32)) {
-      __compactRuntime.typeError('assertValidVerificationMethodRef',
-                                 'argument 1',
-                                 'protocols.compact line 56 char 1',
-                                 'struct VerificationMethodRef<didContractAddress: struct ContractAddress<bytes: Bytes<32>>, methodId: Bytes<32>>',
-                                 verificationMethodRef_0)
-    }
-    return _dummyContract._assertValidVerificationMethodRef_0(verificationMethodRef_0);
-  },
-  assertMatchingSchemaRefs: (...args_0) => {
-    if (args_0.length !== 2) {
-      throw new __compactRuntime.CompactError(`assertMatchingSchemaRefs: expected 2 arguments (as invoked from Typescript), received ${args_0.length}`);
-    }
-    const expected_0 = args_0[0];
-    const actual_0 = args_0[1];
-    if (!(typeof(expected_0) === 'object' && expected_0.packageId.buffer instanceof ArrayBuffer && expected_0.packageId.BYTES_PER_ELEMENT === 1 && expected_0.packageId.length === 32 && expected_0.schemaId.buffer instanceof ArrayBuffer && expected_0.schemaId.BYTES_PER_ELEMENT === 1 && expected_0.schemaId.length === 32 && typeof(expected_0.majorVersion) === 'bigint' && expected_0.majorVersion >= 0n && expected_0.majorVersion <= 65535n && typeof(expected_0.minorVersion) === 'bigint' && expected_0.minorVersion >= 0n && expected_0.minorVersion <= 65535n)) {
-      __compactRuntime.typeError('assertMatchingSchemaRefs',
-                                 'argument 1',
-                                 'protocols.compact line 65 char 1',
-                                 'struct SchemaRef<packageId: Bytes<32>, schemaId: Bytes<32>, majorVersion: Uint<0..65536>, minorVersion: Uint<0..65536>>',
-                                 expected_0)
-    }
-    if (!(typeof(actual_0) === 'object' && actual_0.packageId.buffer instanceof ArrayBuffer && actual_0.packageId.BYTES_PER_ELEMENT === 1 && actual_0.packageId.length === 32 && actual_0.schemaId.buffer instanceof ArrayBuffer && actual_0.schemaId.BYTES_PER_ELEMENT === 1 && actual_0.schemaId.length === 32 && typeof(actual_0.majorVersion) === 'bigint' && actual_0.majorVersion >= 0n && actual_0.majorVersion <= 65535n && typeof(actual_0.minorVersion) === 'bigint' && actual_0.minorVersion >= 0n && actual_0.minorVersion <= 65535n)) {
-      __compactRuntime.typeError('assertMatchingSchemaRefs',
-                                 'argument 2',
-                                 'protocols.compact line 65 char 1',
-                                 'struct SchemaRef<packageId: Bytes<32>, schemaId: Bytes<32>, majorVersion: Uint<0..65536>, minorVersion: Uint<0..65536>>',
-                                 actual_0)
-    }
-    return _dummyContract._assertMatchingSchemaRefs_0(expected_0, actual_0);
-  },
-  assertValidProtocolMessageEnvelope: (...args_0) => {
-    if (args_0.length !== 1) {
-      throw new __compactRuntime.CompactError(`assertValidProtocolMessageEnvelope: expected 1 argument (as invoked from Typescript), received ${args_0.length}`);
-    }
-    const envelope_0 = args_0[0];
-    if (!(typeof(envelope_0) === 'object' && typeof(envelope_0.version) === 'bigint' && envelope_0.version >= 0n && envelope_0.version <= 65535n && envelope_0.messageId.buffer instanceof ArrayBuffer && envelope_0.messageId.BYTES_PER_ELEMENT === 1 && envelope_0.messageId.length === 32 && envelope_0.threadId.buffer instanceof ArrayBuffer && envelope_0.threadId.BYTES_PER_ELEMENT === 1 && envelope_0.threadId.length === 32 && typeof(envelope_0.initialMessage) === 'boolean' && envelope_0.respondsToMessageId.buffer instanceof ArrayBuffer && envelope_0.respondsToMessageId.BYTES_PER_ELEMENT === 1 && envelope_0.respondsToMessageId.length === 32 && typeof(envelope_0.createdAt) === 'bigint' && envelope_0.createdAt >= 0n && envelope_0.createdAt <= 18446744073709551615n && typeof(envelope_0.hasExpiresAt) === 'boolean' && typeof(envelope_0.expiresAt) === 'bigint' && envelope_0.expiresAt >= 0n && envelope_0.expiresAt <= 18446744073709551615n)) {
-      __compactRuntime.typeError('assertValidProtocolMessageEnvelope',
-                                 'argument 1',
-                                 'protocols.compact line 80 char 1',
-                                 'struct ProtocolMessageEnvelope<version: Uint<0..65536>, messageId: Bytes<32>, threadId: Bytes<32>, initialMessage: Boolean, respondsToMessageId: Bytes<32>, createdAt: Uint<0..18446744073709551616>, hasExpiresAt: Boolean, expiresAt: Uint<0..18446744073709551616>>',
-                                 envelope_0)
-    }
-    return _dummyContract._assertValidProtocolMessageEnvelope_0(envelope_0);
-  },
-  assertProtocolResponseEnvelope: (...args_0) => {
-    if (args_0.length !== 2) {
-      throw new __compactRuntime.CompactError(`assertProtocolResponseEnvelope: expected 2 arguments (as invoked from Typescript), received ${args_0.length}`);
-    }
-    const requestEnvelope_0 = args_0[0];
-    const responseEnvelope_0 = args_0[1];
-    if (!(typeof(requestEnvelope_0) === 'object' && typeof(requestEnvelope_0.version) === 'bigint' && requestEnvelope_0.version >= 0n && requestEnvelope_0.version <= 65535n && requestEnvelope_0.messageId.buffer instanceof ArrayBuffer && requestEnvelope_0.messageId.BYTES_PER_ELEMENT === 1 && requestEnvelope_0.messageId.length === 32 && requestEnvelope_0.threadId.buffer instanceof ArrayBuffer && requestEnvelope_0.threadId.BYTES_PER_ELEMENT === 1 && requestEnvelope_0.threadId.length === 32 && typeof(requestEnvelope_0.initialMessage) === 'boolean' && requestEnvelope_0.respondsToMessageId.buffer instanceof ArrayBuffer && requestEnvelope_0.respondsToMessageId.BYTES_PER_ELEMENT === 1 && requestEnvelope_0.respondsToMessageId.length === 32 && typeof(requestEnvelope_0.createdAt) === 'bigint' && requestEnvelope_0.createdAt >= 0n && requestEnvelope_0.createdAt <= 18446744073709551615n && typeof(requestEnvelope_0.hasExpiresAt) === 'boolean' && typeof(requestEnvelope_0.expiresAt) === 'bigint' && requestEnvelope_0.expiresAt >= 0n && requestEnvelope_0.expiresAt <= 18446744073709551615n)) {
-      __compactRuntime.typeError('assertProtocolResponseEnvelope',
-                                 'argument 1',
-                                 'protocols.compact line 106 char 1',
-                                 'struct ProtocolMessageEnvelope<version: Uint<0..65536>, messageId: Bytes<32>, threadId: Bytes<32>, initialMessage: Boolean, respondsToMessageId: Bytes<32>, createdAt: Uint<0..18446744073709551616>, hasExpiresAt: Boolean, expiresAt: Uint<0..18446744073709551616>>',
-                                 requestEnvelope_0)
-    }
-    if (!(typeof(responseEnvelope_0) === 'object' && typeof(responseEnvelope_0.version) === 'bigint' && responseEnvelope_0.version >= 0n && responseEnvelope_0.version <= 65535n && responseEnvelope_0.messageId.buffer instanceof ArrayBuffer && responseEnvelope_0.messageId.BYTES_PER_ELEMENT === 1 && responseEnvelope_0.messageId.length === 32 && responseEnvelope_0.threadId.buffer instanceof ArrayBuffer && responseEnvelope_0.threadId.BYTES_PER_ELEMENT === 1 && responseEnvelope_0.threadId.length === 32 && typeof(responseEnvelope_0.initialMessage) === 'boolean' && responseEnvelope_0.respondsToMessageId.buffer instanceof ArrayBuffer && responseEnvelope_0.respondsToMessageId.BYTES_PER_ELEMENT === 1 && responseEnvelope_0.respondsToMessageId.length === 32 && typeof(responseEnvelope_0.createdAt) === 'bigint' && responseEnvelope_0.createdAt >= 0n && responseEnvelope_0.createdAt <= 18446744073709551615n && typeof(responseEnvelope_0.hasExpiresAt) === 'boolean' && typeof(responseEnvelope_0.expiresAt) === 'bigint' && responseEnvelope_0.expiresAt >= 0n && responseEnvelope_0.expiresAt <= 18446744073709551615n)) {
-      __compactRuntime.typeError('assertProtocolResponseEnvelope',
+    if (!(typeof(presentationProof_0) === 'object' && typeof(presentationProof_0.signerVerificationMethodRef) === 'object' && typeof(presentationProof_0.signerVerificationMethodRef.controllerAddress) === 'object' && presentationProof_0.signerVerificationMethodRef.controllerAddress.bytes.buffer instanceof ArrayBuffer && presentationProof_0.signerVerificationMethodRef.controllerAddress.bytes.BYTES_PER_ELEMENT === 1 && presentationProof_0.signerVerificationMethodRef.controllerAddress.bytes.length === 32 && presentationProof_0.signerVerificationMethodRef.methodId.buffer instanceof ArrayBuffer && presentationProof_0.signerVerificationMethodRef.methodId.BYTES_PER_ELEMENT === 1 && presentationProof_0.signerVerificationMethodRef.methodId.length === 32 && typeof(presentationProof_0.createdAt) === 'bigint' && presentationProof_0.createdAt >= 0n && presentationProof_0.createdAt <= 18446744073709551615n && presentationProof_0.challengeHash.buffer instanceof ArrayBuffer && presentationProof_0.challengeHash.BYTES_PER_ELEMENT === 1 && presentationProof_0.challengeHash.length === 32 && true && typeof(presentationProof_0.signature) === 'object' && true && typeof(presentationProof_0.signature.s) === 'bigint' && presentationProof_0.signature.s >= 0 && presentationProof_0.signature.s <= __compactRuntime.MAX_FIELD)) {
+      __compactRuntime.typeError('assertProofMatchesExplicitHolderBinding',
                                  'argument 2',
-                                 'protocols.compact line 106 char 1',
-                                 'struct ProtocolMessageEnvelope<version: Uint<0..65536>, messageId: Bytes<32>, threadId: Bytes<32>, initialMessage: Boolean, respondsToMessageId: Bytes<32>, createdAt: Uint<0..18446744073709551616>, hasExpiresAt: Boolean, expiresAt: Uint<0..18446744073709551616>>',
-                                 responseEnvelope_0)
+                                 'holder-bindings.compact line 26 char 1',
+                                 'struct Proof<signerVerificationMethodRef: struct VerificationMethodRef<controllerAddress: struct ContractAddress<bytes: Bytes<32>>, methodId: Bytes<32>>, createdAt: Uint<0..18446744073709551616>, challengeHash: Bytes<32>, publicKey: Opaque<"JubjubPoint">, signature: struct Signature<r: Opaque<"JubjubPoint">, s: Field>>',
+                                 presentationProof_0)
     }
-    return _dummyContract._assertProtocolResponseEnvelope_0(requestEnvelope_0,
-                                                            responseEnvelope_0);
+    return _dummyContract._assertProofMatchesExplicitHolderBinding_0(binding_0,
+                                                                     presentationProof_0);
   },
   assertValidStatusRegistryRef: (...args_0) => {
     if (args_0.length !== 1) {
       throw new __compactRuntime.CompactError(`assertValidStatusRegistryRef: expected 1 argument (as invoked from Typescript), received ${args_0.length}`);
     }
     const registryRef_0 = args_0[0];
-    if (!(typeof(registryRef_0) === 'object' && registryRef_0.registryId.buffer instanceof ArrayBuffer && registryRef_0.registryId.BYTES_PER_ELEMENT === 1 && registryRef_0.registryId.length === 32 && typeof(registryRef_0.authorityVerificationMethodRef) === 'object' && typeof(registryRef_0.authorityVerificationMethodRef.didContractAddress) === 'object' && registryRef_0.authorityVerificationMethodRef.didContractAddress.bytes.buffer instanceof ArrayBuffer && registryRef_0.authorityVerificationMethodRef.didContractAddress.bytes.BYTES_PER_ELEMENT === 1 && registryRef_0.authorityVerificationMethodRef.didContractAddress.bytes.length === 32 && registryRef_0.authorityVerificationMethodRef.methodId.buffer instanceof ArrayBuffer && registryRef_0.authorityVerificationMethodRef.methodId.BYTES_PER_ELEMENT === 1 && registryRef_0.authorityVerificationMethodRef.methodId.length === 32)) {
+    if (!(typeof(registryRef_0) === 'object' && registryRef_0.registryId.buffer instanceof ArrayBuffer && registryRef_0.registryId.BYTES_PER_ELEMENT === 1 && registryRef_0.registryId.length === 32 && typeof(registryRef_0.authorityVerificationMethodRef) === 'object' && typeof(registryRef_0.authorityVerificationMethodRef.controllerAddress) === 'object' && registryRef_0.authorityVerificationMethodRef.controllerAddress.bytes.buffer instanceof ArrayBuffer && registryRef_0.authorityVerificationMethodRef.controllerAddress.bytes.BYTES_PER_ELEMENT === 1 && registryRef_0.authorityVerificationMethodRef.controllerAddress.bytes.length === 32 && registryRef_0.authorityVerificationMethodRef.methodId.buffer instanceof ArrayBuffer && registryRef_0.authorityVerificationMethodRef.methodId.BYTES_PER_ELEMENT === 1 && registryRef_0.authorityVerificationMethodRef.methodId.length === 32)) {
       __compactRuntime.typeError('assertValidStatusRegistryRef',
                                  'argument 1',
-                                 'status-bindings.compact line 24 char 1',
-                                 'struct StatusRegistryRef<registryId: Bytes<32>, authorityVerificationMethodRef: struct VerificationMethodRef<didContractAddress: struct ContractAddress<bytes: Bytes<32>>, methodId: Bytes<32>>>',
+                                 'status-bindings.compact line 16 char 1',
+                                 'struct StatusRegistryRef<registryId: Bytes<32>, authorityVerificationMethodRef: struct VerificationMethodRef<controllerAddress: struct ContractAddress<bytes: Bytes<32>>, methodId: Bytes<32>>>',
                                  registryRef_0)
     }
     return _dummyContract._assertValidStatusRegistryRef_0(registryRef_0);
   },
-  assertValidNoStatusBinding: (...args_0) => {
-    if (args_0.length !== 1) {
-      throw new __compactRuntime.CompactError(`assertValidNoStatusBinding: expected 1 argument (as invoked from Typescript), received ${args_0.length}`);
-    }
-    const binding_0 = args_0[0];
-    if (!(typeof(binding_0) === 'object')) {
-      __compactRuntime.typeError('assertValidNoStatusBinding',
-                                 'argument 1',
-                                 'status-bindings.compact line 34 char 1',
-                                 'struct NoStatusBinding<>',
-                                 binding_0)
-    }
-    return _dummyContract._assertValidNoStatusBinding_0(binding_0);
-  },
   assertValidRegistryBoundStatusBinding: (...args_0) => {
     if (args_0.length !== 1) {
       throw new __compactRuntime.CompactError(`assertValidRegistryBoundStatusBinding: expected 1 argument (as invoked from Typescript), received ${args_0.length}`);
     }
     const binding_0 = args_0[0];
-    if (!(typeof(binding_0) === 'object' && typeof(binding_0.statusType) === 'number' && binding_0.statusType >= 0 && binding_0.statusType <= 0 && typeof(binding_0.registryRef) === 'object' && binding_0.registryRef.registryId.buffer instanceof ArrayBuffer && binding_0.registryRef.registryId.BYTES_PER_ELEMENT === 1 && binding_0.registryRef.registryId.length === 32 && typeof(binding_0.registryRef.authorityVerificationMethodRef) === 'object' && typeof(binding_0.registryRef.authorityVerificationMethodRef.didContractAddress) === 'object' && binding_0.registryRef.authorityVerificationMethodRef.didContractAddress.bytes.buffer instanceof ArrayBuffer && binding_0.registryRef.authorityVerificationMethodRef.didContractAddress.bytes.BYTES_PER_ELEMENT === 1 && binding_0.registryRef.authorityVerificationMethodRef.didContractAddress.bytes.length === 32 && binding_0.registryRef.authorityVerificationMethodRef.methodId.buffer instanceof ArrayBuffer && binding_0.registryRef.authorityVerificationMethodRef.methodId.BYTES_PER_ELEMENT === 1 && binding_0.registryRef.authorityVerificationMethodRef.methodId.length === 32 && binding_0.statusHandleCommitment.buffer instanceof ArrayBuffer && binding_0.statusHandleCommitment.BYTES_PER_ELEMENT === 1 && binding_0.statusHandleCommitment.length === 32)) {
+    if (!(typeof(binding_0) === 'object' && typeof(binding_0.registryRef) === 'object' && binding_0.registryRef.registryId.buffer instanceof ArrayBuffer && binding_0.registryRef.registryId.BYTES_PER_ELEMENT === 1 && binding_0.registryRef.registryId.length === 32 && typeof(binding_0.registryRef.authorityVerificationMethodRef) === 'object' && typeof(binding_0.registryRef.authorityVerificationMethodRef.controllerAddress) === 'object' && binding_0.registryRef.authorityVerificationMethodRef.controllerAddress.bytes.buffer instanceof ArrayBuffer && binding_0.registryRef.authorityVerificationMethodRef.controllerAddress.bytes.BYTES_PER_ELEMENT === 1 && binding_0.registryRef.authorityVerificationMethodRef.controllerAddress.bytes.length === 32 && binding_0.registryRef.authorityVerificationMethodRef.methodId.buffer instanceof ArrayBuffer && binding_0.registryRef.authorityVerificationMethodRef.methodId.BYTES_PER_ELEMENT === 1 && binding_0.registryRef.authorityVerificationMethodRef.methodId.length === 32 && binding_0.statusHandleCommitment.buffer instanceof ArrayBuffer && binding_0.statusHandleCommitment.BYTES_PER_ELEMENT === 1 && binding_0.statusHandleCommitment.length === 32)) {
       __compactRuntime.typeError('assertValidRegistryBoundStatusBinding',
                                  'argument 1',
-                                 'status-bindings.compact line 41 char 1',
-                                 'struct RegistryBoundStatusBinding<statusType: Enum<StatusType, revocationRegistry>, registryRef: struct StatusRegistryRef<registryId: Bytes<32>, authorityVerificationMethodRef: struct VerificationMethodRef<didContractAddress: struct ContractAddress<bytes: Bytes<32>>, methodId: Bytes<32>>>, statusHandleCommitment: Bytes<32>>',
+                                 'status-bindings.compact line 26 char 1',
+                                 'struct RegistryBoundStatusBinding<registryRef: struct StatusRegistryRef<registryId: Bytes<32>, authorityVerificationMethodRef: struct VerificationMethodRef<controllerAddress: struct ContractAddress<bytes: Bytes<32>>, methodId: Bytes<32>>>, statusHandleCommitment: Bytes<32>>',
                                  binding_0)
     }
     return _dummyContract._assertValidRegistryBoundStatusBinding_0(binding_0);
@@ -2198,11 +1602,11 @@ export const pureCircuits = {
       throw new __compactRuntime.CompactError(`registryBoundStatusBindingRoot: expected 1 argument (as invoked from Typescript), received ${args_0.length}`);
     }
     const binding_0 = args_0[0];
-    if (!(typeof(binding_0) === 'object' && typeof(binding_0.statusType) === 'number' && binding_0.statusType >= 0 && binding_0.statusType <= 0 && typeof(binding_0.registryRef) === 'object' && binding_0.registryRef.registryId.buffer instanceof ArrayBuffer && binding_0.registryRef.registryId.BYTES_PER_ELEMENT === 1 && binding_0.registryRef.registryId.length === 32 && typeof(binding_0.registryRef.authorityVerificationMethodRef) === 'object' && typeof(binding_0.registryRef.authorityVerificationMethodRef.didContractAddress) === 'object' && binding_0.registryRef.authorityVerificationMethodRef.didContractAddress.bytes.buffer instanceof ArrayBuffer && binding_0.registryRef.authorityVerificationMethodRef.didContractAddress.bytes.BYTES_PER_ELEMENT === 1 && binding_0.registryRef.authorityVerificationMethodRef.didContractAddress.bytes.length === 32 && binding_0.registryRef.authorityVerificationMethodRef.methodId.buffer instanceof ArrayBuffer && binding_0.registryRef.authorityVerificationMethodRef.methodId.BYTES_PER_ELEMENT === 1 && binding_0.registryRef.authorityVerificationMethodRef.methodId.length === 32 && binding_0.statusHandleCommitment.buffer instanceof ArrayBuffer && binding_0.statusHandleCommitment.BYTES_PER_ELEMENT === 1 && binding_0.statusHandleCommitment.length === 32)) {
+    if (!(typeof(binding_0) === 'object' && typeof(binding_0.registryRef) === 'object' && binding_0.registryRef.registryId.buffer instanceof ArrayBuffer && binding_0.registryRef.registryId.BYTES_PER_ELEMENT === 1 && binding_0.registryRef.registryId.length === 32 && typeof(binding_0.registryRef.authorityVerificationMethodRef) === 'object' && typeof(binding_0.registryRef.authorityVerificationMethodRef.controllerAddress) === 'object' && binding_0.registryRef.authorityVerificationMethodRef.controllerAddress.bytes.buffer instanceof ArrayBuffer && binding_0.registryRef.authorityVerificationMethodRef.controllerAddress.bytes.BYTES_PER_ELEMENT === 1 && binding_0.registryRef.authorityVerificationMethodRef.controllerAddress.bytes.length === 32 && binding_0.registryRef.authorityVerificationMethodRef.methodId.buffer instanceof ArrayBuffer && binding_0.registryRef.authorityVerificationMethodRef.methodId.BYTES_PER_ELEMENT === 1 && binding_0.registryRef.authorityVerificationMethodRef.methodId.length === 32 && binding_0.statusHandleCommitment.buffer instanceof ArrayBuffer && binding_0.statusHandleCommitment.BYTES_PER_ELEMENT === 1 && binding_0.statusHandleCommitment.length === 32)) {
       __compactRuntime.typeError('registryBoundStatusBindingRoot',
                                  'argument 1',
-                                 'status-bindings.compact line 55 char 1',
-                                 'struct RegistryBoundStatusBinding<statusType: Enum<StatusType, revocationRegistry>, registryRef: struct StatusRegistryRef<registryId: Bytes<32>, authorityVerificationMethodRef: struct VerificationMethodRef<didContractAddress: struct ContractAddress<bytes: Bytes<32>>, methodId: Bytes<32>>>, statusHandleCommitment: Bytes<32>>',
+                                 'status-bindings.compact line 36 char 1',
+                                 'struct RegistryBoundStatusBinding<registryRef: struct StatusRegistryRef<registryId: Bytes<32>, authorityVerificationMethodRef: struct VerificationMethodRef<controllerAddress: struct ContractAddress<bytes: Bytes<32>>, methodId: Bytes<32>>>, statusHandleCommitment: Bytes<32>>',
                                  binding_0)
     }
     return _dummyContract._registryBoundStatusBindingRoot_0(binding_0);