证明-承接局核心:能克活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞活塞.
FN-DSA(Falcon,FIPS 206)为@atlasauth/pca的签名后端:FN-DSA-512 / FN-DSA-1024 keygen,由被审核的纯Rust fn-dsa 板条箱家族(Thomas Pornin)编译为WebAsembly. 核查是常设仲裁院核查人的公用钥匙
LESS(代码等同,NIST额外签名 第2轮候选) 签名后端为@atlasauth/pca:官方的LESS参考 C编译为WebAssembly,并配有可移植的无依赖加载器(Node QQ20,浏览器,Deno, Bun,边缘). 由th验证
PCA验证员的裁判逻辑(能力-链走和衰减,阈值明显作用计数,再玩后卫,检查/核查组合器,套接字和PQ-pin绑定规则),由Dafny书面和机器证明并被编译为JavaScript.