@sig-net/midnight 0.0.8 → 0.10.0

package/dist/signature-response-verification.js.map

@@ -1 +1 @@
-{"version":3,"file":"signature-response-verification.js","sourceRoot":"","sources":["../src/signature-response-verification.ts"],"names":[],"mappings":"AAAA,sEAAsE;AACtE,2EAA2E;AAC3E,4EAA4E;AAC5E,8EAA8E;AAC9E,0EAA0E;AAC1E,yEAAyE;AACzE,4EAA4E;AAC5E,wEAAwE;AAExE,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,QAAQ,CAAC;AAEpD,OAAO,EACL,8CAA8C,EAC9C,kCAAkC,GAEnC,MAAM,sBAAsB,CAAC;AAG9B;;;;;;;;;;GAUG;AACH,MAAM,UAAU,8BAA8B,CAC5C,OAA+B,EAC/B,QAAiC;IAEjC,OAAO,cAAc,CACnB,8CAA8C,CAAC,OAAO,CAAC,CAAC,YAAY,EACpE,kCAAkC,CAAC,QAAQ,CAAC,CAC7C,CAAC;AACJ,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,6BAA6B,CAC3C,OAA+B,EAC/B,QAAiC,EACjC,cAAsB;IAEtB,IAAI,CAAC;QACH,OAAO,CACL,8BAA8B,CAAC,OAAO,EAAE,QAAQ,CAAC;YACjD,UAAU,CAAC,cAAc,CAAC,CAC3B,CAAC;IACJ,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC"}
+{"version":3,"file":"signature-response-verification.js","sourceRoot":"","sources":["../src/signature-response-verification.ts"],"names":[],"mappings":"AAAA,sEAAsE;AACtE,2EAA2E;AAC3E,4EAA4E;AAC5E,8EAA8E;AAC9E,0EAA0E;AAC1E,yEAAyE;AACzE,4EAA4E;AAC5E,wEAAwE;AAExE,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,QAAQ,CAAC;AAEpD,OAAO,EACL,8CAA8C,EAC9C,kCAAkC,GACnC,MAAM,gCAAgC,CAAC;AAIxC;;;;;;;;;;GAUG;AACH,MAAM,UAAU,8BAA8B,CAC5C,OAA+B,EAC/B,QAAiC;IAEjC,OAAO,cAAc,CACnB,8CAA8C,CAAC,OAAO,CAAC,CAAC,YAAY,EACpE,kCAAkC,CAAC,QAAQ,CAAC,CAC7C,CAAC;AACJ,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,6BAA6B,CAC3C,OAA+B,EAC/B,QAAiC,EACjC,cAAsB;IAEtB,IAAI,CAAC;QACH,OAAO,CACL,8BAA8B,CAAC,OAAO,EAAE,QAAQ,CAAC;YACjD,UAAU,CAAC,cAAc,CAAC,CAC3B,CAAC;IACJ,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC"}

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

