@sig-net/midnight 0.0.7 → 0.0.9

package/dist/epsilon-derivation.d.ts

@@ -12,20 +12,19 @@ export declare const EPSILON_DERIVATION_PREFIX = "sig.network v1.0.0 epsilon der
 export declare const MIDNIGHT_TESTNET_CHAIN_ID = "midnight:testnet";
 /**
  * The FIXED derivation path of the MPC's respond-bidirectional RESPONSE key
- * for Midnight client contracts (mirrors the MPC's per-chain
- * `<chain> response key` convention, sig-net/mpc
- * chain-signatures/node/src/respond_bidirectional.rs). The response key is
- * derived from (the SIGNET SINGLETON contract address, this path): it is not
- * the MPC root key and not the key that signs the requested transaction.
- * Client contracts pin its hash at deploy time and verify
- * RespondBidirectionalEvents against it.
+ * for Midnight client contracts, mirroring the real MPC's per-chain
+ * `<chain> response key` convention (sig-net/mpc
+ * chain-signatures/node/src/respond_bidirectional.rs, where the epsilon
+ * requester is the requesting tx's SENDER). The response key is derived PER
+ * CLIENT CONTRACT from (the client contract's own address, this path): it is
+ * not the MPC root key and not the key that signs the requested transaction.
  *
- * Why the SIGNET address and not the client contract's own address: the pin
- * is sealed in the client's CONSTRUCTOR, and a Midnight contract address is
- * a hash over the deploy (constructor arguments included), so a key derived
- * from the client's own address could never be known at the moment it must
- * be sealed. The signet singleton deploys first, so its address is available
- * to every client deploy, and the key stays scoped per signet deployment.
+ * The key depends on the client contract's address, and a Midnight contract
+ * address is a hash over the deploy (constructor arguments included), so the
+ * key cannot exist before the deploy transaction is built. Client contracts
+ * therefore pin its hash with a one-shot `initialise` circuit right after
+ * deploy (never a constructor seal) and verify RespondBidirectionalEvents
+ * against the pin.
  */
 export declare const MIDNIGHT_RESPOND_BIDIRECTIONAL_PATH = "midnight response key";
 /**
@@ -62,31 +61,32 @@ export declare function deriveEvmAddress(mpcSecp256k1PubkeyHex: string, contract
  */
 export declare function deriveEpsilon(requester: string, path: string, chainId?: string): bigint;
 /**
- * Derive the MPC's respond-bidirectional RESPONSE key for a signet
- * deployment, public side: what client-contract deploys pin
+ * Derive the MPC's respond-bidirectional RESPONSE key for one client
+ * contract, public side: what the client pins via its `initialise` circuit
  * (`MPC_RESPONSE_KEY`) and what response verification checks against. See
- * {@link MIDNIGHT_RESPOND_BIDIRECTIONAL_PATH} for the scheme and why the
- * requester is the signet singleton's address.
+ * {@link MIDNIGHT_RESPOND_BIDIRECTIONAL_PATH} for the scheme (the requester
+ * is the client contract's own address, mirroring the real MPC's
+ * sender-scoped derivation).
  *
  * @param mpcSecp256k1PubkeyHex - The MPC root secp256k1 public key as 0x-hex
  *   (compressed or uncompressed).
- * @param signetContractAddress - The signet singleton's Midnight contract
- *   address (`0x` prefix optional, case-insensitive).
+ * @param clientContractAddress - The client contract's Midnight address
+ *   (`0x` prefix optional, case-insensitive).
  * @returns The response public key as a Compact-runtime `Secp256k1Point`.
  */
-export declare function deriveMidnightResponseKey(mpcSecp256k1PubkeyHex: string, signetContractAddress: string): Secp256k1Point;
+export declare function deriveMidnightResponseKey(mpcSecp256k1PubkeyHex: string, clientContractAddress: string): Secp256k1Point;
 /**
- * Derive the MPC's respond-bidirectional RESPONSE key for a signet
- * deployment, secret side: `(rootSecret + epsilon) mod n`. MPC-side only
+ * Derive the MPC's respond-bidirectional RESPONSE key for one client
+ * contract, secret side: `(rootSecret + epsilon) mod n`. MPC-side only
  * (the fakenet signer, test harnesses): a real client never holds the root
  * key. The result feeds `signAttestationDigest` directly.
  *
  * @param mpcRootSecretKey - The 32-byte MPC root secret key (big-endian, the
  *   standard secp256k1 encoding).
- * @param signetContractAddress - The signet singleton's Midnight contract
- *   address (`0x` prefix optional, case-insensitive).
+ * @param clientContractAddress - The client contract's Midnight address
+ *   (`0x` prefix optional, case-insensitive).
  * @returns The 32-byte response secret key (big-endian).
  * @throws Error if the root key is not 32 bytes or the derived scalar is 0.
  */
