@sig-net/midnight 0.0.8 → 0.10.0

package/dist/signet-requests.js

@@ -1,11 +1,16 @@
-// TypeScript twins of the request-side structs in the Compact library
-// `Signet.compact` (same directory). The shapes MUST stay in lockstep with the Compact structs: the
+// TypeScript twins of the CHAIN-AGNOSTIC request-side structs in the Compact
+// library `Signet.compact` (same directory): the request record, its enums,
+// request ids, and the runtime-descriptor toolkit shared by every tx-params
+// decomposition. Everything specific to the EVM Type-2 decomposition (the
+// only decomposition so far) lives in `signet-evtype2tx-requests.ts`.
+//
+// The shapes MUST stay in lockstep with the Compact structs: the
 // compiler inlines struct types anonymously into each contract's generated
 // managed/contract/index.d.ts, and these named types match them structurally,
 // so ledger reads assign to them without casts.
 //
 // The lockstep is enforced by each consuming contract's simulator tests: the
-// "signet-caller ledger shape" test in packages/caller-contract/tests/
+// "test-caller-contract ledger shape" test in packages/test-caller-contract/tests/
 // contract.test.ts assigns the generated `ledger().signBidirectionalEventMap`
 // to the named SignBidirectionalEventLedgerMap type — the assignment itself is
 // the assertion, so any structural drift between the generated managed types
@@ -13,9 +18,7 @@
 //
 // Read more: https://docs.sig.network/ (signet protocol) and the module
 // header in Signet.compact (key derivation, event flow).
-import { CompactTypeBoolean, CompactTypeBytes, CompactTypeEnum, CompactTypeUnsignedInteger, CompactTypeVector, persistentHash, } from "@midnight-ntwrk/compact-runtime";
-import { getAddress, getBytes, Signature, Transaction } from "ethers";
-import { bigintToBytes32, bytesToBigint } from "./ecdsa-attestation.js";
+import { CompactTypeBoolean, CompactTypeBytes, CompactTypeEnum, CompactTypeUnsignedInteger, } from "@midnight-ntwrk/compact-runtime";
 /**
  * Which transaction-param decomposition a request carries (Compact:
  * `enum TxParamType`), as the generated code represents enums: a `number`
@@ -23,7 +26,7 @@ import { bigintToBytes32, bytesToBigint } from "./ecdsa-attestation.js";
  * `enum`) so the values stay structurally `number`.
  */
 export const TxParamType = {
-    /** {@link EVMType2TxParams}: an EIP-1559 EVM transaction. */
+    /** `EVMType2TxParams` (signet-evtype2tx-requests.ts): an EIP-1559 EVM transaction. */
     evmType2: 0,
     /**
      * Never emitted — mirrors the Compact-side padding variant that keeps the
@@ -52,40 +55,37 @@ export const MPCDestination = {
     /** Never emitted — the >= 2 variants padding (see {@link TxParamType}). */
     reserved: 1,
 };
-// ---- Request id (TS twin of the Compact circuit) ---------------------------
+// ---- Runtime descriptor toolkit (TS twin of the compiled struct codecs) ----
 //
 // DEVIATION from the "pure circuits are compiled, never re-written in TS"
-// rule (see circuits.compact): `calculateRequestId` is generic over the
+// rule (see circuits.compact): the request-id circuit is generic over the
 // tx-params type and schema lengths, the Compact compiler cannot export
 // type-parameterized circuits from the top level, and a compiled copy would
 // have to be monomorphized at ONE capacity instantiation — a client
 // contract's choice that never belongs in this client-agnostic package. So
-// the request-id circuit alone gets a TS twin here.
+// the record descriptor (and the per-decomposition `calculateRequestId`
+// built on it, see signet-evtype2tx-requests.ts) alone gets a TS twin here.
 //
-// It is NOT a hand-port of the hash algorithm: it calls the very
+// It is NOT a hand-port of the hash algorithm: ids come from the very
 // `persistentHash` runtime builtin that compiled circuits call, over runtime
 // type descriptors mirroring the ones the compiler generates (compare
 // `_calculateRequestId_0` in any consuming contract's
 // managed/contract/index.js). What must stay in lockstep with Signet.compact
 // is exactly what this file already keeps in lockstep — the struct shapes,