@@ -0,0 +1,247 @@
+import { type CompactType } from "@midnight-ntwrk/compact-runtime";
+import { Signature, Transaction } from "ethers";
+import type { SignatureRespondedEvent } from "./signet-contract-state-reader.ts";
+import { type Maybe, type RequestId, 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`.
+ */
+export interface EVMCalldata {
+    /** The literal first 4 calldata bytes (as broadcast). */
+    selector: Uint8Array;
+    /** How many leading {@link words} are real (Compact `noWords: Uint<16>`). */
+    noWords: bigint;
+    /**
+     * ABI-ready big-endian 32-byte word slots, stored exactly as broadcast;
+     * capacity is the contract's `#maxWords` (vault: 2).
+     */
+    words: Uint8Array[];
+}
+/**
+ * One EIP-2930 access-list entry (Compact:
+ * `EVMAccessListEntry<#maxStorageKeys>`).
+ */
+export interface EVMAccessListEntry {
+    /** The pre-declared contract address, 20 display-order bytes. */
+    address: Uint8Array;
+    /** How many leading {@link storageKeys} are real. */
+    storageKeyCount: bigint;
+    /** Raw 32-byte storage keys, copied verbatim into the transaction. */
+    storageKeys: Uint8Array[];
+}
+/**
+ * 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;
+ * the runtime counts say how many leading slots are real.
+ */
+export interface EVMType2TxParams {
+    /** Call target (e.g. the ERC20 contract), 20 bytes. */
+    to: Uint8Array;
+    /** EVM chain id (also expressed in the record's `caip2Id`). */
+    chainId: bigint;
+    /** Account nonce of the MPC-derived sender address. */
+    nonce: bigint;
+    /** Gas ceiling for the call. */
+    gasLimit: bigint;
+    /** Max total fee per gas, wei. */
+    maxFeePerGas: bigint;
+    /** Max priority fee per gas, wei. */
+    maxPriorityFeePerGas: bigint;
+    /** ETH sent with the call, wei. */
+    value: bigint;
+    /** How many leading {@link accessList} entries are real. */
+    accessListEntryCount: bigint;
+    /** EIP-2930 access list slots (capacity = contract's throttle). */
+    accessList: EVMAccessListEntry[];
+    /** Call data; `is_some: false` means a plain ETH transfer (`0x` data). */
+    calldata: Maybe<EVMCalldata>;
+}
+/**
+ * Descriptor of {@link EVMCalldata} at one word capacity — the TS analogue
+ * of instantiating Compact's `EVMCalldata<#maxWords>`.
+ *
+ * @param maxWords - The contract's calldata word capacity (the vault uses 2).
+ * @returns The calldata descriptor.
+ */
+export declare function evmCalldataDescriptor(maxWords: number): CompactType<EVMCalldata>;
+/**
+ * Descriptor of {@link EVMAccessListEntry} at one storage-key capacity
+ * (Compact: `EVMAccessListEntry<#maxStorageKeys>`).
+ *
+ * @param maxStorageKeys - Storage-key capacity per entry.
+ * @returns The entry descriptor.
+ */
+export declare function evmAccessListEntryDescriptor(maxStorageKeys: number): CompactType<EVMAccessListEntry>;
+/**
+ * Descriptor of {@link EVMType2TxParams} at one capacity instantiation —
+ * the TS analogue of Compact's `EVMType2TxParams<#maxCalldataWords,
+ * #maxAccessListEntries, #maxStorageKeysPerEntry>`.
+ *
+ * @param maxCalldataWords - Calldata word capacity.
+ * @param maxAccessListEntries - Access-list entry capacity.
+ * @param maxStorageKeysPerEntry - Storage-key capacity per entry.
+ * @returns The tx-params descriptor.
+ */
+export declare function evmType2TxParamsDescriptor(maxCalldataWords: number, maxAccessListEntries: number, maxStorageKeysPerEntry: number): CompactType<EVMType2TxParams>;
+/**
+ * Descriptor of {@link SignBidirectionalEvent} at one EVM Type-2 capacity
+ * instantiation — the generic record descriptor
+ * (`signBidirectionalEventDescriptorWith`) over
+ * {@link evmType2TxParamsDescriptor}.
+ *
+ * @param maxCalldataWords - Calldata word capacity.
+ * @param maxAccessListEntries - Access-list entry capacity.
+ * @param maxStorageKeysPerEntry - Storage-key capacity per entry.
+ * @param lenOutputDeserialization - Declared byte width of
+ *   `outputDeserializationSchema` (Compact `#LenOutputDeserialization`).
+ * @param lenRespondSerialization - Declared byte width of
+ *   `respondSerializationSchema` (Compact `#LenRespondSerialization`).
+ * @returns The event record descriptor.
+ */
+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 — there
+ * is deliberately 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).
+ *
+ * @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.
+ */
+export declare function numericAbiWord(value: bigint): Uint8Array;
+/**
+ * The ABI word for an EVM address: 12 zero bytes, then the 20 display-order
+ * address bytes, exactly as broadcast. TS mirror of Signet.compact's
+ * `evmAddressAbiWord` circuit (lockstep-tested against the compiled circuit).
+ *
+ * @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.
+ */
+export declare function evmAddressAbiWord(address: Uint8Array): Uint8Array;
+/**
+ * The ABI word for a Boolean: 31 zero bytes, then 0x01 (true) or 0x00
+ * (false). TS mirror of Signet.compact's `boolAbiWord` circuit
+ * (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.
+ */
+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.
+ *
+ * @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.
+ */
+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.
+ *
+ * @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.
+ */
+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.
+ *
+ * @param calldata - The request's calldata field.
+ * @returns Hex calldata for the transaction (`"0x"` when absent).
+ */
+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.
+ *
+ * @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.
+ */
+export declare function signBidirectionalEventToUnsignedEVMTransaction(request: SignBidirectionalEvent): Transaction;
+/**
+ * Decode a response signature record (as posted to the signet contract's
+ * signature response log — the canonical MPC `Signature { big_r, s,
+ * recovery_id }` shape) into an ethers {@link Signature}: `r` is `bigR`'s x
+ * coordinate, `v` the legacy parity derived from the recovery id.
+ *
+ * @param response - The posted signature record.
+ * @returns The ethers signature.
+ * @throws Error if the recovery id is not 0 or 1.
+ */
+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). The canonical record
+ * carries `bigR` as a full affine point but an `r || s || v` signature only
+ * has R.x and the parity of R.y, so R.y is recovered by decompressing the
+ * point on the curve (y² = x³ + 7 over the secp256k1 base field).
+ *
+ * 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 curve 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
+ * signed (see {@link signBidirectionalEventToUnsignedEVMTransaction}) and
+ * attach the signature. Does NOT check that the signature recovers to the
+ * requester's derived address — the response log is unauthenticated, so
+ * verify first with `verifySignatureRespondedEvent`.
+ *
+ * @param request - The on-ledger request record.
+ * @param response - The posted signature record answering it.
+ * @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
+ *   {@link signBidirectionalEventToUnsignedEVMTransaction}) or the response
+ *   is not a decodable signature.
+ */
+export declare function signBidirectionalEventToSignedEVMTransaction(request: SignBidirectionalEvent, response: SignatureRespondedEvent): Transaction;
+//# sourceMappingURL=signet-evtype2tx-requests.d.ts.map

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

