@sig-net/midnight 0.18.0 → 0.20.0-rc.1

package/dist/signet-evtype2tx-requests.d.ts

@@ -1,13 +1,13 @@
 import { type CompactType } from "@midnight-ntwrk/compact-runtime";
-import { Signature, Transaction } from "ethers";
+import { Transaction } from "ethers";
+import { type Maybe } from "./compact-descriptors.ts";
 import type { SignatureRespondedEvent } from "./signet-contract-events.ts";
-import { type Maybe, type RequestId, type SignBidirectionalEvent } from "./signet-requests.ts";
+import { type SignBidirectionalEvent } from "./signet-requests.ts";
 /**
  * ABI calldata as a 4-byte selector + 32-byte word slots (Compact:
- * `EvmCalldata<#maxWords>`). Every stored byte is ABI-READY: the calldata the
- * MPC signs is `selector || words[0..noWords]` VERBATIM (see
- * {@link assembleCalldata}), so words are big-endian broadcast-form ABI words,
- * built in-circuit by Signet.compact's `evmAddressAbiWord` / `numericAbiWord`.
+ * `EvmCalldata<#maxWords>`). Every stored byte is ABI-READY: words are
+ * big-endian broadcast-form ABI words, and the calldata the MPC signs is
+ * `selector || words[0..noWords]` VERBATIM (see {@link assembleCalldata}).
  */
 export interface EvmCalldata {
     /** The literal first 4 calldata bytes (as broadcast). */
@@ -35,10 +35,10 @@ export interface EvmAccessListEntry {
 /**
  * The EVM transaction to be signed, decomposed into typed fields (Compact:
  * `EvmType2TxParams<#maxCalldataWords, #maxAccessListEntries,
- * #maxStorageKeysPerEntry>`, EIP-1559: https://eips.ethereum.org/EIPS/eip-1559).
- * Compact `Bytes<N>` fields arrive as N-byte `Uint8Array`s, `Uint<N>` as
- * `bigint`. Vector capacities are each contract's compile-time throttle,
- * and the runtime counts say how many leading slots are real.
+ * #maxStorageKeysPerEntry>`, EIP-1559). Compact `Bytes<N>` fields arrive as
+ * N-byte `Uint8Array`s, `Uint<N>` as `bigint`. Vector capacities are each
+ * contract's compile-time throttle, and the runtime counts say how many
+ * leading slots are real.
  */
 export interface EvmType2TxParams {
     /** EVM chain id (also expressed in the record's `caip2Id`). */
@@ -89,11 +89,20 @@ export declare function evmAccessListEntryDescriptor(maxStorageKeys: number): Co
  * @returns The tx-params descriptor.
  */
 export declare function evmType2TxParamsDescriptor(maxCalldataWords: number, maxAccessListEntries: number, maxStorageKeysPerEntry: number): CompactType<EvmType2TxParams>;
+/**
+ * Descriptor of {@link EvmType2TxParams} at the capacity instantiation a
+ * stored value itself exhibits: vector capacities are read off the value's
+ * array lengths, which carry the contract's compile-time throttles. For
+ * hashing or re-encoding a record already decoded at full capacity (see
+ * `calculateRequestId` in signet-request-id.ts).
+ *
+ * @param txParams - The transaction decomposition to size against.
+ * @returns The tx-params descriptor at the value's capacities.
+ */
+export declare function evmType2TxParamsDescriptorOf(txParams: EvmType2TxParams): CompactType<EvmType2TxParams>;
 /**
  * Descriptor of {@link SignBidirectionalEvent} at one EVM Type-2 capacity
- * instantiation: the generic record descriptor
- * (`signBidirectionalEventDescriptorWith`) over
- * {@link evmType2TxParamsDescriptor}.
+ * instantiation.
  *
  * @param maxCalldataWords - Calldata word capacity.
  * @param maxAccessListEntries - Access-list entry capacity.
@@ -106,28 +115,14 @@ export declare function evmType2TxParamsDescriptor(maxCalldataWords: number, max
  */
 export declare function signBidirectionalEventDescriptor(maxCalldataWords: number, maxAccessListEntries: number, maxStorageKeysPerEntry: number, lenOutputDeserialization: number, lenRespondSerialization: number): CompactType<SignBidirectionalEvent>;
 /**
- * Canonical id of a signet request: the persistent hash of the entire event
- * record (which commits to every field, the sender address included, and
- * deliberately carries no extra domain tag). TS twin of Signet.compact's
- * `calculateRequestId` circuit (see the deviation note in
- * signet-requests.ts), generic over the capacity instantiation via the
- * record's own array lengths: pass the record exactly as the ledger stores
- * it, unused slots included and schemas at their declared widths.
- *
- * @param request - The full event record (contract-shaped, all slots).
- * @returns The 32-byte request id, the record's ledger map key.
- */
-export declare function calculateRequestId(request: SignBidirectionalEvent): RequestId;
-/**
- * The ABI word for a numeric value (e.g. an ERC20 amount): the value as a
- * 32-byte BIG-ENDIAN integer, exactly as broadcast. TS mirror of
- * Signet.compact's `numericAbiWord` circuit (lockstep-tested against the
- * compiled circuit). Use when building words off-chain (UIs, expected-record
- * builders, tests).
+ * The ABI word for a numeric value: the value as a 32-byte BIG-ENDIAN
+ * integer, exactly as broadcast. TS mirror of Signet.compact's
+ * `numericAbiWord` circuit (lockstep-tested against the compiled circuit).
+ * For off-chain word builders (UIs, expected-record builders, tests).
  *
  * @param value - The word's numeric value (e.g. an amount).
  * @returns The ABI-ready 32-byte word to store in an {@link EvmCalldata} word.
- * @throws Error if the value is negative or does not fit 32 bytes.
+ * @throws {Error} If the value is negative or does not fit 32 bytes.
  */
 export declare function numericAbiWord(value: bigint): Uint8Array;
 /**
@@ -137,7 +132,7 @@ export declare function numericAbiWord(value: bigint): Uint8Array;
  *
  * @param address - The 20-byte address in display order.
  * @returns The ABI-ready 32-byte word to store in an {@link EvmCalldata} word.
- * @throws Error if the address is not exactly 20 bytes.
+ * @throws {Error} If the address is not exactly 20 bytes.
  */
 export declare function evmAddressAbiWord(address: Uint8Array): Uint8Array;
 /**
@@ -146,37 +141,33 @@ export declare function evmAddressAbiWord(address: Uint8Array): Uint8Array;
  * (lockstep-tested against the compiled circuit).
  *
  * @param value - The word's Boolean value.
- * @returns The ABI-ready 32-byte word to store in an {@link EvmCalldata} word.
+ * @returns The ABI-ready 32-byte word.
  */
 export declare function boolAbiWord(value: boolean): Uint8Array;
 /**
  * Read a numeric ABI word back into a bigint: the big-endian reading of bytes
- * 16..31. TS mirror of Signet.compact's `abiWordToUint128` circuit, including
- * its canonicality check: the leading 16 bytes must be zero, so a word wider
- * than Uint<128> is rejected rather than silently truncated.
+ * 16..31, with the leading 16 bytes required to be zero. TS mirror of
+ * Signet.compact's `abiWordToUint128` circuit, canonicality check included.
  *
  * @param word - The ABI-ready 32-byte word.
  * @returns The word's numeric value.
- * @throws Error if the word is not 32 bytes or its leading half is nonzero.
+ * @throws {Error} If the word is not 32 bytes or its leading half is nonzero.
  */
 export declare function abiWordToUint128(word: Uint8Array): bigint;
 /**
- * Read a Boolean ABI word back into a boolean. TS mirror of Signet.compact's
- * `abiWordToBool` circuit, including its canonicality check: the first 31
- * bytes must be zero and the last byte 0 or 1.
+ * Read a Boolean ABI word back into a boolean: the first 31 bytes must be
+ * zero and the last byte 0 or 1. TS mirror of Signet.compact's
+ * `abiWordToBool` circuit, canonicality check included.
  *
  * @param word - The ABI-ready 32-byte word.
  * @returns The word's Boolean value.
- * @throws Error if the word is not 32 bytes or is not a canonical Boolean.
+ * @throws {Error} If the word is not 32 bytes or is not a canonical Boolean.
  */
 export declare function abiWordToBool(word: Uint8Array): boolean;
 /**
  * Assemble the raw calldata a request's words describe:
- * `data = selector || words[0..noWords]`, VERBATIM. Words are stored
- * ABI-ready (see {@link EvmCalldata}), so no byte of the stored record is
- * reordered or reinterpreted on the way into the transaction. Slots past
- * `noWords` are unused capacity and are dropped. This is THE implementation
- * of the signer-side assembly documented on `EvmCalldata` in Signet.compact.
+ * `data = selector || words[0..noWords]`, VERBATIM (see {@link EvmCalldata}).
+ * Slots past `noWords` are unused capacity and are dropped.
  *
  * @param calldata - The request's calldata field.
  * @returns Hex calldata for the transaction (`"0x"` when absent).
@@ -184,51 +175,16 @@ export declare function abiWordToBool(word: Uint8Array): boolean;
 export declare function assembleCalldata(calldata: Maybe<EvmCalldata>): string;
 /**
  * Rebuild the unsigned EIP-1559 transaction a request record describes,
- * byte-identical to the one the MPC assembles and signs: calldata from the
- * tagged words (see {@link assembleCalldata}), the count-trimmed access
- * list, and the stored envelope fields. This is the canonical
- * request→transaction transform. Response-side verification
- * (`signature-response-verification.ts`) and the signed-transaction builder
- * below both go through it, so the transaction a client broadcasts is
- * provably the one the MPC put its signature over.
+ * byte-identical to the one the MPC assembles and signs. The canonical
+ * request-to-transaction transform: response-side verification and
+ * {@link signBidirectionalEventToSignedEvmTransaction} both go through it.
  *
  * @param request - The on-ledger request record.
  * @returns The unsigned ethers transaction (`unsignedHash` is the digest the
  *   MPC signs).
- * @throws Error if a calldata word carries an unknown kind.
+ * @throws {Error} If a calldata word carries an unknown kind.
  */
 export declare function signBidirectionalEventToUnsignedEvmTransaction(request: SignBidirectionalEvent): Transaction;
-/**
- * Decode a response signature record (as the signet contract emits it in a
- * signature response event) into an ethers {@link Signature}. Goes through
- * {@link mpcSignatureToEcdsaSignature}, so this and in-circuit claims decode
- * a post identically:
- * ethers' `r` is the ECDSA scalar (`bigR.x` reduced mod the curve order),
- * not the raw coordinate, and a malformed record is rejected the same way
- * in both paths.
- *
- * @param response - The posted signature record.
- * @returns The ethers signature.
- * @throws Error if the record is malformed (see {@link mpcSignatureToEcdsaSignature}).
- */
-export declare function signatureRespondedEventToSignature(response: SignatureRespondedEvent): Signature;
-/**
- * Encode an ECDSA signature as the response record posted to the signet
- * contract: the inverse of {@link signatureRespondedEventToSignature}, for
- * MPC-side posters (the fakenet signer, tests). An `r || s || v` signature
- * carries only R.x and the parity of R.y, so the full R point the record
- * stores is recovered on-curve (see {@link ecdsaSignatureToMpcSignature}).
- *
- * The parameter is structural (the r/s/yParity subset of an ethers
- * {@link Signature}) so signatures from ANY ethers instance qualify: posters
- * living in other repos resolve their own ethers install, and nominal class
- * typing would reject it.
- *
- * @param signature - The signature to encode (`r`/`s` as 0x hex, `yParity` 0 or 1).
- * @returns The response record, ready to post.
- * @throws Error if `r` is not the x coordinate of a secp256k1 point.
- */
-export declare function signatureToSignatureRespondedEvent(signature: Pick<Signature, "r" | "s" | "yParity">): SignatureRespondedEvent;
 /**
  * Assemble the broadcast-ready signed EIP-1559 transaction for a request from
  * its MPC signature response: rebuild the exact unsigned transaction the MPC
@@ -242,7 +198,7 @@ export declare function signatureToSignatureRespondedEvent(signature: Pick<Signa
  * @returns The signed ethers transaction: `serialized` is the raw payload for
  *   `eth_sendRawTransaction`, `hash` its on-chain hash, `from` the recovered
  *   sender.
- * @throws Error if the request record is malformed (see
+ * @throws {Error} If the request record is malformed (see
  *   {@link signBidirectionalEventToUnsignedEvmTransaction}) or the response
  *   is not a decodable signature.
  */

package/dist/signet-evtype2tx-requests.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"signet-evtype2tx-requests.d.ts","sourceRoot":"","sources":["../src/signet-evtype2tx-requests.ts"],"names":[],"mappings":"AAYA,OAAO,EAKL,KAAK,WAAW,EACjB,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAc,SAAS,EAAW,WAAW,EAAE,MAAM,QAAQ,CAAC;AAErE,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,6BAA6B,CAAC;AAM3E,OAAO,EAKL,KAAK,KAAK,EACV,KAAK,SAAS,EACd,KAAK,sBAAsB,EAC5B,MAAM,sBAAsB,CAAC;AAE9B;;;;;;GAMG;AACH,MAAM,WAAW,WAAW;IAC1B,yDAAyD;IACzD,QAAQ,EAAE,UAAU,CAAC;IACrB,6EAA6E;IAC7E,OAAO,EAAE,MAAM,CAAC;IAChB;;;OAGG;IACH,KAAK,EAAE,UAAU,EAAE,CAAC;CACrB;AAED;;;GAGG;AACH,MAAM,WAAW,kBAAkB;IACjC,iEAAiE;IACjE,OAAO,EAAE,UAAU,CAAC;IACpB,qDAAqD;IACrD,eAAe,EAAE,MAAM,CAAC;IACxB,sEAAsE;IACtE,WAAW,EAAE,UAAU,EAAE,CAAC;CAC3B;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,gBAAgB;IAC/B,+DAA+D;IAC/D,OAAO,EAAE,MAAM,CAAC;IAChB,uDAAuD;IACvD,KAAK,EAAE,MAAM,CAAC;IACd,qCAAqC;IACrC,oBAAoB,EAAE,MAAM,CAAC;IAC7B,kCAAkC;IAClC,YAAY,EAAE,MAAM,CAAC;IACrB,gCAAgC;IAChC,QAAQ,EAAE,MAAM,CAAC;IACjB,uDAAuD;IACvD,EAAE,EAAE,UAAU,CAAC;IACf,mCAAmC;IACnC,KAAK,EAAE,MAAM,CAAC;IACd,0EAA0E;IAC1E,QAAQ,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC;IAC7B,4DAA4D;IAC5D,oBAAoB,EAAE,MAAM,CAAC;IAC7B,mEAAmE;IACnE,UAAU,EAAE,kBAAkB,EAAE,CAAC;CAClC;AAaD;;;;;;GAMG;AACH,wBAAgB,qBAAqB,CAAC,QAAQ,EAAE,MAAM,GAAG,WAAW,CAAC,WAAW,CAAC,CAMhF;AAED;;;;;;GAMG;AACH,wBAAgB,4BAA4B,CAC1C,cAAc,EAAE,MAAM,GACrB,WAAW,CAAC,kBAAkB,CAAC,CAMjC;AAED;;;;;;;;;GASG;AACH,wBAAgB,0BAA0B,CACxC,gBAAgB,EAAE,MAAM,EACxB,oBAAoB,EAAE,MAAM,EAC5B,sBAAsB,EAAE,MAAM,GAC7B,WAAW,CAAC,gBAAgB,CAAC,CAiB/B;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,gCAAgC,CAC9C,gBAAgB,EAAE,MAAM,EACxB,oBAAoB,EAAE,MAAM,EAC5B,sBAAsB,EAAE,MAAM,EAC9B,wBAAwB,EAAE,MAAM,EAChC,uBAAuB,EAAE,MAAM,GAC9B,WAAW,CAAC,sBAAsB,CAAC,CAUrC;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,sBAAsB,GAAG,SAAS,CAgB7E;AAID;;;;;;;;;;GAUG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,MAAM,GAAG,UAAU,CAExD;AAED;;;;;;;;GAQG;AACH,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,UAAU,GAAG,UAAU,CAOjE;AAED;;;;;;;GAOG;AACH,wBAAgB,WAAW,CAAC,KAAK,EAAE,OAAO,GAAG,UAAU,CAItD;AAED;;;;;;;;;GASG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,UAAU,GAAG,MAAM,CAYzD;AAED;;;;;;;;GAQG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,UAAU,GAAG,OAAO,CAQvD;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,gBAAgB,CAAC,QAAQ,EAAE,KAAK,CAAC,WAAW,CAAC,GAAG,MAAM,CAUrE;AAsBD;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,8CAA8C,CAC5D,OAAO,EAAE,sBAAsB,GAC9B,WAAW,CAcb;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,kCAAkC,CAChD,QAAQ,EAAE,uBAAuB,GAChC,SAAS,CAOX;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,kCAAkC,CAChD,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,GAAG,GAAG,GAAG,GAAG,SAAS,CAAC,GAChD,uBAAuB,CAQzB;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,4CAA4C,CAC1D,OAAO,EAAE,sBAAsB,EAC/B,QAAQ,EAAE,uBAAuB,GAChC,WAAW,CAIb"}
+{"version":3,"file":"signet-evtype2tx-requests.d.ts","sourceRoot":"","sources":["../src/signet-evtype2tx-requests.ts"],"names":[],"mappings":"AAUA,OAAO,EAAE,KAAK,WAAW,EAAqB,MAAM,iCAAiC,CAAC;AACtF,OAAO,EAAc,WAAW,EAAE,MAAM,QAAQ,CAAC;AAGjD,OAAO,EAML,KAAK,KAAK,EAKX,MAAM,0BAA0B,CAAC;AAElC,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,6BAA6B,CAAC;AAC3E,OAAO,EACL,KAAK,sBAAsB,EAE5B,MAAM,sBAAsB,CAAC;AAE9B;;;;;GAKG;AACH,MAAM,WAAW,WAAW;IAC1B,yDAAyD;IACzD,QAAQ,EAAE,UAAU,CAAC;IACrB,6EAA6E;IAC7E,OAAO,EAAE,MAAM,CAAC;IAChB;;;OAGG;IACH,KAAK,EAAE,UAAU,EAAE,CAAC;CACrB;AAED;;;GAGG;AACH,MAAM,WAAW,kBAAkB;IACjC,iEAAiE;IACjE,OAAO,EAAE,UAAU,CAAC;IACpB,qDAAqD;IACrD,eAAe,EAAE,MAAM,CAAC;IACxB,sEAAsE;IACtE,WAAW,EAAE,UAAU,EAAE,CAAC;CAC3B;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,gBAAgB;IAC/B,+DAA+D;IAC/D,OAAO,EAAE,MAAM,CAAC;IAChB,uDAAuD;IACvD,KAAK,EAAE,MAAM,CAAC;IACd,qCAAqC;IACrC,oBAAoB,EAAE,MAAM,CAAC;IAC7B,kCAAkC;IAClC,YAAY,EAAE,MAAM,CAAC;IACrB,gCAAgC;IAChC,QAAQ,EAAE,MAAM,CAAC;IACjB,uDAAuD;IACvD,EAAE,EAAE,UAAU,CAAC;IACf,mCAAmC;IACnC,KAAK,EAAE,MAAM,CAAC;IACd,0EAA0E;IAC1E,QAAQ,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC;IAC7B,4DAA4D;IAC5D,oBAAoB,EAAE,MAAM,CAAC;IAC7B,mEAAmE;IACnE,UAAU,EAAE,kBAAkB,EAAE,CAAC;CAClC;AAMD;;;;;;GAMG;AACH,wBAAgB,qBAAqB,CAAC,QAAQ,EAAE,MAAM,GAAG,WAAW,CAAC,WAAW,CAAC,CAMhF;AAED;;;;;;GAMG;AACH,wBAAgB,4BAA4B,CAC1C,cAAc,EAAE,MAAM,GACrB,WAAW,CAAC,kBAAkB,CAAC,CAMjC;AAED;;;;;;;;;GASG;AACH,wBAAgB,0BAA0B,CACxC,gBAAgB,EAAE,MAAM,EACxB,oBAAoB,EAAE,MAAM,EAC5B,sBAAsB,EAAE,MAAM,GAC7B,WAAW,CAAC,gBAAgB,CAAC,CAiB/B;AAED;;;;;;;;;GASG;AACH,wBAAgB,4BAA4B,CAC1C,QAAQ,EAAE,gBAAgB,GACzB,WAAW,CAAC,gBAAgB,CAAC,CAM/B;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,gCAAgC,CAC9C,gBAAgB,EAAE,MAAM,EACxB,oBAAoB,EAAE,MAAM,EAC5B,sBAAsB,EAAE,MAAM,EAC9B,wBAAwB,EAAE,MAAM,EAChC,uBAAuB,EAAE,MAAM,GAC9B,WAAW,CAAC,sBAAsB,CAAC,CAMrC;AAID;;;;;;;;;GASG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,MAAM,GAAG,UAAU,CAExD;AAED;;;;;;;;GAQG;AACH,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,UAAU,GAAG,UAAU,CAOjE;AAED;;;;;;;GAOG;AACH,wBAAgB,WAAW,CAAC,KAAK,EAAE,OAAO,GAAG,UAAU,CAItD;AAED;;;;;;;;GAQG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,UAAU,GAAG,MAAM,CAYzD;AAED;;;;;;;;GAQG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,UAAU,GAAG,OAAO,CASvD;AAED;;;;;;;GAOG;AACH,wBAAgB,gBAAgB,CAAC,QAAQ,EAAE,KAAK,CAAC,WAAW,CAAC,GAAG,MAAM,CAUrE;AAoBD;;;;;;;;;;GAUG;AACH,wBAAgB,8CAA8C,CAC5D,OAAO,EAAE,sBAAsB,GAC9B,WAAW,CAcb;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,4CAA4C,CAC1D,OAAO,EAAE,sBAAsB,EAC/B,QAAQ,EAAE,uBAAuB,GAChC,WAAW,CAIb"}

package/dist/signet-evtype2tx-requests.js

@@ -1,28 +1,21 @@
 // The EVM Type-2 (EIP-1559) instantiation of the signet request protocol:
 // TypeScript twins of the `EvmType2TxParams` decomposition structs in
 // `Signet.compact`, their runtime descriptors, the ABI-word helpers, and the
-// request -> transaction assembly the signer runs. Everything chain-agnostic
-// (the request record itself, ids, the descriptor toolkit) lives in
-// `signet-requests.ts`. A future non-EVM decomposition gets a sibling of THIS
-// file.
+// request -> transaction assembly. Everything chain-agnostic lives in
+// `signet-requests.ts`.
 //
-// The no-translation invariant lives here: words are stored ABI-ready and
-// {@link assembleCalldata} concatenates `selector || words` VERBATIM, so the
-// transaction the MPC signs carries the contract-stored bytes untouched.
-import { CompactTypeBytes, CompactTypeUnsignedInteger, CompactTypeVector, keccak256, } from "@midnight-ntwrk/compact-runtime";
-import { getAddress, Signature, toBeHex, Transaction } from "ethers";
-import { bigintToBytes32BE, ecdsaSignatureToMpcSignature, mpcSignatureToEcdsaSignature, } from "./ecdsa-attestation.js";
-import { bytesToHex, compactMaybeDescriptor, compactStructDescriptor, signBidirectionalEventDescriptorWith, } from "./signet-requests.js";
+// Words are stored ABI-ready: {@link assembleCalldata} concatenates
+// `selector || words` VERBATIM, so the transaction the MPC signs carries the
+// contract-stored bytes untouched.
+import { CompactTypeVector } from "@midnight-ntwrk/compact-runtime";
+import { getAddress, Transaction } from "ethers";
+import { bigintToBytes32BE, bytesToHex } from "./byte-codecs.js";
+import { BYTES_4, BYTES_20, BYTES_32, compactMaybeDescriptor, compactStructDescriptor, UINT_8, UINT_16, UINT_64, UINT_128, } from "./compact-descriptors.js";
+import { signatureRespondedEventToSignature } from "./ecdsa-attestation.js";
+import { signBidirectionalEventDescriptorWith, } from "./signet-requests.js";
 // ---- Runtime descriptors (see the deviation note in signet-requests.ts) ----
-// Base-type literals match what the compiler emits for the EVM structs'
-// fields (Uint<8/16/64/128>, Bytes<4/20/32>).
-const BYTES_4 = new CompactTypeBytes(4);
-const BYTES_20 = new CompactTypeBytes(20);
-const BYTES_32 = new CompactTypeBytes(32);
-const UINT_8 = new CompactTypeUnsignedInteger(2n ** 8n - 1n, 1);
-const UINT_16 = new CompactTypeUnsignedInteger(2n ** 16n - 1n, 2);
-const UINT_64 = new CompactTypeUnsignedInteger(2n ** 64n - 1n, 8);
-const UINT_128 = new CompactTypeUnsignedInteger(2n ** 128n - 1n, 16);
+// Base-type descriptors come from compact-descriptors.ts at the literals the
+// compiler emits for the EVM structs' fields (Uint<8/16/64/128>, Bytes<4/20/32>).
 /**
  * Descriptor of {@link EvmCalldata} at one word capacity: the TS analogue
  * of instantiating Compact's `EvmCalldata<#maxWords>`.
@@ -76,11 +69,22 @@ export function evmType2TxParamsDescriptor(maxCalldataWords, maxAccessListEntrie
         accessList: new CompactTypeVector(maxAccessListEntries, evmAccessListEntryDescriptor(maxStorageKeysPerEntry)),
     });
 }
+/**
+ * Descriptor of {@link EvmType2TxParams} at the capacity instantiation a
+ * stored value itself exhibits: vector capacities are read off the value's
+ * array lengths, which carry the contract's compile-time throttles. For
+ * hashing or re-encoding a record already decoded at full capacity (see
+ * `calculateRequestId` in signet-request-id.ts).
+ *
+ * @param txParams - The transaction decomposition to size against.
+ * @returns The tx-params descriptor at the value's capacities.
+ */
+export function evmType2TxParamsDescriptorOf(txParams) {
+    return evmType2TxParamsDescriptor(txParams.calldata.value.words.length, txParams.accessList.length, txParams.accessList[0]?.storageKeys.length ?? 0);
+}
 /**
  * Descriptor of {@link SignBidirectionalEvent} at one EVM Type-2 capacity
- * instantiation: the generic record descriptor
- * (`signBidirectionalEventDescriptorWith`) over
- * {@link evmType2TxParamsDescriptor}.
+ * instantiation.
  *
  * @param maxCalldataWords - Calldata word capacity.
  * @param maxAccessListEntries - Access-list entry capacity.
@@ -94,36 +98,16 @@ export function evmType2TxParamsDescriptor(maxCalldataWords, maxAccessListEntrie
 export function signBidirectionalEventDescriptor(maxCalldataWords, maxAccessListEntries, maxStorageKeysPerEntry, lenOutputDeserialization, lenRespondSerialization) {
     return signBidirectionalEventDescriptorWith(evmType2TxParamsDescriptor(maxCalldataWords, maxAccessListEntries, maxStorageKeysPerEntry), lenOutputDeserialization, lenRespondSerialization);
 }
-/**
- * Canonical id of a signet request: the persistent hash of the entire event
- * record (which commits to every field, the sender address included, and
- * deliberately carries no extra domain tag). TS twin of Signet.compact's
- * `calculateRequestId` circuit (see the deviation note in
- * signet-requests.ts), generic over the capacity instantiation via the
- * record's own array lengths: pass the record exactly as the ledger stores
- * it, unused slots included and schemas at their declared widths.
- *
- * @param request - The full event record (contract-shaped, all slots).
- * @returns The 32-byte request id, the record's ledger map key.
- */
-export function calculateRequestId(request) {
-    const { txParams } = request;
-    const maxCalldataWords = txParams.calldata.value.words.length;
-    const maxAccessListEntries = txParams.accessList.length;
-    const maxStorageKeysPerEntry = maxAccessListEntries === 0 ? 0 : txParams.accessList[0].storageKeys.length;
-    return keccak256(signBidirectionalEventDescriptor(maxCalldataWords, maxAccessListEntries, maxStorageKeysPerEntry, request.outputDeserializationSchema.length, request.respondSerializationSchema.length), request);
-}
 // ---- ABI words / calldata / transaction assembly ---------------------------
 /**
- * The ABI word for a numeric value (e.g. an ERC20 amount): the value as a
- * 32-byte BIG-ENDIAN integer, exactly as broadcast. TS mirror of
- * Signet.compact's `numericAbiWord` circuit (lockstep-tested against the
- * compiled circuit). Use when building words off-chain (UIs, expected-record
- * builders, tests).
+ * The ABI word for a numeric value: the value as a 32-byte BIG-ENDIAN
+ * integer, exactly as broadcast. TS mirror of Signet.compact's
+ * `numericAbiWord` circuit (lockstep-tested against the compiled circuit).
+ * For off-chain word builders (UIs, expected-record builders, tests).
  *
  * @param value - The word's numeric value (e.g. an amount).
  * @returns The ABI-ready 32-byte word to store in an {@link EvmCalldata} word.
- * @throws Error if the value is negative or does not fit 32 bytes.
+ * @throws {Error} If the value is negative or does not fit 32 bytes.
  */
 export function numericAbiWord(value) {
     return bigintToBytes32BE(value);
@@ -135,11 +119,11 @@ export function numericAbiWord(value) {
  *
  * @param address - The 20-byte address in display order.
  * @returns The ABI-ready 32-byte word to store in an {@link EvmCalldata} word.
- * @throws Error if the address is not exactly 20 bytes.
+ * @throws {Error} If the address is not exactly 20 bytes.
  */
 export function evmAddressAbiWord(address) {
     if (address.length !== 20) {
-        throw new Error(`EVM address must be 20 bytes, got ${address.length}`);
+        throw new Error(`EVM address must be 20 bytes, got ${String(address.length)}`);
     }
     const word = new Uint8Array(32);
     word.set(address, 12);
@@ -151,7 +135,7 @@ export function evmAddressAbiWord(address) {
  * (lockstep-tested against the compiled circuit).
  *
  * @param value - The word's Boolean value.
- * @returns The ABI-ready 32-byte word to store in an {@link EvmCalldata} word.
+ * @returns The ABI-ready 32-byte word.
  */
 export function boolAbiWord(value) {
     const word = new Uint8Array(32);
@@ -160,52 +144,49 @@ export function boolAbiWord(value) {
 }
 /**
  * Read a numeric ABI word back into a bigint: the big-endian reading of bytes
- * 16..31. TS mirror of Signet.compact's `abiWordToUint128` circuit, including
- * its canonicality check: the leading 16 bytes must be zero, so a word wider
- * than Uint<128> is rejected rather than silently truncated.
+ * 16..31, with the leading 16 bytes required to be zero. TS mirror of
+ * Signet.compact's `abiWordToUint128` circuit, canonicality check included.
  *
  * @param word - The ABI-ready 32-byte word.
  * @returns The word's numeric value.
- * @throws Error if the word is not 32 bytes or its leading half is nonzero.
+ * @throws {Error} If the word is not 32 bytes or its leading half is nonzero.
  */
 export function abiWordToUint128(word) {
     if (word.length !== 32) {
-        throw new Error(`ABI word must be 32 bytes, got ${word.length}`);
+        throw new Error(`ABI word must be 32 bytes, got ${String(word.length)}`);
     }
     if (word.slice(0, 16).some((byte) => byte !== 0)) {
         throw new Error("ABI word exceeds Uint<128>");
     }
     let value = 0n;
-    for (let i = 16; i < 32; i++) {
-        value = value * 256n + BigInt(word[i]);
+    for (const byte of word.subarray(16, 32)) {
+        value = value * 256n + BigInt(byte);
     }
     return value;
 }
 /**
- * Read a Boolean ABI word back into a boolean. TS mirror of Signet.compact's
- * `abiWordToBool` circuit, including its canonicality check: the first 31
- * bytes must be zero and the last byte 0 or 1.
+ * Read a Boolean ABI word back into a boolean: the first 31 bytes must be
+ * zero and the last byte 0 or 1. TS mirror of Signet.compact's
+ * `abiWordToBool` circuit, canonicality check included.
  *
  * @param word - The ABI-ready 32-byte word.
  * @returns The word's Boolean value.
- * @throws Error if the word is not 32 bytes or is not a canonical Boolean.
+ * @throws {Error} If the word is not 32 bytes or is not a canonical Boolean.
  */
 export function abiWordToBool(word) {
     if (word.length !== 32) {
-        throw new Error(`ABI word must be 32 bytes, got ${word.length}`);
+        throw new Error(`ABI word must be 32 bytes, got ${String(word.length)}`);
     }
-    if (word.slice(0, 31).some((byte) => byte !== 0) || word[31] > 1) {
+    const low = word[31];
+    if (low === undefined || word.slice(0, 31).some((byte) => byte !== 0) || low > 1) {
         throw new Error("ABI word is not a canonical Boolean");
     }
-    return word[31] === 1;
+    return low === 1;
 }
 /**
  * Assemble the raw calldata a request's words describe:
- * `data = selector || words[0..noWords]`, VERBATIM. Words are stored
- * ABI-ready (see {@link EvmCalldata}), so no byte of the stored record is
- * reordered or reinterpreted on the way into the transaction. Slots past
- * `noWords` are unused capacity and are dropped. This is THE implementation
- * of the signer-side assembly documented on `EvmCalldata` in Signet.compact.
+ * `data = selector || words[0..noWords]`, VERBATIM (see {@link EvmCalldata}).
+ * Slots past `noWords` are unused capacity and are dropped.
  *
  * @param calldata - The request's calldata field.
  * @returns Hex calldata for the transaction (`"0x"` when absent).
@@ -216,8 +197,8 @@ export function assembleCalldata(calldata) {
     }
     const { selector, noWords, words } = calldata.value;
     let data = `0x${bytesToHex(selector)}`;
-    for (let i = 0; i < Number(noWords); i++) {
-        data += bytesToHex(words[i]);
+    for (const word of words.slice(0, Number(noWords))) {
+        data += bytesToHex(word);
     }
     return data;
 }
@@ -229,9 +210,7 @@ export function assembleCalldata(calldata) {
  * @returns The access list, possibly empty.
  */
 function decodeAccessList(txParams) {
-    return txParams.accessList
-        .slice(0, Number(txParams.accessListEntryCount))
-        .map((entry) => ({
+    return txParams.accessList.slice(0, Number(txParams.accessListEntryCount)).map((entry) => ({
         address: getAddress(`0x${bytesToHex(entry.address)}`),
         storageKeys: entry.storageKeys
             .slice(0, Number(entry.storageKeyCount))
@@ -240,18 +219,14 @@ function decodeAccessList(txParams) {
 }
 /**
  * Rebuild the unsigned EIP-1559 transaction a request record describes,
- * byte-identical to the one the MPC assembles and signs: calldata from the
- * tagged words (see {@link assembleCalldata}), the count-trimmed access
- * list, and the stored envelope fields. This is the canonical
- * request→transaction transform. Response-side verification
- * (`signature-response-verification.ts`) and the signed-transaction builder
- * below both go through it, so the transaction a client broadcasts is
- * provably the one the MPC put its signature over.
+ * byte-identical to the one the MPC assembles and signs. The canonical
+ * request-to-transaction transform: response-side verification and
+ * {@link signBidirectionalEventToSignedEvmTransaction} both go through it.
  *
  * @param request - The on-ledger request record.
  * @returns The unsigned ethers transaction (`unsignedHash` is the digest the
  *   MPC signs).
- * @throws Error if a calldata word carries an unknown kind.
+ * @throws {Error} If a calldata word carries an unknown kind.
  */
 export function signBidirectionalEventToUnsignedEvmTransaction(request) {
     const { txParams } = request;
@@ -268,52 +243,6 @@ export function signBidirectionalEventToUnsignedEvmTransaction(request) {
         data: assembleCalldata(txParams.calldata),
     });
 }
-/**
- * Decode a response signature record (as the signet contract emits it in a
- * signature response event) into an ethers {@link Signature}. Goes through
- * {@link mpcSignatureToEcdsaSignature}, so this and in-circuit claims decode
- * a post identically:
- * ethers' `r` is the ECDSA scalar (`bigR.x` reduced mod the curve order),
- * not the raw coordinate, and a malformed record is rejected the same way
- * in both paths.
- *
- * @param response - The posted signature record.
- * @returns The ethers signature.
- * @throws Error if the record is malformed (see {@link mpcSignatureToEcdsaSignature}).
- */
-export function signatureRespondedEventToSignature(response) {
-    const { r, s, recoveryId } = mpcSignatureToEcdsaSignature(response.signature);
-    return Signature.from({
-        r: toBeHex(r, 32),
-        s: toBeHex(s, 32),
-        v: recoveryId + 27,
-    });
-}
-/**
- * Encode an ECDSA signature as the response record posted to the signet
- * contract: the inverse of {@link signatureRespondedEventToSignature}, for
- * MPC-side posters (the fakenet signer, tests). An `r || s || v` signature
- * carries only R.x and the parity of R.y, so the full R point the record
- * stores is recovered on-curve (see {@link ecdsaSignatureToMpcSignature}).
- *
- * The parameter is structural (the r/s/yParity subset of an ethers
- * {@link Signature}) so signatures from ANY ethers instance qualify: posters
- * living in other repos resolve their own ethers install, and nominal class
- * typing would reject it.
- *
- * @param signature - The signature to encode (`r`/`s` as 0x hex, `yParity` 0 or 1).
- * @returns The response record, ready to post.
- * @throws Error if `r` is not the x coordinate of a secp256k1 point.
- */
-export function signatureToSignatureRespondedEvent(signature) {
-    return {
-        signature: ecdsaSignatureToMpcSignature({
-            r: BigInt(signature.r),
-            s: BigInt(signature.s),
-            recoveryId: signature.yParity,
-        }),
-    };
-}
 /**
  * Assemble the broadcast-ready signed EIP-1559 transaction for a request from
  * its MPC signature response: rebuild the exact unsigned transaction the MPC
@@ -327,7 +256,7 @@ export function signatureToSignatureRespondedEvent(signature) {
  * @returns The signed ethers transaction: `serialized` is the raw payload for
  *   `eth_sendRawTransaction`, `hash` its on-chain hash, `from` the recovered
  *   sender.
- * @throws Error if the request record is malformed (see
+ * @throws {Error} If the request record is malformed (see
  *   {@link signBidirectionalEventToUnsignedEvmTransaction}) or the response
  *   is not a decodable signature.
  */

package/dist/signet-evtype2tx-requests.js.map

@@ -1 +1 @@
-{"version":3,"file":"signet-evtype2tx-requests.js","sourceRoot":"","sources":["../src/signet-evtype2tx-requests.ts"],"names":[],"mappings":"AAAA,0EAA0E;AAC1E,sEAAsE;AACtE,6EAA6E;AAC7E,6EAA6E;AAC7E,oEAAoE;AACpE,8EAA8E;AAC9E,QAAQ;AACR,EAAE;AACF,0EAA0E;AAC1E,6EAA6E;AAC7E,yEAAyE;AAEzE,OAAO,EACL,gBAAgB,EAChB,0BAA0B,EAC1B,iBAAiB,EACjB,SAAS,GAEV,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,QAAQ,CAAC;AAGrE,OAAO,EACL,iBAAiB,EACjB,4BAA4B,EAC5B,4BAA4B,GAC7B,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,UAAU,EACV,sBAAsB,EACtB,uBAAuB,EACvB,oCAAoC,GAIrC,MAAM,sBAAsB,CAAC;AAiE9B,+EAA+E;AAC/E,wEAAwE;AACxE,8CAA8C;AAC9C,MAAM,OAAO,GAAG,IAAI,gBAAgB,CAAC,CAAC,CAAC,CAAC;AACxC,MAAM,QAAQ,GAAG,IAAI,gBAAgB,CAAC,EAAE,CAAC,CAAC;AAC1C,MAAM,QAAQ,GAAG,IAAI,gBAAgB,CAAC,EAAE,CAAC,CAAC;AAC1C,MAAM,MAAM,GAAG,IAAI,0BAA0B,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC;AAChE,MAAM,OAAO,GAAG,IAAI,0BAA0B,CAAC,EAAE,IAAI,GAAG,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC;AAClE,MAAM,OAAO,GAAG,IAAI,0BAA0B,CAAC,EAAE,IAAI,GAAG,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC;AAClE,MAAM,QAAQ,GAAG,IAAI,0BAA0B,CAAC,EAAE,IAAI,IAAI,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC;AAErE;;;;;;GAMG;AACH,MAAM,UAAU,qBAAqB,CAAC,QAAgB;IACpD,OAAO,uBAAuB,CAAc;QAC1C,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,OAAO;QAChB,KAAK,EAAE,IAAI,iBAAiB,CAAC,QAAQ,EAAE,QAAQ,CAAC;KACjD,CAAC,CAAC;AACL,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,4BAA4B,CAC1C,cAAsB;IAEtB,OAAO,uBAAuB,CAAqB;QACjD,OAAO,EAAE,QAAQ;QACjB,eAAe,EAAE,MAAM;QACvB,WAAW,EAAE,IAAI,iBAAiB,CAAC,cAAc,EAAE,QAAQ,CAAC;KAC7D,CAAC,CAAC;AACL,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,0BAA0B,CACxC,gBAAwB,EACxB,oBAA4B,EAC5B,sBAA8B;IAE9B,8EAA8E;IAC9E,OAAO,uBAAuB,CAAmB;QAC/C,OAAO,EAAE,OAAO;QAChB,KAAK,EAAE,OAAO;QACd,oBAAoB,EAAE,QAAQ;QAC9B,YAAY,EAAE,QAAQ;QACtB,QAAQ,EAAE,OAAO;QACjB,EAAE,EAAE,QAAQ;QACZ,KAAK,EAAE,QAAQ;QACf,QAAQ,EAAE,sBAAsB,CAAC,qBAAqB,CAAC,gBAAgB,CAAC,CAAC;QACzE,oBAAoB,EAAE,MAAM;QAC5B,UAAU,EAAE,IAAI,iBAAiB,CAC/B,oBAAoB,EACpB,4BAA4B,CAAC,sBAAsB,CAAC,CACrD;KACF,CAAC,CAAC;AACL,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,gCAAgC,CAC9C,gBAAwB,EACxB,oBAA4B,EAC5B,sBAA8B,EAC9B,wBAAgC,EAChC,uBAA+B;IAE/B,OAAO,oCAAoC,CACzC,0BAA0B,CACxB,gBAAgB,EAChB,oBAAoB,EACpB,sBAAsB,CACvB,EACD,wBAAwB,EACxB,uBAAuB,CACxB,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,kBAAkB,CAAC,OAA+B;IAChE,MAAM,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC;IAC7B,MAAM,gBAAgB,GAAG,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC;IAC9D,MAAM,oBAAoB,GAAG,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC;IACxD,MAAM,sBAAsB,GAC1B,oBAAoB,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,WAAW,CAAC,MAAM,CAAC;IAC9E,OAAO,SAAS,CACd,gCAAgC,CAC9B,gBAAgB,EAChB,oBAAoB,EACpB,sBAAsB,EACtB,OAAO,CAAC,2BAA2B,CAAC,MAAM,EAC1C,OAAO,CAAC,0BAA0B,CAAC,MAAM,CAC1C,EACD,OAAO,CACR,CAAC;AACJ,CAAC;AAED,+EAA+E;AAE/E;;;;;;;;;;GAUG;AACH,MAAM,UAAU,cAAc,CAAC,KAAa;IAC1C,OAAO,iBAAiB,CAAC,KAAK,CAAC,CAAC;AAClC,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,iBAAiB,CAAC,OAAmB;IACnD,IAAI,OAAO,CAAC,MAAM,KAAK,EAAE,EAAE,CAAC;QAC1B,MAAM,IAAI,KAAK,CAAC,qCAAqC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IACzE,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,UAAU,CAAC,EAAE,CAAC,CAAC;IAChC,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;IACtB,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,WAAW,CAAC,KAAc;IACxC,MAAM,IAAI,GAAG,IAAI,UAAU,CAAC,EAAE,CAAC,CAAC;IAChC,IAAI,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACzB,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,gBAAgB,CAAC,IAAgB;IAC/C,IAAI,IAAI,CAAC,MAAM,KAAK,EAAE,EAAE,CAAC;QACvB,MAAM,IAAI,KAAK,CAAC,kCAAkC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;IACnE,CAAC;IACD,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,CAAC,CAAC,EAAE,CAAC;QACjD,MAAM,IAAI,KAAK,CAAC,4BAA4B,CAAC,CAAC;IAChD,CAAC;IACD,IAAI,KAAK,GAAG,EAAE,CAAC;IACf,KAAK,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7B,KAAK,GAAG,KAAK,GAAG,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC;IAC1C,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,aAAa,CAAC,IAAgB;IAC5C,IAAI,IAAI,CAAC,MAAM,KAAK,EAAE,EAAE,CAAC;QACvB,MAAM,IAAI,KAAK,CAAC,kCAAkC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;IACnE,CAAC;IACD,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,IAAI,CAAC,EAAE,CAAE,GAAG,CAAC,EAAE,CAAC;QAClE,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC;IACzD,CAAC;IACD,OAAO,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;AACxB,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,gBAAgB,CAAC,QAA4B;IAC3D,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC;QACtB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,QAAQ,CAAC,KAAK,CAAC;IACpD,IAAI,IAAI,GAAG,KAAK,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;IACvC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,IAAI,IAAI,UAAU,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,CAAC;IAChC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;GAMG;AACH,SAAS,gBAAgB,CACvB,QAA0B;IAE1B,OAAO,QAAQ,CAAC,UAAU;SACvB,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,QAAQ,CAAC,oBAAoB,CAAC,CAAC;SAC/C,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACf,OAAO,EAAE,UAAU,CAAC,KAAK,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;QACrD,WAAW,EAAE,KAAK,CAAC,WAAW;aAC3B,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;aACvC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,KAAK,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;KACxC,CAAC,CAAC,CAAC;AACR,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,8CAA8C,CAC5D,OAA+B;IAE/B,MAAM,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC;IAC7B,OAAO,WAAW,CAAC,IAAI,CAAC;QACtB,IAAI,EAAE,CAAC;QACP,OAAO,EAAE,QAAQ,CAAC,OAAO;QACzB,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;QAC7B,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,YAAY,EAAE,QAAQ,CAAC,YAAY;QACnC,oBAAoB,EAAE,QAAQ,CAAC,oBAAoB;QACnD,EAAE,EAAE,UAAU,CAAC,KAAK,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;QAC9C,KAAK,EAAE,QAAQ,CAAC,KAAK;QACrB,UAAU,EAAE,gBAAgB,CAAC,QAAQ,CAAC;QACtC,IAAI,EAAE,gBAAgB,CAAC,QAAQ,CAAC,QAAQ,CAAC;KAC1C,CAAC,CAAC;AACL,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,kCAAkC,CAChD,QAAiC;IAEjC,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,UAAU,EAAE,GAAG,4BAA4B,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;IAC9E,OAAO,SAAS,CAAC,IAAI,CAAC;QACpB,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC;QACjB,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC;QACjB,CAAC,EAAE,UAAU,GAAG,EAAE;KACnB,CAAC,CAAC;AACL,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,kCAAkC,CAChD,SAAiD;IAEjD,OAAO;QACL,SAAS,EAAE,4BAA4B,CAAC;YACtC,CAAC,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC;YACtB,CAAC,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC;YACtB,UAAU,EAAE,SAAS,CAAC,OAAO;SAC9B,CAAC;KACH,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,4CAA4C,CAC1D,OAA+B,EAC/B,QAAiC;IAEjC,MAAM,WAAW,GAAG,8CAA8C,CAAC,OAAO,CAAC,CAAC;IAC5E,WAAW,CAAC,SAAS,GAAG,kCAAkC,CAAC,QAAQ,CAAC,CAAC;IACrE,OAAO,WAAW,CAAC;AACrB,CAAC"}
+{"version":3,"file":"signet-evtype2tx-requests.js","sourceRoot":"","sources":["../src/signet-evtype2tx-requests.ts"],"names":[],"mappings":"AAAA,0EAA0E;AAC1E,sEAAsE;AACtE,6EAA6E;AAC7E,sEAAsE;AACtE,wBAAwB;AACxB,EAAE;AACF,oEAAoE;AACpE,6EAA6E;AAC7E,mCAAmC;AAEnC,OAAO,EAAoB,iBAAiB,EAAE,MAAM,iCAAiC,CAAC;AACtF,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,QAAQ,CAAC;AAEjD,OAAO,EAAE,iBAAiB,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AACjE,OAAO,EACL,OAAO,EACP,QAAQ,EACR,QAAQ,EACR,sBAAsB,EACtB,uBAAuB,EAEvB,MAAM,EACN,OAAO,EACP,OAAO,EACP,QAAQ,GACT,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAE,kCAAkC,EAAE,MAAM,wBAAwB,CAAC;AAE5E,OAAO,EAEL,oCAAoC,GACrC,MAAM,sBAAsB,CAAC;AAgE9B,+EAA+E;AAC/E,6EAA6E;AAC7E,kFAAkF;AAElF;;;;;;GAMG;AACH,MAAM,UAAU,qBAAqB,CAAC,QAAgB;IACpD,OAAO,uBAAuB,CAAc;QAC1C,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,OAAO;QAChB,KAAK,EAAE,IAAI,iBAAiB,CAAC,QAAQ,EAAE,QAAQ,CAAC;KACjD,CAAC,CAAC;AACL,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,4BAA4B,CAC1C,cAAsB;IAEtB,OAAO,uBAAuB,CAAqB;QACjD,OAAO,EAAE,QAAQ;QACjB,eAAe,EAAE,MAAM;QACvB,WAAW,EAAE,IAAI,iBAAiB,CAAC,cAAc,EAAE,QAAQ,CAAC;KAC7D,CAAC,CAAC;AACL,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,0BAA0B,CACxC,gBAAwB,EACxB,oBAA4B,EAC5B,sBAA8B;IAE9B,8EAA8E;IAC9E,OAAO,uBAAuB,CAAmB;QAC/C,OAAO,EAAE,OAAO;QAChB,KAAK,EAAE,OAAO;QACd,oBAAoB,EAAE,QAAQ;QAC9B,YAAY,EAAE,QAAQ;QACtB,QAAQ,EAAE,OAAO;QACjB,EAAE,EAAE,QAAQ;QACZ,KAAK,EAAE,QAAQ;QACf,QAAQ,EAAE,sBAAsB,CAAC,qBAAqB,CAAC,gBAAgB,CAAC,CAAC;QACzE,oBAAoB,EAAE,MAAM;QAC5B,UAAU,EAAE,IAAI,iBAAiB,CAC/B,oBAAoB,EACpB,4BAA4B,CAAC,sBAAsB,CAAC,CACrD;KACF,CAAC,CAAC;AACL,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,4BAA4B,CAC1C,QAA0B;IAE1B,OAAO,0BAA0B,CAC/B,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,EACpC,QAAQ,CAAC,UAAU,CAAC,MAAM,EAC1B,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,MAAM,IAAI,CAAC,CAChD,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,gCAAgC,CAC9C,gBAAwB,EACxB,oBAA4B,EAC5B,sBAA8B,EAC9B,wBAAgC,EAChC,uBAA+B;IAE/B,OAAO,oCAAoC,CACzC,0BAA0B,CAAC,gBAAgB,EAAE,oBAAoB,EAAE,sBAAsB,CAAC,EAC1F,wBAAwB,EACxB,uBAAuB,CACxB,CAAC;AACJ,CAAC;AAED,+EAA+E;AAE/E;;;;;;;;;GASG;AACH,MAAM,UAAU,cAAc,CAAC,KAAa;IAC1C,OAAO,iBAAiB,CAAC,KAAK,CAAC,CAAC;AAClC,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,iBAAiB,CAAC,OAAmB;IACnD,IAAI,OAAO,CAAC,MAAM,KAAK,EAAE,EAAE,CAAC;QAC1B,MAAM,IAAI,KAAK,CAAC,qCAAqC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IACjF,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,UAAU,CAAC,EAAE,CAAC,CAAC;IAChC,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;IACtB,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,WAAW,CAAC,KAAc;IACxC,MAAM,IAAI,GAAG,IAAI,UAAU,CAAC,EAAE,CAAC,CAAC;IAChC,IAAI,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACzB,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,gBAAgB,CAAC,IAAgB;IAC/C,IAAI,IAAI,CAAC,MAAM,KAAK,EAAE,EAAE,CAAC;QACvB,MAAM,IAAI,KAAK,CAAC,kCAAkC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAC3E,CAAC;IACD,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,CAAC,CAAC,EAAE,CAAC;QACjD,MAAM,IAAI,KAAK,CAAC,4BAA4B,CAAC,CAAC;IAChD,CAAC;IACD,IAAI,KAAK,GAAG,EAAE,CAAC;IACf,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC;QACzC,KAAK,GAAG,KAAK,GAAG,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;IACtC,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,aAAa,CAAC,IAAgB;IAC5C,IAAI,IAAI,CAAC,MAAM,KAAK,EAAE,EAAE,CAAC;QACvB,MAAM,IAAI,KAAK,CAAC,kCAAkC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAC3E,CAAC;IACD,MAAM,GAAG,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC;IACrB,IAAI,GAAG,KAAK,SAAS,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,GAAG,GAAG,CAAC,EAAE,CAAC;QACjF,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC;IACzD,CAAC;IACD,OAAO,GAAG,KAAK,CAAC,CAAC;AACnB,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,gBAAgB,CAAC,QAA4B;IAC3D,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC;QACtB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,QAAQ,CAAC,KAAK,CAAC;IACpD,IAAI,IAAI,GAAG,KAAK,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;IACvC,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;QACnD,IAAI,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC;IAC3B,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;GAMG;AACH,SAAS,gBAAgB,CACvB,QAA0B;IAE1B,OAAO,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,QAAQ,CAAC,oBAAoB,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACzF,OAAO,EAAE,UAAU,CAAC,KAAK,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;QACrD,WAAW,EAAE,KAAK,CAAC,WAAW;aAC3B,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;aACvC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,KAAK,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;KACxC,CAAC,CAAC,CAAC;AACN,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,8CAA8C,CAC5D,OAA+B;IAE/B,MAAM,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC;IAC7B,OAAO,WAAW,CAAC,IAAI,CAAC;QACtB,IAAI,EAAE,CAAC;QACP,OAAO,EAAE,QAAQ,CAAC,OAAO;QACzB,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;QAC7B,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,YAAY,EAAE,QAAQ,CAAC,YAAY;QACnC,oBAAoB,EAAE,QAAQ,CAAC,oBAAoB;QACnD,EAAE,EAAE,UAAU,CAAC,KAAK,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;QAC9C,KAAK,EAAE,QAAQ,CAAC,KAAK;QACrB,UAAU,EAAE,gBAAgB,CAAC,QAAQ,CAAC;QACtC,IAAI,EAAE,gBAAgB,CAAC,QAAQ,CAAC,QAAQ,CAAC;KAC1C,CAAC,CAAC;AACL,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,4CAA4C,CAC1D,OAA+B,EAC/B,QAAiC;IAEjC,MAAM,WAAW,GAAG,8CAA8C,CAAC,OAAO,CAAC,CAAC;IAC5E,WAAW,CAAC,SAAS,GAAG,kCAAkC,CAAC,QAAQ,CAAC,CAAC;IACrE,OAAO,WAAW,CAAC;AACrB,CAAC"}

package/dist/signet-request-id.d.ts

@@ -0,0 +1,14 @@
+import { type RequestId, type SignBidirectionalEvent } from "./signet-requests.ts";
+/**
+ * Canonical id of a signet request: the keccak256 of the entire event
+ * record, the sender address included, with no extra domain tag. Pass the
+ * record exactly as the ledger stores it, unused slots included and schemas
+ * at their declared widths.
+ *
+ * @param request - The full event record (contract-shaped, all slots).
+ * @returns The 32-byte request id, the record's ledger map key.
+ * @throws {Error} If the record's `txParamType` names a decomposition this
+ *   computation has no descriptor for.
+ */
+export declare function calculateRequestId(request: SignBidirectionalEvent): RequestId;
+//# sourceMappingURL=signet-request-id.d.ts.map

package/dist/signet-request-id.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"signet-request-id.d.ts","sourceRoot":"","sources":["../src/signet-request-id.ts"],"names":[],"mappings":"AASA,OAAO,EACL,KAAK,SAAS,EACd,KAAK,sBAAsB,EAG5B,MAAM,sBAAsB,CAAC;AAE9B;;;;;;;;;;GAUG;AACH,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,sBAAsB,GAAG,SAAS,CAe7E"}

package/dist/signet-request-id.js

@@ -0,0 +1,27 @@
+// The signet request id computation: the TS twin of Signet.compact's
+// `calculateRequestId` circuit (see the deviation note in
+// signet-requests.ts). Chain-agnostic entry point that resolves each
+// record's tx-params descriptor by its `txParamType` tag, so every
+// decomposition mints ids through this one function.
+import { keccak256 } from "@midnight-ntwrk/compact-runtime";
+import { evmType2TxParamsDescriptorOf } from "./signet-evtype2tx-requests.js";
+import { signBidirectionalEventDescriptorWith, TxParamType, } from "./signet-requests.js";
+/**
+ * Canonical id of a signet request: the keccak256 of the entire event
+ * record, the sender address included, with no extra domain tag. Pass the
+ * record exactly as the ledger stores it, unused slots included and schemas
+ * at their declared widths.
+ *
+ * @param request - The full event record (contract-shaped, all slots).
+ * @returns The 32-byte request id, the record's ledger map key.
+ * @throws {Error} If the record's `txParamType` names a decomposition this
+ *   computation has no descriptor for.
+ */
+export function calculateRequestId(request) {
+    if (request.txParamType !== TxParamType.evmType2) {
+        throw new Error(`unsupported txParamType ${String(request.txParamType)}: this id computation ` +
+            `understands evmType2 (${String(TxParamType.evmType2)})`);
+    }
+    return keccak256(signBidirectionalEventDescriptorWith(evmType2TxParamsDescriptorOf(request.txParams), request.outputDeserializationSchema.length, request.respondSerializationSchema.length), request);
+}
+//# sourceMappingURL=signet-request-id.js.map

package/dist/signet-request-id.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"signet-request-id.js","sourceRoot":"","sources":["../src/signet-request-id.ts"],"names":[],"mappings":"AAAA,qEAAqE;AACrE,0DAA0D;AAC1D,qEAAqE;AACrE,mEAAmE;AACnE,qDAAqD;AAErD,OAAO,EAAE,SAAS,EAAE,MAAM,iCAAiC,CAAC;AAE5D,OAAO,EAAE,4BAA4B,EAAE,MAAM,gCAAgC,CAAC;AAC9E,OAAO,EAGL,oCAAoC,EACpC,WAAW,GACZ,MAAM,sBAAsB,CAAC;AAE9B;;;;;;;;;;GAUG;AACH,MAAM,UAAU,kBAAkB,CAAC,OAA+B;IAChE,IAAI,OAAO,CAAC,WAAW,KAAK,WAAW,CAAC,QAAQ,EAAE,CAAC;QACjD,MAAM,IAAI,KAAK,CACb,2BAA2B,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,wBAAwB;YAC5E,yBAAyB,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,GAAG,CAC3D,CAAC;IACJ,CAAC;IACD,OAAO,SAAS,CACd,oCAAoC,CAClC,4BAA4B,CAAC,OAAO,CAAC,QAAQ,CAAC,EAC9C,OAAO,CAAC,2BAA2B,CAAC,MAAM,EAC1C,OAAO,CAAC,0BAA0B,CAAC,MAAM,CAC1C,EACD,OAAO,CACR,CAAC;AACJ,CAAC"}