@sig-net/midnight 0.15.0 → 0.16.0

package/dist/signet-request-response-reader.js

@@ -1,50 +1,40 @@
 // One-stop client-side reader for the signet request/response flow: fetch a
-// request record from the requester contract's ledger, enumerate the posts in
-// the signet contract's signature response log, and verify each candidate
-// against the request.
-// This is the helper the Signet.compact "Response Ledger Layout" comment
-// promises: the log is UNAUTHENTICATED, so a client must verify every post
-// and take the first valid one. This class packages that flow so every
-// consumer (CLI poller, integration tests, a future UI) shares one
-// implementation. Single-shot by design: each call queries state once, and
-// the caller owns any poll loop.
+// request record from the requester contract's ledger, read the request's
+// responses out of the contract events the signet contract emits, and verify
+// each candidate against the request.
+// A response is a Misc contract event that carries the request id it answers
+// beside a signature. The id is UNAUTHENTICATED routing data: it scopes a
+// read to one request's posts, and VERIFICATION establishes authenticity. A
+// signature response answers a request exactly when it recovers to that
+// request's derived signer over the request's transaction, and a
+// respond-bidirectional post answers exactly when it verifies over
+// (requestId, output) against the request's MPC response key. This class
+// packages that flow so every consumer (CLI poller, integration tests, a
+// future UI) shares one implementation. Single-shot by design: each call
+// queries once, and the caller owns any poll loop.
 import { lookupSignetRequestAt } from "./signature-requests-state-reader.js";
-import { readSignetContractLedgerFromState, signetMapEntryKey, } from "./signet-contract-state-reader.js";
+import { decodeRespondBidirectionalEventPayload, decodeSignatureRespondedEventPayload, SignetEventName, } from "./signet-contract-events.js";
 import { recoverSignatureResponseSigner } from "./signature-response-verification.js";
 import { verifyRespondBidirectionalSignature, } from "./ecdsa-attestation.js";
 import { signBidirectionalEventToSignedEvmTransaction, signBidirectionalEventToUnsignedEvmTransaction, } from "./signet-evtype2tx-requests.js";