@@ -0,0 +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,EAAwB,SAAS,EAAE,WAAW,EAAE,MAAM,QAAQ,CAAC;AAEtE,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,mCAAmC,CAAC;AACjF,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,uDAAuD;IACvD,EAAE,EAAE,UAAU,CAAC;IACf,+DAA+D;IAC/D,OAAO,EAAE,MAAM,CAAC;IAChB,uDAAuD;IACvD,KAAK,EAAE,MAAM,CAAC;IACd,gCAAgC;IAChC,QAAQ,EAAE,MAAM,CAAC;IACjB,kCAAkC;IAClC,YAAY,EAAE,MAAM,CAAC;IACrB,qCAAqC;IACrC,oBAAoB,EAAE,MAAM,CAAC;IAC7B,mCAAmC;IACnC,KAAK,EAAE,MAAM,CAAC;IACd,4DAA4D;IAC5D,oBAAoB,EAAE,MAAM,CAAC;IAC7B,mEAAmE;IACnE,UAAU,EAAE,kBAAkB,EAAE,CAAC;IACjC,0EAA0E;IAC1E,QAAQ,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC;CAC9B;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,CAgB/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;;;;;;;;;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;;;;;;;;;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;;;;;;;;;GASG;AACH,wBAAgB,kCAAkC,CAChD,QAAQ,EAAE,uBAAuB,GAChC,SAAS,CAUX;AA6BD;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,kCAAkC,CAChD,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,GAAG,GAAG,GAAG,GAAG,SAAS,CAAC,GAChD,uBAAuB,CAiBzB;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,4CAA4C,CAC1D,OAAO,EAAE,sBAAsB,EAC/B,QAAQ,EAAE,uBAAuB,GAChC,WAAW,CAIb"}

package/dist/signet-evtype2tx-requests.js

