# @atlasauth/pca-verified-core 中文文档

规范地址：https://npmcn.com/package/%40atlasauth/pca-verified-core/

版本：0\.4\.3
npm 元数据更新时间：2026-10-27T19:47:26.949Z
中文译文更新时间：2026-11-07T02:26:08.014Z
软件包许可：MIT

本文由上游 README 翻译，可能存在偏差，请结合原文核对 API、命令与配置。版权与许可归原作者所有。

原始 npm 页面：https://www.npmjs.com/package/%40atlasauth/pca-verified-core
原文对照：https://npmcn.com/package/%40atlasauth/pca-verified-core/?lang=original
项目主页：https://github.com/Atlas-Authorization/pca#readme
源码仓库：https://github.com/Atlas-Authorization/pca

## 关键信息（来自 npm 元数据）

- 包体积（解压后）：1 MB，50 个文件
- 模块格式：CommonJS
- TypeScript 类型：包内自带
- Node.js 要求：\>=20
- 运行依赖：1 个
- 首次发布：2026-10-12T02:19:13.900Z
- 最新版本发布：2026-10-27T19:47:26.743Z
- 近 30 天下载量：3176（2026-10-07 至 2026-11-05，npm 官方下载统计）
- 已发布版本数：5（近 12 个月 5 个）

## 中文简介

PCA验证员的裁判逻辑(能力-链走和衰减,阈值明显作用计数,再玩后卫,检查/核查组合器,套接字和PQ-pin绑定规则),由Dafny书面和机器证明并被编译为JavaScript.

## 安装

```sh
npm install @atlasauth/pca-verified-core
```

也可以使用：`pnpm add @atlasauth/pca-verified-core`、`yarn add @atlasauth/pca-verified-core`、`bun add @atlasauth/pca-verified-core`

## README

# @atlasauth/pca-核查-核心

这个 **裁决逻辑** 证明机构(PCA)核查人,用 [达夫尼](https://dafny.org/),机器证明 用于所有输入(在链长、共享计数或操作序列上没有界限),并编译为JavaScript.

它不做密码学。 你用原始人来评估签名、散列和剖析 并交出 **结果** (booleans, small enums, 整数, 不透明消息, 懒惰的纯关闭) 此套件, 决定:

| 区域 | 函数 | 证明(见 `docs/pca/security/verified-core.md`(中文(简体) ) |
| --- | --- | --- |
| 能力链 | `decideChain` | 顺序 + 第一次失败、 深度约束( 16) 、 仅附加提醒( 延长) 、 合理性 + 完整性 |
| 阈值 | `decideThreshold` | 每个角色1个关键/每个关键角色1个,计 **独立** 角色, `ok` 如果f数为 qq t, t 在{1,2,3} |
| 重放后卫 | `replayPre`, (中文(简体) ), `replayNonceStage`, (中文(简体) ), `replayDecide`, (中文(简体) ), `VerifiedReplayStoreModel` | 拒绝命令,接受意味着每个先决条件和存储答案,不重复播放自由,严格增加计数器 |
| 检查折叠 | `CoreState`, (中文(简体) ), `VerdictState`, (中文(简体) ), `enforceRequired`, (中文(简体) ), `withDeniedFallback` | 允许没有检查失败, 第一个原因胜出, 仅附加原因, 全部需要检查 `pass` |
| 每个检查规则 | `audienceStatus`, (中文(简体) ), `validityDecision`, (中文(简体) ), `grantRefBoundStatus`, (中文(简体) ), `counterStatus`, (中文(简体) ), `suitePolicy`, (中文(简体) ), `pqBinding`, (中文(简体) ), `leafDecision`, (中文(简体) ), `thresholdRule`, (中文(简体) ), `reversibilityDecision`,, , , , , , , , . | f-2 PQ 装订 F-1 钩子加固 t |

```ts
import { decideChain, decideThreshold, CoreState, validityDecision } from '@atlasauth/pca-verified-core';

validityDecision(true, iat, exp, now); // 'pass' | 'expired' | 'future' | ...
```

API中没有 Dafny 运行时类型 。 生成的 JavaScript 在 `generated/pca_core.js`; 重新生成和 以 `formal/dafny/build.sh`,并检查所承诺的文件是否与新编译的字节相同 `formal/dafny/build.sh --check` (标注) `check:generated`),要求Dafny 4.11.0 (z3 4.12.1),如果不是本地的,则在云盒上运行.

唯一的运行时间依赖是 `bignumber.js` (达夫尼的整数表示.

## 常见问题

### @atlasauth/pca-verified-core 是什么？

PCA验证员的裁判逻辑\(能力-链走和衰减,阈值明显作用计数,再玩后卫,检查/核查组合器,套接字和PQ-pin绑定规则\),由Dafny书面和机器证明并被编译为JavaScript\.

### 如何安装 @atlasauth/pca-verified-core？

在项目目录运行 npm install @atlasauth/pca-verified-core，或使用 pnpm add / yarn add / bun add。

### @atlasauth/pca-verified-core 支持 TypeScript 吗？

支持。包内自带 TypeScript 类型声明（package\.json 声明了 types 入口），安装后即可获得类型提示，无需再安装 @types 包。

### @atlasauth/pca-verified-core 支持 ESM 还是 CommonJS？

以 CommonJS 形式发布，可以直接 require\(\)；在 ES Module 项目中也可以用 import 引入（Node\.js 会把 module\.exports 作为默认导出）。

### @atlasauth/pca-verified-core 需要什么版本的 Node\.js？

package\.json 的 engines 字段要求 Node\.js \>=20。版本不符时 npm 默认只给出警告，开启 engine-strict 后会拒绝安装。

### @atlasauth/pca-verified-core 可以商用吗？

@atlasauth/pca-verified-core 使用 MIT 许可。宽松许可：允许商业使用、修改和再分发，通常只需在分发时保留原版权与许可声明。以上为概括，不构成法律意见，请以许可原文为准。

### @atlasauth/pca-verified-core 的下载量有多少？

根据 npm 官方下载统计，@atlasauth/pca-verified-core 在 2026/10/07 – 2026/11/05 这 30 天内被下载 3,176 次，日均约 106 次。下载量会把 CI 构建、镜像同步和作为其他包依赖的安装一并计入，适合横向比较热度，不能直接等同于使用人数。

### @atlasauth/pca-verified-core 还在维护吗？

最新版本 0\.4\.3 发布于 2026/10/28（11 天前）；至今共发布 5 个版本，其中过去 12 个月发布了 5 个；首次发布于 2026/10/12。发布频率只是参考信号：功能稳定的工具可能很少需要更新，建议结合源码仓库的 issue 和提交记录判断。