quantum-safe-file-attestation

【开发与工程】Quantum-Safe File Attestation: Issue and verify formally verified. Use when an agent needs quantum safe file attestation, sign software releases with formally verified post quantum cryptography, create proof carrying attestation certificates with lean 4 verified acceptance kernels, verify file integrity with nist standardized ml dsa 65 digital signat…

独立 GitHub 快照 · 自动分类 · 以原作者文档为准