@midnight-ntwrk/midnight-did-contract 0.5.0-rc1

package/dist/managed/did/zkir/verifySchnorrJubjubDigestSignature.zkir

@@ -0,0 +1,110 @@
+{
+  "version": { "major": 2, "minor": 0 },
+  "do_communications_commitment": true,
+  "num_inputs": 8,
+  "instructions": [
+    { "op": "load_imm", "imm": "01" },
+    { "op": "load_imm", "imm": "30" },
+    { "op": "declare_pub_input", "var": 9 },
+    { "op": "pi_skip", "guard": 8, "count": 1 },
+    { "op": "load_imm", "imm": "51" },
+    { "op": "load_imm", "imm": "05" },
+    { "op": "declare_pub_input", "var": 10 },
+    { "op": "declare_pub_input", "var": 8 },
+    { "op": "declare_pub_input", "var": 8 },
+    { "op": "declare_pub_input", "var": 8 },
+    { "op": "declare_pub_input", "var": 8 },
+    { "op": "declare_pub_input", "var": 8 },
+    { "op": "declare_pub_input", "var": 11 },
+    { "op": "pi_skip", "guard": 8, "count": 7 },
+    { "op": "public_input", "guard": null },
+    { "op": "load_imm", "imm": "0C" },
+    { "op": "declare_pub_input", "var": 13 },
+    { "op": "declare_pub_input", "var": 8 },
+    { "op": "declare_pub_input", "var": 8 },
+    { "op": "declare_pub_input", "var": 12 },
+    { "op": "pi_skip", "guard": 8, "count": 4 },
+    { "op": "assert", "cond": 12 },
+    { "op": "declare_pub_input", "var": 9 },
+    { "op": "pi_skip", "guard": 8, "count": 1 },
+    { "op": "load_imm", "imm": "08" },
+    { "op": "declare_pub_input", "var": 10 },
+    { "op": "declare_pub_input", "var": 8 },
+    { "op": "declare_pub_input", "var": 8 },
+    { "op": "declare_pub_input", "var": 8 },
+    { "op": "declare_pub_input", "var": 8 },
+    { "op": "declare_pub_input", "var": 8 },
+    { "op": "declare_pub_input", "var": 14 },
+    { "op": "pi_skip", "guard": 8, "count": 7 },
+    { "op": "load_imm", "imm": "10" },
+    { "op": "load_imm", "imm": "-01" },
+    { "op": "declare_pub_input", "var": 15 },
+    { "op": "declare_pub_input", "var": 8 },
+    { "op": "declare_pub_input", "var": 8 },
+    { "op": "declare_pub_input", "var": 16 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "pi_skip", "guard": 8, "count": 5 },
+    { "op": "load_imm", "imm": "18" },
+    { "op": "declare_pub_input", "var": 17 },
+    { "op": "pi_skip", "guard": 8, "count": 1 },
+    { "op": "public_input", "guard": null },
+    { "op": "load_imm", "imm": "0D" },
+    { "op": "declare_pub_input", "var": 19 },
+    { "op": "declare_pub_input", "var": 8 },
+    { "op": "declare_pub_input", "var": 8 },
+    { "op": "declare_pub_input", "var": 18 },
+    { "op": "pi_skip", "guard": 8, "count": 4 },
+    { "op": "assert", "cond": 18 },
+    { "op": "declare_pub_input", "var": 9 },
+    { "op": "pi_skip", "guard": 8, "count": 1 },
+    { "op": "declare_pub_input", "var": 10 },
+    { "op": "declare_pub_input", "var": 8 },
+    { "op": "declare_pub_input", "var": 8 },
+    { "op": "declare_pub_input", "var": 8 },
+    { "op": "declare_pub_input", "var": 8 },
+    { "op": "declare_pub_input", "var": 8 },
+    { "op": "declare_pub_input", "var": 14 },
+    { "op": "pi_skip", "guard": 8, "count": 7 },
+    { "op": "load_imm", "imm": "50" },
+    { "op": "declare_pub_input", "var": 20 },
+    { "op": "declare_pub_input", "var": 8 },
+    { "op": "declare_pub_input", "var": 16 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "pi_skip", "guard": 8, "count": 4 },
+    { "op": "public_input", "guard": null },
+    { "op": "public_input", "guard": null },
+    { "op": "public_input", "guard": null },
+    { "op": "load_imm", "imm": "-02" },
+    { "op": "load_imm", "imm": "03" },
+    { "op": "declare_pub_input", "var": 13 },
+    { "op": "declare_pub_input", "var": 25 },
+    { "op": "declare_pub_input", "var": 16 },
+    { "op": "declare_pub_input", "var": 24 },
+    { "op": "declare_pub_input", "var": 24 },
+    { "op": "declare_pub_input", "var": 21 },
+    { "op": "declare_pub_input", "var": 22 },
+    { "op": "declare_pub_input", "var": 23 },
+    { "op": "pi_skip", "guard": 8, "count": 8 },
+    { "op": "transient_hash", "inputs": [5, 6, 22, 23, 1, 2, 3, 4] },
+    { "op": "private_input", "guard": null },
+    { "op": "constrain_bits", "var": 27, "bits": 7 },
+    { "op": "private_input", "guard": null },
+    { "op": "constrain_bits", "var": 28, "bits": 248 },
+    { "op": "load_imm", "imm": "74" },
+    { "op": "less_than", "a": 27, "b": 29, "bits": 7 },
+    { "op": "assert", "cond": 30 },
+    { "op": "load_imm", "imm": "0000000000000000000000000000000000000000000000000000000000000001" },
+    { "op": "mul", "a": 27, "b": 31 },
+    { "op": "add", "a": 32, "b": 28 },
+    { "op": "test_eq", "a": 33, "b": 26 },
+    { "op": "assert", "cond": 34 },
+    { "op": "ec_mul_generator", "scalar": 7 },
+    { "op": "ec_mul", "a_x": 22, "a_y": 23, "scalar": 28 },
+    { "op": "ec_add", "a_x": 5, "a_y": 6, "b_x": 37, "b_y": 38 },
+    { "op": "test_eq", "a": 35, "b": 39 },
+    { "op": "test_eq", "a": 36, "b": 40 },
+    { "op": "load_imm", "imm": "00" },
+    { "op": "cond_select", "bit": 41, "a": 42, "b": 43 },
+    { "op": "assert", "cond": 44 }
+  ]
+}

