@sig-net/midnight 0.0.8 → 0.10.0

package/README.md

@@ -2,146 +2,288 @@
 
 The client-agnostic [Sig Network](https://sig.network) protocol library for the [Midnight blockchain](https://midnight.network), and the seed of a future signet.js Midnight adapter. It carries everything a Midnight contract or off-chain client needs to speak the signet protocol (the MPC's [sign bidirectional flow](https://docs.sig.network/architecture/sign-bidirectional)) without binding to any particular contract.
 
+> ## 🚧 Under Construction 🚧
+>
+> This Sig Network Midnight integration is still under construction.
+> Use at your own risk and expect rapid iteration.
+
 ## What is in it
 
 - **Shared Compact modules**: the package ships its `.compact` sources, so contracts import them directly:
   ```compact
   import "@sig-net/midnight/src/Signet";
   ```
-- **Compiled pure circuits** (`pureCircuits`): the executable reference implementation of the client-agnostic circuits (path/identity checks, the attestation message, the sign-bidirectional notification packer, the Schnorr challenge). Off-chain code calls these compiled artefacts instead of re-porting the algorithms, so it always agrees with what the contracts prove.
+- **Compiled pure circuits** (`pureCircuits`): the executable reference implementation of the client-agnostic circuits (the attestation digest, response verification, the deploy-time key pin, the notification packer, the ABI word builders and readers). Off-chain code calls these compiled artefacts instead of re-porting the algorithms, so it always agrees with what the contracts prove.
 - **TypeScript twins of the wire structs** and signet request-id computation.
 - **State readers, request feed and resolver**: poll the signet contract for pending requests and their signature / remote-execution responses.
-- **Crypto helpers**: epsilon derivation and Jubjub Schnorr response verification.
+- **Crypto helpers**: epsilon derivation and ECDSA attestation verification.
+
+Where signet.js already covers something (for example EVM transaction preparation or address derivation), import it from there. Only what is Midnight-specific lives here.
+
+## Install
+
+```sh
+npm install @sig-net/midnight
+```
+
+## Sign bidirectional flow
+
+The flow comprises 5 steps:
 
-Where signet.js already covers something (for example EVM transaction preparation or address derivation), import it from there; only what is Midnight-specific lives here.
+1. Client calls a contract on Midnight which requests a signature for a transaction destined for a foreign chain. The signature is made with a key derived for the requesting contract (see [Derived keys](#derived-keys)).
+2. The Sig Network MPC honours the request, generating the transaction signature and posting it back to Midnight.
+3. Client extracts the signature, using it to submit the signed transaction to the foreign chain.
+4. The Sig Network MPC observes the foreign transaction and posts the output of the execution (signed) back to Midnight.
+5. Client extracts the signed foreign execution output and submits it back to the Midnight contract, which verifies the MPC's signature over it in-circuit against the contract's own response key (see [Derived keys](#derived-keys)), completing the foreign transaction execution.
 
 ## Derived keys
 
-Every key the MPC signs with is scoped by the requesting contract:
+Every key the MPC uses is derived for the requesting contract and a path. There are two kinds: the request signing key, whose path each contract chooses, and the response signing key, whose path is fixed by the protocol. Both key derivations are **scoped by the address** of the requesting contract.
 
-`derivedSigningKey = f(mpcRootKey[keyVersion], contractAddress, path)`
+### Request signing key
 
-The path is 32 opaque bytes of the contract's choosing (a fixed literal for a contract-owned account, a hash of a caller's secret for per-user accounts). There are no format requirements. The contract address is always part of the derivation, so no contract can reach another contract's derived keys.
+The key the MPC signs requested foreign transactions with:
 
-## Install
+`requestSigningKey = f(mpcRootKey[keyVersion], contractAddress, path)`
 
-```sh
-npm install @sig-net/midnight
+The path is 32 opaque bytes of the contract's choosing (e.g. a fixed literal for a contract-owned account like "vault", or a hash of a caller's secret for per-user accounts). There are no format requirements. The contract address is always part of the derivation, so no contract can reach another contract's derived keys.
+
+### Response key
+
+The key the MPC signs foreign execution outputs with when posting them back to Midnight:
+
+`responseKey = f(mpcRootKey[keyVersion], contractAddress, "midnight response key")`
+
+The same derivation, but with the path fixed to the literal `"midnight response key"`, giving each contract one well-known response key. A contract pins its own response key in its ledger after deploy and verifies every response against it in-circuit (step 5 of the flow above).
+
+## Integrator guide
+
+A signet-compliant client contract does four things: it stores its requests in a public `SignBidirectionalEventMap` in its own ledger, it pins its counterparties (the Signet singleton contract and its own MPC response key), it submits signature requests, and it verifies execution responses in-circuit. Concretely, the integration consists of:
+
+- 3 once-off **setup** steps
+- 5 per-request **runtime** steps that drive the full sign bidirectional flow
+
+### Setup
+
+Set up your contract for integration with the Sig Network MPC's sign bidirectional flow:
+
+1. Import the Signet module at the top of your contract (resolved through `node_modules` via `COMPACT_PATH`):
+
+   ```compact
+   import "@sig-net/midnight/src/Signet";
+   ```
+
+   Then tell the compact compiler about the npm packages with its `COMPACT_PATH` environment variable at compile time:
+
+   ```sh
+   COMPACT_PATH=node_modules compact compile --feature-zkir-v3 src/my-contract.compact src/managed/my-contract
+   ```
+
+   Compile with the pinned toolchain (currently `compact update 0.33.0-rc.2`) and always pass `--feature-zkir-v3`: compiled output without it is not compatible with the ledger-9 matched stack (node, indexer, proof server).
+
+2. Declare the required Sig Network protocol state in your ledger (plus recommended deployer identity and initialisation state). The event map can sit at ANY ledger field: each notification your contract registers names the field position holding it (runtime step 1), and the MPC reads the authenticated request from there.
+
+   ```compact
+   // Required: Map of SignBidirectionalEvent signature requests, configured by transaction type.
+   // Configured and sized here for an EVM Type 2 transaction with
+   // <1 calldata word, 0 access-list entries, 0 storage keys> and
+   // 34-byte serialisation schemas.
+   export ledger signBidirectionalEventMap: SignBidirectionalEventMap<EVMType2TxParams<1, 0, 0>, 34, 34>;
+
+   // Required: The Signet singleton signer interface, set at deploy.
+   // Used to notify the MPC of events you add to your signBidirectionalEventMap.
+   sealed ledger signetSigner: SignetSigner;
+
+   // Required: This contract's MPC response key, set in step 3.
+   // Used to verify RespondBidirectionalEvents containing the serialised output of foreign chain execution.
+   export ledger mpcResponseKey: Secp256k1Point;
+
+   // Recommended: contract-local source of request nonces, so identical
+   // requests hash to distinct request ids. Nothing off-chain reads it.
+   export ledger signetRequestNonce: Counter;
+
+   // Recommended: used in step 3 to ensure initialisation runs only once.
+   export ledger initialised: Counter;
+
+   // Recommended: set on deploy, used in step 3 to ensure only the deployer may set the mpcResponseKey.
+   sealed ledger deployer: Bytes<32>;
+
+   // Recommended: supplies the deployer's identity secret from private state
+   // off-chain; only its commitment (below) ever reaches the ledger.
+   witness witnessDeployerSecretKey(): Bytes<32>;
+
+   // Recommended: the deployer identity commitment scheme. Exported so deploy
+   // tooling can compute the constructor argument by calling the compiled circuit.
+   export pure circuit calculateDeployerCommitment(sk: Bytes<32>): Bytes<32> {
+     return persistentHash<Vector<2, Bytes<32>>>([pad(32, "my-contract:deployer:"), sk]);
+   }
+
+   // Required: set signet contract and (recommended) deployer commitment on deployment.
+   constructor(signetContract: SignetSigner, deployerCommitment: Bytes<32>) {
+     signetSigner = disclose(signetContract);
+     deployer = disclose(deployerCommitment);
+   }
+   ```
+
+3. Set the contract's MPC response key once, right after deploy. Deriving this key requires the address of the contract, which only exists after deploy (see [Response key](#response-key)):
+
+   ```compact
+   export circuit initialise(responseKey: Secp256k1Point): [] {
+     // Recommended: confirm that only the deployer may initialise, and only once:
+     assert(deployer == calculateDeployerCommitment(witnessDeployerSecretKey()), "Not the deployer");
+     assert(initialised == 0, "Already initialised");
+     initialised.increment(1);
+
+     // Required: set MPC response key for verification of RespondBidirectionalEvents
+     mpcResponseKey = disclose(responseKey);
+   }
+   ```
+
+### Runtime
+
+Each interaction with your contract that executes a transaction on a foreign chain runs these 5 steps.
+
+Steps 1 and 5 are circuits on your contract, and steps 2 to 4 are off-chain client code built on the utilities in `@sig-net/midnight`.
+
+The off-chain steps share one `SignetRequestResponseReader` over your contract / Signet singleton pair, and the expected signer of the requested transaction (the key the MPC derives for your contract and the request's path, see [Derived keys](#derived-keys)):
+
+```ts
+import { indexerPublicDataProvider } from "@midnight-ntwrk/midnight-js-indexer-public-data-provider";
+import { deriveEvmAddress, SignetRequestResponseReader } from "@sig-net/midnight";
+
+// SignetRequestResponseReader to poll for Signed Transactions and Signed RespondBidirectionalEvents
+const reader = new SignetRequestResponseReader({
+   // Address of YOUR deployed contract
+   requesterContractAddress: myContractAddress,
+
+   // signBidirectionalEventMap's field position (Setup step 2)
+   requesterRequestsIndexField: 0,
+
+   // Address of the Signet singleton contract
+   signetContractAddress,
+
+   // Provider to index Midnight Blockchain
+   publicDataProvider: indexerPublicDataProvider({
+      queryURL: indexerUrl,
+      subscriptionURL: indexerWsUrl
+   }),
+});
+
+const expectedSigner = deriveEvmAddress(mpcRootPublicKey, myContractAddress, "my-path");
+```
+
+1. Store a signature request and notify the MPC via cross contract call. Build (or overwrite) every part of the transaction your contract enforces in-circuit, calldata above all (see [EVM Type 2 transactions and ABI calldata words](#evm-type-2-transactions-and-abi-calldata-words)); never pass caller input through unchecked:
+
+   ```compact
+   // Construct SignBidirectionalEvent signature request and calculate its RequestId
+   const request = constructSignBidirectionalEvent<EVMType2TxParams<1, 0, 0>, 34, 34>(/* ... */);
+   const requestId = disclose(calculateRequestId<EVMType2TxParams<1, 0, 0>, 34, 34>(request));
+
+   // Store the signature request in your signBidirectionalEventMap for MPC to discover
+   signetRequestNonce.increment(1);
+   signBidirectionalEventMap.insert(requestId, disclose(request));
+
+   // Notify the MPC of the SignBidirectionalEvent and the location of your signBidirectionalEventMap.
+   // The location is 0 here based on the position of the declaration in Setup step 2.
+   signetSigner.signBidirectionalEvent(
+      requestId,
+      constructSignBidirectionalEventNotificationV1(kernel.self(), 0 as Uint<8>),
+   );
+   ```
+
+   **NOTE:** `requestId` should be returned from the above circuit call so that it may be used in subsequent steps (or compute it off-chain with the `calculateRequestId` TS twin).
+
+2. Poll the Signet singleton for the MPC's signature response. The response log is unauthenticated (anyone can post), so use the verifying getter: it only returns a post whose signature recovers to `expectedSigner` over the requested transaction's signing hash:
+
+   ```ts
+   const { verified } = await reader.getVerifiedSignatureRespondedEvent(requestId, expectedSigner);
+   // verified === undefined: no valid response posted yet, poll again.
+   ```
+
+3. Construct the signed transaction and submit it to the foreign chain. The reader rebuilds the transaction from the request record on your ledger and attaches the verified MPC signature:
+
+   ```ts
+   import { JsonRpcProvider } from "ethers";
+
+   const signedTx = await reader.getSignedEVMTransaction(requestId, expectedSigner);
+   await new JsonRpcProvider(foreignChainRpcUrl).broadcastTransaction(signedTx.serialized);
+   ```
+
+4. Poll the Signet singleton for the MPC's signed remote execution output (posted once the MPC observes the transaction execute on the foreign chain). Posts are stored unverified, so treat them as candidates: the authoritative check is your contract's verify circuit in step 5:
+
+   ```ts
+   const [respondBidirectionalEvent] = await reader.getRespondBidirectionalEvents(requestId);
+   // Empty array: not posted yet, poll again.
+   ```
+
+5. Deliver the response to your contract, which verifies it in-circuit against the response key pinned in Setup step 3 and consumes the request:
+
+   ```compact
+   assert(
+      verifyRespondBidirectionalEvent(requestId, respondBidirectionalEvent, mpcResponseKey),
+      "Invalid attestation signature"
+   );
+   signBidirectionalEventMap.remove(requestId);
+   ```
+
+## EVM Type 2 transactions and ABI calldata words
+
+An `EVMType2TxParams` request decomposes the EVM transaction into typed fields your contract can enforce field by field in-circuit. Its optional `calldata` is an `EVMCalldata<maxWords>`: the 4-byte function selector plus a list of 32-byte ABI words, per the [Solidity ABI spec](https://docs.soliditylang.org/en/latest/abi-spec.html). Slots past `noWords` are unused capacity and never reach the transaction.
+
+Every word must be stored in canonical ABI form (big-endian). The MPC signs a transaction whose calldata is exactly `selector || words[0..noWords]`, byte for byte, so a word stored in any other form becomes a signed transaction calling the foreign contract with garbage arguments. Compact's integer casts are little-endian, so do not hand-roll the byte order: build every word with the module's helper circuits, and read words back with the matching readers.
+
+| Solidity type | Build with | Read back with |
+|---|---|---|
+| `address` | `evmAddressAbiWord(addr: Bytes<20>)` | |
+| unsigned integers up to `uint128` (amounts, ids) | `numericAbiWord(value: Uint<128>)` | `abiWordToUint128(word)` |
+| `bool` | `boolAbiWord(value: Boolean)` | `abiWordToBool(word)` |
+
+### Example: an ERC20 transfer
+
+`transfer(address,uint256)`, selector `0xa9059cbb`, takes an address word and a numeric word:
+
+```compact
+const calldata = EVMCalldata<2> {
+  selector: Bytes[0xa9, 0x05, 0x9c, 0xbb],
+  noWords: 2 as Uint<16>,
+  words: [
+    evmAddressAbiWord(recipient),  // address argument (Bytes<20>)
+    numericAbiWord(amount)         // uint256 argument (from a Uint<128>)
+  ]
+};
 ```
 
-## How a client contract integrates
+### Example: a bool argument, and decoding a bool result
 
-A signet-compliant client contract does four things:
+`setApprovalForAll(address,bool)`, selector `0xa22cb465`:
 
-1. **Stores requests in a public index**: a `SignBidirectionalRequestIndex` map in its ledger. The index can sit at ANY ledger field: each notification the contract registers names the field position holding it, and the MPC reads the authenticated request from there. A contract-local `SignetNonce` counter is a convenient source of request nonces (identical requests must hash to distinct ids); nothing off-chain reads it.
-2. **Pins its counterparties at deploy time**: the central signet contract it notifies, and the MPC attestation key its verify circuit accepts.
-3. **Submits signature requests**: builds the transaction decomposition in-circuit, constructs the canonical request record, stores it in its own index under the request id, and registers a notification in the central registry (which the MPC polls; the MPC then reads the authenticated request back from the ledger field the notification names).
-4. **Verifies the execution response**: checks the attestation key, verifies the MPC's Schnorr attestation in-circuit over (request id, output), and consumes the request.
+```compact
+const calldata = EVMCalldata<2> {
+  selector: Bytes[0xa2, 0x2c, 0xb4, 0x65],
+  noWords: 2 as Uint<16>,
+  words: [
+    evmAddressAbiWord(operator),
+    boolAbiWord(true)
+  ]
+};
+```
+
+The readers run the same rules in the other direction, rejecting any non-canonical word instead of silently truncating or coercing it. A `RespondBidirectionalEvent`'s `serializedOutput` is the ABI-encoded return data of the remote call, so a settle circuit can decode an ERC20 `transfer`'s `bool` return from the first output word:
 
 ```compact
-pragma language_version >= 0.25;
-
-import CompactStandardLibrary;
-import "@sig-net/midnight/src/Signet";
-
-// (1) The request index: the public map the MPC reads requests back from.
-// It can sit at any ledger field; the notification in submitSignatureRequest
-// names its position (0 in this contract). The counter is contract-local
-// (it sources each request's nonce so identical requests get distinct ids);
-// the MPC never reads it. The generic size parameters cap the EVM calldata
-// words, access list entries and storage keys your requests may carry.
-export ledger signetRequestsIndex: SignBidirectionalRequestIndex<EVMType2TxParams<1, 0, 0>>;
-export ledger signetNonce: SignetNonce;
-
-// (2) Pinned at deploy time.
-export sealed ledger mpcPubKeyHash: Bytes<32>;
-sealed ledger signetNotifier: SignetNotifier;
-
-constructor(mpcPk: JubjubPoint, signetContract: SignetNotifier) {
-  mpcPubKeyHash = disclose(persistentHash<JubjubPoint>(mpcPk));
-  signetNotifier = disclose(signetContract);
-}
-
-// (3) Construct, store and announce a signature request.
-export circuit submitSignatureRequest(evmNonce: Uint<64>, keyVersion: Uint<32>): [] {
-  // Decompose the EVM transaction to be signed. Build (or overwrite) every
-  // part your contract enforces in-circuit, calldata above all; never pass
-  // caller input through unchecked.
-  const txParams = EVMType2TxParams<1, 0, 0> {
-    to: pad(20, "recipient"),
-    chainId: 31337 as Uint<64>,
-    nonce: evmNonce,
-    gasLimit: 100000 as Uint<64>,
-    maxFeePerGas: 30000000000 as Uint<128>,
-    maxPriorityFeePerGas: 1000000000 as Uint<128>,
-    value: 0 as Uint<128>,
-    accessListEntryCount: 0,
-    accessList: [],
-    calldata: none<EVMCalldata<1>>()
-  };
-
-  // The canonical request record. This variant signs with the CONTRACT's own
-  // derived account (a path literal the contract fixes); use
-  // constructSignBidirectionalRequest instead for caller-identity requests,
-  // where the path is bound to the caller's identity commitment.
-  const schema = pad(128, "[{\"name\":\"success\",\"type\":\"bool\"}]");
-  const request = constructContractPathSignBidirectionalRequest<EVMType2TxParams<1, 0, 0>>(
-    signetNonce as Uint<64>,      // contract-local request nonce
-    TxParamType.evmType2,
-    txParams,
-    pad(32, "eip155:31337"),      // target chain (CAIP-2)
-    keyVersion,                    // MPC root-key version (>= 1)
-    pad(256, "my-treasury"),      // contract-owned derivation path
-    pad(32, "ecdsa"),
-    pad(32, "ethereum"),
-    pad(64, ""),
-    schema,
-    schema
-  );
-
-  // Store the request in YOUR ledger under its id, then register the
-  // notification in the central signet contract's registry. The final
-  // argument is the ledger field position of signetRequestsIndex, which is
-  // how the MPC finds the index to read the request back from.
-  const requestId = disclose(calculateRequestId<EVMType2TxParams<1, 0, 0>>(request));
-  assert(!signetRequestsIndex.member(requestId), "Request already exists");
-  signetNonce.increment(1);
-  signetRequestsIndex.insert(requestId, disclose(request));
-  signetNotifier.notifyBidirectionalSignatureRequest(requestId,
-    constructSignBidirectionalNotificationV1(kernel.self(), requestId as Bytes<32>, 0 as Uint<8>));
-}
-
-// (4) Verify the MPC's Schnorr-signed attestation of the remote execution
-// and consume the request (double-verify protection).
-export circuit verifyResponse(requestId: RequestId, respondBidirectional: RespondBidirectional): [] {
-  const rid = disclose(requestId);
-  assert(
-    persistentHash<JubjubPoint>(respondBidirectional.pk) == mpcPubKeyHash,
-    "Unauthorized: attestation pk is not the MPC key"
-  );
-  assert(
-    jubjubSchnorrVerify<4>(
-      signetAttestationMessage(rid, respondBidirectional.serializedOutput, respondBidirectional.outputLen),
-      JubjubSchnorrSignature {
-        announcement: respondBidirectional.announcement,
-        response: respondBidirectional.response,
-      },
-      respondBidirectional.pk
-    ),
-    "Invalid attestation signature"
-  );
-  assert(signetRequestsIndex.member(rid), "Request not found");
-  signetRequestsIndex.remove(rid);
-}
+const success = abiWordToBool(slice<32>(respondBidirectionalEvent.serializedOutput, 0));
+assert(success, "Remote transfer failed");
 ```
 
-Between the two circuits sit the off-chain steps, which this package also covers: poll the central signet contract with `SignetRequestResponseReader` (configured with both contract addresses and the ledger field position of your request index) to collect and verify the MPC's secp256k1 signature (then broadcast the signed transaction to the destination chain), and later the Schnorr-attested execution output to feed back into `verifyResponse`.
+The same builders and readers exist as TypeScript twins under identical names, for composing expected words off-chain (UIs, expected-record builders, tests). They are kept in lockstep with the compiled circuits by this package's test suite.
+
+## More examples
 
-The [signet-caller contract](https://github.com/sig-net/midnight-integration/blob/main/packages/caller-contract/src/signet-caller.compact) is the complete, runnable version of this skeleton, exercised end to end by the repository's integration suite; a fuller application (an ERC20 cross-chain vault) lives in [sig-net/midnight-examples](https://github.com/sig-net/midnight-examples).
+For full integration examples (such as an ERC20 cross chain vault) see the [`sig-net/midnight-examples`](https://github.com/sig-net/midnight-examples) repository.
 
 ## Related packages
 
 - [`@sig-net/midnight-contract`](https://www.npmjs.com/package/@sig-net/midnight-contract): the central signet contract this library reads from.
 - [`@sig-net/midnight-contract-deploy`](https://www.npmjs.com/package/@sig-net/midnight-contract-deploy): deploy tooling for that contract plus generic Midnight deploy/wallet plumbing.
 
-Developed in [sig-net/midnight-integration](https://github.com/sig-net/midnight-integration); example applications live in [sig-net/midnight-examples](https://github.com/sig-net/midnight-examples).
+Developed in [sig-net/midnight-integration](https://github.com/sig-net/midnight-integration).

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";
@@ -10,17 +11,9 @@ export * from "./constants.ts";
 export * from "./epsilon-derivation.ts";
 export * from "./ecdsa-attestation.ts";
 /**
- * Compiled pure circuits of Signet.compact (run `yarn compile` first): the
- * 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
- * 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
- * request-id hashing has a documented-deviation TS twin
- * (`calculateRequestId` in signet-requests.ts).
+ * Compiled pure circuits of Signet.compact (run `yarn compile` first).
+ * Off-chain code MUST use these instead of re-porting the algorithms:
+ * they are the same compiled logic the contracts prove.
  */
 export { pureCircuits, type PureCircuits } from "./managed/contract/index.js";
 //# sourceMappingURL=index.d.ts.map

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;;;;GAIG;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";
@@ -13,17 +14,9 @@ export * from "./constants.js";
 export * from "./epsilon-derivation.js";
 export * from "./ecdsa-attestation.js";
 /**
- * Compiled pure circuits of Signet.compact (run `yarn compile` first): the
- * 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
- * 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
- * request-id hashing has a documented-deviation TS twin
- * (`calculateRequestId` in signet-requests.ts).
+ * Compiled pure circuits of Signet.compact (run `yarn compile` first).
+ * Off-chain code MUST use these instead of re-porting the algorithms:
+ * they are the same compiled logic the contracts prove.
  */
 export { pureCircuits } from "./managed/contract/index.js";
 //# sourceMappingURL=index.js.map

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;;;;GAIG;AACH,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC"}

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

@@ -186,6 +186,94 @@
         "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": "boolAbiWord",
+      "pure": true,
+      "proof": false,
+      "arguments": [
+        {
+          "name": "value",
+          "type": {
+            "type-name": "Boolean"
+          }
+        }
+      ],
+      "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
+      }
+    },
+    {
+      "name": "abiWordToBool",
+      "pure": true,
+      "proof": false,
+      "arguments": [
+        {
+          "name": "word",
+          "type": {
+            "type-name": "Bytes",
+            "length": 32
+          }
+        }
+      ],
+      "result-type": {
+        "type-name": "Boolean"
+      }
     }
   ],
   "witnesses": [

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

@@ -7,26 +7,26 @@
     "type": "directory",
     "contract-info.json": {
       "type": "file",
-      "size": 4397,
-      "hash": "a9962a641c6b791f1a476adc5875d36de5cedb28b2377f016a8efb7ff644e526"
+      "size": 6108,
+      "hash": "936ac5ce6f9907eaa010e61295bf2c42cd10410458791ac8b431829876e5bf61"
     }
   },
   "contract": {
     "type": "directory",
     "index.d.ts": {
       "type": "file",
-      "size": 4176,
-      "hash": "6319da925c6f853b419c1794e449f732179d94d04b76b7334a634d4eed8f838d"
+      "size": 5153,
+      "hash": "8e0669479f86b45d1b561c351ca2952932c3407cb993be10a27a54db732863b3"
     },
     "index.js": {
       "type": "file",
-      "size": 21045,
-      "hash": "15e7ced35995de9bc5fad3bb3fb9fe070e2d63f59f205140293bdd4b896d3b83"
+      "size": 41463,
+      "hash": "0166a441ee087c3376b035286cdc2b94b4bf20f1df977c862a420a84b7912eaf"
     },
     "index.js.map": {
       "type": "file",
-      "size": 1922,
-      "hash": "b78095e48c3a891b91e89c87b687b420ee1ad595e7d11ac27ed4656a74cc0ea7"
+      "size": 3469,
+      "hash": "468d63e7361fae52cee908332606da3d854de3b5c4e73c49c1f049501ddb1ac2"
     }
   }
 }

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

@@ -27,6 +27,11 @@ export type PureCircuits = {
                                                                },
                                   mpcResponseKey_0: __compactRuntime.Secp256k1Point): boolean;
   signetKeyHash(pk_0: __compactRuntime.Secp256k1Point): Uint8Array;
+  evmAddressAbiWord(addr_0: Uint8Array): Uint8Array;
+  numericAbiWord(value_0: bigint): Uint8Array;
+  boolAbiWord(value_0: boolean): Uint8Array;
+  abiWordToUint128(word_0: Uint8Array): bigint;
+  abiWordToBool(word_0: Uint8Array): boolean;
 }
 
 export type Circuits<PS> = {
@@ -51,6 +56,13 @@ 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>>;
+  boolAbiWord(context: __compactRuntime.CircuitContext<PS>, value_0: boolean): Promise<__compactRuntime.CircuitResults<PS, Uint8Array>>;
+  abiWordToUint128(context: __compactRuntime.CircuitContext<PS>,
+                   word_0: Uint8Array): Promise<__compactRuntime.CircuitResults<PS, bigint>>;
+  abiWordToBool(context: __compactRuntime.CircuitContext<PS>, word_0: Uint8Array): Promise<__compactRuntime.CircuitResults<PS, boolean>>;
 }
 
 export type Ledger = {