-// field by field, in declaration order. Enforced by caller-contract's
+// field by field, in declaration order. Enforced by test-caller-contract's
 // "submitSignatureRequest round-trip" test, which asserts the id computed
 // here equals the ledger map key minted by the REAL compiled contract.
-// Runtime descriptors of the Compact base types the request record uses.
-// CompactTypeUnsignedInteger takes (maxValue, byte length) — same literals
-// the compiler emits for Uint<8/64/128>. CompactTypeEnum takes
+// Runtime descriptors of the Compact base types the generic record fields
+// use. CompactTypeUnsignedInteger takes (maxValue, byte length) — same
+// literals the compiler emits for Uint<8/64>. CompactTypeEnum takes
 // (variantCount - 1, byte length); NOTE a 1-variant enum would compile to
 // `CompactTypeEnum(0, 0)` — zero bytes, which the proof server cannot parse
 // inside persistentHash preimages. Every enum therefore carries a padding
 // `reserved` variant so it stays at (1, 1).
-const BYTES_4 = new CompactTypeBytes(4);
-const BYTES_20 = new CompactTypeBytes(20);
 const BYTES_32 = new CompactTypeBytes(32);
 const BYTES_64 = new CompactTypeBytes(64);
 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);
 const TX_PARAM_TYPE = new CompactTypeEnum(1, 1);
 const MPC_SIGNATURE_ALGORITHM = new CompactTypeEnum(1, 1);
 const MPC_DESTINATION = new CompactTypeEnum(1, 1);