package/dist/witnesses.d.ts

@@ -0,0 +1,11 @@
+import { WitnessContext } from "@midnight-ntwrk/compact-runtime";
+import { Ledger } from "./managed/did/contract/index.js";
+export type DIDPrivateState = {
+    readonly secretKey: Uint8Array;
+};
+export declare const witnesses: {
+    localSecretKey: ({ privateState }: WitnessContext<Ledger, DIDPrivateState>) => [DIDPrivateState, Uint8Array];
+    currentTimestamp: ({ privateState }: WitnessContext<Ledger, DIDPrivateState>) => [DIDPrivateState, bigint];
+    getSchnorrReduction: ({ privateState }: WitnessContext<Ledger, DIDPrivateState>, challengeHash: bigint) => [DIDPrivateState, [bigint, bigint]];
+};
+//# sourceMappingURL=witnesses.d.ts.map

package/dist/witnesses.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"witnesses.d.ts","sourceRoot":"","sources":["../src/witnesses.ts"],"names":[],"mappings":"AAeA,OAAO,EAAE,cAAc,EAAE,MAAM,iCAAiC,CAAC;AAGjE,OAAO,EAAE,MAAM,EAAE,MAAM,iCAAiC,CAAC;AAEzD,MAAM,MAAM,eAAe,GAAG;IAC5B,QAAQ,CAAC,SAAS,EAAE,UAAU,CAAC;CAChC,CAAC;AAEF,eAAO,MAAM,SAAS;uCAGjB,cAAc,CAAC,MAAM,EAAE,eAAe,CAAC,KAAG,CAC3C,eAAe,EACf,UAAU,CACX;yCAGE,cAAc,CAAC,MAAM,EAAE,eAAe,CAAC,KAAG,CAAC,eAAe,EAAE,MAAM,CAAC;4CAKlD,cAAc,CAAC,MAAM,EAAE,eAAe,CAAC,iBAC1C,MAAM,KACpB,CAAC,eAAe,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CAIvC,CAAC"}