-export declare function deriveMidnightResponseSecretKey(mpcRootSecretKey: Uint8Array, signetContractAddress: string): Uint8Array;
+export declare function deriveMidnightResponseSecretKey(mpcRootSecretKey: Uint8Array, clientContractAddress: string): Uint8Array;
 //# sourceMappingURL=epsilon-derivation.d.ts.map

package/dist/epsilon-derivation.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"epsilon-derivation.d.ts","sourceRoot":"","sources":["../src/epsilon-derivation.ts"],"names":[],"mappings":"AAeA,OAAO,EAAmB,KAAK,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAE9E;;;;GAIG;AACH,eAAO,MAAM,yBAAyB,0CAA0C,CAAC;AAEjF;;;GAGG;AACH,eAAO,MAAM,yBAAyB,qBAAqB,CAAC;AAE5D;;;;;;;;;;;;;;;;GAgBG;AACH,eAAO,MAAM,mCAAmC,0BAA0B,CAAC;AAE3E;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAgB,gBAAgB,CAC9B,qBAAqB,EAAE,MAAM,EAC7B,eAAe,EAAE,MAAM,EACvB,IAAI,EAAE,MAAM,EACZ,OAAO,GAAE,MAAkC,GAC1C,MAAM,CAGR;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,aAAa,CAC3B,SAAS,EAAE,MAAM,EACjB,IAAI,EAAE,MAAM,EACZ,OAAO,GAAE,MAAkC,GAC1C,MAAM,CAKR;AA6BD;;;;;;;;;;;;GAYG;AACH,wBAAgB,yBAAyB,CACvC,qBAAqB,EAAE,MAAM,EAC7B,qBAAqB,EAAE,MAAM,GAC5B,cAAc,CAQhB;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,+BAA+B,CAC7C,gBAAgB,EAAE,UAAU,EAC5B,qBAAqB,EAAE,MAAM,GAC5B,UAAU,CAwBZ"}
+{"version":3,"file":"epsilon-derivation.d.ts","sourceRoot":"","sources":["../src/epsilon-derivation.ts"],"names":[],"mappings":"AAeA,OAAO,EAAmB,KAAK,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAE9E;;;;GAIG;AACH,eAAO,MAAM,yBAAyB,0CAA0C,CAAC;AAEjF;;;GAGG;AACH,eAAO,MAAM,yBAAyB,qBAAqB,CAAC;AAE5D;;;;;;;;;;;;;;;GAeG;AACH,eAAO,MAAM,mCAAmC,0BAA0B,CAAC;AAE3E;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAgB,gBAAgB,CAC9B,qBAAqB,EAAE,MAAM,EAC7B,eAAe,EAAE,MAAM,EACvB,IAAI,EAAE,MAAM,EACZ,OAAO,GAAE,MAAkC,GAC1C,MAAM,CAGR;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,aAAa,CAC3B,SAAS,EAAE,MAAM,EACjB,IAAI,EAAE,MAAM,EACZ,OAAO,GAAE,MAAkC,GAC1C,MAAM,CAKR;AA6BD;;;;;;;;;;;;;GAaG;AACH,wBAAgB,yBAAyB,CACvC,qBAAqB,EAAE,MAAM,EAC7B,qBAAqB,EAAE,MAAM,GAC5B,cAAc,CAQhB;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,+BAA+B,CAC7C,gBAAgB,EAAE,UAAU,EAC5B,qBAAqB,EAAE,MAAM,GAC5B,UAAU,CAwBZ"}

package/dist/epsilon-derivation.js

