@sig-net/midnight 0.23.0 → 0.24.0-rc.2

package/src/circuits.compact

@@ -9,6 +9,7 @@ import CompactStandardLibrary;
 import "./Signet";
 
 export {
+  OutputKind,
   constructSignBidirectionalEventNotificationV1,
   ethereumCaip2Id,
   evmAddressAbiWord,
@@ -21,46 +22,73 @@ export {
 // ---- Fixed-width attestation oracles (tests only) --------------------------
 // The size-generic digest and verify circuits cannot appear in the export
 // list above. These fixed-width instantiations exist solely to pin the TS
-// twin in ecdsa-attestation.ts against the compiled circuits (widths 1, 2, 32
-// and 100). Client contracts instantiate the generic circuits at their own
-// width.
+// twin in ecdsa-attestation.ts against the compiled circuits (widths 0, 1, 2,
+// 32 and 100, where 0 is the empty output of a failed or unviable execution).
+// Client contracts instantiate the generic circuits at their own width.
+
+export pure circuit calculateSignetAttestationDigest0(
+  requestId: RequestId,
+  blockHeight: Uint<64>,
+  outputKind: OutputKind,
+  serializedOutput: Bytes<0>
+): Bytes<32> {
+  return calculateSignetAttestationDigest<0>(requestId, blockHeight, outputKind, serializedOutput);
+}
 
 export pure circuit calculateSignetAttestationDigest1(
   requestId: RequestId,
+  blockHeight: Uint<64>,
+  outputKind: OutputKind,
   serializedOutput: Bytes<1>
 ): Bytes<32> {
-  return calculateSignetAttestationDigest<1>(requestId, serializedOutput);
+  return calculateSignetAttestationDigest<1>(requestId, blockHeight, outputKind, serializedOutput);
 }
 
 export pure circuit calculateSignetAttestationDigest2(
   requestId: RequestId,
+  blockHeight: Uint<64>,
+  outputKind: OutputKind,
   serializedOutput: Bytes<2>
 ): Bytes<32> {
-  return calculateSignetAttestationDigest<2>(requestId, serializedOutput);
+  return calculateSignetAttestationDigest<2>(requestId, blockHeight, outputKind, serializedOutput);
 }
 
 export pure circuit calculateSignetAttestationDigest32(
   requestId: RequestId,
+  blockHeight: Uint<64>,
+  outputKind: OutputKind,
   serializedOutput: Bytes<32>
 ): Bytes<32> {
-  return calculateSignetAttestationDigest<32>(requestId, serializedOutput);
+  return calculateSignetAttestationDigest<32>(requestId, blockHeight, outputKind, serializedOutput);
 }
 
 export pure circuit calculateSignetAttestationDigest100(
   requestId: RequestId,
+  blockHeight: Uint<64>,
+  outputKind: OutputKind,
   serializedOutput: Bytes<100>
 ): Bytes<32> {
-  return calculateSignetAttestationDigest<100>(requestId, serializedOutput);
+  return calculateSignetAttestationDigest<100>(requestId, blockHeight, outputKind, serializedOutput);
+}
+
+export pure circuit verifyRespondBidirectionalEvent0(
+  serializedOutput: Bytes<0>,
+  respondBidirectionalEvent: RespondBidirectionalEvent,
+  mpcResponseKey: Secp256k1Point
+): Boolean {
+  return verifyRespondBidirectionalEvent<0>(
+    serializedOutput,
+    respondBidirectionalEvent,
+    mpcResponseKey
+  );
 }
 
 export pure circuit verifyRespondBidirectionalEvent32(
-  requestId: RequestId,
   serializedOutput: Bytes<32>,
   respondBidirectionalEvent: RespondBidirectionalEvent,
   mpcResponseKey: Secp256k1Point
 ): Boolean {
   return verifyRespondBidirectionalEvent<32>(
-    requestId,
     serializedOutput,
     respondBidirectionalEvent,
     mpcResponseKey