package/dist/witnesses.js

@@ -0,0 +1,27 @@
+// This file is part of midnightntwrk/midnight-did.
+// Copyright (C) 2025 Midnight Foundation
+// SPDX-License-Identifier: Apache-2.0
+// Licensed under the Apache License, Version 2.0 (the "License");
+// You may not use this file except in compliance with the License.
+// You may obtain a copy of the License at
+//
+// http://www.apache.org/licenses/LICENSE-2.0
+//
+// Unless required by applicable law or agreed to in writing, software
+// distributed under the License is distributed on an "AS IS" BASIS,
+// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+// See the License for the specific language governing permissions and
+// limitations under the License.
+import { TWO_248 } from "@midnight-ntwrk/midnight-did-jubjub-schnorr";
+export const witnesses = {
+    localSecretKey: ({ privateState }) => [privateState, privateState.secretKey],
+    currentTimestamp: ({ privateState }) => [
+        privateState,
+        BigInt(Date.now())
+    ],
+    getSchnorrReduction: ({ privateState }, challengeHash) => [
+        privateState,
+        [challengeHash / TWO_248, challengeHash % TWO_248]
+    ]
+};
+//# sourceMappingURL=witnesses.js.map

package/dist/witnesses.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"witnesses.js","sourceRoot":"","sources":["../src/witnesses.ts"],"names":[],"mappings":"AAAA,mDAAmD;AACnD,yCAAyC;AACzC,sCAAsC;AACtC,kEAAkE;AAClE,mEAAmE;AACnE,0CAA0C;AAC1C,EAAE;AACF,6CAA6C;AAC7C,EAAE;AACF,sEAAsE;AACtE,oEAAoE;AACpE,2EAA2E;AAC3E,sEAAsE;AACtE,iCAAiC;AAGjC,OAAO,EAAE,OAAO,EAAE,MAAM,6CAA6C,CAAC;AAQtE,MAAM,CAAC,MAAM,SAAS,GAAG;IACvB,cAAc,EAAE,CAAC,EACf,YAAY,EAC4B,EAGxC,EAAE,CAAC,CAAC,YAAY,EAAE,YAAY,CAAC,SAAS,CAAC;IAC3C,gBAAgB,EAAE,CAAC,EACjB,YAAY,EAC4B,EAA6B,EAAE,CAAC;QACxE,YAAY;QACZ,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC;KACnB;IACD,mBAAmB,EAAE,CACnB,EAAE,YAAY,EAA2C,EACzD,aAAqB,EACgB,EAAE,CAAC;QACxC,YAAY;QACZ,CAAC,aAAa,GAAG,OAAO,EAAE,aAAa,GAAG,OAAO,CAAC;KACnD;CACF,CAAC","sourcesContent":["// This file is part of midnightntwrk/midnight-did.\n// Copyright (C) 2025 Midnight Foundation\n// SPDX-License-Identifier: Apache-2.0\n// Licensed under the Apache License, Version 2.0 (the \"License\");\n// You may not use this file except in compliance with the License.\n// You may obtain a copy of the License at\n//\n// http://www.apache.org/licenses/LICENSE-2.0\n//\n// Unless required by applicable law or agreed to in writing, software\n// distributed under the License is distributed on an \"AS IS\" BASIS,\n// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.\n// See the License for the specific language governing permissions and\n// limitations under the License.\n\nimport { WitnessContext } from \"@midnight-ntwrk/compact-runtime\";\nimport { TWO_248 } from \"@midnight-ntwrk/midnight-did-jubjub-schnorr\";\n\nimport { Ledger } from \"./managed/did/contract/index.js\";\n\nexport type DIDPrivateState = {\n  readonly secretKey: Uint8Array;\n};\n\nexport const witnesses = {\n  localSecretKey: ({\n    privateState\n  }: WitnessContext<Ledger, DIDPrivateState>): [\n    DIDPrivateState,\n    Uint8Array\n  ] => [privateState, privateState.secretKey],\n  currentTimestamp: ({\n    privateState\n  }: WitnessContext<Ledger, DIDPrivateState>): [DIDPrivateState, bigint] => [\n    privateState,\n    BigInt(Date.now())\n  ],\n  getSchnorrReduction: (\n    { privateState }: WitnessContext<Ledger, DIDPrivateState>,\n    challengeHash: bigint\n  ): [DIDPrivateState, [bigint, bigint]] => [\n    privateState,\n    [challengeHash / TWO_248, challengeHash % TWO_248]\n  ]\n};\n"]}

