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

package/src/circuits.compact

@@ -10,6 +10,7 @@ import "./Signet";
 
 export {
   OutputKind,
+  calculateRequestIdV1,
   constructSignBidirectionalEventNotificationV1,
   ethereumCaip2Id,
   evmAddressAbiWord,
@@ -32,7 +33,7 @@ export pure circuit calculateSignetAttestationDigest0(
   outputKind: OutputKind,
   serializedOutput: Bytes<0>
 ): Bytes<32> {
-  return calculateSignetAttestationDigest<0>(requestId, blockHeight, outputKind, serializedOutput);
+  return calculateSignetAttestationDigestV1<0>(requestId, blockHeight, outputKind, serializedOutput);
 }
 
 export pure circuit calculateSignetAttestationDigest1(
@@ -41,7 +42,7 @@ export pure circuit calculateSignetAttestationDigest1(
   outputKind: OutputKind,
   serializedOutput: Bytes<1>
 ): Bytes<32> {
-  return calculateSignetAttestationDigest<1>(requestId, blockHeight, outputKind, serializedOutput);
+  return calculateSignetAttestationDigestV1<1>(requestId, blockHeight, outputKind, serializedOutput);
 }
 
 export pure circuit calculateSignetAttestationDigest2(
@@ -50,7 +51,7 @@ export pure circuit calculateSignetAttestationDigest2(
   outputKind: OutputKind,
   serializedOutput: Bytes<2>
 ): Bytes<32> {
-  return calculateSignetAttestationDigest<2>(requestId, blockHeight, outputKind, serializedOutput);
+  return calculateSignetAttestationDigestV1<2>(requestId, blockHeight, outputKind, serializedOutput);
 }
 
 export pure circuit calculateSignetAttestationDigest32(
@@ -59,7 +60,7 @@ export pure circuit calculateSignetAttestationDigest32(
   outputKind: OutputKind,
   serializedOutput: Bytes<32>
 ): Bytes<32> {
-  return calculateSignetAttestationDigest<32>(requestId, blockHeight, outputKind, serializedOutput);
+  return calculateSignetAttestationDigestV1<32>(requestId, blockHeight, outputKind, serializedOutput);
 }
 
 export pure circuit calculateSignetAttestationDigest100(
@@ -68,15 +69,47 @@ export pure circuit calculateSignetAttestationDigest100(
   outputKind: OutputKind,
   serializedOutput: Bytes<100>
 ): Bytes<32> {
-  return calculateSignetAttestationDigest<100>(requestId, blockHeight, outputKind, serializedOutput);
+  return calculateSignetAttestationDigestV1<100>(requestId, blockHeight, outputKind, serializedOutput);
+}
+
+// ---- Fixed-width transaction digest oracles (tests only) --------------------
+// Pin the TS twin calculateEvmType2TxParamsDigest against the compiled circuit
+// at the caller contracts' <1, 0, 0> shape and at a shape with unused
+// capacity in every dimension.
+
+export pure circuit calculateEvmType2TxParamsDigestV1_1_0_0(
+  txParams: EvmType2TxParams<1, 0, 0>
+): Bytes<32> {
+  return calculateEvmType2TxParamsDigestV1<1, 0, 0>(txParams);
+}
+
+export pure circuit calculateEvmType2TxParamsDigestV1_2_1_2(
+  txParams: EvmType2TxParams<2, 1, 2>
+): Bytes<32> {
+  return calculateEvmType2TxParamsDigestV1<2, 1, 2>(txParams);
+}
+
+// Pin the TS twin calculateRequestId against the composed request id circuit
+// at the same two shapes, and its tag assert.
+
+export pure circuit calculateEvmType2RequestIdV1_1_0_0_34_34(
+  request: SignBidirectionalEventV1<EvmType2TxParams<1, 0, 0>, 34, 34>
+): RequestId {
+  return calculateEvmType2RequestIdV1<1, 0, 0, 34, 34>(request);
+}
+
+export pure circuit calculateEvmType2RequestIdV1_2_1_2_34_34(
+  request: SignBidirectionalEventV1<EvmType2TxParams<2, 1, 2>, 34, 34>
+): RequestId {
+  return calculateEvmType2RequestIdV1<2, 1, 2, 34, 34>(request);
 }
 
 export pure circuit verifyRespondBidirectionalEvent0(
   serializedOutput: Bytes<0>,
-  respondBidirectionalEvent: RespondBidirectionalEvent,
+  respondBidirectionalEvent: RespondBidirectionalEventV1,
   mpcResponseKey: Secp256k1Point
 ): Boolean {
-  return verifyRespondBidirectionalEvent<0>(
+  return verifyRespondBidirectionalEventV1<0>(
     serializedOutput,
     respondBidirectionalEvent,
     mpcResponseKey
@@ -85,10 +118,10 @@ export pure circuit verifyRespondBidirectionalEvent0(
 
 export pure circuit verifyRespondBidirectionalEvent32(
   serializedOutput: Bytes<32>,
-  respondBidirectionalEvent: RespondBidirectionalEvent,
+  respondBidirectionalEvent: RespondBidirectionalEventV1,
   mpcResponseKey: Secp256k1Point
 ): Boolean {
-  return verifyRespondBidirectionalEvent<32>(
+  return verifyRespondBidirectionalEventV1<32>(
     serializedOutput,
     respondBidirectionalEvent,
     mpcResponseKey