@@ -25,20 +25,19 @@ export const EPSILON_DERIVATION_PREFIX = "sig.network v1.0.0 epsilon derivation"
 export const MIDNIGHT_TESTNET_CHAIN_ID = "midnight:testnet";
 /**
  * The FIXED derivation path of the MPC's respond-bidirectional RESPONSE key
- * for Midnight client contracts (mirrors the MPC's per-chain
- * `<chain> response key` convention, sig-net/mpc
- * chain-signatures/node/src/respond_bidirectional.rs). The response key is
- * derived from (the SIGNET SINGLETON contract address, this path): it is not
- * the MPC root key and not the key that signs the requested transaction.
- * Client contracts pin its hash at deploy time and verify
- * RespondBidirectionalEvents against it.
+ * for Midnight client contracts, mirroring the real MPC's per-chain
+ * `<chain> response key` convention (sig-net/mpc
+ * chain-signatures/node/src/respond_bidirectional.rs, where the epsilon
+ * requester is the requesting tx's SENDER). The response key is derived PER
+ * CLIENT CONTRACT from (the client contract's own address, this path): it is
+ * not the MPC root key and not the key that signs the requested transaction.
  *
- * Why the SIGNET address and not the client contract's own address: the pin
- * is sealed in the client's CONSTRUCTOR, and a Midnight contract address is
- * a hash over the deploy (constructor arguments included), so a key derived
- * from the client's own address could never be known at the moment it must
- * be sealed. The signet singleton deploys first, so its address is available
- * to every client deploy, and the key stays scoped per signet deployment.
+ * The key depends on the client contract's address, and a Midnight contract
+ * address is a hash over the deploy (constructor arguments included), so the
+ * key cannot exist before the deploy transaction is built. Client contracts
+ * therefore pin its hash with a one-shot `initialise` circuit right after
+ * deploy (never a constructor seal) and verify RespondBidirectionalEvents
+ * against the pin.
  */
 export const MIDNIGHT_RESPOND_BIDIRECTIONAL_PATH = "midnight response key";
 /**
@@ -102,36 +101,37 @@ function normaliseRequesterAddress(contractAddress) {
     return hex.toLowerCase();
 }
 /**
- * Derive the MPC's respond-bidirectional RESPONSE key for a signet
- * deployment, public side: what client-contract deploys pin
+ * Derive the MPC's respond-bidirectional RESPONSE key for one client
+ * contract, public side: what the client pins via its `initialise` circuit
  * (`MPC_RESPONSE_KEY`) and what response verification checks against. See
- * {@link MIDNIGHT_RESPOND_BIDIRECTIONAL_PATH} for the scheme and why the
- * requester is the signet singleton's address.
+ * {@link MIDNIGHT_RESPOND_BIDIRECTIONAL_PATH} for the scheme (the requester
+ * is the client contract's own address, mirroring the real MPC's
+ * sender-scoped derivation).
  *
  * @param mpcSecp256k1PubkeyHex - The MPC root secp256k1 public key as 0x-hex
  *   (compressed or uncompressed).
- * @param signetContractAddress - The signet singleton's Midnight contract
- *   address (`0x` prefix optional, case-insensitive).
+ * @param clientContractAddress - The client contract's Midnight address
+ *   (`0x` prefix optional, case-insensitive).
  * @returns The response public key as a Compact-runtime `Secp256k1Point`.
  */
