From 81d401f89eeaaea413e6bc08dab5329ef5c41629 Mon Sep 17 00:00:00 2001 From: w00c00 <46839097+w00c00@users.noreply.github.com> Date: Sat, 15 Aug 2026 13:07:11 +0800 Subject: [PATCH 1/2] feat: update SilverScript Studio to 0.2.9 --- .github/workflows/release-desktop.yml | 3 +- CHANGELOG.md | 20 ++++ README.md | 18 ++-- config/compiler-profiles.json | 86 +++++++++++++++--- docs/kcc721-experimental.md | 6 +- docs/studio-0.2-architecture.md | 4 +- docs/tn10-cross-covenant-fusion.md | 47 ++++++++++ docs/x402-experimental-profile.md | 27 ++++-- .../references/official-baseline.md | 19 ++-- .../references/upstream.json | 4 +- package-lock.json | 4 +- package.json | 2 +- scripts/build-silverc.mjs | 35 +++++-- scripts/prepare-desktop-runtime.mjs | 2 +- server/atomic-covenant-builder.mjs | 54 +++++++++-- server/compiler.mjs | 6 +- server/config.mjs | 16 +++- server/kcc20-security.mjs | 78 ++++++++++++++++ server/project-store.mjs | 2 +- src-tauri/Cargo.lock | 2 +- src-tauri/Cargo.toml | 2 +- src-tauri/src/lib.rs | 8 +- src-tauri/tauri.conf.json | 2 +- src/kcc721-metadata.js | 10 ++ src/main.js | 9 +- templates/commit-reveal/manifest.json | 2 +- templates/groth16-proof-release/manifest.json | 2 +- templates/kcc721-experimental/manifest.json | 4 +- templates/merkle-one-time-claim/manifest.json | 2 +- test/studio.test.mjs | 91 ++++++++++++++++--- 30 files changed, 472 insertions(+), 95 deletions(-) create mode 100644 docs/tn10-cross-covenant-fusion.md create mode 100644 server/kcc20-security.mjs diff --git a/.github/workflows/release-desktop.yml b/.github/workflows/release-desktop.yml index 9e8a17c..6ec2500 100644 --- a/.github/workflows/release-desktop.yml +++ b/.github/workflows/release-desktop.yml @@ -113,7 +113,8 @@ jobs: PORT=4310 \ STUDIO_DATA_DIR="$data_dir" \ SILVERC_LATEST_BIN="$runtime/bin/silverc-latest" \ - SILVERC_PREVIOUS_BIN="$runtime/bin/silverc-cb34aa5" \ + SILVERC_PREVIOUS_BIN="$runtime/bin/silverc-6f9e078" \ + SILVERC_OLDER_BIN="$runtime/bin/silverc-cb34aa5" \ SILVERC_LEGACY_BIN="$runtime/bin/silverc-legacy" \ KASCOV_PREFLIGHT_BIN="$runtime/bin/kascov-preflight" \ "$node_bin" "$runtime/server/index.mjs" >"$log" 2>&1 & diff --git a/CHANGELOG.md b/CHANGELOG.md index 6e0e40b..5de3068 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,5 +1,25 @@ # Changelog +## 0.2.9 — 2026-08-15 + +- Updated the default SHA-256-pinned official SilverScript compiler to `14dce9a5ce8769cdfbd0c8965f8764fa9c325067`; retained `6f9e078`, `cb34aa5`, and `2a3961c` as isolated reproducibility profiles. +- Added compatibility findings for declaration shadowing, `.split()` result typing, immutable `for` iterators, and the 10,000-iteration compiler limit introduced by the latest hardening changes. +- Added KCC20 security triage for borrowed-receive paths, including minter-leader rejection, token-state invariants, KAS-value preservation, pre-signed outpoint invalidation, and co-spend consent review. +- Extended the atomic multi-Covenant builder with explicit fresh-lineage outputs authorized by a verified input Covenant ID; genesis bindings are populated by the Kaspa transaction library and recorded in the operation package. +- Aligned KCC721 metadata with the KCC-0021 draft image-integrity rule: HTTPS images require a committed SHA-256, while IPFS URIs remain content-addressed. +- Updated the TN10 x402 interoperability profile to `kaspa-x402@alpha.10` (`78f2ada`) and documented stable `kaspa-escrow-v2` lineage plus partial-claim, top-up, and refund semantics without promoting it to a deployable built-in template. +- Documented the community TN10 cross-Covenant fusion transaction as evidence only; unavailable source and reproducibility data remain an explicit admission blocker. + +## 0.2.9 — 2026-08-15（中文） + +- 默认官方 SilverScript 编译器升级并固定到 `14dce9a5ce8769cdfbd0c8965f8764fa9c325067`；隔离保留 `6f9e078`、`cb34aa5` 和 `2a3961c` 复现档案。 +- 增加最新编译器强化变更的兼容提示：声明名称遮蔽、`.split()` 结果类型、不可修改的 `for` 迭代变量，以及 10,000 次循环上限。 +- 增加 KCC20 安全初筛：检查借用接收路径的 minter leader 拒绝、Token 状态不变量、KAS value 保持、预签 outpoint 失效风险和共同输入授权语义。 +- 原子多 Covenant 构建器支持由已核验输入 Covenant ID 授权的新 lineage 输出；由 Kaspa 交易库填充 genesis binding，并将结果写入操作包。 +- KCC721 元数据采用 KCC-0021 Draft 图片完整性规则：HTTPS 图片必须提交 SHA-256，IPFS URI 继续依赖内容寻址。 +- TN10 x402 互操作档案升级到 `kaspa-x402@alpha.10`（`78f2ada`），记录稳定的 `kaspa-escrow-v2` lineage 与部分领取、追加和退款语义，但仍不伪装成可部署内置模板。 +- 将社区 TN10 跨 Covenant fusion 交易作为链上证据记录；缺少源码与可复现数据仍是正式准入阻断项。 + ## 0.2.8 — 2026-08-10 - Updated the default SHA-256-pinned official SilverScript compiler to `6f9e078b1d8b5389212755183b592704de99fea5`; retained `cb34aa5` for Studio 0.2.7 reproducibility and `2a3961c` for older projects. diff --git a/README.md b/README.md index 71a11a3..d7729ff 100644 --- a/README.md +++ b/README.md @@ -35,8 +35,8 @@ AI 只负责生成候选方案和辅助审查，不能解锁钱包、签名交 - 中英文界面；首次启动自动读取系统语言，并在系统语言既非中文也非英文时使用时区辅助判断。 - 用户手动切换语言后，本机选择优先于自动识别。 - 本地项目工作区，可创建、切换和删除未使用的工作。 -- 三编译器兼容档案：默认固定 `kaspanet/silverscript@6f9e078b1d8b5389212755183b592704de99fea5`，保留 Studio 0.2.7 使用的 `cb34aa5` 和 `2a3961c` 旧版用于复现；三个二进制都校验 SHA-256。 -- 内置破坏性变更扫描与安全迁移，识别 `entry`、`checkMsgSig`、`outpointTxId`、artifact `bytecode` 和显式标量 byte/int 转换；无法安全自动迁移的 signed/unsigned 语义、`.reverse()` 和位运算会要求人工审查。 +- 四编译器兼容档案：默认固定 `kaspanet/silverscript@14dce9a5ce8769cdfbd0c8965f8764fa9c325067`，隔离保留 Studio 0.2.8 的 `6f9e078`、Studio 0.2.7 的 `cb34aa5` 和 `2a3961c` 旧版用于复现；所有二进制都校验 SHA-256。 +- 内置破坏性变更扫描与安全迁移，覆盖 `entry`、`checkMsgSig`、`outpointTxId`、artifact `bytecode`、标量转换、声明遮蔽、`.split()` 类型、不可变循环变量和循环上限；无法安全自动迁移的语义会要求人工审查。 - 固定 Kascov 来源提交构建的本地交易预检引擎。 - 支持 OpenAI、Anthropic、Gemini、OpenRouter、Ollama 和 OpenAI-compatible 接口。 - AI API Key 使用 scrypt 派生密钥和 AES-256-GCM 加密保存在本机。 @@ -47,7 +47,8 @@ AI 只负责生成候选方案和辅助审查，不能解锁钱包、签名交 - 支持 `.ssinvite` 可携带操作包、跨设备顺序签名和外部 Covenant 交易包审查。 - 新操作包携带 canonical v1 Covenant Descriptor，绑定 CAIP-2 网络、程序哈希、Covenant ID、ABI、状态布局和授权主体；旧包仍可读取但会标记缺少描述符。 - 可替换 `CovenantStateSource` 会在原生 Covenant RPC、outpoint RPC 与 P2SH 地址索引之间回退，并重新验证 outpoint、Covenant ID、脚本和金额。 -- 通用 P2PK co-spend 授权只签指定普通钱包输入，并锁定整笔交易承诺；原子构建器支持 2–32 个不同 Covenant 输入。 +- 通用 P2PK co-spend 授权只签指定普通钱包输入，并锁定整笔交易承诺；原子构建器支持 2–32 个不同 Covenant 输入、同 lineage 延续和由已核验输入授权的新 lineage 输出。 +- KCC20 安全初筛覆盖借用接收、minter leader、Token 状态不变量、KAS value 保持、预签 outpoint 失效与共同输入授权边界。 - Kascov 是首选可视化和第二份报告来源，但不是签名、预检或广播的运行依赖。 ### 内置模板 @@ -224,7 +225,7 @@ OLLAMA_MODEL= 仅有 Covenant ID 或 cov hash 不足以签名。外部操作包必须携带待签交易、UTXO、redeem program、ABI、入口、参数、输出和签名槽信息。详见 [可携带 Covenant 操作包](docs/portable-covenant-package.md)。 -编译器升级、状态查询与原子授权接口见 [Studio 0.2 架构说明](docs/studio-0.2-architecture.md)。KCC721 包的来源、边界和禁止事项见 [TN10 Experimental KCC721](docs/kcc721-experimental.md)。 +编译器升级、状态查询与原子授权接口见 [Studio 0.2 架构说明](docs/studio-0.2-architecture.md)。KCC721 包的来源、边界和禁止事项见 [TN10 Experimental KCC721](docs/kcc721-experimental.md)。社区跨 Covenant 交易证据与新 lineage 构建格式见 [TN10 跨 Covenant Fusion 说明](docs/tn10-cross-covenant-fusion.md)。 Kaspa x402 的网络标识、操作包映射和正式模板准入条件见 [TN10 Experimental x402 档案](docs/x402-experimental-profile.md)。 ### 网络 @@ -293,8 +294,8 @@ AI is limited to candidate generation and review assistance. It cannot unlock wa - Chinese and English UI with automatic system-language detection and time-zone fallback. - A manual language choice always overrides future automatic detection. - Local project workspace with explicit create, switch, and delete actions. -- Three compiler profiles: the default is pinned to `kaspanet/silverscript@6f9e078b1d8b5389212755183b592704de99fea5`; Studio 0.2.7's `cb34aa5` and legacy `2a3961c` remain reproducible, with SHA-256 verification for all binaries. -- Built-in breaking-change detection and safe migration for `entry`, `checkMsgSig`, `outpointTxId`, artifact `bytecode`, and explicit scalar byte/int conversions; signedness, removed `.reverse()`, and bitwise typing changes require manual review. +- Four isolated compiler profiles: the default is pinned to `kaspanet/silverscript@14dce9a5ce8769cdfbd0c8965f8764fa9c325067`; Studio 0.2.8's `6f9e078`, Studio 0.2.7's `cb34aa5`, and legacy `2a3961c` remain reproducible, with SHA-256 verification for every binary. +- Built-in breaking-change detection and safe migration cover `entry`, `checkMsgSig`, `outpointTxId`, artifact `bytecode`, scalar conversions, declaration shadowing, `.split()` typing, immutable loop iterators, and bounded-loop limits; ambiguous semantic changes require manual review. - Pinned Kascov-derived local transaction preflight engine. - OpenAI, Anthropic, Gemini, OpenRouter, Ollama, and OpenAI-compatible providers. - AES-256-GCM encrypted AI key vault with a scrypt-derived key. @@ -304,7 +305,8 @@ AI is limited to candidate generation and review assistance. It cannot unlock wa - Portable `.ssinvite` operation packages, sequential cross-device signing, and external covenant-package review. - Canonical v1 covenant descriptors bind each new package to its CAIP-2 network, program hash, covenant ID, ABI, state layout, and authorization principals; legacy packages remain readable with a visible missing-descriptor warning. - Replaceable `CovenantStateSource` fallback across native covenant RPC, outpoint RPC, and P2SH address indexing, with independent outpoint, covenant ID, script, and value verification. -- Generic isolated P2PK co-spend authorization plus an atomic builder for 2–32 distinct covenant inputs. +- Generic isolated P2PK co-spend authorization plus an atomic builder for 2–32 distinct Covenant inputs, same-lineage continuations, and fresh lineages authorized by verified input Covenant IDs. +- KCC20 security triage covers borrowed receive, minter leaders, token-state invariants, KAS-value preservation, pre-signed outpoint invalidation, and co-spend consent boundaries. - Kascov is the preferred visual and secondary-report layer, not a signing, preflight, or broadcast dependency. ### Built-in templates @@ -455,7 +457,7 @@ Never have multiple signers sign separate initial copies. Compare the transactio A covenant ID or cov hash alone is not a signing request. An external package must include the exact transaction, UTXOs, redeem program, ABI, entrypoint, arguments, outputs, and signature slots. See [Portable covenant packages](docs/portable-covenant-package.md). -See [Studio 0.2 architecture](docs/studio-0.2-architecture.md) for compiler upgrades, state sources, P2PK authorization, and atomic transaction APIs. See [TN10 Experimental KCC721](docs/kcc721-experimental.md) for provenance, boundaries, and prohibited release claims. +See [Studio 0.2 architecture](docs/studio-0.2-architecture.md) for compiler upgrades, state sources, P2PK authorization, and atomic transaction APIs. See [TN10 Experimental KCC721](docs/kcc721-experimental.md) for provenance, boundaries, and prohibited release claims. See [TN10 cross-Covenant fusion](docs/tn10-cross-covenant-fusion.md) for community transaction evidence and the fresh-lineage build format. See the [TN10 Experimental x402 profile](docs/x402-experimental-profile.md) for network identifiers, operation-package mapping, and executable-template admission gates. ### Networks diff --git a/config/compiler-profiles.json b/config/compiler-profiles.json index c13eda3..8dc2397 100644 --- a/config/compiler-profiles.json +++ b/config/compiler-profiles.json @@ -1,17 +1,37 @@ { - "defaultProfileId": "latest-6f9e078", + "defaultProfileId": "latest-14dce9a", "profiles": [ { - "id": "latest-6f9e078", - "label": "SilverScript latest (6f9e078)", - "upstreamCommit": "6f9e078b1d8b5389212755183b592704de99fea5", + "id": "latest-14dce9a", + "label": "SilverScript latest (14dce9a)", + "upstreamCommit": "14dce9a5ce8769cdfbd0c8965f8764fa9c325067", "binary": "bin/silverc-latest", "artifactBytecodeField": "bytecode", "syntaxGeneration": 2, "status": "experimental", "networkPolicy": "tn10-only", + "releasedAt": "2026-08-13", + "notes": [ + "Includes c1ed163 entrypoint, constant-cycle and bounded-loop hardening", + "Rejects declaration shadowing and attempts to override compiler builtins", + "Makes struct assignment atomic and struct-field lowering collision resistant", + "Fixes ternary lowering, struct append, bool array normalization and split result typing", + "Requires fixed byte arrays of at most eight bytes for int(byte[N]) casts", + "Keeps loop iteration variables immutable" + ] + }, + { + "id": "latest-6f9e078", + "label": "SilverScript Studio 0.2.8 (6f9e078)", + "upstreamCommit": "6f9e078b1d8b5389212755183b592704de99fea5", + "binary": "bin/silverc-6f9e078", + "artifactBytecodeField": "bytecode", + "syntaxGeneration": 2, + "status": "previous", + "networkPolicy": "tn10-only", "releasedAt": "2026-08-10", "notes": [ + "Retained to reproduce Studio 0.2.8 projects", "Uses entry syntax for public entrypoints", "Exposes transaction introspection as outpointTxId", "Uses checkMsgSig for arbitrary-message signatures", @@ -25,7 +45,7 @@ }, { "id": "latest-cb34aa5", - "label": "SilverScript previous (cb34aa5)", + "label": "SilverScript Studio 0.2.7 (cb34aa5)", "upstreamCommit": "cb34aa5e6a598f9e461c4ad7014279ba89251d8d", "binary": "bin/silverc-cb34aa5", "artifactBytecodeField": "bytecode", @@ -60,7 +80,7 @@ "severity": "error", "introducedBy": "0f99803", "fromProfile": "legacy-2a3961c", - "toProfile": "latest-6f9e078", + "toProfile": "latest-14dce9a", "pattern": "\\bentrypoint\\s+function\\b", "messageZh": "公开入口语法已从 entrypoint function 改为 entry。", "messageEn": "Public entrypoint syntax changed from entrypoint function to entry.", @@ -71,7 +91,7 @@ "severity": "error", "introducedBy": "782a4d7", "fromProfile": "legacy-2a3961c", - "toProfile": "latest-6f9e078", + "toProfile": "latest-14dce9a", "pattern": "\\bcheckSigFromStack\\b", "messageZh": "任意消息签名内建函数已改名为 checkMsgSig。", "messageEn": "The arbitrary-message signature builtin was renamed to checkMsgSig.", @@ -82,7 +102,7 @@ "severity": "error", "introducedBy": "65421cf", "fromProfile": "legacy-2a3961c", - "toProfile": "latest-6f9e078", + "toProfile": "latest-14dce9a", "pattern": "\\.outpointTransactionHash\\b", "messageZh": "输入 outpoint 字段已改名为 outpointTxId。", "messageEn": "The input outpoint field was renamed to outpointTxId.", @@ -93,7 +113,7 @@ "severity": "error", "introducedBy": "6869e7d", "fromProfile": "legacy-2a3961c", - "toProfile": "latest-6f9e078", + "toProfile": "latest-14dce9a", "pattern": "\\.reverse\\s*\\(", "messageZh": ".reverse() 已删除，必须显式重写字节顺序逻辑并重新测试。", "messageEn": ".reverse() was removed; rewrite byte ordering explicitly and retest it.", @@ -104,7 +124,7 @@ "severity": "integration", "introducedBy": "4d88ded", "fromProfile": "legacy-2a3961c", - "toProfile": "latest-6f9e078", + "toProfile": "latest-14dce9a", "pattern": null, "messageZh": "编译产物 JSON 字段由 script 改为 bytecode；外部工具必须兼容两个字段。", "messageEn": "The compiler artifact JSON field changed from script to bytecode; integrations must support both.", @@ -115,11 +135,55 @@ "severity": "manual-review", "introducedBy": "8b74812", "fromProfile": "legacy-2a3961c", - "toProfile": "latest-6f9e078", + "toProfile": "latest-14dce9a", "pattern": "(?:^|[^&|])(?:<<|>>|\\^|&|\\|)(?:[^&|]|$)", "messageZh": "位运算现在仅接受 bytes；请人工确认操作数类型。", "messageEn": "Bitwise operators now accept bytes only; review operand types manually.", "replacement": null + }, + { + "id": "declaration-shadowing-rejected", + "severity": "manual-review", + "introducedBy": "14dce9a", + "fromProfile": "latest-6f9e078", + "toProfile": "latest-14dce9a", + "pattern": null, + "messageZh": "编译器现在禁止构造参数、字段、常量、函数参数和局部变量之间的名称遮蔽；请通过完整编译定位并重命名冲突声明。", + "messageEn": "The compiler now rejects name shadowing across constructor parameters, fields, constants, function parameters and locals; fully compile and rename conflicting declarations.", + "replacement": null + }, + { + "id": "split-result-typing", + "severity": "manual-review", + "introducedBy": "14dce9a", + "fromProfile": "latest-6f9e078", + "toProfile": "latest-14dce9a", + "pattern": "\\.split\\s*\\(", + "messageZh": ".split() 结果现在会推断固定左侧长度；请复核显式类型、析构赋值和下游状态编码。", + "messageEn": ".split() now infers a fixed left-side length; review explicit types, tuple destructuring and downstream state encoding.", + "replacement": null + }, + { + "id": "for-iterator-immutable", + "severity": "error", + "introducedBy": "14dce9a", + "fromProfile": "latest-6f9e078", + "toProfile": "latest-14dce9a", + "pattern": "for\\s*\\(\\s*([A-Za-z_][A-Za-z0-9_]*)[^\\n]*\\)[\\s\\S]{0,500}?\\b\\1\\s*(?:=|\\+=|-=|\\+\\+|--)", + "messageZh": "for 循环迭代变量现在不可修改；请使用独立局部变量表达循环内状态。", + "messageEn": "For-loop iteration variables are now immutable; use a separate local for mutable loop state.", + "replacement": null + }, + { + "id": "bounded-loop-limit", + "severity": "manual-review", + "introducedBy": "c1ed163", + "fromProfile": "latest-6f9e078", + "toProfile": "latest-14dce9a", + "pattern": "max_iterations\\s*=\\s*(?:1000[1-9]|100[1-9][0-9]|10[1-9][0-9]{2}|1[1-9][0-9]{3}|[2-9][0-9]{4,})", + "messageZh": "编译器将 max_iterations 限制为 10,000；请缩小循环边界并重新评估脚本单位。", + "messageEn": "The compiler caps max_iterations at 10,000; reduce the bound and reassess script units.", + "replacement": null } ] } diff --git a/docs/kcc721-experimental.md b/docs/kcc721-experimental.md index 7b65a3b..e373524 100644 --- a/docs/kcc721-experimental.md +++ b/docs/kcc721-experimental.md @@ -6,8 +6,9 @@ Studio 内置的 KCC721 包改编自 `KaspaHUB21/KCC721` v0.2 社区草案，保 本包只允许 `tn10`，风险等级为 `high-experimental`。普通单 Covenant 部署路径被明确禁用，因为 Collection/Ticket/NFT 创世需要专用的多合约 builder 正确计算模板片段、模板哈希、Covenant ID 和 output binding。当前完成的是： -- 四份源码在官方 `silverc@6f9e078` 下完整编译。 +- 四份源码在官方 `silverc@14dce9a` 下完整编译。 - 模板使用三步配置向导，不再要求用户手填元数据摘要。名称、描述、图片 URI、外部链接和属性会先规范化为确定性 JSON，再由前后端分别计算并核对 SHA-256。 +- 元数据采用 KCC-0021 Draft 的图片完整性规则：`https://` 图片必须附带 32-byte SHA-256，`ipfs://` 由 CID 提供内容寻址；KCC-0021 尚未合并，界面继续标为 Draft/Experimental。 - “新集合”明确标记为编译预览，内部使用不可部署的全零哨兵；只有“导入已有 TN10 集合”模式接受从真实创世输出核验的 Collection Covenant ID。 - NFT 所有者变更绑定独立 P2PK co-spend 输入。 - 原子 builder 支持 2–32 个不同 Covenant ID 的批量交易。 @@ -34,8 +35,9 @@ The bundled KCC721 pack is adapted from the community `KaspaHUB21/KCC721` v0.2 d The pack is restricted to `tn10` and marked `high-experimental`. Ordinary single-covenant deployment is explicitly blocked because Collection/Ticket/NFT genesis requires a dedicated multi-contract builder to calculate template segments, template hashes, covenant IDs, and output bindings correctly. The current implementation provides: -- Full compilation of all four sources with official `silverc@6f9e078`. +- Full compilation of all four sources with official `silverc@14dce9a`. - A three-step setup wizard that no longer asks users to type a metadata digest. Name, description, image URI, external URL, and attributes are canonicalized into deterministic JSON, then SHA-256 is independently recomputed by the client and server. +- Metadata follows the KCC-0021 Draft image-integrity rule: `https://` images require a 32-byte SHA-256 while `ipfs://` is content-addressed by its CID. KCC-0021 is still unmerged, so the UI remains Draft/Experimental. - A clearly labeled new-collection compile preview with a non-deployable internal all-zero sentinel. Only the existing-TN10-collection path accepts a Collection covenant ID verified from a real genesis output. - NFT ownership transitions bound to a separate P2PK co-spend input. - Atomic transactions across 2–32 distinct covenant IDs. diff --git a/docs/studio-0.2-architecture.md b/docs/studio-0.2-architecture.md index 6c8cc93..dab0667 100644 --- a/docs/studio-0.2-architecture.md +++ b/docs/studio-0.2-architecture.md @@ -4,7 +4,7 @@ ### 编译器兼容档案 -`config/compiler-profiles.json` 是可提交的兼容性清单，`config/compiler.json` 是本机生成的二进制路径、构建时间和 SHA-256 清单。默认档案固定官方 SilverScript `6f9e078b1d8b5389212755183b592704de99fea5`；`cb34aa5` 保留用于复现 Studio 0.2.7 项目，`2a3961c` 保留用于更早的旧版项目。 +`config/compiler-profiles.json` 是可提交的兼容性清单，`config/compiler.json` 是本机生成的二进制路径、构建时间和 SHA-256 清单。默认档案固定官方 SilverScript `14dce9a5ce8769cdfbd0c8965f8764fa9c325067`；`6f9e078`、`cb34aa5` 和 `2a3961c` 隔离保留，用于复现 Studio 0.2.8、0.2.7 与更早项目。 升级检查会报告已知变化，并只自动替换无歧义的名称。`6f9e078` 要求标量 byte 转 int 时明确使用 `signed()` 或 `unsigned()`，运行时 int 转 byte 使用 `as byte`；这些语义不能自动猜测。`.reverse()` 删除、字节序、位运算类型和任何状态布局变化也必须人工审查。迁移后仍必须使用真实构造参数完整编译并进行对抗性交易测试。 @@ -54,7 +54,7 @@ Studio 新生成的 `.ssinvite` 为每个 Covenant 输入附带 canonical v1 des ### Compiler compatibility profiles -`config/compiler-profiles.json` is the committed compatibility catalog. The generated `config/compiler.json` records local binary paths, build times, and SHA-256 hashes. The default profile pins official SilverScript commit `6f9e078b1d8b5389212755183b592704de99fea5`; `cb34aa5` reproduces Studio 0.2.7 projects and `2a3961c` remains for older legacy projects. +`config/compiler-profiles.json` is the committed compatibility catalog. The generated `config/compiler.json` records local binary paths, build times, and SHA-256 hashes. The default profile pins official SilverScript commit `14dce9a5ce8769cdfbd0c8965f8764fa9c325067`; isolated `6f9e078`, `cb34aa5`, and `2a3961c` profiles reproduce Studio 0.2.8, 0.2.7, and older projects. Compatibility checks report known changes and automatically apply only unambiguous renames. Commit `6f9e078` requires explicit `signed()`/`unsigned()` conversion from scalar byte and `as byte` for checked runtime int conversion; Studio never guesses that meaning. Removed `.reverse()`, byte ordering, bitwise typing, and state-layout changes also require manual review. Every migration still requires a full compile with realistic constructor arguments and adversarial transaction tests. diff --git a/docs/tn10-cross-covenant-fusion.md b/docs/tn10-cross-covenant-fusion.md new file mode 100644 index 0000000..ad98eab --- /dev/null +++ b/docs/tn10-cross-covenant-fusion.md @@ -0,0 +1,47 @@ +# TN10 cross-covenant read/write observation / TN10 跨 Covenant 读写观察 + +## Status / 状态 + +On 2026-08-14 a community transaction was accepted on TN10 that co-spent two +different covenant lineages, continued one input, and used the other input to +authorize a fresh covenant lineage output. This is useful evidence for atomic +read/write composition, but the forum post does not publish a reproducible +source repository or compiler artifact. Studio therefore records it as an +observation and builder regression pattern, not as a deployable template or a +standard. + +2026-08-14，社区展示了一笔已被 TN10 接受的交易：共同花费两个不同 Covenant +lineage，延续其中一个输入，并由另一个 Covenant 输入授权新的 lineage 输出。这为原子 +读写组合提供了有价值的链上证据，但论坛没有给出可复现源码仓库与编译产物。因此 Studio +只把它记录为观察样本与 builder 回归模式，不把它包装成可部署模板或正式标准。 + +## Recorded evidence / 已记录证据 + +- Transaction: `975dbb2ad064ef5b4339f98e464d5f64df6af84a43995465cb3c9927b24dcf35` +- Input A covenant ID: `8614b79030c6024e61f1757a44ac803ba8c9fe314f5779c68709a672c10acdb7` +- Input B covenant ID: `2a8a728d3629da290aa08762830ef09e45692ff775dc4bb2b3b5cb435c39bdd3` +- Fresh output covenant ID reported by the transaction author: + `0fc9ff63bc367db7b8adfe463502904e0eb79b20c771156bae8f977b1d8d1f0e` +- Explorer: +- Discussion: + +## Studio builder rule / Studio builder 规则 + +`buildAtomicCovenantPackage` now accepts a covenant output with +`genesisAuthorizerCovenantId`. The builder derives the authorizing input index +from the verified input covenant ID, calls the consensus SDK's +`populateGenesisCovenants`, and records the resulting covenant ID in the +portable package. A caller-supplied input index or caller-supplied fresh +covenant ID is rejected. + +`buildAtomicCovenantPackage` 现在允许 Covenant 输出声明 +`genesisAuthorizerCovenantId`。Builder 会从已核验的输入 Covenant ID 推导授权输入位置， +调用共识 SDK 的 `populateGenesisCovenants`，并把生成的 Covenant ID 写入操作包。调用方 +不能直接指定授权 input index，也不能预先伪造新 Covenant ID。 + +This only constructs and binds the transaction. Each participating redeem +program must still independently validate the intended cross-covenant state, +script, value, cardinality and output covenant identity. + +这只完成交易构建和绑定。参与交易的每个 redeem program 仍必须独立核验预期的跨 +Covenant 状态、脚本、金额、数量以及输出 Covenant identity。 diff --git a/docs/x402-experimental-profile.md b/docs/x402-experimental-profile.md index 6fad293..902e687 100644 --- a/docs/x402-experimental-profile.md +++ b/docs/x402-experimental-profile.md @@ -1,13 +1,24 @@ # Kaspa x402 TN10 experimental profile / Kaspa x402 TN10 实验档案 -Studio tracks the public Kaspa x402 alpha at source commit -`7cae0eeea174f4ed077c96f376af69a38d18eddb`. This is an interoperability +Studio tracks Kaspa x402 `v0.1.0-alpha.10` at the peeled source commit +`78f2ada2b2dd3d54116b4cbca1fe9ec08691efc0`. This is an interoperability profile, not a mainnet-readiness claim and not an authorization source. -Studio 跟踪公开的 Kaspa x402 alpha 源码提交 -`7cae0eeea174f4ed077c96f376af69a38d18eddb`。这是互操作档案，不代表主网成熟， +Studio 跟踪 Kaspa x402 `v0.1.0-alpha.10` 对应的源码提交 +`78f2ada2b2dd3d54116b4cbca1fe9ec08691efc0`。这是互操作档案，不代表主网成熟， 也不能作为资金授权来源。 +Alpha.10 keeps `standard-native` and `additive` exact payments and replaces the +previous batch design with `kaspa-escrow-v2`. The batch profile uses a stable +KIP-20 lineage, lifetime accounting, partial claims, same-lineage top-ups, +refunds, and an explicit claim reserve. Studio records these semantics for +portable-package interoperability only; the upstream release remains TN10-only. + +Alpha.10 保留 `standard-native` 与 `additive` 单次付款，并用 +`kaspa-escrow-v2` 替换旧批量方案。批量档案使用稳定 KIP-20 lineage、全生命周期 +记账、部分领取、同 lineage 充值、退款和显式领取预留。Studio 目前只把这些语义用于 +操作包互操作档案；上游版本仍仅限 TN10。 + ## Network identifiers / 网络标识 - Studio internal: `tn10` @@ -28,9 +39,9 @@ Kaspa node network. |---|---| | payment requirements | read-only request metadata; never wallet authority | | exact payment | ordinary reviewed wallet-transfer draft | -| batch escrow deposit | compiled covenant deployment with exact artifact evidence | +| `kaspa-escrow-v2` deposit/top-up | stable KIP-20 lineage plus exact artifact evidence | | voucher | domain-separated off-chain message signature bound to network, script and active outpoint | -| claim/refund | versioned `.ssinvite` operation package and local engine preflight | +| partial claim/refund | versioned `.ssinvite` package, lifetime-accounting checks and local engine preflight | | settlement evidence | node txid plus optional Kascov visualization | Every future executable x402 template must pin the upstream source and compiler, @@ -45,4 +56,6 @@ upstream alpha escrow as a deployable built-in template. 延续、退款、重放、错误网络、错误 outpoint、价值守恒和手续费边界测试。在这些门槛完成前， Studio 不会把上游 alpha 托管合约伪装成可直接部署的成熟内置模板。 -Primary source: +Primary source: + +Release: diff --git a/knowledge/kaspa-silverscript/references/official-baseline.md b/knowledge/kaspa-silverscript/references/official-baseline.md index 410bbba..a3c7516 100644 --- a/knowledge/kaspa-silverscript/references/official-baseline.md +++ b/knowledge/kaspa-silverscript/references/official-baseline.md @@ -3,8 +3,8 @@ ## Verified snapshot - Repository: -- Verified commit: `6f9e078b1d8b5389212755183b592704de99fea5` -- Verified date: 2026-08-10 +- Verified commit: `14dce9a5ce8769cdfbd0c8965f8764fa9c325067` +- Verified date: 2026-08-15 - Compiler/language status: experimental - Official recommendation at this snapshot: use bytecode artifacts on testnet-10 until the first stable v1 release. @@ -15,17 +15,17 @@ deployment, compatibility, or mainnet-readiness questions. ## Primary sources - Project status and debugger: - + - Language tutorial: - + - Covenant declaration semantics: - + - Built-ins and cross-template validation: - + - KCC20 book: - Official application examples, including chess: - + ## Snapshot capabilities @@ -67,6 +67,11 @@ deployment, compatibility, or mainnet-readiness questions. integer uses checked `value as byte`. Scalar byte to integer conversion must choose `signed(byteValue)` or `unsigned(byteValue)`, and scalar bytes cannot participate directly in arithmetic operators. +- Commit `c1ed163` hardens entrypoint arguments and constant evaluation and caps + bounded-loop `max_iterations` at 10,000. +- Commit `14dce9a` rejects declaration shadowing and builtin overrides and fixes + struct assignment/lowering, ternary lowering, bool-array normalization, + `.split()` result typing, and scalar-cast validation. ## Terminology discipline diff --git a/knowledge/kaspa-silverscript/references/upstream.json b/knowledge/kaspa-silverscript/references/upstream.json index b5ae3fe..b61c754 100644 --- a/knowledge/kaspa-silverscript/references/upstream.json +++ b/knowledge/kaspa-silverscript/references/upstream.json @@ -1,8 +1,8 @@ { "repository": "https://github.com/kaspanet/silverscript.git", "branch": "master", - "verified_commit": "6f9e078b1d8b5389212755183b592704de99fea5", - "verified_at": "2026-08-10", + "verified_commit": "14dce9a5ce8769cdfbd0c8965f8764fa9c325067", + "verified_at": "2026-08-15", "status": "experimental", "recommended_network": "testnet-10" } diff --git a/package-lock.json b/package-lock.json index e4626fb..6388c5d 100644 --- a/package-lock.json +++ b/package-lock.json @@ -1,12 +1,12 @@ { "name": "kaspa-silverscript-studio", - "version": "0.2.8", + "version": "0.2.9", "lockfileVersion": 3, "requires": true, "packages": { "": { "name": "kaspa-silverscript-studio", - "version": "0.2.8", + "version": "0.2.9", "license": "MIT", "dependencies": { "@kluster/kaspa-wasm": "2.0.1", diff --git a/package.json b/package.json index 6b5b8fc..f47f8bf 100644 --- a/package.json +++ b/package.json @@ -1,6 +1,6 @@ { "name": "kaspa-silverscript-studio", - "version": "0.2.8", + "version": "0.2.9", "private": true, "type": "module", "description": "Local bilingual AI-assisted SilverScript contract studio for Kaspa", diff --git a/scripts/build-silverc.mjs b/scripts/build-silverc.mjs index 8d46afb..f638c98 100644 --- a/scripts/build-silverc.mjs +++ b/scripts/build-silverc.mjs @@ -8,8 +8,9 @@ import { fileURLToPath } from "node:url"; import { cargoReleaseBinary, executableName, makeExecutable } from "./platform-binaries.mjs"; const root = path.resolve(path.dirname(fileURLToPath(import.meta.url)), ".."); -const latestCommit = "6f9e078b1d8b5389212755183b592704de99fea5"; -const previousCommit = "cb34aa5e6a598f9e461c4ad7014279ba89251d8d"; +const latestCommit = "14dce9a5ce8769cdfbd0c8965f8764fa9c325067"; +const previousCommit = "6f9e078b1d8b5389212755183b592704de99fea5"; +const olderCommit = "cb34aa5e6a598f9e461c4ad7014279ba89251d8d"; const legacyCommit = "2a3961cadc76bb16a425042172ffe32481da89b5"; const work = fs.mkdtempSync(path.join(os.tmpdir(), "silverstudio-silverc-")); @@ -36,6 +37,8 @@ function buildProfile({ id, commit, outputName, configuredSource }) { run("git", ["-C", repository, "checkout", "--detach", commit]); } + // Keep revision targets isolated. Cargo can otherwise reuse a same-name and + // same-version workspace artifact from a different SilverScript commit. const targetDirectory = path.join(work, `target-${id}`); run("cargo", [ "build", @@ -56,17 +59,23 @@ function buildProfile({ id, commit, outputName, configuredSource }) { try { fs.mkdirSync(path.join(root, "config"), { recursive: true }); const latestBin = buildProfile({ - id: "latest-6f9e078", + id: "latest-14dce9a", commit: latestCommit, outputName: "silverc-latest", configuredSource: process.env.SILVERSCRIPT_LATEST_SOURCE || process.env.SILVERSCRIPT_SOURCE || "" }); const previousBin = buildProfile({ - id: "latest-cb34aa5", + id: "latest-6f9e078", commit: previousCommit, - outputName: "silverc-cb34aa5", + outputName: "silverc-6f9e078", configuredSource: process.env.SILVERSCRIPT_PREVIOUS_SOURCE || "" }); + const olderBin = buildProfile({ + id: "latest-cb34aa5", + commit: olderCommit, + outputName: "silverc-cb34aa5", + configuredSource: process.env.SILVERSCRIPT_OLDER_SOURCE || "" + }); const legacyBin = buildProfile({ id: "legacy-2a3961c", commit: legacyCommit, @@ -75,22 +84,29 @@ try { }); const latestSha256 = sha256(latestBin); const previousSha256 = sha256(previousBin); + const olderSha256 = sha256(olderBin); const legacySha256 = sha256(legacyBin); const manifest = { - defaultProfileId: "latest-6f9e078", + defaultProfileId: "latest-14dce9a", profiles: { - "latest-6f9e078": { + "latest-14dce9a": { bin: latestBin, sha256: latestSha256, upstreamCommit: latestCommit, builtAt: new Date().toISOString() }, - "latest-cb34aa5": { + "latest-6f9e078": { bin: previousBin, sha256: previousSha256, upstreamCommit: previousCommit, builtAt: new Date().toISOString() }, + "latest-cb34aa5": { + bin: olderBin, + sha256: olderSha256, + upstreamCommit: olderCommit, + builtAt: new Date().toISOString() + }, "legacy-2a3961c": { bin: legacyBin, sha256: legacySha256, @@ -102,11 +118,14 @@ try { fs.writeFileSync(path.join(root, "config", "compiler.json"), `${JSON.stringify(manifest, null, 2)}\n`, { mode: 0o600 }); run(latestBin, ["--help"]); run(previousBin, ["--help"]); + run(olderBin, ["--help"]); run(legacyBin, ["--help"]); console.log(`latest silverc commit: ${latestCommit}`); console.log(`latest silverc sha256: ${latestSha256}`); console.log(`previous silverc commit: ${previousCommit}`); console.log(`previous silverc sha256: ${previousSha256}`); + console.log(`older silverc commit: ${olderCommit}`); + console.log(`older silverc sha256: ${olderSha256}`); console.log(`legacy silverc commit: ${legacyCommit}`); console.log(`legacy silverc sha256: ${legacySha256}`); console.log(`manifest: ${path.join(root, "config", "compiler.json")}`); diff --git a/scripts/prepare-desktop-runtime.mjs b/scripts/prepare-desktop-runtime.mjs index 2c185df..090809f 100644 --- a/scripts/prepare-desktop-runtime.mjs +++ b/scripts/prepare-desktop-runtime.mjs @@ -16,7 +16,7 @@ function copy(relative) { fs.cpSync(path.join(root, relative), destination, { recursive: true, force: true }); } -const helperNames = ["silverc-latest", "silverc-cb34aa5", "silverc-legacy", "kascov-preflight"]; +const helperNames = ["silverc-latest", "silverc-6f9e078", "silverc-cb34aa5", "silverc-legacy", "kascov-preflight"]; for (const helper of helperNames) { const source = path.join(root, binaryRelativePath(helper)); if (!fs.existsSync(source)) throw new Error(`Pinned ${executableName(helper)} is missing. Run the matching setup command first.`); diff --git a/server/atomic-covenant-builder.mjs b/server/atomic-covenant-builder.mjs index 8ac0a36..93708ee 100644 --- a/server/atomic-covenant-builder.mjs +++ b/server/atomic-covenant-builder.mjs @@ -53,19 +53,34 @@ function outputFrom(descriptor, network, inputIndexById) { const value = BigInt(descriptor.valueSompi); if (value <= 0n) throw builderError("Every atomic output must have positive value"); if (descriptor.address) { + if (descriptor.genesisAuthorizerCovenantId) throw builderError("An address output cannot also be a fresh covenant lineage"); const address = String(descriptor.address).trim().toLowerCase(); if (!address.startsWith(`${network.prefix}:`)) throw builderError("Atomic output address is on the wrong network"); - return new kaspa.TransactionOutput(value, kaspa.payToAddressScript(address)); + return { output: new kaspa.TransactionOutput(value, kaspa.payToAddressScript(address)), genesisAuthorizingInput: null }; } const programHex = cleanHex(descriptor.programHex); + if (descriptor.genesisAuthorizerCovenantId) { + if (descriptor.covenantId) throw builderError("A fresh covenant lineage output must not declare a pre-existing covenant ID"); + const authorizerId = cleanHex(descriptor.genesisAuthorizerCovenantId, 32); + const authorizingInput = inputIndexById.get(authorizerId); + if (!Number.isSafeInteger(authorizingInput)) throw builderError("Fresh covenant lineage authorizer does not map to an input covenant ID"); + return { + output: new kaspa.TransactionOutput(value, kaspa.payToScriptHashScript(programHex)), + genesisAuthorizingInput: authorizingInput, + programSha256: sha256(Buffer.from(programHex, "hex")) + }; + } const covenantId = cleanHex(descriptor.covenantId, 32); const sourceInputIndex = inputIndexById.get(covenantId); if (!Number.isSafeInteger(sourceInputIndex)) throw builderError("Covenant continuation output does not map to an input covenant ID"); - return new kaspa.TransactionOutput( - value, - kaspa.payToScriptHashScript(programHex), - new kaspa.CovenantBinding(sourceInputIndex, new kaspa.Hash(covenantId)) - ); + return { + output: new kaspa.TransactionOutput( + value, + kaspa.payToScriptHashScript(programHex), + new kaspa.CovenantBinding(sourceInputIndex, new kaspa.Hash(covenantId)) + ), + genesisAuthorizingInput: null + }; } export function buildAtomicCovenantPackage({ network: networkId = "tn10", covenantInputs, outputs, p2pkAuthorization = null, feeSompi, provenance = {} }) { @@ -147,7 +162,8 @@ export function buildAtomicCovenantPackage({ network: networkId = "tn10", covena transactionInputs.push(authInput); } const inputIndexById = new Map(metadata.map((item) => [item.covenantId, item.index])); - const transactionOutputs = outputs.map((output) => outputFrom(output, network, inputIndexById)); + const outputPlans = outputs.map((output) => outputFrom(output, network, inputIndexById)); + const transactionOutputs = outputPlans.map((plan) => plan.output); const inputTotal = covenantInputs.reduce((sum, item) => sum + amountOf(item.utxo), 0n) + (p2pkAuthorization?.input ? amountOf(p2pkAuthorization.input.utxo) : 0n); const outputTotal = outputs.reduce((sum, output) => sum + BigInt(output.valueSompi), 0n); @@ -163,6 +179,28 @@ export function buildAtomicCovenantPackage({ network: networkId = "tn10", covena gas: 0n, payload: "" }); + const genesisGroups = new Map(); + outputPlans.forEach((plan, outputIndex) => { + if (!Number.isSafeInteger(plan.genesisAuthorizingInput)) return; + const indexes = genesisGroups.get(plan.genesisAuthorizingInput) || []; + indexes.push(outputIndex); + genesisGroups.set(plan.genesisAuthorizingInput, indexes); + }); + if (genesisGroups.size) { + transaction.populateGenesisCovenants([...genesisGroups].map(([authorizingInput, genesisOutputs]) => ({ + authorizingInput, + outputs: genesisOutputs + }))); + } + const genesisCovenants = outputPlans.flatMap((plan, outputIndex) => { + if (!Number.isSafeInteger(plan.genesisAuthorizingInput)) return []; + const covenantId = String(transaction.outputs[outputIndex].covenant?.covenantId || "").toLowerCase(); + if (!/^[0-9a-f]{64}$/.test(covenantId)) throw builderError("Fresh covenant lineage ID was not populated", "GENESIS_COVENANT_POPULATION_FAILED"); + if (Number(transaction.outputs[outputIndex].covenant?.authorizingInput) !== plan.genesisAuthorizingInput) { + throw builderError("Fresh covenant lineage has the wrong authorizing input", "GENESIS_COVENANT_AUTHORIZATION_MISMATCH"); + } + return [{ outputIndex, authorizingInputIndex: plan.genesisAuthorizingInput, covenantId, programSha256: plan.programSha256 }]; + }); const covenantSignatures = metadata.reduce((sum, item) => sum + (item.arguments || []).filter((argument) => argument?.kind === "signature").length, 0); const sigOps = Math.max(1, covenantSignatures + (p2pkAuthorization?.input ? 1 : 0)); if (!kaspa.updateTransactionMass(network.kaspaNetworkId, transaction, sigOps, true)) throw builderError("Atomic covenant transaction exceeds the current mass limit", "ATOMIC_MASS_LIMIT"); @@ -172,11 +210,13 @@ export function buildAtomicCovenantPackage({ network: networkId = "tn10", covena networkCaip2: caip2Network(network.id), transactionSafeJson: transaction.serializeToSafeJSON(), covenantInputs: metadata, + ...(genesisCovenants.length ? { genesisCovenants } : {}), ...(p2pkAuthorization?.metadata ? { p2pkAuthorization: { ...p2pkAuthorization.metadata, signed: false } } : {}), provenance: { kind: "silverstudio-atomic-covenant", atomic: true, inputCount: metadata.length, + genesisOutputCount: genesisCovenants.length, ...provenance } }; diff --git a/server/compiler.mjs b/server/compiler.mjs index 34fcb97..853f0ef 100644 --- a/server/compiler.mjs +++ b/server/compiler.mjs @@ -6,6 +6,7 @@ import { execFile } from "node:child_process"; import { promisify } from "node:util"; import { config } from "./config.mjs"; import { boundedText, sha256 } from "./security.mjs"; +import { analyzeKcc20Source } from "./kcc20-security.mjs"; const execFileAsync = promisify(execFile); @@ -65,7 +66,7 @@ function lineAt(source, offset) { } function latestHardeningFindings(source, target) { - if (!["cb34aa5e6a598f9e461c4ad7014279ba89251d8d", "6f9e078b1d8b5389212755183b592704de99fea5"].includes(target.upstreamCommit)) return []; + if (!["cb34aa5e6a598f9e461c4ad7014279ba89251d8d", "6f9e078b1d8b5389212755183b592704de99fea5", "14dce9a5ce8769cdfbd0c8965f8764fa9c325067"].includes(target.upstreamCommit)) return []; const findings = []; const declarations = new Map(); const functionPattern = /\b(?:entry|function)\s+([A-Za-z_][A-Za-z0-9_]*)\s*\(/g; @@ -136,7 +137,7 @@ function latestHardeningFindings(source, target) { } function scalarConversionFindings(source, target) { - if (target.upstreamCommit !== "6f9e078b1d8b5389212755183b592704de99fea5") return []; + if (!["6f9e078b1d8b5389212755183b592704de99fea5", "14dce9a5ce8769cdfbd0c8965f8764fa9c325067"].includes(target.upstreamCommit)) return []; const findings = []; const scalarByteCast = /\bbyte\s*\(\s*([^()\n]+?)\s*\)/g; let match; @@ -349,6 +350,7 @@ export async function staticAnalyze(source) { message: "review fee-output aliasing across multiple contract executions" }); } + findings.push(...analyzeKcc20Source(text)); return { kind: "heuristic-triage", findings, diff --git a/server/config.mjs b/server/config.mjs index 2233f12..f73c705 100644 --- a/server/config.mjs +++ b/server/config.mjs @@ -8,8 +8,9 @@ const ROOT = path.resolve(path.dirname(fileURLToPath(import.meta.url)), ".."); dotenv.config({ path: path.join(ROOT, ".env") }); dotenv.config({ path: path.join(ROOT, ".env.local"), override: true }); -export const SILVERSCRIPT_COMMIT = "6f9e078b1d8b5389212755183b592704de99fea5"; -export const SILVERSCRIPT_PREVIOUS_COMMIT = "cb34aa5e6a598f9e461c4ad7014279ba89251d8d"; +export const SILVERSCRIPT_COMMIT = "14dce9a5ce8769cdfbd0c8965f8764fa9c325067"; +export const SILVERSCRIPT_PREVIOUS_COMMIT = "6f9e078b1d8b5389212755183b592704de99fea5"; +export const SILVERSCRIPT_OLDER_COMMIT = "cb34aa5e6a598f9e461c4ad7014279ba89251d8d"; export const SILVERSCRIPT_LEGACY_COMMIT = "2a3961cadc76bb16a425042172ffe32481da89b5"; export const NETWORKS = Object.freeze({ @@ -56,12 +57,17 @@ function loadCompilerConfig() { ? stored : {}; const isPrevious = definition.upstreamCommit === SILVERSCRIPT_PREVIOUS_COMMIT; + const isOlder = definition.upstreamCommit === SILVERSCRIPT_OLDER_COMMIT; const environmentBin = isLatest ? process.env.SILVERC_LATEST_BIN || process.env.SILVERC_BIN - : isPrevious ? process.env.SILVERC_PREVIOUS_BIN : process.env.SILVERC_LEGACY_BIN; + : isPrevious ? process.env.SILVERC_PREVIOUS_BIN || process.env.SILVERC_6F9E078_BIN + : isOlder ? process.env.SILVERC_OLDER_BIN || process.env.SILVERC_CB34AA5_BIN + : process.env.SILVERC_LEGACY_BIN; const environmentSha = isLatest ? process.env.SILVERC_LATEST_SHA256 || process.env.SILVERC_SHA256 - : isPrevious ? process.env.SILVERC_PREVIOUS_SHA256 : process.env.SILVERC_LEGACY_SHA256; + : isPrevious ? process.env.SILVERC_PREVIOUS_SHA256 || process.env.SILVERC_6F9E078_SHA256 + : isOlder ? process.env.SILVERC_OLDER_SHA256 || process.env.SILVERC_CB34AA5_SHA256 + : process.env.SILVERC_LEGACY_SHA256; return [definition.id, Object.freeze({ ...definition, bin: path.resolve(environmentBin || local.bin || legacyStored.bin || path.join(ROOT, definition.binary)), @@ -71,7 +77,7 @@ function loadCompilerConfig() { })); const defaultProfileId = profiles[stored.defaultProfileId] ? stored.defaultProfileId - : compatibility.defaultProfileId || "latest-6f9e078"; + : compatibility.defaultProfileId || "latest-14dce9a"; return Object.freeze({ defaultProfileId, profiles: Object.freeze(profiles), diff --git a/server/kcc20-security.mjs b/server/kcc20-security.mjs new file mode 100644 index 0000000..87fbc21 --- /dev/null +++ b/server/kcc20-security.mjs @@ -0,0 +1,78 @@ +function finding(code, severity, line, messageZh, messageEn) { + return { code, severity, line, messageZh, messageEn, message: messageEn }; +} + +function lineAt(source, offset) { + return source.slice(0, Math.max(0, offset)).split("\n").length; +} + +function hasAll(source, patterns) { + return patterns.every((pattern) => pattern.test(source)); +} + +export function analyzeKcc20Source(source) { + const text = String(source || ""); + const stateShape = [/\bownerIdentifier\b/, /\bidentifierType\b/, /\bamount\b/, /\bisMinter\b/]; + if (!hasAll(text, stateShape)) return []; + + const findings = []; + const borrowed = /\bBORROWED_RECEIVE\b|\bborrow(?:ed|ing)?\b/i.exec(text); + if (borrowed) { + const rejectsMinterLeader = /require\s*\(\s*!\s*(?:prevStates\s*\[[^\]]+\]|[A-Za-z_]\w*)\.isMinter\s*\)/.test(text); + if (!rejectsMinterLeader) { + findings.push(finding( + "KCC201", + "error", + lineAt(text, borrowed.index), + "检测到免签借用接收路径，但没有明确拒绝 minter leader；该组合可能让任意调用者保留铸币权并增发。", + "A borrowed-receive path is present without an explicit minter-leader rejection; an unauthenticated leader may retain mint authority and inflate supply." + )); + } + + const preservesOwner = /(?:newStates\s*\[[^\]]+\]|[A-Za-z_]\w*)\.ownerIdentifier\s*==\s*(?:prevStates\s*\[[^\]]+\]|[A-Za-z_]\w*)\.ownerIdentifier/.test(text); + const preservesType = /(?:newStates\s*\[[^\]]+\]|[A-Za-z_]\w*)\.identifierType\s*==\s*(?:prevStates\s*\[[^\]]+\]|[A-Za-z_]\w*)\.identifierType/.test(text); + const amountIncreases = /(?:newStates\s*\[[^\]]+\]|[A-Za-z_]\w*)\.amount\s*>\s*(?:prevStates\s*\[[^\]]+\]|[A-Za-z_]\w*)\.amount/.test(text); + if (!preservesOwner || !preservesType || !amountIncreases) { + findings.push(finding( + "KCC202", + "error", + lineAt(text, borrowed.index), + "借用接收必须保持 ownerIdentifier 和 identifierType 不变，并要求 token amount 严格增加。", + "Borrowed receive must preserve ownerIdentifier and identifierType and require the token amount to increase strictly." + )); + } + + const preservesKas = /OpCovOutputIdx\s*\([\s\S]{0,240}?\.value\s*>=\s*[\s\S]{0,160}?OpCovInputIdx/.test(text) + || /tx\.outputs\s*\[[^\]]+\]\.value\s*>=\s*tx\.inputs\s*\[[^\]]+\]\.value/.test(text); + if (!preservesKas) { + findings.push(finding( + "KCC203", + "error", + lineAt(text, borrowed.index), + "借用接收没有明显保持或增加被借用 UTXO 的 KAS value；这可能把接收者的存储押金转走。", + "Borrowed receive does not visibly preserve or increase the borrowed UTXO KAS value, which may drain the recipient's storage deposit." + )); + } + + findings.push(finding( + "KCC204", + "manual-review", + lineAt(text, borrowed.index), + "借用会生成新的 outpoint，令旧的预签交易失效。若需要可借用后继续授权，应使用带域分离、网络、Covenant ID、lineage、nonce、收款方和金额的 checkMsgSig 意图，并做重放测试。", + "Borrowing creates a new outpoint and invalidates old pre-signed transactions. Borrow-surviving authorization needs a replay-tested checkMsgSig intent bound to a domain, network, covenant ID, lineage, nonce, recipient and amount." + )); + } + + const presenceAuthorization = /IDENTIFIER_(?:SCRIPT_HASH|COVENANT_ID)[\s\S]{0,900}?(?:OpInputCovenantId|scriptPublicKey)/.exec(text); + if (presenceAuthorization) { + findings.push(finding( + "KCC205", + "manual-review", + lineAt(text, presenceAuthorization.index), + "共同输入的存在只能证明控制主体参与了交易，不能自动证明它专门同意这次 token 转移；请审查共同花费脚本是否承诺完整交易或明确意图。", + "A co-present control input proves participation, not specific consent to this token transfer; review whether its spend commits to the complete transaction or an explicit intent." + )); + } + + return findings; +} diff --git a/server/project-store.mjs b/server/project-store.mjs index 35a7089..599107c 100644 --- a/server/project-store.mjs +++ b/server/project-store.mjs @@ -52,7 +52,7 @@ export class ProjectStore { requirements: String(input.requirements || ""), source: String(input.source || SAMPLE_SOURCE), constructorArgs: Array.isArray(input.constructorArgs) ? input.constructorArgs : [], - compilerProfileId: String(input.compilerProfileId || "latest-6f9e078"), + compilerProfileId: String(input.compilerProfileId || "latest-14dce9a"), templateParameters: input.templateParameters && typeof input.templateParameters === "object" ? input.templateParameters : {}, deployAmount: String(input.deployAmount || "0.5"), specification: input.specification || null, diff --git a/src-tauri/Cargo.lock b/src-tauri/Cargo.lock index 40231b7..144d5f6 100644 --- a/src-tauri/Cargo.lock +++ b/src-tauri/Cargo.lock @@ -66,7 +66,7 @@ checksum = "330a5ed07fa54e4702c9d6c4174f74427fc0ef6e214bbd677ae50a5099946470" [[package]] name = "app" -version = "0.2.8" +version = "0.2.9" dependencies = [ "log", "serde", diff --git a/src-tauri/Cargo.toml b/src-tauri/Cargo.toml index a688aee..11ecb65 100644 --- a/src-tauri/Cargo.toml +++ b/src-tauri/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "app" -version = "0.2.8" +version = "0.2.9" description = "Local-first Kaspa SilverScript covenant workbench" authors = ["w00c00"] license = "MIT" diff --git a/src-tauri/src/lib.rs b/src-tauri/src/lib.rs index cc00ee9..19054f3 100644 --- a/src-tauri/src/lib.rs +++ b/src-tauri/src/lib.rs @@ -35,7 +35,7 @@ fn append_backend_log(path: &Path, message: &str) { } } -fn runtime_paths(app: &AppHandle) -> Result<(PathBuf, PathBuf, PathBuf, PathBuf, PathBuf), String> { +fn runtime_paths(app: &AppHandle) -> Result<(PathBuf, PathBuf, PathBuf, PathBuf, PathBuf, PathBuf), String> { let resource_dir = app .path() .resource_dir() @@ -44,6 +44,7 @@ fn runtime_paths(app: &AppHandle) -> Result<(PathBuf, PathBuf, PathBuf, PathBuf, Ok(( resource_dir.join("runtime/app/server/index.mjs"), resource_dir.join(format!("runtime/app/bin/silverc-latest{executable_suffix}")), + resource_dir.join(format!("runtime/app/bin/silverc-6f9e078{executable_suffix}")), resource_dir.join(format!( "runtime/app/bin/silverc-cb34aa5{executable_suffix}" )), @@ -78,12 +79,13 @@ fn spawn_backend(app: &AppHandle) -> Result<(), String> { let log_path = app_data_dir.join("backend.log"); *app.state::().log_path.lock().unwrap() = Some(log_path.clone()); - let (script, latest_compiler, previous_compiler, legacy_compiler, preflight_engine) = + let (script, latest_compiler, previous_compiler, older_compiler, legacy_compiler, preflight_engine) = runtime_paths(app)?; let required = [ &script, &latest_compiler, &previous_compiler, + &older_compiler, &legacy_compiler, &preflight_engine, ]; @@ -114,6 +116,7 @@ fn spawn_backend(app: &AppHandle) -> Result<(), String> { let data_arg = child_process_path(&app_data_dir); let latest_compiler_arg = child_process_path(&latest_compiler); let previous_compiler_arg = child_process_path(&previous_compiler); + let older_compiler_arg = child_process_path(&older_compiler); let legacy_compiler_arg = child_process_path(&legacy_compiler); let preflight_engine_arg = child_process_path(&preflight_engine); @@ -127,6 +130,7 @@ fn spawn_backend(app: &AppHandle) -> Result<(), String> { .env("STUDIO_DATA_DIR", data_arg) .env("SILVERC_LATEST_BIN", latest_compiler_arg) .env("SILVERC_PREVIOUS_BIN", previous_compiler_arg) + .env("SILVERC_OLDER_BIN", older_compiler_arg) .env("SILVERC_LEGACY_BIN", legacy_compiler_arg) .env("KASCOV_PREFLIGHT_BIN", preflight_engine_arg) .spawn() diff --git a/src-tauri/tauri.conf.json b/src-tauri/tauri.conf.json index 40dfbcb..5c0ec5a 100644 --- a/src-tauri/tauri.conf.json +++ b/src-tauri/tauri.conf.json @@ -1,7 +1,7 @@ { "$schema": "../node_modules/@tauri-apps/cli/config.schema.json", "productName": "Kaspa SilverScript Studio", - "version": "0.2.8", + "version": "0.2.9", "identifier": "io.kaspa.silverscript-studio", "build": { "frontendDist": "../dist", diff --git a/src/kcc721-metadata.js b/src/kcc721-metadata.js index b8ce751..f72951d 100644 --- a/src/kcc721-metadata.js +++ b/src/kcc721-metadata.js @@ -11,6 +11,12 @@ function cleanText(value, label, maximum, required = false) { return text; } +function cleanImageHash(value) { + const text = String(value ?? "").trim().toLowerCase().replace(/^0x/, ""); + if (text && !/^[0-9a-f]{64}$/.test(text)) metadataError("NFT image SHA-256 must contain exactly 64 hexadecimal characters"); + return text; +} + function stable(value) { if (Array.isArray(value)) return value.map(stable); if (!value || typeof value !== "object") return value; @@ -26,6 +32,9 @@ export function canonicalKcc721Metadata(value) { const name = cleanText(input.name, "NFT name", 120, true); const description = cleanText(input.description, "NFT description", 2_000); const image = cleanText(input.image, "NFT image URI", 2_048); + const imageHash = cleanImageHash(input.imageHash ?? input.image_hash); + if (image && !/^(?:https:\/\/|ipfs:\/\/)/i.test(image)) metadataError("NFT image URI must use https:// or ipfs://"); + if (/^https:\/\//i.test(image) && !imageHash) metadataError("HTTPS NFT images require an immutable image SHA-256"); const externalUrl = cleanText(input.externalUrl ?? input.external_url, "NFT external URL", 2_048); let attributes = input.attributes ?? []; if (typeof attributes === "string") { @@ -45,6 +54,7 @@ export function canonicalKcc721Metadata(value) { name, ...(description ? { description } : {}), ...(image ? { image } : {}), + ...(imageHash ? { image_hash: imageHash } : {}), ...(externalUrl ? { external_url: externalUrl } : {}), ...(attributes.length ? { attributes } : {}) }; diff --git a/src/main.js b/src/main.js index bcc10f5..0064a11 100644 --- a/src/main.js +++ b/src/main.js @@ -255,7 +255,7 @@ function projectPayload() { requirements: $("#requirements").value, source: $("#source-editor").value, constructorArgs, - compilerProfileId: $("#compiler-profile").value || state.config?.compiler?.defaultProfileId || "latest-6f9e078", + compilerProfileId: $("#compiler-profile").value || state.config?.compiler?.defaultProfileId || "latest-14dce9a", templateParameters: state.project?.templateParameters || {}, deployAmount: $("#deploy-amount").value, specification: state.project?.specification || null, @@ -323,7 +323,7 @@ function loadProjectIntoUi(project) { $("#requirements").value = project.requirements || ""; $("#source-editor").value = project.source || ""; $("#constructor-args").value = JSON.stringify(project.constructorArgs || [], null, 2); - $("#compiler-profile").value = project.compilerProfileId || project.artifact?.compiler?.id || project.review?.compilerProfileId || state.config?.compiler?.defaultProfileId || "latest-6f9e078"; + $("#compiler-profile").value = project.compilerProfileId || project.artifact?.compiler?.id || project.review?.compilerProfileId || state.config?.compiler?.defaultProfileId || "latest-14dce9a"; renderCompilerProfileHelp(); $("#deploy-amount").value = Number(project.deployAmount || 0) >= 0.5 ? project.deployAmount : "0.5"; $("#deploy-network").value = project.network || "tn10"; @@ -437,7 +437,7 @@ function initializeTemplateValues(template) { if (values[field.id] !== undefined && values[field.id] !== "") continue; if (field.type === "heirs") values[field.id] = [{ address: "", shareBps: 5000 }, { address: "", shareBps: 5000 }]; else if (field.type === "duration") values[field.id] = { value: String(field.defaultValue || 1), unit: field.defaultUnit || "days" }; - else if (field.type === "kcc721Metadata") values[field.id] = structuredClone(field.default || { name: "", description: "", image: "", externalUrl: "", attributes: [] }); + else if (field.type === "kcc721Metadata") values[field.id] = structuredClone(field.default || { name: "", description: "", image: "", imageHash: "", externalUrl: "", attributes: [] }); else if (field.default !== undefined) values[field.id] = String(field.default); else if (field.defaultOffsetSeconds) values[field.id] = localDateTimeValue(Date.now() + Number(field.defaultOffsetSeconds) * 1000); else if (field.type === "address" && field.useConnectedWallet && state.wallet?.network === $("#deploy-network").value) values[field.id] = state.wallet.address; @@ -490,6 +490,7 @@ function renderTemplateParameterFields(template) {
+ @@ -979,7 +980,7 @@ function renderFindings(analysis) { const el = $("#findings"); if (!analysis) return; el.innerHTML = analysis.findingCount - ? `

${analysis.findingCount} heuristic findings

${analysis.findings.map((finding) => `
${esc(finding.code)}line ${finding.line}

${esc(finding.message)}

`).join("")}` + ? `

${analysis.findingCount} heuristic findings

${analysis.findings.map((finding) => `
${esc(finding.code)}${esc((finding.severity || "review").toUpperCase())} · line ${finding.line}

${esc(state.language === "zh" ? finding.messageZh || finding.message : finding.messageEn || finding.message)}

`).join("")}` : `
✓
${state.language === "zh" ? "启发式检查未发现问题" : "No heuristic findings"}

${state.language === "zh" ? "这不是安全证明，仍需完整编译和对抗性交易测试。" : "This is not a security proof. Full compilation and adversarial transaction tests are still required."}

`; } diff --git a/templates/commit-reveal/manifest.json b/templates/commit-reveal/manifest.json index 6fa0f66..39205bd 100644 --- a/templates/commit-reveal/manifest.json +++ b/templates/commit-reveal/manifest.json @@ -7,7 +7,7 @@ "descriptionEn": "Deployment fixes a domain and commitment; the recipient reveals payload and salt to claim, or the sender refunds after timeout. TN10 experimental only.", "experimentalOnly": true, "networkAllowlist": ["tn10"], - "compilerProfileId": "latest-6f9e078", + "compilerProfileId": "latest-14dce9a", "requirementsEn": "Release a whole escrow only when a domain-separated payload commitment is revealed, with an authenticated timeout refund.", "risk": "experimental", "sourceFile": "contract.sil", diff --git a/templates/groth16-proof-release/manifest.json b/templates/groth16-proof-release/manifest.json index e21a8a5..5548f8c 100644 --- a/templates/groth16-proof-release/manifest.json +++ b/templates/groth16-proof-release/manifest.json @@ -7,7 +7,7 @@ "descriptionEn": "Verify a Groth16 proof against a fixed verifying key and five 32-byte public inputs, then pay the full value minus an explicit fee to a fixed recipient.", "experimentalOnly": true, "networkAllowlist": ["tn10"], - "compilerProfileId": "latest-6f9e078", + "compilerProfileId": "latest-14dce9a", "descriptorProfileId": "silverstudio/groth16-proof-release/v1", "requirementsEn": "Release funds only after the pinned Kaspa script engine accepts a Groth16 proof for the exact five configured public inputs.", "risk": "experimental", diff --git a/templates/kcc721-experimental/manifest.json b/templates/kcc721-experimental/manifest.json index 33b778f..a4045f7 100644 --- a/templates/kcc721-experimental/manifest.json +++ b/templates/kcc721-experimental/manifest.json @@ -7,7 +7,7 @@ "descriptionEn": "Guided Collection metadata, NFT identity and owner setup with a locally computed digest. Four covenants are included for TN10 research; ordinary deployment remains disabled.", "experimentalOnly": true, "networkAllowlist": ["tn10"], - "compilerProfileId": "latest-6f9e078", + "compilerProfileId": "latest-14dce9a", "deploymentMode": "pack-only", "deploymentBlockedReason": "KCC721 is a four-contract TN10 experimental pack; its dedicated independently reviewed genesis/mint builder is not included yet, so standalone deployment is disabled", "requirementsEn": "Research UTXO-native NFTs whose immutable identity and current owner are enforced by a live covenant lineage.", @@ -21,7 +21,7 @@ { "id": "owner", "number": 3, "titleZh": "持有人与 Cell 金额", "titleEn": "Owner and cell value", "helpZh": "所有者使用 TN10 P2PK 钱包授权后续转移；Cell 金额不是 NFT 售价。", "helpEn": "The owner authorizes later transfers with a TN10 P2PK wallet; cell value is not the NFT sale price." } ], "parameters": [ - { "id": "metadata", "type": "kcc721Metadata", "step": "metadata", "argIndex": 2, "required": true, "default": { "name": "My TN10 NFT #1", "description": "TN10 experimental KCC721 research item", "image": "", "externalUrl": "", "attributes": [] }, "labelZh": "NFT 元数据", "labelEn": "NFT metadata", "helpZh": "摘要由以下内容确定，任何字符变化都会产生不同摘要。", "helpEn": "The digest is derived from these values; any character change produces a different digest." }, + { "id": "metadata", "type": "kcc721Metadata", "step": "metadata", "argIndex": 2, "required": true, "default": { "name": "My TN10 NFT #1", "description": "TN10 experimental KCC721 research item", "image": "", "imageHash": "", "externalUrl": "", "attributes": [] }, "labelZh": "NFT 元数据", "labelEn": "NFT metadata", "helpZh": "采用 KCC-0021 Draft 的图片完整性约束：HTTPS 图片必须同时填写 SHA-256；IPFS 可由 CID 校验。摘要由全部元数据确定。", "helpEn": "Uses the KCC-0021 Draft image-integrity rule: HTTPS images require SHA-256, while IPFS can be verified by CID. The digest commits to all metadata." }, { "id": "collectionMode", "type": "choice", "step": "identity", "required": true, "default": "preview", "options": [{ "value": "preview", "labelZh": "新集合 · 编译预览", "labelEn": "New collection · compile preview" }, { "value": "existing", "labelZh": "导入已有 TN10 集合", "labelEn": "Import existing TN10 collection" }], "labelZh": "集合来源", "labelEn": "Collection source", "helpZh": "编译预览使用内部全零哨兵且永远禁止部署；导入模式才接受真实 ID。", "helpEn": "Preview uses an internal all-zero sentinel and can never deploy; only import mode accepts a real ID." }, { "id": "collectionId", "type": "kcc721CollectionId", "step": "identity", "argIndex": 0, "required": false, "labelZh": "已核验 Collection Covenant ID", "labelEn": "Verified Collection covenant ID", "placeholderZh": "64 位十六进制；从创世输出获得", "placeholderEn": "64 hex characters from the genesis output", "helpZh": "不能使用交易 ID、地址或随机构造值；新集合预览无需填写。", "helpEn": "Do not use a transaction ID, address, or invented value; leave blank for a new-collection preview." }, { "id": "tokenId", "type": "integer", "step": "identity", "argIndex": 1, "minimum": 1, "maximum": 1000000000, "default": 1, "required": true, "labelZh": "Token ID", "labelEn": "Token ID", "helpZh": "必须在同一 Collection 内唯一，从 1 开始。", "helpEn": "Must be unique inside the Collection and starts at 1." }, diff --git a/templates/merkle-one-time-claim/manifest.json b/templates/merkle-one-time-claim/manifest.json index 1210f24..66af7a4 100644 --- a/templates/merkle-one-time-claim/manifest.json +++ b/templates/merkle-one-time-claim/manifest.json @@ -7,7 +7,7 @@ "descriptionEn": "A claimant consumes the UTXO once with a committed Merkle proof and salt; the refund wallet recovers it after timeout. TN10 experimental only.", "experimentalOnly": true, "networkAllowlist": ["tn10"], - "compilerProfileId": "latest-6f9e078", + "compilerProfileId": "latest-14dce9a", "requirementsEn": "Allow exactly one claimant to consume a Merkle-committed claim before a timeout, with a signed refund path afterwards.", "risk": "experimental", "sourceFile": "contract.sil", diff --git a/test/studio.test.mjs b/test/studio.test.mjs index 6a978c9..32b5327 100644 --- a/test/studio.test.mjs +++ b/test/studio.test.mjs @@ -681,26 +681,26 @@ contract Compatibility(pubkey owner) { } }`; const profiles = compilerProfiles(); - assert.deepEqual(profiles.map((profile) => profile.id), ["latest-6f9e078", "latest-cb34aa5", "legacy-2a3961c"]); + assert.deepEqual(profiles.map((profile) => profile.id), ["latest-14dce9a", "latest-6f9e078", "latest-cb34aa5", "legacy-2a3961c"]); assert.ok(profiles.every((profile) => profile.configured)); - const report = detectBreakingChanges(`${legacySource}\n// checkSigFromStack and tx.inputs[0].outpointTransactionHash.reverse()`, "latest-6f9e078"); + const report = detectBreakingChanges(`${legacySource}\n// checkSigFromStack and tx.inputs[0].outpointTransactionHash.reverse()`, "latest-14dce9a"); assert.equal(report.compatible, false); assert.ok(report.findings.some((finding) => finding.id === "entry-syntax" && finding.line === 3)); assert.ok(report.findings.some((finding) => finding.id === "reverse-removed" && finding.replacement === null)); - const migrated = migrateSourceToProfile(legacySource, "latest-6f9e078"); + const migrated = migrateSourceToProfile(legacySource, "latest-14dce9a"); assert.deepEqual(migrated.applied, ["entry-syntax"]); assert.equal(migrated.report.compatible, true); const owner = byteArray(new Uint8Array(32).fill(3)); const legacyArtifact = await compileContract({ source: legacySource, constructorArgs: [owner], compilerProfileId: "legacy-2a3961c" }); - const latestArtifact = await compileContract({ source: migrated.source, constructorArgs: [owner], compilerProfileId: "latest-6f9e078" }); + const latestArtifact = await compileContract({ source: migrated.source, constructorArgs: [owner], compilerProfileId: "latest-14dce9a" }); assert.equal(legacyArtifact.compiler.artifactBytecodeField, "script"); assert.equal(latestArtifact.compiler.artifactBytecodeField, "bytecode"); - const encoded = encodeConstructorArgsForProfile(migrated.source, [owner], "latest-6f9e078"); + const encoded = encodeConstructorArgsForProfile(migrated.source, [owner], "latest-14dce9a"); assert.equal(encoded[0].data.type_ref.base, "byte"); assert.deepEqual(encoded[0].data.type_ref.array_dims, [{ kind: "fixed", value: 32 }]); }); -test("latest compiler profile detects cb34aa5 hardening and 6f9e078 scalar conversions", async () => { +test("latest compiler profile detects cb34aa5, 6f9e078 and 14dce9a hardening", async () => { const duplicate = `pragma silverscript ^0.1.0; contract Duplicate() { function same() { require(true); } @@ -715,15 +715,17 @@ contract Shadow() { contract Ordered() { entry spend() { require("b" > "a"); } }`; - assert.ok(detectBreakingChanges(duplicate, "latest-6f9e078").findings.some((finding) => finding.id === "duplicate-function-name")); - assert.ok(detectBreakingChanges(shadow, "latest-6f9e078").findings.some((finding) => finding.id === "entry-parameter-shadows-field")); - assert.ok(detectBreakingChanges(ordered, "latest-6f9e078").findings.some((finding) => finding.id === "ordered-comparison-numeric-only")); - const conversions = detectBreakingChanges(`contract Cast() { entry run(int value, byte witness) { byte b = byte(value); int i = int(witness); } }`, "latest-6f9e078"); + assert.ok(detectBreakingChanges(duplicate, "latest-14dce9a").findings.some((finding) => finding.id === "duplicate-function-name")); + assert.ok(detectBreakingChanges(shadow, "latest-14dce9a").findings.some((finding) => finding.id === "entry-parameter-shadows-field")); + assert.ok(detectBreakingChanges(ordered, "latest-14dce9a").findings.some((finding) => finding.id === "ordered-comparison-numeric-only")); + const conversions = detectBreakingChanges(`contract Cast() { entry run(int value, byte witness) { byte b = byte(value); int i = int(witness); } }`, "latest-14dce9a"); assert.ok(conversions.findings.some((finding) => finding.id === "explicit-runtime-int-to-byte")); assert.ok(conversions.findings.some((finding) => finding.id === "explicit-byte-signedness")); - await assert.rejects(compileContract({ source: duplicate, compilerProfileId: "latest-6f9e078" }), /duplicate function name/i); - await assert.rejects(compileContract({ source: shadow, compilerProfileId: "latest-6f9e078" }), /conflicts with contract field/i); - await assert.rejects(compileContract({ source: ordered, compilerProfileId: "latest-6f9e078" }), /ordered comparison requires numeric operands/i); + assert.ok(detectBreakingChanges(`contract Split() { entry run(byte[] value) { byte[] left = value.split(1)[0]; } }`, "latest-14dce9a").findings.some((finding) => finding.id === "split-result-typing")); + assert.ok(detectBreakingChanges(`contract Loop() { entry run() { for (int i = 0; i < 3; i++) { i += 1; } } }`, "latest-14dce9a").findings.some((finding) => finding.id === "for-iterator-immutable")); + await assert.rejects(compileContract({ source: duplicate, compilerProfileId: "latest-14dce9a" }), /duplicate function name/i); + await assert.rejects(compileContract({ source: shadow, compilerProfileId: "latest-14dce9a" }), /(?:conflicts with contract field|already defined)/i); + await assert.rejects(compileContract({ source: ordered, compilerProfileId: "latest-14dce9a" }), /ordered comparison requires numeric operands/i); }); test("CovenantStateSource rejects false matches, records fallback and fails on ambiguity", async () => { @@ -890,6 +892,34 @@ contract AtomicCell() { entry spend() { require(true); } }`; assert.equal(signedTransaction.inputs[1].signatureScript, ""); assert.ok(signedTransaction.inputs[2].signatureScript.length > 0); + const lineage = buildAtomicCovenantPackage({ + network: "tn10", + covenantInputs: inputs, + outputs: [ + { programHex: artifact.programHex, covenantId: "aa".repeat(32), valueSompi: "12000000" }, + { programHex: artifact.programHex, genesisAuthorizerCovenantId: "bb".repeat(32), valueSompi: "12000000" } + ], + feeSompi: "1000000", + provenance: { operationId: "split-lineage" } + }); + assert.equal(lineage.genesisCovenants.length, 1); + assert.equal(lineage.genesisCovenants[0].outputIndex, 1); + assert.equal(lineage.genesisCovenants[0].authorizingInputIndex, 1); + assert.match(lineage.genesisCovenants[0].covenantId, /^[0-9a-f]{64}$/); + const lineageTransaction = JSON.parse(lineage.transactionSafeJson); + assert.equal(lineageTransaction.outputs[1].covenant.authorizingInput, 1); + assert.equal(lineageTransaction.outputs[1].covenant.covenantId, lineage.genesisCovenants[0].covenantId); + assert.equal(inspectExternalCovenantPackage(lineage).review.atomic, true); + assert.throws(() => buildAtomicCovenantPackage({ + network: "tn10", + covenantInputs: inputs, + outputs: [ + { programHex: artifact.programHex, covenantId: "aa".repeat(32), valueSompi: "12000000" }, + { programHex: artifact.programHex, covenantId: "bb".repeat(32), genesisAuthorizerCovenantId: "bb".repeat(32), valueSompi: "12000000" } + ], + feeSompi: "1000000" + }), /must not declare a pre-existing covenant ID/i); + const duplicate = inputs.map((item) => ({ ...item, utxo: { ...item.utxo } })); duplicate[1].utxo.covenantId = duplicate[0].utxo.covenantId; assert.throws(() => buildAtomicCovenantPackage({ network: "tn10", covenantInputs: duplicate, outputs: [{ address: owner.address, valueSompi: "24000000" }], feeSompi: "1000000" }), /one live input per covenant ID/i); @@ -1030,7 +1060,7 @@ test("TN10 Experimental KCC721 pack compiles all pinned contracts and blocks sta for (const contract of pack.packContracts) { const artifact = await compileContract({ source: contract.source, constructorArgs: contract.constructorArgs, compilerProfileId: pack.compilerProfileId }); assert.ok(artifact.programHex.length > 0, contract.id); - assert.equal(artifact.compiler.id, "latest-6f9e078"); + assert.equal(artifact.compiler.id, "latest-14dce9a"); compiled.set(contract.id, artifact); } const configured = templates.projectInput(pack.id, "tn10", configuredTemplateParameters(pack)); @@ -1041,6 +1071,10 @@ test("TN10 Experimental KCC721 pack compiles all pinned contracts and blocks sta assert.equal(configured.templateParameters.metadata.digest, expectedMetadataDigest); assert.deepEqual(configured.constructorArgs[0], byteArray(Buffer.alloc(32))); assert.deepEqual(configured.constructorArgs[2], byteArray(Buffer.from(expectedMetadataDigest, "hex"))); + assert.throws(() => canonicalKcc721Metadata({ name: "HTTPS NFT", image: "https://example.test/nft.png" }), /require an immutable image SHA-256/i); + const hashedImage = canonicalKcc721Metadata({ name: "HTTPS NFT", image: "https://example.test/nft.png", imageHash: "cd".repeat(32) }); + assert.equal(hashedImage.metadata.image_hash, "cd".repeat(32)); + assert.equal(canonicalKcc721Metadata({ name: "IPFS NFT", image: "ipfs://bafy-example" }).metadata.image, "ipfs://bafy-example"); assert.match(templates.deploymentBlockedReasons(pack.id, { project: configured })[0], /four-contract TN10 experimental pack/i); assert.throws(() => templates.projectInput(pack.id, "mainnet", configuredTemplateParameters(pack, "mainnet")), /restricted to tn10/i); @@ -1294,6 +1328,35 @@ contract Risky() { assert.equal(sameInputScript.findings.some((finding) => finding.code === "SS002"), false); }); +test("KCC20 security triage blocks borrowed minter and value-drain patterns", async () => { + const vulnerable = await staticAnalyze(`contract Token() { + struct State { byte[] ownerIdentifier; int identifierType; int amount; bool isMinter; } + const int BORROWED_RECEIVE = 7; + entry receive(State[] prevStates, State[] newStates) { + require(BORROWED_RECEIVE == 7); + } + }`); + assert.deepEqual( + vulnerable.findings.filter((item) => item.code.startsWith("KCC2")).map((item) => item.code), + ["KCC201", "KCC202", "KCC203", "KCC204"] + ); + assert.ok(vulnerable.findings.filter((item) => ["KCC201", "KCC202", "KCC203"].includes(item.code)).every((item) => item.severity === "error")); + + const hardened = await staticAnalyze(`contract Token() { + struct State { byte[] ownerIdentifier; int identifierType; int amount; bool isMinter; } + const int BORROWED_RECEIVE = 7; + entry receive(State[] prevStates, State[] newStates) { + require(!prevStates[0].isMinter); + require(newStates[0].ownerIdentifier == prevStates[0].ownerIdentifier); + require(newStates[0].identifierType == prevStates[0].identifierType); + require(newStates[0].amount > prevStates[0].amount); + require(tx.outputs[0].value >= tx.inputs[0].value); + } + }`); + assert.equal(hardened.findings.some((item) => ["KCC201", "KCC202", "KCC203"].includes(item.code)), false); + assert.ok(hardened.findings.some((item) => item.code === "KCC204" && item.severity === "manual-review")); +}); + test("deployment builder rejects source edited after compilation before network access", async () => { const publicKey = "79be667ef9dcbbac55a06295ce870b07029bfcdb2dce28d959f2815b16f81798"; const address = new kaspa.XOnlyPublicKey(publicKey).toAddress("testnet-10").toString(); From a81272de775bfcf831183cecaee9f568a0d5b6a5 Mon Sep 17 00:00:00 2001 From: w00c00 <46839097+w00c00@users.noreply.github.com> Date: Sat, 15 Aug 2026 14:22:51 +0800 Subject: [PATCH 2/2] fix: expose Studio 0.2.9 workflows in UI --- CHANGELOG.md | 2 + README.md | 2 + index.html | 57 ++++++++++++++++++++++ src/main.js | 114 ++++++++++++++++++++++++++++++++++++++++++- src/styles.css | 22 +++++++++ test/studio.test.mjs | 12 +++++ 6 files changed, 207 insertions(+), 2 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 5de3068..79ad386 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -9,6 +9,7 @@ - Aligned KCC721 metadata with the KCC-0021 draft image-integrity rule: HTTPS images require a committed SHA-256, while IPFS URIs remain content-addressed. - Updated the TN10 x402 interoperability profile to `kaspa-x402@alpha.10` (`78f2ada`) and documented stable `kaspa-escrow-v2` lineage plus partial-claim, top-up, and refund semantics without promoting it to a deployable built-in template. - Documented the community TN10 cross-Covenant fusion transaction as evidence only; unavailable source and reproducibility data remain an explicit admission blocker. +- Added a visible 0.2.9 capability hub and a real TN10 atomic-builder interface in the Operation Center; KCC20 scan, compiler, and KCC721 actions now open their actual workflows, while x402 is clearly labeled research-only. ## 0.2.9 — 2026-08-15（中文） @@ -19,6 +20,7 @@ - KCC721 元数据采用 KCC-0021 Draft 图片完整性规则：HTTPS 图片必须提交 SHA-256，IPFS URI 继续依赖内容寻址。 - TN10 x402 互操作档案升级到 `kaspa-x402@alpha.10`（`78f2ada`），记录稳定的 `kaspa-escrow-v2` lineage 与部分领取、追加和退款语义，但仍不伪装成可部署内置模板。 - 将社区 TN10 跨 Covenant fusion 交易作为链上证据记录；缺少源码与可复现数据仍是正式准入阻断项。 +- 增加醒目的 0.2.9 功能入口区和操作中心 TN10 原子构建界面；KCC20 检查、编译器和 KCC721 按钮会进入真实操作流程，x402 明确标为仅研究、不可部署。 ## 0.2.8 — 2026-08-10 diff --git a/README.md b/README.md index d7729ff..82445a6 100644 --- a/README.md +++ b/README.md @@ -50,6 +50,7 @@ AI 只负责生成候选方案和辅助审查，不能解锁钱包、签名交 - 通用 P2PK co-spend 授权只签指定普通钱包输入，并锁定整笔交易承诺；原子构建器支持 2–32 个不同 Covenant 输入、同 lineage 延续和由已核验输入授权的新 lineage 输出。 - KCC20 安全初筛覆盖借用接收、minter leader、Token 状态不变量、KAS value 保持、预签 outpoint 失效与共同输入授权边界。 - Kascov 是首选可视化和第二份报告来源，但不是签名、预检或广播的运行依赖。 +- 首页提供 0.2.9 功能入口；操作中心包含 TN10 原子多 Covenant JSON 构建与只读审查界面。研究档案会明确标记为不可部署。 ### 内置模板 @@ -308,6 +309,7 @@ AI is limited to candidate generation and review assistance. It cannot unlock wa - Generic isolated P2PK co-spend authorization plus an atomic builder for 2–32 distinct Covenant inputs, same-lineage continuations, and fresh lineages authorized by verified input Covenant IDs. - KCC20 security triage covers borrowed receive, minter leaders, token-state invariants, KAS-value preservation, pre-signed outpoint invalidation, and co-spend consent boundaries. - Kascov is the preferred visual and secondary-report layer, not a signing, preflight, or broadcast dependency. +- The home screen exposes the 0.2.9 workflows, and the Operation Center includes a TN10 atomic multi-Covenant JSON builder with read-only package review. Research profiles are visibly marked non-deployable. ### Built-in templates diff --git a/index.html b/index.html index 7fb69ea..bd5ebd5 100644 --- a/index.html +++ b/index.html @@ -38,6 +38,7 @@