-import { requestIdBytes, } from "./signet-requests.js";
+import { requestIdBytes, requestIdHex, } from "./signet-requests.js";
 /**
  * Reader over one requester contract / signet contract pair.
  * Construct once per pair and reuse: fetched request records are cached (they
  * are immutable, the ledger key is their hash), so repeated verification
- * calls cost one responses-contract query each.
+ * calls cost one event query each.
  */
 export class SignetRequestResponseReader {
     config;
     // Request records never change once stored, so cache them across calls.
     requestCache = new Map();
     /**
-     * @param config - The contract pair and state source to read through.
+     * @param config - The contract pair, state source and event source to read
+     *   through.
      */
     constructor(config) {
         this.config = config;
     }
-    /**
-     * Query one contract's raw state, throwing a uniform error when absent.
-     *
-     * @param contractAddress - The contract to query.
-     * @param role - Human name of the contract for the error message.
-     * @returns The raw ledger state tree.
-     * @throws Error when the address holds no contract state.
-     */
-    async queryRawState(contractAddress, role) {
-        const state = await this.config.publicDataProvider.queryContractState(contractAddress);
-        if (!state?.data) {
-            throw new Error(`no state data found for ${role} contract '${contractAddress}' (is it deployed?)`);
-        }
-        return state.data;
-    }
     /**
      * Fetch the request record for `requestId` from the requester contract's
      * request index (at the configured `requesterRequestsPath`). Cached
@@ -60,8 +50,11 @@ export class SignetRequestResponseReader {
         if (cached !== undefined) {
             return cached;
         }
-        const raw = await this.queryRawState(this.config.requesterContractAddress, "requester");
-        const request = lookupSignetRequestAt(raw, this.config.requesterRequestsPath, requestId);
+        const state = await this.config.publicDataProvider.queryContractState(this.config.requesterContractAddress);
+        if (!state?.data) {
+            throw new Error(`no state data found for requester contract '${this.config.requesterContractAddress}' (is it deployed?)`);
+        }
+        const request = lookupSignetRequestAt(state.data, this.config.requesterRequestsPath, requestId);
         if (request === undefined) {
             throw new Error(`request ${requestId} is not on the requester contract's ledger ` +
                 `(request index at path ${JSON.stringify(this.config.requesterRequestsPath)}): was it submitted?`);
@@ -70,69 +63,78 @@ export class SignetRequestResponseReader {
         return request;
     }
     /**
-     * Fetch every response posted for `requestId`, in post (count) order.
-     * UNVERIFIED: any of them may be garbage (see
-     * {@link getVerifiedSignatureRespondedEvent}).
+     * Fetch every event of `name` the signet contract has emitted, decode each
+     * with `decode`, and keep the posts whose declared request id is
+     * `requestId`, in emission order. The declared id is routing data only:
+     * the verified getters run the actual authenticity checks.
      *
-     * @param requestId - The request id whose posts to enumerate.
-     * @returns The posted payloads, index = count, empty when none yet.
-     * @throws Error when the responses contract has no state, or its counter
-     *   disagrees with the log (inconsistent ledger).
+     * @param name - The signet event name to keep.
+     * @param decode - The payload decoder for that event kind.
+     * @param requestId - The request id the kept posts must declare.
+     * @returns The kept posts' records, oldest first.
      */
-    async getSignatureResponses(requestId) {
-        const raw = await this.queryRawState(this.config.signetContractAddress, "signet contract");
-        const { respondCounterMap, respondMap } = readSignetContractLedgerFromState(raw);
-        const totalPosts = respondCounterMap.get(requestId) ?? 0n;
-        const responses = [];
-        for (let count = 0n; count < totalPosts; count++) {
-            const response = respondMap.get(signetMapEntryKey(requestId, count));
-            if (response === undefined) {
-                throw new Error(`response log has no entry ${count} for request ${requestId} ` +
-                    `despite its counter reading ${totalPosts}: ledger state is inconsistent`);
-            }
-            responses.push(response);
-        }
-        return responses;
+    async getRespondPostsNamed(name, decode, requestId) {
+        const events = await this.config.eventSource.querySignetEvents(this.config.signetContractAddress);
+        return events
+            .filter((event) => event.name === name)
+            .map((event) => decode(event.payload))
+            .filter((post) => requestIdHex(post.requestId) === requestId)
+            .map((post) => post.event);
+    }
+    /**
+     * Fetch every signature response posted under `requestId`, in emission
+     * order. UNVERIFIED: the declared id is routing data on an unauthenticated
+     * event log, so any post may still be garbage (see
+     * {@link getVerifiedSignatureRespondedEvent}, where verification
+     * establishes authenticity).
+     *
+     * @param requestId - The request id the posts must declare.
+     * @returns The request's posted records, oldest first, empty when none yet.
+     */
+    async getSignatureRespondedEvents(requestId) {
+        return this.getRespondPostsNamed(SignetEventName.SignatureRespondedEvent, decodeSignatureRespondedEventPayload, requestId);
     }
     /**
-     * Fetch and verify the responses posted for `requestId`: each post's
-     * signature must recover to `expectedSigner`
-     * (compared case-insensitively) over the signing hash of the transaction
-     * the request record describes. The first valid post wins, and every post
-     * gets a verdict so callers can report the noise.
+     * Fetch the signature responses posted under `requestId` and verify each
+     * against the request: a post's signature must recover to
+     * `expectedSigner` (compared case-insensitively) over the signing hash of
+     * the transaction the request record describes. The first valid post wins,
+     * and every candidate gets a verdict so callers can report the noise. The
+     * declared id only routes: this verification is what separates the genuine
+     * response from garbage posted under the same id.
      *
      * @param requestId - The request id to fetch a verified response for.
      * @param expectedSigner - The EVM address (0x hex, any case) the genuine
      *   response must be signed by: the requester's MPC-derived address.
      * @returns The first valid response (if any) plus per-post verdicts.
-     * @throws Error when either contract has no state, the request is not on
-     *   the requester's ledger, or the responses ledger is inconsistent.
+     * @throws Error when the requester contract has no state or the request is
+     *   not on its ledger.
      */
     async getVerifiedSignatureRespondedEvent(requestId, expectedSigner) {
         const request = await this.getSignatureRequest(requestId);
-        const responses = await this.getSignatureResponses(requestId);
-        const verdicts = responses.map((response, index) => {
-            const count = BigInt(index);
+        const responses = await this.getSignatureRespondedEvents(requestId);
+        const verdicts = responses.map((response, position) => {
+            const index = BigInt(position);
             let signer;
             try {
                 signer = recoverSignatureResponseSigner(request, response);
             }
             catch (error) {
                 return {
-                    count,
+                    index,
                     response,
                     rejectedReason: `not a decodable signature (${String(error)})`,
                 };
             }
             if (signer.toLowerCase() !== expectedSigner.toLowerCase()) {
                 return {
-                    count,
+                    index,
                     response,
                     signer,
                     rejectedReason: `signed by ${signer}, expected ${expectedSigner}`,
                 };
             }
-            return { count, response, signer };
+            return { index, response, signer };
         });
         return {
             verified: verdicts.find((v) => v.rejectedReason === undefined)?.response,
@@ -142,7 +144,7 @@ export class SignetRequestResponseReader {
     /**
      * Rebuild the unsigned EIP-1559 transaction for `requestId`: the exact
      * transaction the MPC signs, assembled from the request record's decomposed
-     * fields. No responses-contract query: this needs only the request record
+     * fields. No event query: this needs only the request record
      * (fetched via {@link getSignatureRequest}, cached).
      *
      * @param requestId - The request id whose transaction to rebuild.
@@ -158,7 +160,7 @@ export class SignetRequestResponseReader {
      * Assemble the broadcast-ready signed EIP-1559 transaction for `requestId`:
      * rebuild the request's transaction and attach the first VERIFIED response
      * signed by `expectedSigner` (see {@link getVerifiedSignatureRespondedEvent}:
-     * the response log is unauthenticated, so an `expectedSigner` is required
+     * the event log is unauthenticated, so an `expectedSigner` is required
      * and unverified posts are never attached).
      *
      * @param requestId - The request id to produce a signed transaction for.
@@ -167,8 +169,8 @@ export class SignetRequestResponseReader {
      * @returns The signed ethers transaction (`serialized` is the payload for
      *   `eth_sendRawTransaction`), or `undefined` when no valid response has
      *   been posted yet: poll again.
-     * @throws Error when either contract has no state, the request is not on the
-     *   requester's ledger, or the responses ledger is inconsistent.
+     * @throws Error when the requester contract has no state or the request is
+     *   not on its ledger.
      */
     async getSignedEvmTransaction(requestId, expectedSigner) {
         const { verified } = await this.getVerifiedSignatureRespondedEvent(requestId, expectedSigner);
@@ -181,56 +183,40 @@ export class SignetRequestResponseReader {
         return signBidirectionalEventToSignedEvmTransaction(request, verified);
     }
     /**
-     * Fetch every respond-bidirectional response posted for `requestId`, in
-     * post (count) order. UNVERIFIED: the signet contract stores posts without
-     * checking them, so any entry may be garbage. Each post carries a signature
-     * and nothing else, so verifying it against the MPC response key you expect
-     * is the only way to pick the genuine one: in-circuit at claim time, or off
-     * chain with {@link verifyRespondBidirectionalSignature} over the output you
-     * fetched. An empty array simply means none posted yet: poll again.
+     * Fetch every respond-bidirectional response posted under `requestId`, in
+     * emission order. UNVERIFIED: the declared id is routing data on an
+     * unauthenticated event log, so verifying a post against the MPC response
+     * key you expect is still the only way to pick the genuine one: in-circuit
+     * at claim time, or off chain with
+     * {@link verifyRespondBidirectionalSignature} over the output you fetched.
+     * An empty array simply means none posted yet: poll again.
      *
-     * @param requestId - The request id whose responses to enumerate.
-     * @returns The posted records, index = count, empty when none yet.
-     * @throws Error when the signet contract has no state, or its counter
-     *   disagrees with the log (inconsistent ledger).
+     * @param requestId - The request id the posts must declare.
+     * @returns The request's posted records, oldest first, empty when none yet.
      */
     async getRespondBidirectionalEvents(requestId) {
-        const raw = await this.queryRawState(this.config.signetContractAddress, "signet contract");
-        const { respondBidirectionalCounterMap, respondBidirectionalMap } = readSignetContractLedgerFromState(raw);
-        const totalPosts = respondBidirectionalCounterMap.get(requestId) ?? 0n;
-        const responses = [];
-        for (let count = 0n; count < totalPosts; count++) {
-            const response = respondBidirectionalMap.get(signetMapEntryKey(requestId, count));
-            if (response === undefined) {
-                throw new Error(`respond-bidirectional log has no entry ${count} for request ${requestId} ` +
-                    `despite its counter reading ${totalPosts}: ledger state is inconsistent`);
-            }
-            responses.push(response);
-        }
-        return responses;
+        return this.getRespondPostsNamed(SignetEventName.RespondBidirectionalEvent, decodeRespondBidirectionalEventPayload, requestId);
     }
     /**
-     * Fetch the respond-bidirectional posts for `requestId` and return the
-     * first (lowest count) one whose signature verifies over
+     * Fetch the respond-bidirectional posts declared under `requestId` and
+     * return the first (oldest) one whose signature verifies over
      * `serializedOutput` against `mpcResponseKey`: the off-chain twin of the
      * check the client contract runs in-circuit, and the only way to pick a
-     * genuine post out of an unauthenticated log now that posts carry nothing
-     * but a signature.
+     * genuine post out of an unauthenticated event log.
      *
      * The output must be the exact unpadded bytes the attestation commits to
      * (the packed respond payload, recomputed from the execution output the
      * client fetched), so a post that verifies here is the post that proves at
      * claim time.
      *
-     * @param requestId - The request id to fetch a verified attestation for.
+     * @param requestId - The request id the posts must declare and the
+     *   attestation must commit to.
      * @param serializedOutput - The serialised execution output the attestation
      *   must commit to, exact unpadded bytes.
      * @param mpcResponseKey - The MPC response key the requesting contract
      *   pinned at deploy (see `deriveMidnightResponseKey`).
      * @returns The first verifying post, or `undefined` when none has been
      *   posted yet (poll again) or none attests this output.
-     * @throws Error when the signet contract has no state, or its counter
-     *   disagrees with the log (inconsistent ledger).
      */
     async getVerifiedRespondBidirectionalEvent(requestId, serializedOutput, mpcResponseKey) {
         const events = await this.getRespondBidirectionalEvents(requestId);

package/dist/signet-request-response-reader.js.map

@@ -1 +1 @@
-{"version":3,"file":"signet-request-response-reader.js","sourceRoot":"","sources":["../src/signet-request-response-reader.ts"],"names":[],"mappings":"AAAA,4EAA4E;AAC5E,8EAA8E;AAC9E,0EAA0E;AAC1E,uBAAuB;AACvB,yEAAyE;AACzE,2EAA2E;AAC3E,uEAAuE;AACvE,mEAAmE;AACnE,2EAA2E;AAC3E,iCAAiC;AAKjC,OAAO,EAAE,qBAAqB,EAAE,MAAM,sCAAsC,CAAC;AAC7E,OAAO,EACL,iCAAiC,EACjC,iBAAiB,GAGlB,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EAAE,8BAA8B,EAAE,MAAM,sCAAsC,CAAC;AACtF,OAAO,EACL,mCAAmC,GAEpC,MAAM,wBAAwB,CAAC;AAEhC,OAAO,EACL,4CAA4C,EAC5C,8CAA8C,GAC/C,MAAM,gCAAgC,CAAC;AACxC,OAAO,EACL,cAAc,GAGf,MAAM,sBAAsB,CAAC;AAiE9B;;;;;GAKG;AACH,MAAM,OAAO,2BAA2B;IACrB,MAAM,CAAoC;IAE3D,wEAAwE;IACvD,YAAY,GAAG,IAAI,GAAG,EAGpC,CAAC;IAEJ;;OAEG;IACH,YAAY,MAAyC;QACnD,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IACvB,CAAC;IAED;;;;;;;OAOG;IACK,KAAK,CAAC,aAAa,CACzB,eAAuB,EACvB,IAAY;QAEZ,MAAM,KAAK,GACT,MAAM,IAAI,CAAC,MAAM,CAAC,kBAAkB,CAAC,kBAAkB,CAAC,eAAe,CAAC,CAAC;QAC3E,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC;YACjB,MAAM,IAAI,KAAK,CACb,2BAA2B,IAAI,cAAc,eAAe,qBAAqB,CAClF,CAAC;QACJ,CAAC;QACD,OAAO,KAAK,CAAC,IAAI,CAAC;IACpB,CAAC;IAED;;;;;;;;;OASG;IACH,KAAK,CAAC,mBAAmB,CACvB,SAAuB;QAEvB,MAAM,MAAM,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAChD,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,aAAa,CAClC,IAAI,CAAC,MAAM,CAAC,wBAAwB,EACpC,WAAW,CACZ,CAAC;QACF,MAAM,OAAO,GAAG,qBAAqB,CACnC,GAAG,EACH,IAAI,CAAC,MAAM,CAAC,qBAAqB,EACjC,SAAS,CACV,CAAC;QACF,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,MAAM,IAAI,KAAK,CACb,WAAW,SAAS,6CAA6C;gBAC/D,0BAA0B,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,qBAAqB,CAAC,sBAAsB,CACpG,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QAC1C,OAAO,OAAO,CAAC;IACjB,CAAC;IAED;;;;;;;;;OASG;IACH,KAAK,CAAC,qBAAqB,CACzB,SAAuB;QAEvB,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,aAAa,CAClC,IAAI,CAAC,MAAM,CAAC,qBAAqB,EACjC,iBAAiB,CAClB,CAAC;QACF,MAAM,EAAE,iBAAiB,EAAE,UAAU,EAAE,GACrC,iCAAiC,CAAC,GAAG,CAAC,CAAC;QACzC,MAAM,UAAU,GAAG,iBAAiB,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;QAC1D,MAAM,SAAS,GAA8B,EAAE,CAAC;QAChD,KAAK,IAAI,KAAK,GAAG,EAAE,EAAE,KAAK,GAAG,UAAU,EAAE,KAAK,EAAE,EAAE,CAAC;YACjD,MAAM,QAAQ,GAAG,UAAU,CAAC,GAAG,CAC7B,iBAAiB,CAAC,SAAS,EAAE,KAAK,CAAC,CACpC,CAAC;YACF,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAC3B,MAAM,IAAI,KAAK,CACb,6BAA6B,KAAK,gBAAgB,SAAS,GAAG;oBAC5D,+BAA+B,UAAU,gCAAgC,CAC5E,CAAC;YACJ,CAAC;YACD,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC3B,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED;;;;;;;;;;;;;OAaG;IACH,KAAK,CAAC,kCAAkC,CACtC,SAAuB,EACvB,cAAsB;QAEtB,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,mBAAmB,CAAC,SAAS,CAAC,CAAC;QAC1D,MAAM,SAAS,GAAG,MAAM,IAAI,CAAC,qBAAqB,CAAC,SAAS,CAAC,CAAC;QAC9D,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAC5B,CAAC,QAAQ,EAAE,KAAK,EAA4B,EAAE;YAC5C,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;YAC5B,IAAI,MAAc,CAAC;YACnB,IAAI,CAAC;gBACH,MAAM,GAAG,8BAA8B,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;YAC7D,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,OAAO;oBACL,KAAK;oBACL,QAAQ;oBACR,cAAc,EAAE,8BAA8B,MAAM,CAAC,KAAK,CAAC,GAAG;iBAC/D,CAAC;YACJ,CAAC;YACD,IAAI,MAAM,CAAC,WAAW,EAAE,KAAK,cAAc,CAAC,WAAW,EAAE,EAAE,CAAC;gBAC1D,OAAO;oBACL,KAAK;oBACL,QAAQ;oBACR,MAAM;oBACN,cAAc,EAAE,aAAa,MAAM,cAAc,cAAc,EAAE;iBAClE,CAAC;YACJ,CAAC;YACD,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;QACrC,CAAC,CACF,CAAC;QACF,OAAO;YACL,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,cAAc,KAAK,SAAS,CAAC,EAAE,QAAQ;YACxE,QAAQ;SACT,CAAC;IACJ,CAAC;IAED;;;;;;;;;;;OAWG;IACH,KAAK,CAAC,yBAAyB,CAC7B,SAAuB;QAEvB,OAAO,8CAA8C,CACnD,MAAM,IAAI,CAAC,mBAAmB,CAAC,SAAS,CAAC,CAC1C,CAAC;IACJ,CAAC;IAED;;;;;;;;;;;;;;;OAeG;IACH,KAAK,CAAC,uBAAuB,CAC3B,SAAuB,EACvB,cAAsB;QAEtB,MAAM,EAAE,QAAQ,EAAE,GAAG,MAAM,IAAI,CAAC,kCAAkC,CAChE,SAAS,EACT,cAAc,CACf,CAAC;QACF,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,4EAA4E;QAC5E,wCAAwC;QACxC,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,mBAAmB,CAAC,SAAS,CAAC,CAAC;QAC1D,OAAO,4CAA4C,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IACzE,CAAC;IAED;;;;;;;;;;;;;OAaG;IACH,KAAK,CAAC,6BAA6B,CACjC,SAAuB;QAEvB,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,aAAa,CAClC,IAAI,CAAC,MAAM,CAAC,qBAAqB,EACjC,iBAAiB,CAClB,CAAC;QACF,MAAM,EAAE,8BAA8B,EAAE,uBAAuB,EAAE,GAC/D,iCAAiC,CAAC,GAAG,CAAC,CAAC;QACzC,MAAM,UAAU,GAAG,8BAA8B,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;QACvE,MAAM,SAAS,GAAgC,EAAE,CAAC;QAClD,KAAK,IAAI,KAAK,GAAG,EAAE,EAAE,KAAK,GAAG,UAAU,EAAE,KAAK,EAAE,EAAE,CAAC;YACjD,MAAM,QAAQ,GAAG,uBAAuB,CAAC,GAAG,CAC1C,iBAAiB,CAAC,SAAS,EAAE,KAAK,CAAC,CACpC,CAAC;YACF,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAC3B,MAAM,IAAI,KAAK,CACb,0CAA0C,KAAK,gBAAgB,SAAS,GAAG;oBACzE,+BAA+B,UAAU,gCAAgC,CAC5E,CAAC;YACJ,CAAC;YACD,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC3B,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED;;;;;;;;;;;;;;;;;;;;;;OAsBG;IACH,KAAK,CAAC,oCAAoC,CACxC,SAAuB,EACvB,gBAA4B,EAC5B,cAA8B;QAE9B,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,6BAA6B,CAAC,SAAS,CAAC,CAAC;QACnE,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAC3B,mCAAmC,CACjC,cAAc,CAAC,SAAS,CAAC,EACzB,gBAAgB,EAChB,KAAK,EACL,cAAc,CACf,CACF,CAAC;IACJ,CAAC;CACF"}
+{"version":3,"file":"signet-request-response-reader.js","sourceRoot":"","sources":["../src/signet-request-response-reader.ts"],"names":[],"mappings":"AAAA,4EAA4E;AAC5E,0EAA0E;AAC1E,6EAA6E;AAC7E,sCAAsC;AACtC,6EAA6E;AAC7E,0EAA0E;AAC1E,4EAA4E;AAC5E,wEAAwE;AACxE,iEAAiE;AACjE,mEAAmE;AACnE,yEAAyE;AACzE,yEAAyE;AACzE,yEAAyE;AACzE,mDAAmD;AAKnD,OAAO,EAAE,qBAAqB,EAAE,MAAM,sCAAsC,CAAC;AAC7E,OAAO,EACL,sCAAsC,EACtC,oCAAoC,EACpC,eAAe,GAKhB,MAAM,6BAA6B,CAAC;AACrC,OAAO,EAAE,8BAA8B,EAAE,MAAM,sCAAsC,CAAC;AACtF,OAAO,EACL,mCAAmC,GAEpC,MAAM,wBAAwB,CAAC;AAEhC,OAAO,EACL,4CAA4C,EAC5C,8CAA8C,GAC/C,MAAM,gCAAgC,CAAC;AACxC,OAAO,EACL,cAAc,EACd,YAAY,GAGb,MAAM,sBAAsB,CAAC;AAsE9B;;;;;GAKG;AACH,MAAM,OAAO,2BAA2B;IACrB,MAAM,CAAoC;IAE3D,wEAAwE;IACvD,YAAY,GAAG,IAAI,GAAG,EAGpC,CAAC;IAEJ;;;OAGG;IACH,YAAY,MAAyC;QACnD,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IACvB,CAAC;IAED;;;;;;;;;OASG;IACH,KAAK,CAAC,mBAAmB,CACvB,SAAuB;QAEvB,MAAM,MAAM,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAChD,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,kBAAkB,CAAC,kBAAkB,CACnE,IAAI,CAAC,MAAM,CAAC,wBAAwB,CACrC,CAAC;QACF,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC;YACjB,MAAM,IAAI,KAAK,CACb,+CAA+C,IAAI,CAAC,MAAM,CAAC,wBAAwB,qBAAqB,CACzG,CAAC;QACJ,CAAC;QACD,MAAM,OAAO,GAAG,qBAAqB,CACnC,KAAK,CAAC,IAAI,EACV,IAAI,CAAC,MAAM,CAAC,qBAAqB,EACjC,SAAS,CACV,CAAC;QACF,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,MAAM,IAAI,KAAK,CACb,WAAW,SAAS,6CAA6C;gBAC/D,0BAA0B,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,qBAAqB,CAAC,sBAAsB,CACpG,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QAC1C,OAAO,OAAO,CAAC;IACjB,CAAC;IAED;;;;;;;;;;OAUG;IACK,KAAK,CAAC,oBAAoB,CAChC,IAAqB,EACrB,MAA2D,EAC3D,SAAuB;QAEvB,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,iBAAiB,CAC5D,IAAI,CAAC,MAAM,CAAC,qBAAqB,CAClC,CAAC;QACF,OAAO,MAAM;aACV,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC;aACtC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;aACrC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,SAAS,CAAC;aAC5D,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/B,CAAC;IAED;;;;;;;;;OASG;IACH,KAAK,CAAC,2BAA2B,CAC/B,SAAuB;QAEvB,OAAO,IAAI,CAAC,oBAAoB,CAC9B,eAAe,CAAC,uBAAuB,EACvC,oCAAoC,EACpC,SAAS,CACV,CAAC;IACJ,CAAC;IAED;;;;;;;;;;;;;;;OAeG;IACH,KAAK,CAAC,kCAAkC,CACtC,SAAuB,EACvB,cAAsB;QAEtB,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,mBAAmB,CAAC,SAAS,CAAC,CAAC;QAC1D,MAAM,SAAS,GAAG,MAAM,IAAI,CAAC,2BAA2B,CAAC,SAAS,CAAC,CAAC;QACpE,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAC5B,CAAC,QAAQ,EAAE,QAAQ,EAA4B,EAAE;YAC/C,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC;YAC/B,IAAI,MAAc,CAAC;YACnB,IAAI,CAAC;gBACH,MAAM,GAAG,8BAA8B,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;YAC7D,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,OAAO;oBACL,KAAK;oBACL,QAAQ;oBACR,cAAc,EAAE,8BAA8B,MAAM,CAAC,KAAK,CAAC,GAAG;iBAC/D,CAAC;YACJ,CAAC;YACD,IAAI,MAAM,CAAC,WAAW,EAAE,KAAK,cAAc,CAAC,WAAW,EAAE,EAAE,CAAC;gBAC1D,OAAO;oBACL,KAAK;oBACL,QAAQ;oBACR,MAAM;oBACN,cAAc,EAAE,aAAa,MAAM,cAAc,cAAc,EAAE;iBAClE,CAAC;YACJ,CAAC;YACD,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;QACrC,CAAC,CACF,CAAC;QACF,OAAO;YACL,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,cAAc,KAAK,SAAS,CAAC,EAAE,QAAQ;YACxE,QAAQ;SACT,CAAC;IACJ,CAAC;IAED;;;;;;;;;;;OAWG;IACH,KAAK,CAAC,yBAAyB,CAC7B,SAAuB;QAEvB,OAAO,8CAA8C,CACnD,MAAM,IAAI,CAAC,mBAAmB,CAAC,SAAS,CAAC,CAC1C,CAAC;IACJ,CAAC;IAED;;;;;;;;;;;;;;;OAeG;IACH,KAAK,CAAC,uBAAuB,CAC3B,SAAuB,EACvB,cAAsB;QAEtB,MAAM,EAAE,QAAQ,EAAE,GAAG,MAAM,IAAI,CAAC,kCAAkC,CAChE,SAAS,EACT,cAAc,CACf,CAAC;QACF,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,4EAA4E;QAC5E,wCAAwC;QACxC,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,mBAAmB,CAAC,SAAS,CAAC,CAAC;QAC1D,OAAO,4CAA4C,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IACzE,CAAC;IAED;;;;;;;;;;;OAWG;IACH,KAAK,CAAC,6BAA6B,CACjC,SAAuB;QAEvB,OAAO,IAAI,CAAC,oBAAoB,CAC9B,eAAe,CAAC,yBAAyB,EACzC,sCAAsC,EACtC,SAAS,CACV,CAAC;IACJ,CAAC;IAED;;;;;;;;;;;;;;;;;;;;OAoBG;IACH,KAAK,CAAC,oCAAoC,CACxC,SAAuB,EACvB,gBAA4B,EAC5B,cAA8B;QAE9B,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,6BAA6B,CAAC,SAAS,CAAC,CAAC;QACnE,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAC3B,mCAAmC,CACjC,cAAc,CAAC,SAAS,CAAC,EACzB,gBAAgB,EAChB,KAAK,EACL,cAAc,CACf,CACF,CAAC;IACJ,CAAC;CACF"}

package/dist/signet-requests.js

@@ -16,8 +16,8 @@
 // the assertion, so any structural drift between the generated managed types
 // and these twins fails that package's `yarn build` / `yarn test`.
 //
-// Read more: https://docs.sig.network/ (signet protocol) and the module
-// header in Signet.compact (key derivation, event flow).
+// Read more: the module header in Signet.compact (key derivation, event
+// flow) and this package's README ("Sign bidirectional flow").
 import { CompactTypeBoolean, CompactTypeBytes, CompactTypeEnum, CompactTypeUnsignedInteger, } from "@midnight-ntwrk/compact-runtime";
 /**
  * Which transaction-param decomposition a request carries (Compact:

package/dist/signet-requests.js.map

@@ -1 +1 @@
-{"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,8EAA8E;AAC9E,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,0EAA0E;IAC1E,QAAQ,EAAE,CAAC;CACH,CAAC;AAEX;;;GAGG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG;IAC5B,sCAAsC;IACtC,MAAM,EAAE,CAAC;IACT,0EAA0E;IAC1E,QAAQ,EAAE,CAAC;CACH,CAAC;AAmDX,+EAA+E;AAC/E,EAAE;AACF,0EAA0E;AAC1E,0EAA0E;AAC1E,wEAAwE;AACxE,4EAA4E;AAC5E,mEAAmE;AACnE,2EAA2E;AAC3E,wEAAwE;AACxE,4EAA4E;AAC5E,EAAE;AACF,qEAAqE;AACrE,2EAA2E;AAC3E,2EAA2E;AAC3E,yEAAyE;AACzE,0EAA0E;AAC1E,0FAA0F;AAC1F,0EAA0E;AAC1E,uEAAuE;AAEvE,0EAA0E;AAC1E,0EAA0E;AAC1E,oEAAoE;AACpE,2EAA2E;AAC3E,2EAA2E;AAC3E,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"}
+{"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,8EAA8E;AAC9E,6EAA6E;AAC7E,mEAAmE;AACnE,EAAE;AACF,wEAAwE;AACxE,+DAA+D;AAE/D,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,0EAA0E;IAC1E,QAAQ,EAAE,CAAC;CACH,CAAC;AAEX;;;GAGG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG;IAC5B,sCAAsC;IACtC,MAAM,EAAE,CAAC;IACT,0EAA0E;IAC1E,QAAQ,EAAE,CAAC;CACH,CAAC;AAmDX,+EAA+E;AAC/E,EAAE;AACF,0EAA0E;AAC1E,0EAA0E;AAC1E,wEAAwE;AACxE,4EAA4E;AAC5E,mEAAmE;AACnE,2EAA2E;AAC3E,wEAAwE;AACxE,4EAA4E;AAC5E,EAAE;AACF,qEAAqE;AACrE,2EAA2E;AAC3E,2EAA2E;AAC3E,yEAAyE;AACzE,0EAA0E;AAC1E,0FAA0F;AAC1F,0EAA0E;AAC1E,uEAAuE;AAEvE,0EAA0E;AAC1E,0EAA0E;AAC1E,oEAAoE;AACpE,2EAA2E;AAC3E,2EAA2E;AAC3E,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.15.0",
+  "version": "0.16.0",
   "repository": {
     "type": "git",
     "url": "https://github.com/sig-net/midnight-integration",
@@ -40,7 +40,7 @@
     "@midnight-ntwrk/compact-runtime": "0.18.0-rc.1",
     "@midnight-ntwrk/midnight-js-types": "5.0.0-beta.4",
     "@noble/curves": "^2.2.0",
-    "@sig-net/midnight-serde": "^0.15.0",
+    "@sig-net/midnight-serde": "^0.16.0",
     "ethers": "^6.17.0"
   },
   "devDependencies": {

package/src/Signet.compact

@@ -6,9 +6,10 @@
 //  Terms:
 //    - client contract(s): contracts on the Midnight blockchain that integrate with the Signet Distributed MPC
 //                       to execute arbitrary transactions on foreign blockchains.
-//    - Signet singleton: a single contract on the Midnight blockchain holding the Signet registry for transaction
-//                        signature requests and responses, as well as signed attestations of transactions executed
-//                        on foreign blockchains (the execution outputs themselves travel off chain).
+//    - Signet singleton: a single contract on the Midnight blockchain through which clients notify the MPC of
+//                        signature requests, and through which the MPC posts back signatures and signed attestations
+//                        of foreign executions. Each post is emitted as a contract event (the execution
+//                        outputs themselves travel off chain).
 //
 //  Usage:
 //   // Import this module at the start of a contract (resolved through node_modules via COMPACT_PATH):
@@ -28,28 +29,34 @@
 //  - SignBidirectionalEventNotification: Notification delivered by client contracts via cross contract call to Signet singleton
 //                                        (via SignetSigner interface) to notify the MPC of a SignBidirectionalEvent.
 //  - SignatureRespondedEvent: Counterpart to SignBidirectionalEvent containing MPC generated signature requested by a SignBidirectionalEvent.
-//                             Posted by MPC back to Signet singleton for clients to extract to build a signed transaction.
+//                             Posted by the MPC through the Signet singleton, which emits it as a contract
+//                             event. Clients extract it to build a signed transaction.
 //  - RespondBidirectionalEvent: Attestation of a transaction executed on a foreign blockchain: the MPC's ECDSA
 //                               signature over the attestation digest of the request id and serialised output
 //                               (see calculateSignetAttestationDigest), signed with the MPC's RESPONSE key for
 //                               the requesting contract: the key derived from the client contract's address +
 //                               the fixed path "midnight response key". Both the digest and the output itself
-//                               travel off chain. Posted by MPC back to Signet singleton for clients to extract,
-//                               verify (see verifyRespondBidirectionalEvent) and deliver back to the client
-//                               contract.
+//                               travel off chain. Posted by the MPC through the Signet singleton, which
+//                               emits it as a contract event. Clients extract it, verify it (see
+//                               verifyRespondBidirectionalEvent) and deliver it back to the client contract.
 //
 // These key types are best understood within the sign bidirectional flow that they enable:
-// 1. Client contract stores a SignBidirectionalEvent in a SignBidirectionalEventMap its own ledger
-//    (against the calculated RequestId) and requests a signature from the MPC by registering a
-//    SignBidirectionalEventNotification in the Signet singleton contract's registry
-//    (via cross contract call against the SignetSigner interface).
-// 2. MPC polls the Signet singleton contract's registry for the SignBidirectionalEventNotification,
-//    using it to read the SignBidirectionalEvent signature request from the client's ledger. It generates the
-//    signature and and posts a SignatureRespondedEvent (the requested signature) to the Signet singleton contract.
-// 3. Client polls the Signet singleton contract SignatureRespondedEventMap for the signature by RequestId,
-//    verifies the posted SignatureRespondedEvent and broadcasts txn to destination chain.
-// 4. MPC observes txn execution on destination chain, posts a RespondBidirectionalEvent
-//    attestation to the central Signet contract, and the client polls it by RequestId.
+// 1. Client contract stores a SignBidirectionalEvent in a SignBidirectionalEventMap in its own ledger
+//    (against the calculated RequestId) and requests a signature from the MPC via a cross contract call
+//    against the SignetSigner interface. The Signet singleton emits the
+//    SignBidirectionalEventNotification as a contract event.
+// 2. MPC polls the Signet singleton contract's events for SignBidirectionalEventNotifications and uses
+//    each one to read the SignBidirectionalEvent signature requests from the named client's own ledger.
+//    It generates the signature and posts a SignatureRespondedEvent (the requested signature) through
+//    the Signet singleton, which emits it as a contract event.
+// 3. Client polls the Signet singleton contract's SignatureRespondedEvent events. Each event carries
+//    the request id it answers beside the signature. The id is unauthenticated routing data: the client
+//    reads its own request's posts by id, verifies each candidate, and takes the first one whose
+//    signature recovers to its derived key. Then it broadcasts the signed txn to the destination chain.
+// 4. MPC observes txn execution on destination chain and posts a RespondBidirectionalEvent attestation
+//    through the central Signet contract, which emits it as a contract event beside the request id.
+//    The client polls its request's posts and takes the first one that verifies over the request id
+//    and output.
 //    The client recovers the execution output itself off chain (for EVM: the mined
 //    call's return data via debug_traceTransaction, also served by the fakenet
 //    responder's /responses/{requestId} helper API) and hands output plus attestation
@@ -58,7 +65,8 @@
 // Read more:
 //   - For full integration examples (such as an ERC20 cross chain vault example) see
 //     the Midnight Examples repository at: https://github.com/sig-net/midnight-examples.
-//   - Signet docs (chain signatures, key derivation): https://docs.sig.network
+//   - The sign bidirectional flow and key derivation: this package's README
+//     ("Sign bidirectional flow", "Derived keys").
 //   - Compact language reference (modules, types):
 //     https://docs.midnight.network/compact/reference/compact-reference
 
@@ -79,11 +87,15 @@ module Signet {
 
     // MPC Key Derivation Parameters.
     // Every key the MPC signs with is scoped by the requesting contract:
-    //   derivedSigningKey = f(mpcRootKey[keyVersion], sender, path)
-    // The path is 32 opaque bytes of the client contract's choosing (e.g a fixed literal
-    // for a contract-owned account or a hash of a caller's secret for per-user
-    // accounts): no format is enforced. The sender is always part of the
-    // derivation, so no contract can reach another contract's derived keys.
+    //   derivedSigningKey = f(mpcRootKey[keyVersion], caip2ChainId, sender, hex::encode(path))
+    // where caip2ChainId is the CAIP-2 id of the ORIGINATING chain (the Midnight
+    // variant for requests made from Midnight contracts), not this record's target
+    // caip2Id. The path is 32 opaque bytes of the client contract's choosing (e.g a
+    // fixed literal for a contract-owned account or a hash of a caller's secret for
+    // per-user accounts): no format is enforced, any 32 bytes are valid. CRITICAL:
+    // the MPC renders the path as hex::encode(path) before deriving (lowercase hex
+    // of the full 32 bytes, no trimming, no 0x prefix). The sender is always part
+    // of the derivation, so no contract can reach another contract's derived keys.
     keyVersion: Uint<8>;      // MPC root-key version to derive from. Set to 1.
     path: Bytes<32>;          // Key derivation path: 32 opaque bytes, client contract's choice.
 
@@ -203,7 +215,7 @@ module Signet {
       // Versioned notification of the SignBidirectionalEvent
       // (construct with constructSignBidirectionalEventNotificationV1).
       notification: SignBidirectionalEventNotification
-    ): SignetMapKey;
+    ): [];
   }
 
   // Notification delivered by client contracts via cross contract call to Signet singleton
@@ -310,8 +322,10 @@ module Signet {
   //  signature = signSECP256k1(mpcResponseKey, attestationDigest)
   //
   // Where the MPC response key is a per-client-contract key derived using the same derivation function
-  // as request signing keys, with the path set to the fixed "midnight response key":
-  //  mpcResponseKey = f(mpcRootKey[keyVersion], sender, "midnight response key")
+  // as request signing keys, with the path set to the fixed "midnight response key" (a protocol
+  // string that enters the derivation verbatim, unlike a request's 32 path bytes which are
+  // hex-encoded first):
+  //  mpcResponseKey = f(mpcRootKey[keyVersion], caip2ChainId, sender, "midnight response key")
   //
   // Storage & Verification:
   // The execution output is of variable size, so it travels off chain, and the digest
@@ -319,19 +333,12 @@ module Signet {
   // the attestation digest and verifies the signature in-circuit via
   // verifyRespondBidirectionalEvent against its derived MPC response key. The signature
   // is the ONLY thing that distinguishes a genuine post from garbage: the Signet
-  // singleton is an unauthenticated log and stores every post unverified.
+  // singleton is an unauthenticated log and emits every post unverified.
   export struct RespondBidirectionalEvent {
     // The MPC's ECDSA signature over the attestation digest.
     signature: Signature;
   }
 
-  // SignetMapKey used to locate SignBidirectionalEventNotifications, SignatureRespondedEvent and
-  // RespondBidirectionalEvents in Signet singleton contract storage.
-  export struct SignetMapKey {
-    count: Uint<64>;
-    requestId: RequestId;
-  };
-
   // Calculates the 32-byte attestation digest for a remote execution output:
   //    attestationDigest = keccak256(requestId + serializedOutput)
   //
@@ -371,7 +378,7 @@ module Signet {
   // signatures, and one that is not simply fails to verify.
   //
   // Note: Client contracts must run this check before consuming outputs, as the Signet
-  // singleton stores responses unverified.
+  // singleton emits responses unverified.
   export pure circuit verifyRespondBidirectionalEvent<#serializedOutputLength>(
     requestId: RequestId,
     serializedOutput: Bytes<serializedOutputLength>,