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

package/src/circuits.compact

@@ -9,60 +9,140 @@ import CompactStandardLibrary;
 import "./Signet";
 
 export {
+  HashDomain,
+  OutputKind,
+  calculateRequestIdV1,
   constructSignBidirectionalEventNotificationV1,
   ethereumCaip2Id,
   evmAddressAbiWord,
   numericAbiWord,
   boolAbiWord,
   abiWordToUint128,
-  abiWordToBool
+  abiWordToBool,
+  checkedTruncationU128
 };
 
 // ---- 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 calculateSignetAttestationDigestV1<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 calculateSignetAttestationDigestV1<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 calculateSignetAttestationDigestV1<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 calculateSignetAttestationDigestV1<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 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(
+  request: SignBidirectionalEventV1<EvmType2TxParams<1, 0, 0>, 34, 0>
+): RequestId {
+  return calculateEvmType2RequestIdV1<1, 0, 0, 34>(request);
+}
+
+export pure circuit calculateEvmType2RequestIdV1_2_1_2_34(
+  request: SignBidirectionalEventV1<EvmType2TxParams<2, 1, 2>, 34, 0>
+): RequestId {
+  return calculateEvmType2RequestIdV1<2, 1, 2, 34>(request);
+}
+
+export pure circuit verifyRespondBidirectionalEvent0(
+  serializedOutput: Bytes<0>,
+  respondBidirectionalEvent: RespondBidirectionalEventV1,
+  mpcResponseKey: Secp256k1Point
+): Boolean {
+  return verifyRespondBidirectionalEventV1<0>(
+    serializedOutput,
+    respondBidirectionalEvent,
+    mpcResponseKey
+  );
 }
 
 export pure circuit verifyRespondBidirectionalEvent32(
-  requestId: RequestId,
   serializedOutput: Bytes<32>,
-  respondBidirectionalEvent: RespondBidirectionalEvent,
+  respondBidirectionalEvent: RespondBidirectionalEventV1,
   mpcResponseKey: Secp256k1Point
 ): Boolean {
-  return verifyRespondBidirectionalEvent<32>(
-    requestId,
+  return verifyRespondBidirectionalEventV1<32>(
     serializedOutput,
     respondBidirectionalEvent,
     mpcResponseKey
   );
 }
+
+export pure circuit constructSignBidirectionalEventV1_1_0_0_34(
+  request: SignBidirectionalEventV1<EvmType2TxParams<1, 0, 0>, 34, 0>
+): SignBidirectionalEventV1<EvmType2TxParams<1, 0, 0>, 34, 0> {
+  return constructSignBidirectionalEventV1<EvmType2TxParams<1, 0, 0>, 34>(
+    request.keyVersion,
+    request.sender,
+    request.path,
+    request.algo,
+    request.txParamType,
+    request.txParams,
+    request.executionDest,
+    request.signatureDest,
+    request.params,
+    request.outputDeserializationSchema
+  );
+}