契约项目

工具链 +
Studio 版本0.2.9
SilverScript Skill—
本地编译器—
默认网络TN10
@@ -67,6 +68,44 @@

契约项目

+
+
+
STUDIO 0.2.9 · VISIBLE CAPABILITIES

0.2.9 新功能入口

+ TN10 FIRST +
+

这里区分可直接操作的功能和仅供研究的互操作档案。点击可用功能会进入对应界面，不再把底层 API 当成已经完成的产品入口。

+
+
+ 可直接使用 +

最新编译器与兼容档案

+

使用官方 14dce9a 完整编译，并可切回 0.2.8、0.2.7 与旧版档案复现项目。

+ +
+
+ 可直接使用 +

KCC20 安全初筛

+

对当前源码检查借用接收、minter leader、Token 状态、KAS value 和共同授权边界。

+ +
+
+ TN10 实验功能 +

原子多 Covenant 构建器

+

构建 2–32 个 Covenant 输入的单笔交易，并支持由已核验输入授权创建新 lineage。

+ +
+
+ TN10 实验功能 +

KCC721 图片完整性

+

HTTPS 图片必须填写 SHA-256；IPFS 继续使用内容寻址。摘要会提交全部元数据。

+ +
+
+ 研究档案 · 不可部署 +

Kaspa x402 alpha.10