@@ -0,0 +1,371 @@
+// 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.
+//
+// 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, persistentHash, } from "@midnight-ntwrk/compact-runtime";
+import { getAddress, getBytes, Signature, Transaction } from "ethers";
+import { bytesToHex, compactMaybeDescriptor, compactStructDescriptor, 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);
+/**
+ * Descriptor of {@link EVMCalldata} at one word capacity — the TS analogue
+ * of instantiating Compact's `EVMCalldata<#maxWords>`.
+ *
+ * @param maxWords - The contract's calldata word capacity (the vault uses 2).
+ * @returns The calldata descriptor.
+ */
+export function evmCalldataDescriptor(maxWords) {
+    return compactStructDescriptor({
+        selector: BYTES_4,
+        noWords: UINT_16,
+        words: new CompactTypeVector(maxWords, BYTES_32),
+    });
+}
+/**
+ * Descriptor of {@link EVMAccessListEntry} at one storage-key capacity
+ * (Compact: `EVMAccessListEntry<#maxStorageKeys>`).
+ *
+ * @param maxStorageKeys - Storage-key capacity per entry.
+ * @returns The entry descriptor.
+ */
+export function evmAccessListEntryDescriptor(maxStorageKeys) {
+    return compactStructDescriptor({
+        address: BYTES_20,
+        storageKeyCount: UINT_8,
+        storageKeys: new CompactTypeVector(maxStorageKeys, BYTES_32),
+    });
+}
+/**
+ * Descriptor of {@link EVMType2TxParams} at one capacity instantiation —
+ * the TS analogue of Compact's `EVMType2TxParams<#maxCalldataWords,
+ * #maxAccessListEntries, #maxStorageKeysPerEntry>`.
+ *
+ * @param maxCalldataWords - Calldata word capacity.
+ * @param maxAccessListEntries - Access-list entry capacity.
+ * @param maxStorageKeysPerEntry - Storage-key capacity per entry.
+ * @returns The tx-params descriptor.
+ */
+export function evmType2TxParamsDescriptor(maxCalldataWords, maxAccessListEntries, maxStorageKeysPerEntry) {
+    return compactStructDescriptor({
+        to: BYTES_20,
+        chainId: UINT_64,
+        nonce: UINT_64,
+        gasLimit: UINT_64,
+        maxFeePerGas: UINT_128,
+        maxPriorityFeePerGas: UINT_128,
+        value: UINT_128,
+        accessListEntryCount: UINT_8,
+        accessList: new CompactTypeVector(maxAccessListEntries, evmAccessListEntryDescriptor(maxStorageKeysPerEntry)),
+        calldata: compactMaybeDescriptor(evmCalldataDescriptor(maxCalldataWords)),
+    });
+}
+/**
+ * Descriptor of {@link SignBidirectionalEvent} at one EVM Type-2 capacity
+ * instantiation — the generic record descriptor
+ * (`signBidirectionalEventDescriptorWith`) over
+ * {@link evmType2TxParamsDescriptor}.
+ *
+ * @param maxCalldataWords - Calldata word capacity.
+ * @param maxAccessListEntries - Access-list entry capacity.
+ * @param maxStorageKeysPerEntry - Storage-key capacity per entry.
+ * @param lenOutputDeserialization - Declared byte width of
+ *   `outputDeserializationSchema` (Compact `#LenOutputDeserialization`).
+ * @param lenRespondSerialization - Declared byte width of
+ *   `respondSerializationSchema` (Compact `#LenRespondSerialization`).
+ * @returns The event record descriptor.
+ */
+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 — there
+ * is deliberately 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 persistentHash(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).
+ *
+ * @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.
+ */
+export function numericAbiWord(value) {
+    return bigintToBytes32BE(value);
+}
+/**
+ * The ABI word for an EVM address: 12 zero bytes, then the 20 display-order
+ * address bytes, exactly as broadcast. TS mirror of Signet.compact's
+ * `evmAddressAbiWord` circuit (lockstep-tested against the compiled circuit).
+ *
+ * @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.
+ */
+export function evmAddressAbiWord(address) {
+    if (address.length !== 20) {
+        throw new Error(`EVM address must be 20 bytes, got ${address.length}`);
+    }
+    const word = new Uint8Array(32);
+    word.set(address, 12);
+    return word;
+}
+/**
+ * The ABI word for a Boolean: 31 zero bytes, then 0x01 (true) or 0x00
+ * (false). TS mirror of Signet.compact's `boolAbiWord` circuit
+ * (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.
+ */
+export function boolAbiWord(value) {
+    const word = new Uint8Array(32);
+    word[31] = value ? 1 : 0;
+    return word;
+}
+/**
+ * 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.
+ *
+ * @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.
+ */
+export function abiWordToUint128(word) {
+    if (word.length !== 32) {
+        throw new Error(`ABI word must be 32 bytes, got ${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]);
+    }
+    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.
+ *
+ * @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.
+ */
+export function abiWordToBool(word) {
+    if (word.length !== 32) {
+        throw new Error(`ABI word must be 32 bytes, got ${word.length}`);
+    }
+    if (word.slice(0, 31).some((byte) => byte !== 0) || word[31] > 1) {
+        throw new Error("ABI word is not a canonical Boolean");
+    }
+    return word[31] === 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.
+ *
+ * @param calldata - The request's calldata field.
+ * @returns Hex calldata for the transaction (`"0x"` when absent).
+ */
+export function assembleCalldata(calldata) {
+    if (!calldata.is_some) {
+        return "0x";
+    }
+    const { selector, noWords, words } = calldata.value;
+    let data = `0x${bytesToHex(selector)}`;
+    for (let i = 0; i < Number(noWords); i++) {
+        data += bytesToHex(words[i]);
+    }
+    return data;
+}
+/**
+ * Decode the real (count-trimmed) access list of a request into the shape
+ * ethers' `Transaction.from` accepts.
+ *
+ * @param txParams - The request's transaction decomposition.
+ * @returns The access list, possibly empty.
+ */
+function decodeAccessList(txParams) {
+    return txParams.accessList
+        .slice(0, Number(txParams.accessListEntryCount))
+        .map((entry) => ({
+        address: getAddress(`0x${bytesToHex(entry.address)}`),
+        storageKeys: entry.storageKeys
+            .slice(0, Number(entry.storageKeyCount))
+            .map((key) => `0x${bytesToHex(key)}`),
+    }));
+}
+/**
+ * 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.
+ *
+ * @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.
+ */
+export function signBidirectionalEventToUnsignedEVMTransaction(request) {
+    const { txParams } = request;
+    return Transaction.from({
+        type: 2,
+        chainId: txParams.chainId,
+        nonce: Number(txParams.nonce),
+        gasLimit: txParams.gasLimit,
+        maxFeePerGas: txParams.maxFeePerGas,
+        maxPriorityFeePerGas: txParams.maxPriorityFeePerGas,
+        to: getAddress(`0x${bytesToHex(txParams.to)}`),
+        value: txParams.value,
+        accessList: decodeAccessList(txParams),
+        data: assembleCalldata(txParams.calldata),
+    });
+}
+/**
+ * Decode a response signature record (as posted to the signet contract's
+ * signature response log — the canonical MPC `Signature { big_r, s,
+ * recovery_id }` shape) into an ethers {@link Signature}: `r` is `bigR`'s x
+ * coordinate, `v` the legacy parity derived from the recovery id.
+ *
+ * @param response - The posted signature record.
+ * @returns The ethers signature.
+ * @throws Error if the recovery id is not 0 or 1.
+ */
+export function signatureRespondedEventToSignature(response) {
+    const recoveryId = Number(response.recoveryId);
+    if (recoveryId !== 0 && recoveryId !== 1) {
+        throw new Error(`expected a recovery id of 0 or 1, got ${recoveryId}`);
+    }
+    return Signature.from({
+        r: `0x${bytesToHex(response.bigRx)}`,
+        s: `0x${bytesToHex(response.s)}`,
+        v: recoveryId + 27,
+    });
+}
+/** secp256k1 base field prime (2^256 - 2^32 - 977). */
+const SECP256K1_P = 2n ** 256n - 2n ** 32n - 977n;
+/** Modular exponentiation by squaring. */
+function modPow(base, exponent, modulus) {
+    let result = 1n;
+    let b = base % modulus;
+    let e = exponent;
+    while (e > 0n) {
+        if (e & 1n)
+            result = (result * b) % modulus;
+        b = (b * b) % modulus;
+        e >>= 1n;
+    }
+    return result;
+}
+/** Encode a bigint as exactly 32 BIG-endian bytes (secp256k1 scalar form). */
+function bigintToBytes32BE(value) {
+    const out = new Uint8Array(32);
+    let v = value;
+    for (let i = 31; i >= 0; i--) {
+        out[i] = Number(v & 0xffn);
+        v >>= 8n;
+    }
+    return out;
+}
+/**
+ * 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). The canonical record
+ * carries `bigR` as a full affine point but an `r || s || v` signature only
+ * has R.x and the parity of R.y, so R.y is recovered by decompressing the
+ * point on the curve (y² = x³ + 7 over the secp256k1 base field).
+ *
+ * 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 curve point.
+ */
+export function signatureToSignatureRespondedEvent(signature) {
+    const x = BigInt(signature.r);
+    const ySquared = (modPow(x, 3n, SECP256K1_P) + 7n) % SECP256K1_P;
+    // P ≡ 3 (mod 4), so a square root (when one exists) is c^((P+1)/4).
+    let y = modPow(ySquared, (SECP256K1_P + 1n) / 4n, SECP256K1_P);
+    if ((y * y) % SECP256K1_P !== ySquared) {
+        throw new Error("signature r is not the x coordinate of a secp256k1 point");
+    }
+    if ((y & 1n) !== BigInt(signature.yParity)) {
+        y = SECP256K1_P - y;
+    }
+    return {
+        bigRx: getBytes(signature.r),
+        bigRy: bigintToBytes32BE(y),
+        s: getBytes(signature.s),
+        recoveryId: BigInt(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
+ * signed (see {@link signBidirectionalEventToUnsignedEVMTransaction}) and
+ * attach the signature. Does NOT check that the signature recovers to the
+ * requester's derived address — the response log is unauthenticated, so
+ * verify first with `verifySignatureRespondedEvent`.
+ *
+ * @param request - The on-ledger request record.
+ * @param response - The posted signature record answering it.
+ * @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
+ *   {@link signBidirectionalEventToUnsignedEVMTransaction}) or the response
+ *   is not a decodable signature.
+ */
+export function signBidirectionalEventToSignedEVMTransaction(request, response) {
+    const transaction = signBidirectionalEventToUnsignedEVMTransaction(request);
+    transaction.signature = signatureRespondedEventToSignature(response);
+    return transaction;
+}
+//# sourceMappingURL=signet-evtype2tx-requests.js.map

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

@@ -0,0 +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,cAAc,GAEf,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,QAAQ,CAAC;AAGtE,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,OAAO,uBAAuB,CAAmB;QAC/C,EAAE,EAAE,QAAQ;QACZ,OAAO,EAAE,OAAO;QAChB,KAAK,EAAE,OAAO;QACd,QAAQ,EAAE,OAAO;QACjB,YAAY,EAAE,QAAQ;QACtB,oBAAoB,EAAE,QAAQ;QAC9B,KAAK,EAAE,QAAQ;QACf,oBAAoB,EAAE,MAAM;QAC5B,UAAU,EAAE,IAAI,iBAAiB,CAC/B,oBAAoB,EACpB,4BAA4B,CAAC,sBAAsB,CAAC,CACrD;QACD,QAAQ,EAAE,sBAAsB,CAAC,qBAAqB,CAAC,gBAAgB,CAAC,CAAC;KAC1E,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,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC;IAC7E,OAAO,cAAc,CACnB,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;;;;;;;;;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,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,CAAC,CAAC,CAAC;IACzC,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,CAAC,GAAG,CAAC,EAAE,CAAC;QACjE,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,CAAC,CAAC,CAAC;IAC/B,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;;;;;;;;;GASG;AACH,MAAM,UAAU,kCAAkC,CAChD,QAAiC;IAEjC,MAAM,UAAU,GAAG,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;IAC/C,IAAI,UAAU,KAAK,CAAC,IAAI,UAAU,KAAK,CAAC,EAAE,CAAC;QACzC,MAAM,IAAI,KAAK,CAAC,yCAAyC,UAAU,EAAE,CAAC,CAAC;IACzE,CAAC;IACD,OAAO,SAAS,CAAC,IAAI,CAAC;QACpB,CAAC,EAAE,KAAK,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE;QACpC,CAAC,EAAE,KAAK,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE;QAChC,CAAC,EAAE,UAAU,GAAG,EAAE;KACnB,CAAC,CAAC;AACL,CAAC;AAED,uDAAuD;AACvD,MAAM,WAAW,GAAG,EAAE,IAAI,IAAI,GAAG,EAAE,IAAI,GAAG,GAAG,IAAI,CAAC;AAElD,0CAA0C;AAC1C,SAAS,MAAM,CAAC,IAAY,EAAE,QAAgB,EAAE,OAAe;IAC7D,IAAI,MAAM,GAAG,EAAE,CAAC;IAChB,IAAI,CAAC,GAAG,IAAI,GAAG,OAAO,CAAC;IACvB,IAAI,CAAC,GAAG,QAAQ,CAAC;IACjB,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC;QACd,IAAI,CAAC,GAAG,EAAE;YAAE,MAAM,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,GAAG,OAAO,CAAC;QAC5C,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,OAAO,CAAC;QACtB,CAAC,KAAK,EAAE,CAAC;IACX,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,8EAA8E;AAC9E,SAAS,iBAAiB,CAAC,KAAa;IACtC,MAAM,GAAG,GAAG,IAAI,UAAU,CAAC,EAAE,CAAC,CAAC;IAC/B,IAAI,CAAC,GAAG,KAAK,CAAC;IACd,KAAK,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7B,GAAG,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC;QAC3B,CAAC,KAAK,EAAE,CAAC;IACX,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,kCAAkC,CAChD,SAAiD;IAEjD,MAAM,CAAC,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAC9B,MAAM,QAAQ,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,WAAW,CAAC,GAAG,EAAE,CAAC,GAAG,WAAW,CAAC;IACjE,oEAAoE;IACpE,IAAI,CAAC,GAAG,MAAM,CAAC,QAAQ,EAAE,CAAC,WAAW,GAAG,EAAE,CAAC,GAAG,EAAE,EAAE,WAAW,CAAC,CAAC;IAC/D,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,WAAW,KAAK,QAAQ,EAAE,CAAC;QACvC,MAAM,IAAI,KAAK,CAAC,0DAA0D,CAAC,CAAC;IAC9E,CAAC;IACD,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,KAAK,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC;QAC3C,CAAC,GAAG,WAAW,GAAG,CAAC,CAAC;IACtB,CAAC;IACD,OAAO;QACL,KAAK,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC;QAC5B,KAAK,EAAE,iBAAiB,CAAC,CAAC,CAAC;QAC3B,CAAC,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC;QACxB,UAAU,EAAE,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC;KACtC,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"}

package/dist/signet-request-response-reader.d.ts

@@ -2,7 +2,7 @@ import type { PublicDataProvider } from "@midnight-ntwrk/midnight-js-types";
 import type { Transaction } from "ethers";
 import { type SignatureRespondedEvent, type RespondBidirectionalEvent } from "./signet-contract-state-reader.ts";
 import type { RawContractState } from "./signature-state-reading.ts";
-import { type SignBidirectionalEvent, type RequestIdHex } from "./signet-requests.ts";
+import type { SignBidirectionalEvent, RequestIdHex } from "./signet-requests.ts";
 /**
  * The least of midnight-js's `PublicDataProvider` the reader needs: raw
  * contract state by address. Declared structurally (rather than a `Pick`) so