-export function deriveMidnightResponseKey(mpcSecp256k1PubkeyHex, signetContractAddress) {
-    const point = deriveChildPoint(mpcSecp256k1PubkeyHex, normaliseRequesterAddress(signetContractAddress), MIDNIGHT_RESPOND_BIDIRECTIONAL_PATH, MIDNIGHT_TESTNET_CHAIN_ID);
+export function deriveMidnightResponseKey(mpcSecp256k1PubkeyHex, clientContractAddress) {
+    const point = deriveChildPoint(mpcSecp256k1PubkeyHex, normaliseRequesterAddress(clientContractAddress), MIDNIGHT_RESPOND_BIDIRECTIONAL_PATH, MIDNIGHT_TESTNET_CHAIN_ID);
     return { x: point.x, y: point.y, identity: false };
 }
 /**
- * Derive the MPC's respond-bidirectional RESPONSE key for a signet
- * deployment, secret side: `(rootSecret + epsilon) mod n`. MPC-side only
+ * Derive the MPC's respond-bidirectional RESPONSE key for one client
+ * contract, secret side: `(rootSecret + epsilon) mod n`. MPC-side only
  * (the fakenet signer, test harnesses): a real client never holds the root
  * key. The result feeds `signAttestationDigest` directly.
  *
  * @param mpcRootSecretKey - The 32-byte MPC root secret key (big-endian, the
  *   standard secp256k1 encoding).
- * @param signetContractAddress - The signet singleton's Midnight contract
- *   address (`0x` prefix optional, case-insensitive).
+ * @param clientContractAddress - The client contract's Midnight address
+ *   (`0x` prefix optional, case-insensitive).
  * @returns The 32-byte response secret key (big-endian).
  * @throws Error if the root key is not 32 bytes or the derived scalar is 0.
  */
-export function deriveMidnightResponseSecretKey(mpcRootSecretKey, signetContractAddress) {
+export function deriveMidnightResponseSecretKey(mpcRootSecretKey, clientContractAddress) {
     if (mpcRootSecretKey.length !== 32) {
         throw new Error(`MPC root secret key must be 32 bytes, got ${mpcRootSecretKey.length}`);
     }
@@ -139,7 +139,7 @@ export function deriveMidnightResponseSecretKey(mpcRootSecretKey, signetContract
     for (const byte of mpcRootSecretKey) {
         root = (root << 8n) | BigInt(byte);
     }
-    const epsilon = deriveEpsilon(normaliseRequesterAddress(signetContractAddress), MIDNIGHT_RESPOND_BIDIRECTIONAL_PATH, MIDNIGHT_TESTNET_CHAIN_ID);
+    const epsilon = deriveEpsilon(normaliseRequesterAddress(clientContractAddress), MIDNIGHT_RESPOND_BIDIRECTIONAL_PATH, MIDNIGHT_TESTNET_CHAIN_ID);
     const child = (root + epsilon) % SECP256K1_ORDER;
     if (child === 0n) {
         throw new Error("derived response secret key is zero (invalid scalar)");

package/dist/epsilon-derivation.js.map

@@ -1 +1 @@
-{"version":3,"file":"epsilon-derivation.js","sourceRoot":"","sources":["../src/epsilon-derivation.ts"],"names":[],"mappings":"AAAA,0EAA0E;AAC1E,EAAE;AACF,6EAA6E;AAC7E,+EAA+E;AAC/E,uDAAuD;AACvD,0EAA0E;AAC1E,uEAAuE;AACvE,oDAAoD;AACpD,4EAA4E;AAC5E,yEAAyE;AACzE,sBAAsB;AAEtB,OAAO,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAC;AACvD,OAAO,EAAE,cAAc,EAAE,SAAS,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,QAAQ,CAAC;AAE5E,OAAO,EAAE,eAAe,EAAuB,MAAM,wBAAwB,CAAC;AAE9E;;;;GAIG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAG,uCAAuC,CAAC;AAEjF;;;GAGG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAG,kBAAkB,CAAC;AAE5D;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,CAAC,MAAM,mCAAmC,GAAG,uBAAuB,CAAC;AAE3E;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,UAAU,gBAAgB,CAC9B,qBAA6B,EAC7B,eAAuB,EACvB,IAAY,EACZ,UAAkB,yBAAyB;IAE3C,MAAM,YAAY,GAAG,gBAAgB,CAAC,qBAAqB,EAAE,eAAe,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IAC7F,OAAO,cAAc,CAAC,KAAK,YAAY,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;AAC1D,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,aAAa,CAC3B,SAAiB,EACjB,IAAY,EACZ,UAAkB,yBAAyB;IAE3C,MAAM,QAAQ,GAAG,GAAG,yBAAyB,IAAI,OAAO,IAAI,SAAS,IAAI,IAAI,EAAE,CAAC;IAChF,uEAAuE;IACvE,iDAAiD;IACjD,OAAO,MAAM,CAAC,SAAS,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,eAAe,CAAC;AACpE,CAAC;AAED,2EAA2E;AAC3E,SAAS,gBAAgB,CACvB,qBAA6B,EAC7B,SAAiB,EACjB,IAAY,EACZ,OAAe;IAEf,MAAM,OAAO,GAAG,aAAa,CAAC,SAAS,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IACxD,MAAM,aAAa,GAAG,UAAU,CAAC,gBAAgB,CAAC,qBAAqB,EAAE,KAAK,CAAC,CAAC;IAChF,MAAM,SAAS,GAAG,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAClE,OAAO,OAAO,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC;AAC5F,CAAC;AAED;;;;;GAKG;AACH,SAAS,yBAAyB,CAAC,eAAuB;IACxD,MAAM,GAAG,GACP,eAAe,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,eAAe,CAAC,UAAU,CAAC,IAAI,CAAC;QAClE,CAAC,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC;QAC1B,CAAC,CAAC,eAAe,CAAC;IACtB,OAAO,GAAG,CAAC,WAAW,EAAE,CAAC;AAC3B,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,yBAAyB,CACvC,qBAA6B,EAC7B,qBAA6B;IAE7B,MAAM,KAAK,GAAG,gBAAgB,CAC5B,qBAAqB,EACrB,yBAAyB,CAAC,qBAAqB,CAAC,EAChD,mCAAmC,EACnC,yBAAyB,CAC1B,CAAC;IACF,OAAO,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;AACrD,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,+BAA+B,CAC7C,gBAA4B,EAC5B,qBAA6B;IAE7B,IAAI,gBAAgB,CAAC,MAAM,KAAK,EAAE,EAAE,CAAC;QACnC,MAAM,IAAI,KAAK,CAAC,6CAA6C,gBAAgB,CAAC,MAAM,EAAE,CAAC,CAAC;IAC1F,CAAC;IACD,IAAI,IAAI,GAAG,EAAE,CAAC;IACd,KAAK,MAAM,IAAI,IAAI,gBAAgB,EAAE,CAAC;QACpC,IAAI,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC;IACD,MAAM,OAAO,GAAG,aAAa,CAC3B,yBAAyB,CAAC,qBAAqB,CAAC,EAChD,mCAAmC,EACnC,yBAAyB,CAC1B,CAAC;IACF,MAAM,KAAK,GAAG,CAAC,IAAI,GAAG,OAAO,CAAC,GAAG,eAAe,CAAC;IACjD,IAAI,KAAK,KAAK,EAAE,EAAE,CAAC;QACjB,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;IAC1E,CAAC;IACD,MAAM,GAAG,GAAG,IAAI,UAAU,CAAC,EAAE,CAAC,CAAC;IAC/B,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,KAAK,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7B,GAAG,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,KAAK,GAAG,KAAK,CAAC,CAAC;QAC/B,KAAK,KAAK,EAAE,CAAC;IACf,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}
+{"version":3,"file":"epsilon-derivation.js","sourceRoot":"","sources":["../src/epsilon-derivation.ts"],"names":[],"mappings":"AAAA,0EAA0E;AAC1E,EAAE;AACF,6EAA6E;AAC7E,+EAA+E;AAC/E,uDAAuD;AACvD,0EAA0E;AAC1E,uEAAuE;AACvE,oDAAoD;AACpD,4EAA4E;AAC5E,yEAAyE;AACzE,sBAAsB;AAEtB,OAAO,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAC;AACvD,OAAO,EAAE,cAAc,EAAE,SAAS,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,QAAQ,CAAC;AAE5E,OAAO,EAAE,eAAe,EAAuB,MAAM,wBAAwB,CAAC;AAE9E;;;;GAIG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAG,uCAAuC,CAAC;AAEjF;;;GAGG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAG,kBAAkB,CAAC;AAE5D;;;;;;;;;;;;;;;GAeG;AACH,MAAM,CAAC,MAAM,mCAAmC,GAAG,uBAAuB,CAAC;AAE3E;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,UAAU,gBAAgB,CAC9B,qBAA6B,EAC7B,eAAuB,EACvB,IAAY,EACZ,UAAkB,yBAAyB;IAE3C,MAAM,YAAY,GAAG,gBAAgB,CAAC,qBAAqB,EAAE,eAAe,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IAC7F,OAAO,cAAc,CAAC,KAAK,YAAY,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;AAC1D,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,aAAa,CAC3B,SAAiB,EACjB,IAAY,EACZ,UAAkB,yBAAyB;IAE3C,MAAM,QAAQ,GAAG,GAAG,yBAAyB,IAAI,OAAO,IAAI,SAAS,IAAI,IAAI,EAAE,CAAC;IAChF,uEAAuE;IACvE,iDAAiD;IACjD,OAAO,MAAM,CAAC,SAAS,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,eAAe,CAAC;AACpE,CAAC;AAED,2EAA2E;AAC3E,SAAS,gBAAgB,CACvB,qBAA6B,EAC7B,SAAiB,EACjB,IAAY,EACZ,OAAe;IAEf,MAAM,OAAO,GAAG,aAAa,CAAC,SAAS,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IACxD,MAAM,aAAa,GAAG,UAAU,CAAC,gBAAgB,CAAC,qBAAqB,EAAE,KAAK,CAAC,CAAC;IAChF,MAAM,SAAS,GAAG,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAClE,OAAO,OAAO,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC;AAC5F,CAAC;AAED;;;;;GAKG;AACH,SAAS,yBAAyB,CAAC,eAAuB;IACxD,MAAM,GAAG,GACP,eAAe,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,eAAe,CAAC,UAAU,CAAC,IAAI,CAAC;QAClE,CAAC,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC;QAC1B,CAAC,CAAC,eAAe,CAAC;IACtB,OAAO,GAAG,CAAC,WAAW,EAAE,CAAC;AAC3B,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,yBAAyB,CACvC,qBAA6B,EAC7B,qBAA6B;IAE7B,MAAM,KAAK,GAAG,gBAAgB,CAC5B,qBAAqB,EACrB,yBAAyB,CAAC,qBAAqB,CAAC,EAChD,mCAAmC,EACnC,yBAAyB,CAC1B,CAAC;IACF,OAAO,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;AACrD,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,+BAA+B,CAC7C,gBAA4B,EAC5B,qBAA6B;IAE7B,IAAI,gBAAgB,CAAC,MAAM,KAAK,EAAE,EAAE,CAAC;QACnC,MAAM,IAAI,KAAK,CAAC,6CAA6C,gBAAgB,CAAC,MAAM,EAAE,CAAC,CAAC;IAC1F,CAAC;IACD,IAAI,IAAI,GAAG,EAAE,CAAC;IACd,KAAK,MAAM,IAAI,IAAI,gBAAgB,EAAE,CAAC;QACpC,IAAI,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC;IACD,MAAM,OAAO,GAAG,aAAa,CAC3B,yBAAyB,CAAC,qBAAqB,CAAC,EAChD,mCAAmC,EACnC,yBAAyB,CAC1B,CAAC;IACF,MAAM,KAAK,GAAG,CAAC,IAAI,GAAG,OAAO,CAAC,GAAG,eAAe,CAAC;IACjD,IAAI,KAAK,KAAK,EAAE,EAAE,CAAC;QACjB,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;IAC1E,CAAC;IACD,MAAM,GAAG,GAAG,IAAI,UAAU,CAAC,EAAE,CAAC,CAAC;IAC/B,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,KAAK,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7B,GAAG,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,KAAK,GAAG,KAAK,CAAC,CAAC;QAC/B,KAAK,KAAK,EAAE,CAAC;IACf,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/index.d.ts

@@ -1,4 +1,5 @@
 export * from "./signet-requests.ts";
+export * from "./signet-evtype2tx-requests.ts";
 export * from "./signature-state-reading.ts";
 export * from "./signature-requests-state-reader.ts";
 export * from "./signet-contract-state-reader.ts";
@@ -14,8 +15,10 @@ export * from "./ecdsa-attestation.ts";
  * executable reference implementation of the client-agnostic circuits —
  * the attestation digest (`signetAttestationDigest`), response verification
  * (`verifyRespondBidirectionalEvent`), the deploy-time key pin
- * (`signetKeyHash`), and the notification packer
- * (`constructSignBidirectionalEventNotificationV1`). Off-chain code MUST use
+ * (`signetKeyHash`), the notification packer
+ * (`constructSignBidirectionalEventNotificationV1`), and the ABI word
+ * builders/reader (`evmAddressAbiWord`, `numericAbiWord`,
+ * `abiWordToUint128`). Off-chain code MUST use
  * these instead of re-porting the algorithms — they are the same compiled
  * logic the contracts prove. The generic request circuits cannot be compiled
  * here (type-parameterized): request construction is contract-only, and

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAIA,cAAc,sBAAsB,CAAC;AACrC,cAAc,8BAA8B,CAAC;AAC7C,cAAc,sCAAsC,CAAC;AACrD,cAAc,mCAAmC,CAAC;AAClD,cAAc,sCAAsC,CAAC;AACrD,cAAc,qCAAqC,CAAC;AACpD,cAAc,8BAA8B,CAAC;AAC7C,cAAc,0BAA0B,CAAC;AACzC,cAAc,gBAAgB,CAAC;AAC/B,cAAc,yBAAyB,CAAC;AACxC,cAAc,wBAAwB,CAAC;AAEvC;;;;;;;;;;;;GAYG;AACH,OAAO,EAAE,YAAY,EAAE,KAAK,YAAY,EAAE,MAAM,6BAA6B,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAIA,cAAc,sBAAsB,CAAC;AACrC,cAAc,gCAAgC,CAAC;AAC/C,cAAc,8BAA8B,CAAC;AAC7C,cAAc,sCAAsC,CAAC;AACrD,cAAc,mCAAmC,CAAC;AAClD,cAAc,sCAAsC,CAAC;AACrD,cAAc,qCAAqC,CAAC;AACpD,cAAc,8BAA8B,CAAC;AAC7C,cAAc,0BAA0B,CAAC;AACzC,cAAc,gBAAgB,CAAC;AAC/B,cAAc,yBAAyB,CAAC;AACxC,cAAc,wBAAwB,CAAC;AAEvC;;;;;;;;;;;;;;GAcG;AACH,OAAO,EAAE,YAAY,EAAE,KAAK,YAAY,EAAE,MAAM,6BAA6B,CAAC"}

package/dist/index.js

@@ -2,6 +2,7 @@
 // library (wire structs, state readers, request feed/resolver, crypto) plus
 // the compiled pure circuits of the shared Compact module.
 export * from "./signet-requests.js";
+export * from "./signet-evtype2tx-requests.js";
 export * from "./signature-state-reading.js";
 export * from "./signature-requests-state-reader.js";
 export * from "./signet-contract-state-reader.js";
@@ -17,8 +18,10 @@ export * from "./ecdsa-attestation.js";
  * executable reference implementation of the client-agnostic circuits —
  * the attestation digest (`signetAttestationDigest`), response verification
  * (`verifyRespondBidirectionalEvent`), the deploy-time key pin
- * (`signetKeyHash`), and the notification packer
- * (`constructSignBidirectionalEventNotificationV1`). Off-chain code MUST use
+ * (`signetKeyHash`), the notification packer
+ * (`constructSignBidirectionalEventNotificationV1`), and the ABI word
+ * builders/reader (`evmAddressAbiWord`, `numericAbiWord`,
+ * `abiWordToUint128`). Off-chain code MUST use
  * these instead of re-porting the algorithms — they are the same compiled
  * logic the contracts prove. The generic request circuits cannot be compiled
  * here (type-parameterized): request construction is contract-only, and

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,yEAAyE;AACzE,4EAA4E;AAC5E,2DAA2D;AAE3D,cAAc,sBAAsB,CAAC;AACrC,cAAc,8BAA8B,CAAC;AAC7C,cAAc,sCAAsC,CAAC;AACrD,cAAc,mCAAmC,CAAC;AAClD,cAAc,sCAAsC,CAAC;AACrD,cAAc,qCAAqC,CAAC;AACpD,cAAc,8BAA8B,CAAC;AAC7C,cAAc,0BAA0B,CAAC;AACzC,cAAc,gBAAgB,CAAC;AAC/B,cAAc,yBAAyB,CAAC;AACxC,cAAc,wBAAwB,CAAC;AAEvC;;;;;;;;;;;;GAYG;AACH,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,yEAAyE;AACzE,4EAA4E;AAC5E,2DAA2D;AAE3D,cAAc,sBAAsB,CAAC;AACrC,cAAc,gCAAgC,CAAC;AAC/C,cAAc,8BAA8B,CAAC;AAC7C,cAAc,sCAAsC,CAAC;AACrD,cAAc,mCAAmC,CAAC;AAClD,cAAc,sCAAsC,CAAC;AACrD,cAAc,qCAAqC,CAAC;AACpD,cAAc,8BAA8B,CAAC;AAC7C,cAAc,0BAA0B,CAAC;AACzC,cAAc,gBAAgB,CAAC;AAC/B,cAAc,yBAAyB,CAAC;AACxC,cAAc,wBAAwB,CAAC;AAEvC;;;;;;;;;;;;;;GAcG;AACH,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC"}

package/dist/managed/compiler/contract-info.json

@@ -186,6 +186,60 @@
         "type-name": "Bytes",
         "length": 32
       }
+    },
+    {
+      "name": "evmAddressAbiWord",
+      "pure": true,
+      "proof": false,
+      "arguments": [
+        {
+          "name": "addr",
+          "type": {
+            "type-name": "Bytes",
+            "length": 20
+          }
+        }
+      ],
+      "result-type": {
+        "type-name": "Bytes",
+        "length": 32
+      }
+    },
+    {
+      "name": "numericAbiWord",
+      "pure": true,
+      "proof": false,
+      "arguments": [
+        {
+          "name": "value",
+          "type": {
+            "type-name": "Uint",
+            "maxval": 340282366920938463463374607431768211455
+          }
+        }
+      ],
+      "result-type": {
+        "type-name": "Bytes",
+        "length": 32
+      }
+    },
+    {
+      "name": "abiWordToUint128",
+      "pure": true,
+      "proof": false,
+      "arguments": [
+        {
+          "name": "word",
+          "type": {
+            "type-name": "Bytes",
+            "length": 32
+          }
+        }
+      ],
+      "result-type": {
+        "type-name": "Uint",
+        "maxval": 340282366920938463463374607431768211455
+      }
     }
   ],
   "witnesses": [

package/dist/managed/compiler/contract-manifest.json

@@ -7,26 +7,26 @@
     "type": "directory",
     "contract-info.json": {
       "type": "file",
-      "size": 4397,
-      "hash": "a9962a641c6b791f1a476adc5875d36de5cedb28b2377f016a8efb7ff644e526"
+      "size": 5483,
+      "hash": "a3009b5f78d1ee2cc012aa72b6265976b3469b6f3963f31674b27b5badc9b185"
     }
   },
   "contract": {
     "type": "directory",
     "index.d.ts": {
       "type": "file",
-      "size": 4176,
-      "hash": "6319da925c6f853b419c1794e449f732179d94d04b76b7334a634d4eed8f838d"
+      "size": 4787,
+      "hash": "e5e0a5b0e3f6fbf3a5d55a6158d2e45df6b16430dd5e6a12b859b0c7f7309fc6"
     },
     "index.js": {
       "type": "file",
-      "size": 21045,
-      "hash": "15e7ced35995de9bc5fad3bb3fb9fe070e2d63f59f205140293bdd4b896d3b83"
+      "size": 38312,
+      "hash": "c433d66e108dd7b99981f4c405ef01a8daef9e0c87a967ca590b7509ccf45847"
     },
     "index.js.map": {
       "type": "file",
-      "size": 1922,
-      "hash": "b78095e48c3a891b91e89c87b687b420ee1ad595e7d11ac27ed4656a74cc0ea7"
+      "size": 3162,
+      "hash": "0e5e8f0a696c10549bd21fdb6ee7b57a45fff74ff578b9761033868c6b9d3c0c"
     }
   }
 }

package/dist/managed/contract/index.d.ts

@@ -27,6 +27,9 @@ export type PureCircuits = {
                                                                },
                                   mpcResponseKey_0: __compactRuntime.Secp256k1Point): boolean;
   signetKeyHash(pk_0: __compactRuntime.Secp256k1Point): Uint8Array;
+  evmAddressAbiWord(addr_0: Uint8Array): Uint8Array;
+  numericAbiWord(value_0: bigint): Uint8Array;
+  abiWordToUint128(word_0: Uint8Array): bigint;
 }
 
 export type Circuits<PS> = {
@@ -51,6 +54,11 @@ export type Circuits<PS> = {
                                   mpcResponseKey_0: __compactRuntime.Secp256k1Point): Promise<__compactRuntime.CircuitResults<PS, boolean>>;
   signetKeyHash(context: __compactRuntime.CircuitContext<PS>,
                 pk_0: __compactRuntime.Secp256k1Point): Promise<__compactRuntime.CircuitResults<PS, Uint8Array>>;
+  evmAddressAbiWord(context: __compactRuntime.CircuitContext<PS>,
+                    addr_0: Uint8Array): Promise<__compactRuntime.CircuitResults<PS, Uint8Array>>;
+  numericAbiWord(context: __compactRuntime.CircuitContext<PS>, value_0: bigint): Promise<__compactRuntime.CircuitResults<PS, Uint8Array>>;
+  abiWordToUint128(context: __compactRuntime.CircuitContext<PS>,
+                   word_0: Uint8Array): Promise<__compactRuntime.CircuitResults<PS, bigint>>;
 }
 
 export type Ledger = {