package/package.json

@@ -0,0 +1,64 @@
+{
+  "name": "@midnight-ntwrk/midnight-did-contract",
+  "version": "0.5.0-rc1",
+  "license": "Apache-2.0",
+  "type": "module",
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/midnightntwrk/midnight-did.git",
+    "directory": "packages/contract"
+  },
+  "publishConfig": {
+    "access": "public",
+    "registry": "https://registry.npmjs.org/"
+  },
+  "engines": {
+    "node": ">=24",
+    "pnpm": ">=10"
+  },
+  "main": "dist/index.js",
+  "module": "dist/index.js",
+  "types": "./dist/index.d.ts",
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "require": "./dist/index.js",
+      "import": "./dist/index.js",
+      "default": "./dist/index.js"
+    }
+  },
+  "devDependencies": {
+    "@vitest/coverage-v8": "4.1.8"
+  },
+  "dependencies": {
+    "@midnight-ntwrk/compact-runtime": "0.15.0",
+    "@midnight-ntwrk/midnight-did-jubjub-schnorr": "0.5.0-rc1"
+  },
+  "files": [
+    "dist/**",
+    "README.md",
+    "scripts/*.mjs",
+    "package.json",
+    "tsconfig.json",
+    "tsconfig.build.json"
+  ],
+  "scripts": {
+    "precompact": "pnpm --filter @midnight-ntwrk/midnight-did-jubjub-schnorr build",
+    "prebuild": "pnpm run compact",
+    "contract": "pnpm run compact",
+    "build:prepared": "pnpm run build",
+    "compact": "compact compile src/did.compact src/managed/did && node ./scripts/align-runtime-version.mjs && node ./scripts/strip-managed-sourcemaps.mjs",
+    "pretest": "pnpm --filter @midnight-ntwrk/midnight-did-jubjub-schnorr build",
+    "test": "vitest run",
+    "pretest:ci": "pnpm --filter @midnight-ntwrk/midnight-did-jubjub-schnorr build",
+    "test:ci": "vitest run",
+    "test:compile": "pnpm run compact && vitest run",
+    "coverage": "vitest run --coverage",
+    "clean": "rm -rf dist && rm -rf coverage && rm -rf reports",
+    "build": "rm -rf dist && tsc -b tsconfig.build.json --force && mkdir -p dist && cp -Rf ./src/managed ./dist/ && cp ./src/did.compact ./dist",
+    "lint": "eslint src",
+    "lint:fix": "eslint src --fix",
+    "typecheck": "tsc -p tsconfig.json --noEmit",
+    "all": "pnpm run compact && pnpm run build && pnpm run test:ci"
+  }
+}

package/scripts/align-runtime-version.mjs

@@ -0,0 +1,41 @@
+import { readFile, writeFile } from 'node:fs/promises';
+import path from 'node:path';
+import { fileURLToPath } from 'node:url';
+
+const scriptDir = path.dirname(fileURLToPath(import.meta.url));
+const contractRoot = path.resolve(scriptDir, '..');
+const repoRoot = path.resolve(contractRoot, '..', '..');
+const runtimePackage = JSON.parse(
+  await readFile(path.join(repoRoot, 'node_modules', '@midnight-ntwrk', 'compact-runtime', 'package.json'), 'utf8'),
+);
+const runtimeVersion = runtimePackage.version;
+const targetFile = path.join(contractRoot, 'src', 'managed', 'did', 'contract', 'index.js');
+const targetTypesFile = path.join(contractRoot, 'src', 'managed', 'did', 'contract', 'index.d.ts');
+const source = await readFile(targetFile, 'utf8');
+let next = source.replace(
+  /checkRuntimeVersion\('\d+\.\d+\.\d+'\);/,
+  `checkRuntimeVersion('${runtimeVersion}');`,
+);
+next = next.replace(
+  /(\s*this\.impureCircuits = \{\n[\s\S]*?\n\s*\};\n)/,
+  `$1    this.provableCircuits = this.impureCircuits;\n`,
+);
+if (next !== source) {
+  await writeFile(targetFile, next, 'utf8');
+  console.log(
+    `[align-runtime-version] Updated managed contract runtime guard to ${runtimeVersion} and aliased provableCircuits`,
+  );
+} else {
+  console.log(
+    '[align-runtime-version] Managed contract runtime guard and provableCircuits alias already aligned',
+  );
+}
+
+const typesSource = await readFile(targetTypesFile, 'utf8');
+const nextTypes = typesSource.replace(
+  /(\s+impureCircuits: ImpureCircuits<PS>;\n)/,
+  `$1  provableCircuits: ImpureCircuits<PS>;\n`,
+);
+if (nextTypes !== typesSource) {
+  await writeFile(targetTypesFile, nextTypes, 'utf8');
+}