+

已记录 escrow-v2、部分领取、追加和退款语义；尚未达到内置模板的源码迁移、编译和对抗测试门槛。

+
+
+
COMPILE-VERIFIED · NO AI REQUIRED

功能模板

@@ -226,6 +265,24 @@

契约项目

+
+
ATOMIC COVENANT TRANSACTION

原子多 Covenant 构建器

TN10 · IDLE
+

粘贴完整构建描述，Studio 会核对 2–32 个不同 Covenant ID、redeem program、UTXO、金额和显式手续费。新 lineage 输出使用 genesisAuthorizerCovenantId 指向一个已核验输入；本步骤只构建并审查，不会签名或广播。

+
+
+ +
+
+
+ 构建边界 +
    +
  • 仅开放 TN10；主网请求会在界面立即拒绝。
    • +
  • 延续输出必须携带现有 covenantId，新 lineage 输出不能伪装成延续。
    • +
  • 构建成功后自动送入下方操作包审查，再由各授权钱包分别签名。
    • +
+
+
+
PORTABLE SIGNING PACKAGE

外部 Covenant 审查与签名

IDLE

可以审查并签署其他网站生成的完整交易包。只有 covenant ID／cov hash 不足以签名；包内还必须包含待签交易、完整 UTXO、redeem program、ABI、入口和参数。

