@sig-net/midnight 0.0.1 → 0.0.2

package/src/circuits.compact

@@ -8,8 +8,10 @@ pragma language_version >= 0.25;
 // emits them as pureCircuits in managed/contract/index.js — giving the
 // package an in-process, provable-logic-identical reference implementation:
 // unit tests exercise the REAL circuits, and off-chain code (path checks,
-// Schnorr challenges, attestation messages) reuses them instead of
-// hand-porting the algorithms.
+// Schnorr challenges, attestation messages, notification packing) reuses them
+// instead of hand-porting the algorithms. Off-chain code only ever DECODES a
+// SignBidirectionalNotification (fixed-offset byte reads), but tests build
+// fixtures with the compiled packer to pin the pack<->decode lockstep.
 //
 // ONLY the non-generic circuits are exported here. The request circuits
 // (calculateRequestId, constructSignBidirectionalRequest) are generic over the
@@ -31,6 +33,7 @@ export {
   signetAttestationMessage,
   assertHexOf,
   assertPathCommitment,
+  constructSignBidirectionalNotificationV1,
   evmAddressAbiValue,
   schnorrChallenge
 };

package/src/index.ts

@@ -9,11 +9,8 @@ export * from "./signature-requests-state-reader.ts";
 export * from "./signet-contract-state-reader.ts";
 export * from "./signature-response-verification.ts";
 export * from "./signet-request-response-reader.ts";
-export * from "./signet-events.ts";
-export * from "./signet-event-observer.ts";
 export * from "./signet-request-resolver.ts";
 export * from "./signet-request-feed.ts";
-export * from "./signet-response-feed.ts";
 export * from "./constants.ts";
 export * from "./epsilon-derivation.ts";
 export * from "./schnorr.ts";
@@ -21,7 +18,8 @@ export * from "./schnorr.ts";
 /**
  * Compiled pure circuits of Signet.compact (run `yarn compile` first): the
  * executable reference implementation of the client-agnostic circuits —
- * path<->identity checks, the attestation message, and the Schnorr challenge.
+ * path<->identity checks, the attestation message, the notification packer
+ * (`constructSignBidirectionalNotificationV1`), and the Schnorr challenge.
  * 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

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

@@ -3,6 +3,63 @@
   "language-version": "0.25.0",
   "runtime-version": "0.18.0-rc.0",
   "circuits": [
+    {
+      "name": "constructSignBidirectionalNotificationV1",
+      "pure": true,
+      "proof": false,
+      "arguments": [
+        {
+          "name": "callerAddress",
+          "type": {
+            "type-name": "Struct",
+            "name": "ContractAddress",
+            "elements": [
+              {
+                "name": "bytes",
+                "type": {
+                  "type-name": "Bytes",
+                  "length": 32
+                }
+              }
+            ]
+          }
+        },
+        {
+          "name": "requestId",
+          "type": {
+            "type-name": "Bytes",
+            "length": 32
+          }
+        },
+        {
+          "name": "requestsIndexField",
+          "type": {
+            "type-name": "Uint",
+            "maxval": 255
+          }
+        }
+      ],
+      "result-type": {
+        "type-name": "Struct",
+        "name": "SignBidirectionalNotification",
+        "elements": [
+          {
+            "name": "version",
+            "type": {
+              "type-name": "Uint",
+              "maxval": 255
+            }
+          },
+          {
+            "name": "payload",
+            "type": {
+              "type-name": "Bytes",
+              "length": 65
+            }
+          }
+        ]
+      }
+    },
     {
       "name": "evmAddressAbiValue",
       "pure": true,

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

@@ -7,26 +7,26 @@
     "type": "directory",
     "contract-info.json": {
       "type": "file",
-      "size": 3135,
-      "hash": "9d2395e0039bbce65bda3e89eaa3832b8cc9e9b00ed39a40ed0f69bf599d96be"
+      "size": 4406,
+      "hash": "d0757fe6d320a0d3162ab00faf3ebb74d28fa678f588b83957212086eb4b3080"
     }
   },
   "contract": {
     "type": "directory",
     "index.d.ts": {
       "type": "file",
-      "size": 2665,
-      "hash": "88892cc8a7682b384a9cbce21339f382916a978777853f81350e55f9510e223c"
+      "size": 3842,
+      "hash": "4edb5966c4b41a810691af9a12abcd359a517d95dcf6bb91faedef4da2d23019"
     },
     "index.js": {
       "type": "file",
-      "size": 39675,
-      "hash": "6de3c60def5fa9eff08b822b79070f3005ec94972d09b90fbdef95d6443e61b3"
+      "size": 42888,
+      "hash": "de719f4711b4def77673f55b0b54c2b96a9039fdd001358d1be9a400a19aeb61"
     },
     "index.js.map": {
       "type": "file",
-      "size": 2850,
-      "hash": "ce08afea972941a9da6f6291389381be8ae956f5477b5281d3cbc0ba749fe196"
+      "size": 3115,
+      "hash": "42d40aaf65da98f7b9df2e329b13fca3c0526418eb9697f64b6a562b12ed8b82"
     }
   }
 }

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

@@ -10,6 +10,12 @@ export type ProvableCircuits<PS> = {
 }
 
 export type PureCircuits = {
+  constructSignBidirectionalNotificationV1(callerAddress_0: { bytes: Uint8Array
+                                                            },
+                                           requestId_0: Uint8Array,
+                                           requestsIndexField_0: bigint): { version: bigint,
+                                                                            payload: Uint8Array
+                                                                          };
   evmAddressAbiValue(addr_0: Uint8Array): bigint;
   signetAttestationMessage(requestId_0: Uint8Array,
                            serializedOutput_0: Uint8Array,
@@ -24,6 +30,13 @@ export type PureCircuits = {
 }
 
 export type Circuits<PS> = {
+  constructSignBidirectionalNotificationV1(context: __compactRuntime.CircuitContext<PS>,
+                                           callerAddress_0: { bytes: Uint8Array
+                                                            },
+                                           requestId_0: Uint8Array,
+                                           requestsIndexField_0: bigint): Promise<__compactRuntime.CircuitResults<PS, { version: bigint,
+                                                                                                                        payload: Uint8Array
+                                                                                                                      }>>;
   evmAddressAbiValue(context: __compactRuntime.CircuitContext<PS>,
                      addr_0: Uint8Array): Promise<__compactRuntime.CircuitResults<PS, bigint>>;
   signetAttestationMessage(context: __compactRuntime.CircuitContext<PS>,