package/scripts/strip-managed-sourcemaps.mjs

@@ -0,0 +1,30 @@
+import fs from "node:fs";
+import path from "node:path";
+import { fileURLToPath } from "node:url";
+
+const rootDir = path.dirname(fileURLToPath(import.meta.url));
+const managedDir = path.resolve(rootDir, "..", "src", "managed");
+
+function walk(dir) {
+  const entries = fs.readdirSync(dir, { withFileTypes: true });
+  for (const entry of entries) {
+    const fullPath = path.join(dir, entry.name);
+    if (entry.isDirectory()) {
+      walk(fullPath);
+      continue;
+    }
+    if (!entry.isFile() || !entry.name.endsWith(".js")) {
+      continue;
+    }
+
+    const content = fs.readFileSync(fullPath, "utf8");
+    const next = content.replace(/\n\/\/# sourceMappingURL=.*$/m, "");
+    if (next !== content) {
+      fs.writeFileSync(fullPath, next, "utf8");
+    }
+  }
+}
+
+if (fs.existsSync(managedDir)) {
+  walk(managedDir);
+}

package/tsconfig.build.json

@@ -0,0 +1,24 @@
+// This file is part of midnightntwrk/example-counter.
+// Copyright (C) Midnight Foundation
+// SPDX-License-Identifier: Apache-2.0
+// Licensed under the Apache License, Version 2.0 (the "License");
+// You may not use this file except in compliance with the License.
+// You may obtain a copy of the License at
+//
+// http://www.apache.org/licenses/LICENSE-2.0
+//
+// Unless required by applicable law or agreed to in writing, software
+// distributed under the License is distributed on an "AS IS" BASIS,
+// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+// See the License for the specific language governing permissions and
+// limitations under the License.
+
+{
+  "extends": "./tsconfig.json",
+  "exclude": ["src/test/**/*.ts"],
+  "compilerOptions": {
+    "sourceMap": true,
+    "inlineSources": true,
+    "declarationMap": true
+  }
+}

package/tsconfig.json

@@ -0,0 +1,37 @@
+// This file is part of midnightntwrk/example-counter.
+// Copyright (C) Midnight Foundation
+// SPDX-License-Identifier: Apache-2.0
+// Licensed under the Apache License, Version 2.0 (the "License");
+// You may not use this file except in compliance with the License.
+// You may obtain a copy of the License at
+//
+// http://www.apache.org/licenses/LICENSE-2.0
+//
+// Unless required by applicable law or agreed to in writing, software
+// distributed under the License is distributed on an "AS IS" BASIS,
+// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+// See the License for the specific language governing permissions and
+// limitations under the License.
+
+{
+  "include": ["src/**/*.ts"],
+  "compilerOptions": {
+    "rootDir": "src",
+    "outDir": "dist",
+    "composite": true,
+    "declaration": true,
+    "lib": ["ESNext"],
+    "target": "ES2022",
+    "module": "ESNext",
+    "moduleResolution": "node",
+    "allowJs": true,
+    "forceConsistentCasingInFileNames": true,
+    "noImplicitAny": true,
+    "strict": true,
+    "isolatedModules": true,
+    "sourceMap": true,
+    "resolveJsonModule": true,
+    "esModuleInterop": true,
+    "skipLibCheck": true
+  }
+}