@aufbau/verifier
在浏览器或节点中验证 MM0 源文件及其 MMB 证明 .
安装
npm install @aufbau/verifier
使用量
import { loadVerifier } from "@aufbau/verifier";
const verifier = await loadVerifier();
const result = verifier.verifyPair(mm0Text, mmbBytes);
if (!result.ok) {
console.error(result.diagnostics);
}
mm0Text 是一个字符串. mmbBytes 可能是一个 Uint8Array, (中文(简体) ), ArrayBuffer,或
另一个已键入阵列视图。 其结果包括核查元数据和
durationMs。 。 。 .
默认加载器会在浏览器和节点读取包的WebAssembly文件.
过 wasmUrl, (中文(简体) ), wasmBytes, (中文(简体) ), module,或 instance 改为 loadVerifier() 改为
控制装入.
关于 @aufbau/verifier 的常见问题
@aufbau/verifier 是什么？
用于浏览器和JavaScript运行时间的Metamath Zero验证器.
如何安装 @aufbau/verifier？
在项目目录运行 npm install @aufbau/verifier，或使用 pnpm add / yarn add / bun add。
@aufbau/verifier 支持 TypeScript 吗？
该包的 package.json 没有声明类型入口。需要类型提示时，可以在 npm 上查找社区维护的 @types/aufbau__verifier 是否存在。
@aufbau/verifier 支持 ESM 还是 CommonJS？
以 ES Module 形式发布，推荐使用 import 引入。在 CommonJS 项目中，Node.js 20.19+ / 22.12+ 可以直接 require() 不含顶层 await 的 ES Module，更早的版本需要改用动态 import()。
@aufbau/verifier 可以商用吗？
@aufbau/verifier 使用 Apache-2.0 许可。宽松许可：允许商业使用、修改和再分发，并附带明确的专利授权；分发时需保留许可与 NOTICE 文件，修改过的文件要注明改动。以上为概括，不构成法律意见，请以许可原文为准。
@aufbau/verifier 的下载量有多少？
根据 npm 官方下载统计，@aufbau/verifier 在 2026/10/07 – 2026/11/05 这 30 天内被下载 2,228 次，日均约 74 次。下载量会把 CI 构建、镜像同步和作为其他包依赖的安装一并计入，适合横向比较热度，不能直接等同于使用人数。
@aufbau/verifier 还在维护吗？
最新版本 0.0.19 发布于 2026/11/12（1 天前）；至今共发布 95 个版本，其中过去 12 个月发布了 95 个；首次发布于 2026/05/04。发布频率只是参考信号：功能稳定的工具可能很少需要更新，建议结合源码仓库的 issue 和提交记录判断。