diff --git a/src/main.js b/src/main.js index 0064a11..33bf50d 100644 --- a/src/main.js +++ b/src/main.js @@ -17,7 +17,13 @@ const copy = { connectWallet: "连接钱包", localWorkspace: "本地工作区", projects: "契约项目", toolchain: "工具链", skillKnowledge: "SilverScript Skill", compiler: "本地编译器", defaultNetwork: "默认网络", localSafety: "源码和项目保存在本机。AI 密钥仅通过本机回环写入加密保险库，钱包私钥永不离开钱包。", - savedLocal: "已保存到本机", design: "需求设计", source: "契约源码", compile: "编译审查", deploy: "签名上链", operationCenter: "操作中心", operationCenterHelp: "统一处理续签、多签、领取、退款和确认付款。导入操作包后会自动识别对应界面，但签名前仍必须核对程序哈希、交易承诺和全部输出。", + savedLocal: "已保存到本机", design: "需求设计", source: "契约源码", compile: "编译审查", deploy: "签名上链", operationCenter: "操作中心", operationCenterHelp: "统一处理续签、多签、领取、退款和确认付款。导入操作包后会自动识别对应界面，但签名前仍必须核对程序哈希、交易承诺和全部输出。", studioVersion: "Studio 版本", + releaseHubTitle: "0.2.9 新功能入口", releaseHubHelp: "这里区分可直接操作的功能和仅供研究的互操作档案。点击可用功能会进入对应界面，不再把底层 API 当成已经完成的产品入口。", availableNow: "可直接使用", tn10Experimental: "TN10 实验功能", researchProfile: "研究档案 · 不可部署", + latestCompilerTitle: "最新编译器与兼容档案", latestCompilerHelp: "使用官方 14dce9a 完整编译，并可切回 0.2.8、0.2.7 与旧版档案复现项目。", openCompiler: "打开编译审查", + kcc20GuardTitle: "KCC20 安全初筛", kcc20GuardHelp: "对当前源码检查借用接收、minter leader、Token 状态、KAS value 和共同授权边界。", scanCurrentSource: "检查当前源码", + atomicBuilderTitle: "原子多 Covenant 构建器", atomicBuilderShortHelp: "构建 2–32 个 Covenant 输入的单笔交易，并支持由已核验输入授权创建新 lineage。", openAtomicBuilder: "打开构建器", + kcc721IntegrityTitle: "KCC721 图片完整性", kcc721IntegrityHelp: "HTTPS 图片必须填写 SHA-256；IPFS 继续使用内容寻址。摘要会提交全部元数据。", openKcc721: "打开 KCC721 模板", x402ProfileHelp: "已记录 escrow-v2、部分领取、追加和退款语义；尚未达到内置模板的源码迁移、编译和对抗测试门槛。", + atomicBuilderHelp: "粘贴完整构建描述，Studio 会核对 2–32 个不同 Covenant ID、redeem program、UTXO、金额和显式手续费。新 lineage 输出使用 genesisAuthorizerCovenantId 指向一个已核验输入；本步骤只构建并审查，不会签名或广播。", atomicBuildJson: "构建描述 JSON", fillFormatExample: "填入格式示例", buildAndReviewAtomic: "构建并进入审查", atomicBoundaryTitle: "构建边界", atomicBoundaryOne: "仅开放 TN10；主网请求会在界面立即拒绝。", atomicBoundaryTwo: "延续输出必须携带现有 covenantId，新 lineage 输出不能伪装成延续。", atomicBoundaryThree: "构建成功后自动送入下方操作包审查，再由各授权钱包分别签名。", describeContract: "描述你需要的契约", requirementsPlaceholder: "例如：双方各锁定 100 TKAS，胜负由双方签名确认；超时后任何一方可以退款……", aiProvider: "AI 接口", model: "模型", generate: "生成规范与契约", reviewCurrent: "审查当前源码", aiBoundary: "AI 只生成候选方案。必须经过本地编译、静态检查、交易预检和人工确认后才能签名。", @@ -56,7 +62,13 @@ const copy = { connectWallet: "Connect wallet", localWorkspace: "Local workspace", projects: "Contract projects", toolchain: "Toolchain", skillKnowledge: "SilverScript Skill", compiler: "Local compiler", defaultNetwork: "Default network", localSafety: "Source and projects stay local. AI keys only cross the local loopback into the encrypted vault, and wallet keys never leave the wallet.", - savedLocal: "Saved locally", design: "Design", source: "Contract source", compile: "Compile & review", deploy: "Sign & deploy", operationCenter: "Operation Center", operationCenterHelp: "Handle renewals, multisig, claims, refunds and payment confirmations in one place. Imported packages select the matching interface automatically, but you must still verify the program hash, commitment and every output.", + savedLocal: "Saved locally", design: "Design", source: "Contract source", compile: "Compile & review", deploy: "Sign & deploy", operationCenter: "Operation Center", operationCenterHelp: "Handle renewals, multisig, claims, refunds and payment confirmations in one place. Imported packages select the matching interface automatically, but you must still verify the program hash, commitment and every output.", studioVersion: "Studio version", + releaseHubTitle: "What's new in 0.2.9", releaseHubHelp: "This area separates features you can operate now from research-only interoperability profiles. Available actions open their real workflow instead of presenting a backend API as a finished product surface.", availableNow: "Available now", tn10Experimental: "TN10 experimental", researchProfile: "Research profile · not deployable", + latestCompilerTitle: "Latest compiler and profiles", latestCompilerHelp: "Fully compile with official 14dce9a, or select the isolated 0.2.8, 0.2.7, and legacy profiles for reproducibility.", openCompiler: "Open compile review", + kcc20GuardTitle: "KCC20 security triage", kcc20GuardHelp: "Scan the current source for borrowed receive, minter leaders, token state, KAS value, and co-spend authorization boundaries.", scanCurrentSource: "Scan current source", + atomicBuilderTitle: "Atomic multi-Covenant builder", atomicBuilderShortHelp: "Build one transaction from 2–32 Covenant inputs, including fresh lineages authorized by verified inputs.", openAtomicBuilder: "Open builder", + kcc721IntegrityTitle: "KCC721 image integrity", kcc721IntegrityHelp: "HTTPS images require SHA-256; IPFS remains content-addressed. The digest commits to all metadata.", openKcc721: "Open KCC721 template", x402ProfileHelp: "The escrow-v2, partial claim, top-up, and refund semantics are recorded, but source migration, compilation, and adversarial-test admission gates are not yet satisfied.", + atomicBuilderHelp: "Paste a complete build descriptor. Studio verifies 2–32 distinct Covenant IDs, redeem programs, UTXOs, amounts, and the explicit fee. A fresh lineage uses genesisAuthorizerCovenantId to reference one verified input. This step only builds and reviews; it never signs or broadcasts.", atomicBuildJson: "Build descriptor JSON", fillFormatExample: "Fill format example", buildAndReviewAtomic: "Build and review", atomicBoundaryTitle: "Builder boundaries", atomicBoundaryOne: "TN10 only; mainnet requests are rejected immediately by the UI.", atomicBoundaryTwo: "Continuation outputs require an existing covenantId; fresh lineages cannot masquerade as continuations.", atomicBoundaryThree: "Successful builds enter the package review below, where each authorized wallet signs separately.", describeContract: "Describe the contract you need", requirementsPlaceholder: "Example: both parties lock 100 TKAS; a mutually signed result releases the pot, with a timeout refund path…", aiProvider: "AI provider", model: "Model", generate: "Generate spec & contract", reviewCurrent: "Review current source", aiBoundary: "AI produces a candidate only. Local compilation, static checks, transaction preflight and human confirmation are required before signing.", @@ -976,6 +988,98 @@ async function analyzeSource() { } catch (error) { toast(error.message, "bad"); } } +async function scanCurrentKcc20Source() { + if (!state.project) { + selectTab("source"); + return toast(state.language === "zh" ? "请先新建或打开一个工作，再粘贴 KCC20 源码" : "Create or open a work, then paste the KCC20 source", "warn"); + } + try { + const { analysis } = await api("/api/contracts/analyze", { method: "POST", body: JSON.stringify({ source: $("#source-editor").value }) }); + renderFindings(analysis); + selectTab("compile"); + const findings = analysis.findings.filter((finding) => String(finding.code || "").startsWith("KCC2")); + toast(findings.length + ? (state.language === "zh" ? `发现 ${findings.length} 个 KCC20 专项检查项` : `${findings.length} KCC20-specific finding(s)`) + : (state.language === "zh" ? "未发现 KCC20 专项风险模式；仍需完整编译和交易级审查" : "No KCC20-specific pattern found; full compilation and transaction-level review are still required"), + findings.length ? "warn" : "good"); + } catch (error) { toast(error.message, "bad"); } +} + +function openLatestCompiler() { + selectTab("compile"); + const latest = state.config?.compiler?.defaultProfileId; + if (latest) $("#compiler-profile").value = latest; + renderCompilerProfileHelp(); + $("#compiler-profile")?.scrollIntoView({ behavior: "smooth", block: "center" }); +} + +function openKcc721Template() { + selectTab("design"); + selectTemplate("kcc721-experimental"); + requestAnimationFrame(() => $("#template-preview")?.scrollIntoView({ behavior: "smooth", block: "start" })); +} + +function openAtomicBuilder() { + selectTab("operations"); + requestAnimationFrame(() => $("#atomic-builder-card")?.scrollIntoView({ behavior: "smooth", block: "start" })); +} + +function atomicBuilderExample() { + const script = "aa20ce57216285125006ec18197bd8184221cefa559bb0798410d99a5bba5b07cd1d87"; + const exampleInput = (transactionId, covenantId, amount) => ({ + utxo: { + outpoint: { transactionId, index: 0 }, + amount, + scriptPublicKey: { version: 0, script }, + blockDaaScore: "0", + isCoinbase: false, + covenantId + }, + programHex: "51", + abi: { contract: "REPLACE_WITH_COMPILED_ABI" }, + entrypoint: "REPLACE_WITH_ENTRYPOINT", + arguments: [] + }); + $("#atomic-builder-input").value = JSON.stringify({ + network: "tn10", + covenantInputs: [ + exampleInput("aa".repeat(32), "11".repeat(32), "50000000"), + exampleInput("bb".repeat(32), "22".repeat(32), "50000000") + ], + outputs: [ + { programHex: "REPLACE_WITH_COMPILED_PROGRAM", covenantId: "11".repeat(32), valueSompi: "50000000" }, + { programHex: "REPLACE_WITH_COMPILED_PROGRAM", genesisAuthorizerCovenantId: "22".repeat(32), valueSompi: "49000000" } + ], + feeSompi: "1000000", + provenance: { operationId: "REPLACE_WITH_OPERATION_ID" } + }, null, 2); + toast(state.language === "zh" ? "已填入结构示例；必须替换全部 REPLACE 值和示例 UTXO 后才能构建" : "Format example filled. Replace every REPLACE value and example UTXO before building", "warn"); +} + +async function buildAtomicFromUi() { + const button = $("#atomic-builder-build"); + button.disabled = true; + $("#atomic-builder-status").textContent = "TN10 · BUILDING"; + try { + const descriptor = JSON.parse($("#atomic-builder-input").value || "{}"); + if ((descriptor.network || "tn10") !== "tn10") throw new Error(state.language === "zh" ? "0.2.9 原子构建器界面仅开放 TN10" : "The 0.2.9 atomic-builder UI is TN10 only"); + descriptor.network = "tn10"; + if (JSON.stringify(descriptor).includes("REPLACE_WITH_")) throw new Error(state.language === "zh" ? "请先替换格式示例中的全部 REPLACE 值" : "Replace every REPLACE value in the format example first"); + const payload = await api("/api/external-covenants/build-atomic", { method: "POST", body: JSON.stringify(descriptor) }); + state.externalPackage = payload.package; + state.externalReview = payload.review; + $("#external-covenant-package").value = JSON.stringify(payload.package, null, 2); + renderExternalCovenantReview(payload.review); + $("#external-covenant-status").textContent = "REVIEWED"; + $("#atomic-builder-status").textContent = "TN10 · BUILT"; + $("#external-covenant-package")?.scrollIntoView({ behavior: "smooth", block: "center" }); + toast(state.language === "zh" ? "原子操作包已构建，并送入下方只读审查" : "Atomic package built and loaded into read-only review", "good"); + } catch (error) { + $("#atomic-builder-status").textContent = "TN10 · REJECTED"; + toast(error.message, "bad"); + } finally { button.disabled = false; } +} + function renderFindings(analysis) { const el = $("#findings"); if (!analysis) return; @@ -2050,6 +2154,10 @@ $("#apply-ai").addEventListener("click", applyCandidate); $("#discard-ai").addEventListener("click", () => { state.candidate = null; $("#ai-result").hidden = true; $("#ai-actions").hidden = true; $("#ai-empty").hidden = false; $("#ai-status").textContent = tr("waitingInput"); }); $("#format-source").addEventListener("click", normalizeWhitespace); $("#analyze-source").addEventListener("click", analyzeSource); +$("#feature-open-compiler").addEventListener("click", openLatestCompiler); +$("#feature-scan-kcc20").addEventListener("click", scanCurrentKcc20Source); +$("#feature-open-atomic").addEventListener("click", openAtomicBuilder); +$("#feature-open-kcc721").addEventListener("click", openKcc721Template); $("#compile-contract").addEventListener("click", compileCurrent); $("#check-compatibility").addEventListener("click", () => checkCompilerCompatibility(true).catch((error) => toast(error.message, "bad"))); $("#migrate-source").addEventListener("click", applySafeSourceMigration); @@ -2098,6 +2206,8 @@ $("#recovery-dialog").addEventListener("close", () => { }); $("#wallet-dialog").addEventListener("close", clearWalletSecrets); $("#build-draft").addEventListener("click", buildAndBroadcast); +$("#atomic-builder-example").addEventListener("click", atomicBuilderExample); +$("#atomic-builder-build").addEventListener("click", buildAtomicFromUi); $("#external-covenant-inspect").addEventListener("click", inspectExternalCovenant); $("#external-covenant-sign").addEventListener("click", signExternalCovenant); $("#external-covenant-broadcast").addEventListener("click", broadcastExternalCovenant); diff --git a/src/styles.css b/src/styles.css index 5ccfd5d..f6af6d4 100644 --- a/src/styles.css +++ b/src/styles.css @@ -130,6 +130,18 @@ button:disabled { opacity: .45; cursor: not-allowed; transform: none !important; .panel.active { display: block; animation: enter .22s ease-out; } @keyframes enter { from { opacity: 0; transform: translateY(4px); } } .panel-grid { display: grid; gap: 18px; } +.release-hub { border: 1px solid rgba(81,246,193,.32); background: linear-gradient(135deg, rgba(81,246,193,.09), rgba(81,246,193,.015) 55%); padding: 20px 24px; margin-bottom: 18px; } +.release-hub h3 { margin: 4px 0 0; font-size: 20px; } +.release-hub-intro { color: var(--muted); font-size: 11px; line-height: 1.65; margin: 11px 0 0; max-width: 900px; } +.release-feature-grid { display: grid; grid-template-columns: repeat(5, minmax(0, 1fr)); gap: 9px; margin-top: 16px; } +.release-feature { min-width: 0; min-height: 190px; border: 1px solid var(--line); background: #090d0f; padding: 14px; display: flex; flex-direction: column; align-items: flex-start; } +.release-feature.live { border-top-color: var(--mint); } +.release-feature.research { border-top-color: var(--amber); } +.release-feature-status { color: var(--mint); font: 8px "DM Mono"; letter-spacing: .08em; text-transform: uppercase; } +.release-feature.research .release-feature-status { color: var(--amber); } +.release-feature h4 { margin: 11px 0 0; font-size: 13px; } +.release-feature p { color: var(--muted); font-size: 9px; line-height: 1.6; margin: 9px 0 14px; } +.release-feature button { width: 100%; margin-top: auto; } .template-section { border: 1px solid var(--line); background: var(--panel); padding: 20px 24px; margin-bottom: 18px; } .template-section h3 { margin: 4px 0 0; font-size: 18px; } .template-intro { color: var(--muted); font-size: 11px; line-height: 1.6; margin: 11px 0 0; } @@ -202,6 +214,12 @@ button:disabled { opacity: .45; cursor: not-allowed; transform: none !important; .design-grid { grid-template-columns: minmax(360px, .9fr) minmax(360px, 1.1fr); } .compile-grid, .deploy-grid { grid-template-columns: minmax(340px, .8fr) minmax(420px, 1.2fr); } .external-covenant-card { min-height: 0; margin-top: 18px; } +.atomic-builder-card { min-height: 0; margin-top: 18px; } +.atomic-builder-grid { display: grid; grid-template-columns: minmax(420px, 1.25fr) minmax(260px, .75fr); gap: 18px; margin-top: 15px; } +.atomic-builder-grid textarea { width: 100%; min-height: 270px; resize: vertical; padding: 12px; font: 10px/1.55 "DM Mono"; } +.atomic-builder-boundary { border: 1px solid rgba(244,184,96,.32); background: rgba(244,184,96,.05); padding: 15px; } +.atomic-builder-boundary strong { color: var(--amber); font-size: 11px; } +.atomic-builder-boundary ul { margin: 12px 0 0; padding-left: 18px; color: var(--muted); font-size: 10px; line-height: 1.8; } .lifecycle-card { min-height: 0; margin-top: 18px; } .operation-center-hero { border: 1px solid var(--line); background: linear-gradient(120deg, rgba(81,246,193,.08), transparent 55%); padding: 22px 24px; display: flex; justify-content: space-between; gap: 24px; align-items: flex-start; } .operation-center-hero h2 { margin: 6px 0 8px; font-size: 24px; } @@ -425,6 +443,8 @@ label input, label select { height: 42px; padding: 0 11px; text-transform: none; .workspace { padding: 22px 18px 40px; } .design-grid, .compile-grid, .deploy-grid { grid-template-columns: 1fr; } .external-covenant-grid { grid-template-columns: 1fr; } + .release-feature-grid { grid-template-columns: repeat(2, minmax(0, 1fr)); } + .atomic-builder-grid { grid-template-columns: 1fr; } .lifecycle-overview-grid { grid-template-columns: repeat(2, minmax(0, 1fr)); } .example-grid { grid-template-columns: 1fr; } .lifecycle-signers > div { grid-template-columns: 1fr; } @@ -449,6 +469,8 @@ label input, label select { height: 42px; padding: 0 11px; text-transform: none; .project-header { align-items: flex-start; } .save-state { display: none; } .tabs { overflow-x: auto; grid-template-columns: repeat(5, minmax(112px, 1fr)); } + .release-feature-grid { grid-template-columns: 1fr; } + .release-feature { min-height: auto; } .lifecycle-overview-grid { grid-template-columns: 1fr; } .card { padding: 17px; min-height: auto; } .provider-row, .form-grid, .artifact-grid, .spec-columns { grid-template-columns: 1fr; } diff --git a/test/studio.test.mjs b/test/studio.test.mjs index 32b5327..2fcedac 100644 --- a/test/studio.test.mjs +++ b/test/studio.test.mjs @@ -146,6 +146,18 @@ test("desktop runtime includes server-imported KCC721 metadata code", () => { assert.match(prepareDesktop, /src\/kcc721-metadata\.js/); }); +test("0.2.9 capabilities have visible bilingual UI entrypoints", () => { + const html = fs.readFileSync(new URL("../index.html", import.meta.url), "utf8"); + const uiSource = fs.readFileSync(new URL("../src/main.js", import.meta.url), "utf8"); + for (const id of ["feature-open-compiler", "feature-scan-kcc20", "feature-open-atomic", "feature-open-kcc721", "atomic-builder-input", "atomic-builder-build"]) { + assert.match(html, new RegExp(`id=["']${id}["']`), `${id} must be visible in the app shell`); + } + assert.match(html, /Research profile · not deployable|研究档案 · 不可部署/); + assert.match(uiSource, /api\/external-covenants\/build-atomic/); + assert.match(uiSource, /0\.2\.9 atomic-builder UI is TN10 only/); + assert.match(uiSource, /scanCurrentKcc20Source/); +}); + test("desktop helpers use native executable names on Windows and Unix", () => { assert.equal(executableName("silverc-latest", "win32"), "silverc-latest.exe"); assert.equal(executableName("silverc-latest", "linux"), "silverc-latest");