@@ -110,7 +110,7 @@ const CONTRACT_ADDRESS = {
  * @param fields - One runtime descriptor per struct field, in declaration order.
  * @returns The composed struct descriptor.
  */
-function compactStructDescriptor(fields) {
+export function compactStructDescriptor(fields) {
     const entries = Object.entries(fields);
     return {
         alignment: () => entries.flatMap(([, type]) => type.alignment()),
@@ -131,77 +131,29 @@ function compactStructDescriptor(fields) {
  * @param inner - Descriptor of the wrapped type.
  * @returns The Maybe struct descriptor.
  */
-function compactMaybeDescriptor(inner) {
+export function compactMaybeDescriptor(inner) {
     return compactStructDescriptor({
         is_some: CompactTypeBoolean,
         value: inner,
     });
 }
 /**
- * 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 capacity instantiation.
+ * Descriptor of {@link SignBidirectionalEvent} over ANY tx-params
+ * decomposition — the TS analogue of Compact's generic
+ * `SignBidirectionalEvent<TxParams, #LenOutputDeserialization,
+ * #LenRespondSerialization>`. Each decomposition wraps this with its own
+ * capacity-parameterized convenience (see `signBidirectionalEventDescriptor`
+ * in signet-evtype2tx-requests.ts for the EVM Type-2 one).
  *
- * @param maxCalldataWords - Calldata word capacity.
- * @param maxAccessListEntries - Access-list entry capacity.
- * @param maxStorageKeysPerEntry - Storage-key capacity per entry.
+ * @param txParams - Descriptor of the tx-params decomposition, already at
+ *   its capacity instantiation.
  * @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) {
+export function signBidirectionalEventDescriptorWith(txParams, lenOutputDeserialization, lenRespondSerialization) {
     return compactStructDescriptor({
         sender: CONTRACT_ADDRESS,
         requestNonce: UINT_64,
@@ -211,233 +163,12 @@ export function signBidirectionalEventDescriptor(maxCalldataWords, maxAccessList
         dest: MPC_DESTINATION,
         params: BYTES_64,
         txParamType: TX_PARAM_TYPE,
-        txParams: evmType2TxParamsDescriptor(maxCalldataWords, maxAccessListEntries, maxStorageKeysPerEntry),
+        txParams,
         caip2Id: BYTES_32,
         outputDeserializationSchema: new CompactTypeBytes(lenOutputDeserialization),
         respondSerializationSchema: new CompactTypeBytes(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 atop this section),
- * 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);
-}
-// ---- Calldata / transaction assembly ----------------------------------------
-/**
- * The 32-byte value of a numeric ABI word: the little-endian field embed of
- * the number, exactly what Compact's `x as Field as Bytes<32>` cast produces
- * in-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 32-byte LE embed to store in an {@link EVMCalldata} word.
- */
-export function numericAbiWordValue(value) {
-    return bigintToBytes32(value);
-}
-/**
- * The 32-byte staticArg word value for an EVM address: the BIG-ENDIAN
- * numeric reading of its 20 display-order bytes, LE-embedded. TS mirror of
- * Signet.compact's `evmAddressAbiValue` circuit (+ `as Bytes<32>`); see the
- * warning there — embedding the display-order bytes directly would come out
- * byte-reversed in the assembled calldata.
- *
- * @param address - The 20-byte address in display order.
- * @returns The 32-byte word value to store in an {@link EVMCalldata} word.
- */
-export function evmAddressAbiWord(address) {
-    let value = 0n;
-    for (const byte of address) {
-        value = value * 256n + BigInt(byte);
-    }
-    return bigintToBytes32(value);
-}
-/**
- * Re-assemble the raw calldata a request's words describe:
- * `data = selector || BE(words[0..noWords])`. Each word is a little-endian
- * field embed (the contract's `x as Field as Bytes<32>` cast); the leading
- * `noWords` are re-encoded big-endian into 32-byte ABI words and any remaining
- * capacity slots are dropped. This is THE implementation of the MPC re-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(bigintToBytes32BE(bytesToBigint(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;
-}
 /**
  * Render bytes as a lowercase hex string, no `0x` prefix.
  *

package/dist/signet-requests.js.map

@@ -1 +1 @@
-{"version":3,"file":"signet-requests.js","sourceRoot":"","sources":["../src/signet-requests.ts"],"names":[],"mappings":"AAAA,sEAAsE;AACtE,oGAAoG;AACpG,2EAA2E;AAC3E,8EAA8E;AAC9E,gDAAgD;AAChD,EAAE;AACF,6EAA6E;AAC7E,uEAAuE;AACvE,8EAA8E;AAC9E,+EAA+E;AAC/E,6EAA6E;AAC7E,mEAAmE;AACnE,EAAE;AACF,wEAAwE;AACxE,yDAAyD;AAEzD,OAAO,EACL,kBAAkB,EAClB,gBAAgB,EAChB,eAAe,EACf,0BAA0B,EAC1B,iBAAiB,EACjB,cAAc,GAEf,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,QAAQ,CAAC;AAEtE,OAAO,EAAE,eAAe,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAqBxE;;;;;GAKG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG;IACzB,6DAA6D;IAC7D,QAAQ,EAAE,CAAC;IACX;;;;OAIG;IACH,QAAQ,EAAE,CAAC;CACH,CAAC;AAEX;;;GAGG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG;IACnC,4BAA4B;IAC5B,KAAK,EAAE,CAAC;IACR,2EAA2E;IAC3E,QAAQ,EAAE,CAAC;CACH,CAAC;AAEX;;;GAGG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG;IAC5B,sCAAsC;IACtC,MAAM,EAAE,CAAC;IACT,2EAA2E;IAC3E,QAAQ,EAAE,CAAC;CACH,CAAC;AA8GX,+EAA+E;AAC/E,EAAE;AACF,0EAA0E;AAC1E,wEAAwE;AACxE,wEAAwE;AACxE,4EAA4E;AAC5E,oEAAoE;AACpE,2EAA2E;AAC3E,oDAAoD;AACpD,EAAE;AACF,iEAAiE;AACjE,6EAA6E;AAC7E,sEAAsE;AACtE,sDAAsD;AACtD,6EAA6E;AAC7E,2EAA2E;AAC3E,sEAAsE;AACtE,0EAA0E;AAC1E,uEAAuE;AAEvE,yEAAyE;AACzE,2EAA2E;AAC3E,+DAA+D;AAC/D,0EAA0E;AAC1E,4EAA4E;AAC5E,0EAA0E;AAC1E,4CAA4C;AAC5C,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,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;AACrE,MAAM,aAAa,GAAG,IAAI,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAChD,MAAM,uBAAuB,GAAG,IAAI,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAC1D,MAAM,eAAe,GAAG,IAAI,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAElD;;;GAGG;AACH,MAAM,gBAAgB,GAAiC;IACrD,SAAS,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,SAAS,EAAE;IACrC,SAAS,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;IAC5D,OAAO,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC;CAClD,CAAC;AAEF;;;;;;;;;;;GAWG;AACH,SAAS,uBAAuB,CAAmB,MAElD;IACC,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAEpC,CAAC;IACF,OAAO;QACL,SAAS,EAAE,GAAG,EAAE,CACd,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC;QACjD,OAAO,EAAE,CAAC,KAAK,EAAE,EAAE,CACjB,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;QAC5D,SAAS,EAAE,CAAC,KAAK,EAAE,EAAE;YACnB,MAAM,MAAM,GAAG,EAAuC,CAAC;YACvD,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,OAAO,EAAE,CAAC;gBAClC,MAAM,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;YACtC,CAAC;YACD,OAAO,MAAW,CAAC;QACrB,CAAC;KACF,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,SAAS,sBAAsB,CAAI,KAAqB;IACtD,OAAO,uBAAuB,CAAW;QACvC,OAAO,EAAE,kBAAkB;QAC3B,KAAK,EAAE,KAAK;KACb,CAAC,CAAC;AACL,CAAC;AAED;;;;;;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;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,gCAAgC,CAC9C,gBAAwB,EACxB,oBAA4B,EAC5B,sBAA8B,EAC9B,wBAAgC,EAChC,uBAA+B;IAE/B,OAAO,uBAAuB,CAAyB;QACrD,MAAM,EAAE,gBAAgB;QACxB,YAAY,EAAE,OAAO;QACrB,UAAU,EAAE,MAAM;QAClB,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,uBAAuB;QAC7B,IAAI,EAAE,eAAe;QACrB,MAAM,EAAE,QAAQ;QAChB,WAAW,EAAE,aAAa;QAC1B,QAAQ,EAAE,0BAA0B,CAClC,gBAAgB,EAChB,oBAAoB,EACpB,sBAAsB,CACvB;QACD,OAAO,EAAE,QAAQ;QACjB,2BAA2B,EAAE,IAAI,gBAAgB,CAAC,wBAAwB,CAAC;QAC3E,0BAA0B,EAAE,IAAI,gBAAgB,CAAC,uBAAuB,CAAC;KAC1E,CAAC,CAAC;AACL,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,gFAAgF;AAEhF;;;;;;;;GAQG;AACH,MAAM,UAAU,mBAAmB,CAAC,KAAa;IAC/C,OAAO,eAAe,CAAC,KAAK,CAAC,CAAC;AAChC,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,iBAAiB,CAAC,OAAmB;IACnD,IAAI,KAAK,GAAG,EAAE,CAAC;IACf,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;QAC3B,KAAK,GAAG,KAAK,GAAG,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;IACtC,CAAC;IACD,OAAO,eAAe,CAAC,KAAK,CAAC,CAAC;AAChC,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,iBAAiB,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACjE,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;AAgDD;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CAAC,KAAiB;IAC1C,OAAO,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AAC5E,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,cAAc,CAAC,GAAW;IACxC,OAAO,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;AAC3E,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CAAC,GAAW;IACpC,MAAM,MAAM,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;IACnC,MAAM,GAAG,GAAG,IAAI,UAAU,CAAC,MAAM,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC;IAC/C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACpC,GAAG,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAC/D,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,YAAY,CAAC,SAAoB;IAC/C,OAAO,UAAU,CAAC,SAAS,CAAiB,CAAC;AAC/C,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,iBAAiB,CAAC,KAAa;IAC7C,MAAM,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;IACpD,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QAChC,MAAM,IAAI,KAAK,CAAC,qCAAqC,KAAK,GAAG,CAAC,CAAC;IACjE,CAAC;IACD,OAAO,GAAmB,CAAC;AAC7B,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,cAAc,CAAC,EAAgB;IAC7C,MAAM,KAAK,GAAG,IAAI,UAAU,CAAC,EAAE,CAAC,CAAC;IACjC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;QAC5B,KAAK,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAC7D,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,EAAE,CAAC;AAE7B;;;;;;;;GAQG;AACH,MAAM,UAAU,6BAA6B,CAC3C,WAA0D;IAE1D,MAAM,KAAK,GAAgC,IAAI,GAAG,EAAE,CAAC;IACrD,KAAK,MAAM,CAAC,SAAS,EAAE,OAAO,CAAC,IAAI,WAAW,EAAE,CAAC;QAC/C,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC,CAAC;IAC9C,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}
+{"version":3,"file":"signet-requests.js","sourceRoot":"","sources":["../src/signet-requests.ts"],"names":[],"mappings":"AAAA,6EAA6E;AAC7E,4EAA4E;AAC5E,4EAA4E;AAC5E,0EAA0E;AAC1E,sEAAsE;AACtE,EAAE;AACF,iEAAiE;AACjE,2EAA2E;AAC3E,8EAA8E;AAC9E,gDAAgD;AAChD,EAAE;AACF,6EAA6E;AAC7E,mFAAmF;AACnF,8EAA8E;AAC9E,+EAA+E;AAC/E,6EAA6E;AAC7E,mEAAmE;AACnE,EAAE;AACF,wEAAwE;AACxE,yDAAyD;AAEzD,OAAO,EACL,kBAAkB,EAClB,gBAAgB,EAChB,eAAe,EACf,0BAA0B,GAE3B,MAAM,iCAAiC,CAAC;AAsBzC;;;;;GAKG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG;IACzB,sFAAsF;IACtF,QAAQ,EAAE,CAAC;IACX;;;;OAIG;IACH,QAAQ,EAAE,CAAC;CACH,CAAC;AAEX;;;GAGG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG;IACnC,4BAA4B;IAC5B,KAAK,EAAE,CAAC;IACR,2EAA2E;IAC3E,QAAQ,EAAE,CAAC;CACH,CAAC;AAEX;;;GAGG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG;IAC5B,sCAAsC;IACtC,MAAM,EAAE,CAAC;IACT,2EAA2E;IAC3E,QAAQ,EAAE,CAAC;CACH,CAAC;AAmDX,+EAA+E;AAC/E,EAAE;AACF,0EAA0E;AAC1E,0EAA0E;AAC1E,wEAAwE;AACxE,4EAA4E;AAC5E,oEAAoE;AACpE,2EAA2E;AAC3E,wEAAwE;AACxE,4EAA4E;AAC5E,EAAE;AACF,sEAAsE;AACtE,6EAA6E;AAC7E,sEAAsE;AACtE,sDAAsD;AACtD,6EAA6E;AAC7E,2EAA2E;AAC3E,2EAA2E;AAC3E,0EAA0E;AAC1E,uEAAuE;AAEvE,0EAA0E;AAC1E,uEAAuE;AACvE,oEAAoE;AACpE,0EAA0E;AAC1E,4EAA4E;AAC5E,0EAA0E;AAC1E,4CAA4C;AAC5C,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,aAAa,GAAG,IAAI,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAChD,MAAM,uBAAuB,GAAG,IAAI,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAC1D,MAAM,eAAe,GAAG,IAAI,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAElD;;;GAGG;AACH,MAAM,gBAAgB,GAAiC;IACrD,SAAS,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,SAAS,EAAE;IACrC,SAAS,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;IAC5D,OAAO,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC;CAClD,CAAC;AAEF;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,uBAAuB,CAAmB,MAEzD;IACC,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAEpC,CAAC;IACF,OAAO;QACL,SAAS,EAAE,GAAG,EAAE,CACd,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC;QACjD,OAAO,EAAE,CAAC,KAAK,EAAE,EAAE,CACjB,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;QAC5D,SAAS,EAAE,CAAC,KAAK,EAAE,EAAE;YACnB,MAAM,MAAM,GAAG,EAAuC,CAAC;YACvD,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,OAAO,EAAE,CAAC;gBAClC,MAAM,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;YACtC,CAAC;YACD,OAAO,MAAW,CAAC;QACrB,CAAC;KACF,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,sBAAsB,CAAI,KAAqB;IAC7D,OAAO,uBAAuB,CAAW;QACvC,OAAO,EAAE,kBAAkB;QAC3B,KAAK,EAAE,KAAK;KACb,CAAC,CAAC;AACL,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,oCAAoC,CAClD,QAA+B,EAC/B,wBAAgC,EAChC,uBAA+B;IAE/B,OAAO,uBAAuB,CAAmC;QAC/D,MAAM,EAAE,gBAAgB;QACxB,YAAY,EAAE,OAAO;QACrB,UAAU,EAAE,MAAM;QAClB,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,uBAAuB;QAC7B,IAAI,EAAE,eAAe;QACrB,MAAM,EAAE,QAAQ;QAChB,WAAW,EAAE,aAAa;QAC1B,QAAQ;QACR,OAAO,EAAE,QAAQ;QACjB,2BAA2B,EAAE,IAAI,gBAAgB,CAAC,wBAAwB,CAAC;QAC3E,0BAA0B,EAAE,IAAI,gBAAgB,CAAC,uBAAuB,CAAC;KAC1E,CAAC,CAAC;AACL,CAAC;AAgDD;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CAAC,KAAiB;IAC1C,OAAO,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AAC5E,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,cAAc,CAAC,GAAW;IACxC,OAAO,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;AAC3E,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CAAC,GAAW;IACpC,MAAM,MAAM,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;IACnC,MAAM,GAAG,GAAG,IAAI,UAAU,CAAC,MAAM,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC;IAC/C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACpC,GAAG,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAC/D,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,YAAY,CAAC,SAAoB;IAC/C,OAAO,UAAU,CAAC,SAAS,CAAiB,CAAC;AAC/C,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,iBAAiB,CAAC,KAAa;IAC7C,MAAM,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;IACpD,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QAChC,MAAM,IAAI,KAAK,CAAC,qCAAqC,KAAK,GAAG,CAAC,CAAC;IACjE,CAAC;IACD,OAAO,GAAmB,CAAC;AAC7B,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,cAAc,CAAC,EAAgB;IAC7C,MAAM,KAAK,GAAG,IAAI,UAAU,CAAC,EAAE,CAAC,CAAC;IACjC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;QAC5B,KAAK,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAC7D,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,EAAE,CAAC;AAE7B;;;;;;;;GAQG;AACH,MAAM,UAAU,6BAA6B,CAC3C,WAA0D;IAE1D,MAAM,KAAK,GAAgC,IAAI,GAAG,EAAE,CAAC;IACrD,KAAK,MAAM,CAAC,SAAS,EAAE,OAAO,CAAC,IAAI,WAAW,EAAE,CAAC;QAC/C,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC,CAAC;IAC9C,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@sig-net/midnight",
-  "version": "0.0.8",
+  "version": "0.10.0",
   "repository": {
     "type": "git",
     "url": "https://github.com/sig-net/midnight-integration",

package/src/Signet.compact

@@ -97,7 +97,9 @@ module Signet {
     // outputDeserializationSchema tells the MPC how to deserialise the destination chain's
     // execution output (destination chain -> MPC). respondSerializationSchema tells the MPC
     // how to serialise that output into the RespondBidirectionalEvent it posts back
-    // (MPC -> Midnight). Both are ABI-style JSON schema strings, sized per client contract.
+    // (MPC -> Midnight).
+    // Both are ABI-style JSON schema strings, sized per client contract
+    // (see: https://docs.soliditylang.org/en/v0.8.30/abi-spec.html#json)
     outputDeserializationSchema: Bytes<LenOutputDeserialization>;
     respondSerializationSchema: Bytes<LenRespondSerialization>;
   }
@@ -238,7 +240,7 @@ module Signet {
   // Posted by MPC back to Signet singleton for clients to extract, verify and deliver
   // back to the client contract. The singleton stores posts UNVERIFIED: client contracts
   // must verify the signature themselves against their MPC response key, via
-  // verifyRespondBidirectionalEvent (see verifyResponse in the caller-contract example).
+  // verifyRespondBidirectionalEvent.
   export struct RespondBidirectionalEvent {
     // ABI-encoded return data of the remote call (canonical
     // serialized_output), zero-padded. First 32-byte word == 1 signals
@@ -359,9 +361,77 @@ module Signet {
 
   // ABI calldata for the EVM call: 4-byte selector + 32-byte slots
   // (https://docs.soliditylang.org/en/latest/abi-spec.html).
+  // CRITICAL: every ABI word here must be stored in canonical ABI form, as
+  // the MPC signs a transaction composed of exactly these words. See the
+  // ABI Calldata Word Construction Utilities below for help constructing
+  // canonical ABI words for common types.
   export struct EVMCalldata<#maxWords> {
-    selector: Bytes<4>;  // the literal first 4 calldata bytes (big-endian, as broadcast)
+    selector: Bytes<4>;  // the literal first 4 calldata bytes
     noWords: Uint<16>;   // No. of used words in the words list
-    words: Vector<maxWords, Bytes<32>>;
+    words: Vector<maxWords, Bytes<32>>; // canonical ABI words (big-endian)
+  }
+
+  // ---- ABI Calldata Word Construction Utilities ------------------------------------------------------
+  // Canonical ABI word builders and readers. Words MUST be stored in canonical
+  // ABI form (big-endian, per the ABI spec). These utilities help construct
+  // canonical ABI words for common types.
+
+  // Construct the canonical ABI word for a 20-byte EVM address.
+  // Output format: 12 zero bytes, then the 20 display-order address bytes.
+  export pure circuit evmAddressAbiWord(addr: Bytes<20>): Bytes<32> {
+    return Bytes[...default<Bytes<12>>, ...addr];
+  }
+
+  // Construct the canonical ABI word for a Uint<128> value (e.g. an ERC20 amount).
+  // Output format: the value as a 32-byte big-endian integer.
+  export pure circuit numericAbiWord(value: Uint<128>): Bytes<32> {
+    // Compact's Uint->Bytes cast is little-endian,
+    // so cast to 16 LE bytes and emit them reversed into the low half.
+    const le = (value as Bytes<16>) as Vector<16, Uint<8>>;
+    return Bytes[
+      ...default<Bytes<16>>,
+      le[15], le[14], le[13], le[12], le[11], le[10], le[9], le[8],
+      le[7],  le[6],  le[5],  le[4],  le[3],  le[2],  le[1], le[0]
+    ];
+  }
+
+  // Construct the canonical ABI word for a Boolean.
+  // Output format: 31 zero bytes, then 0x01 (true) or 0x00 (false).
+  export pure circuit boolAbiWord(value: Boolean): Bytes<32> {
+    return Bytes[...default<Bytes<31>>, value as Uint<8>];
+  }
+
+  // Read a numeric ABI word back into a Uint<128>: the big-endian fold of
+  // bytes 16..31. The leading half must be zero (a canonical Uint<128> word);
+  // rejecting junk there keeps settle circuits from silently truncating a
+  // wider value. Max fold result is 2^128 - 1, well inside the field.
+  export pure circuit abiWordToUint128(word: Bytes<32>): Uint<128> {
+    assert(slice<16>(word, 0) as Field == 0 as Field, "ABI word exceeds Uint<128>");
+    const b0  = slice<1>(word, 16) as Field;
+    const b1  = b0  * 256 + (slice<1>(word, 17) as Field);
+    const b2  = b1  * 256 + (slice<1>(word, 18) as Field);
+    const b3  = b2  * 256 + (slice<1>(word, 19) as Field);
+    const b4  = b3  * 256 + (slice<1>(word, 20) as Field);
+    const b5  = b4  * 256 + (slice<1>(word, 21) as Field);
+    const b6  = b5  * 256 + (slice<1>(word, 22) as Field);
+    const b7  = b6  * 256 + (slice<1>(word, 23) as Field);
+    const b8  = b7  * 256 + (slice<1>(word, 24) as Field);
+    const b9  = b8  * 256 + (slice<1>(word, 25) as Field);
+    const b10 = b9  * 256 + (slice<1>(word, 26) as Field);
+    const b11 = b10 * 256 + (slice<1>(word, 27) as Field);
+    const b12 = b11 * 256 + (slice<1>(word, 28) as Field);
+    const b13 = b12 * 256 + (slice<1>(word, 29) as Field);
+    const b14 = b13 * 256 + (slice<1>(word, 30) as Field);
+    const b15 = b14 * 256 + (slice<1>(word, 31) as Field);
+    return b15 as Uint<128>;
+  }
+
+  // Read a Boolean ABI word back into a Boolean. The first 31 bytes must be
+  // zero and the last byte 0 or 1: any non-canonical word is rejected.
+  export pure circuit abiWordToBool(word: Bytes<32>): Boolean {
+    assert(slice<31>(word, 0) as Field == 0 as Field, "ABI word is not a canonical Boolean");
+    const last = slice<1>(word, 31) as Field;
+    assert(last == 0 as Field || last == 1 as Field, "ABI word is not a canonical Boolean");
+    return last == 1 as Field;
   }
 }

package/src/circuits.compact

@@ -1,31 +1,12 @@
 pragma language_version >= 0.25;
 
-// Compiled export surface of the Signet module.
-//
-// Signet.compact must stay a module-only file (that is what lets contracts
-// import it), but a bare module compiles to nothing. This contract-less
-// program re-exports the module's pure circuits so the compiler emits them as
-// pureCircuits in managed/contract/index.js, giving the package an
-// in-process, provable-logic-identical reference implementation: unit tests
-// exercise the REAL circuits, and off-chain code (the attestation digest,
-// response verification, key-pin hashing, notification packing) reuses them
-// instead of hand-porting the algorithms. Off-chain code only ever DECODES a
-// SignBidirectionalEventNotification (fixed-offset byte reads), but tests
-// build fixtures with the compiled packer to pin the pack<->decode lockstep.
-//
-// ONLY the non-generic circuits are exported here. The request circuits
-// (calculateRequestId, constructSignBidirectionalEvent) are generic over the
-// tx-params type and schema lengths, the compiler cannot export
-// type-parameterized circuits from the top level, and this package is
-// client-agnostic: a capacity instantiation is a CLIENT contract's choice and
-// never belongs here. constructSignBidirectionalEvent is contract-only, so it
-// needs no off-chain copy. calculateRequestId IS needed off-chain (clients
-// recompute ledger map keys), so it alone has a documented-deviation TS twin
-// in signet-requests.ts, kept honest by caller-contract's
-// submitSignatureRequest round-trip test.
-//
-// Compile with --skip-zk only: pure circuits run in TS without proving keys.
-// The secp256k1 types require the --feature-zkir-v3 compiler flag.
+// Compiled export surface of the Signet module. Signet.compact is
+// module-only and compiles to nothing on its own, so this contract-less
+// program re-exports its pure circuits: the compiler emits them as
+// pureCircuits for unit tests and off-chain code to reuse instead of
+// re-porting the algorithms. Only non-generic circuits can be exported
+// (the compiler cannot export type-parameterised circuits top-level).
+// Compile with --skip-zk and --feature-zkir-v3.
 
 import CompactStandardLibrary;
 import "./Signet";
@@ -34,5 +15,10 @@ export {
   signetAttestationDigest,
   verifyRespondBidirectionalEvent,
   signetKeyHash,
-  constructSignBidirectionalEventNotificationV1
+  constructSignBidirectionalEventNotificationV1,
+  evmAddressAbiWord,
+  numericAbiWord,
+  boolAbiWord,
+  abiWordToUint128,
+  abiWordToBool
 };