随机数与熵:从 LCG 到 CSPRNG 的工程实践
系统讲解随机数工程:真随机与伪随机的分野、LCG/Mersenne Twister/PCG 的取舍、种子与可复现性、CSPRNG 与操作系统熵池、采样洗牌的拒绝采样、分布变换、UUID 与 Token 中的随机,以及常见误用与安全陷阱。
tag
系统讲解随机数工程:真随机与伪随机的分野、LCG/Mersenne Twister/PCG 的取舍、种子与可复现性、CSPRNG 与操作系统熵池、采样洗牌的拒绝采样、分布变换、UUID 与 Token 中的随机,以及常见误用与安全陷阱。
从 Shamir 秘密共享与拉格朗日插值出发,系统讲解门限签名(t-of-n)的数学原理与分布式密钥生成 DKG,深入对比 Schnorr 门限方案 FROST 的两轮签名与 Taproot 契合度,以及 GG18/GG20 中基于 MtA 乘法三元组的 ECDSA 门限构造。文章给出 keygen、presign、sign 各阶段的通信轮数与延迟对照,横向比较多签与阈值签名在链上足迹、gas、隐私与可组合性上的差异,并覆盖托管与非托管钱包、社交恢复、密钥刷新 reshare 的落地细节,最后梳理恶意参与者、nonce 重用、rogue key、侧信道与信道认证等安全边界与生产踩坑。
Zig 标准库内置了现代密码学原语模块 std.crypto,涵盖对称加密、AEAD、哈希、密钥派生、随机数生成等能力。本文系统讲解 AES-GCM 与 ChaCha20Poly1305 加解密、mbedtls-zig TLS 1.3 握手、Argon2/Scrypt 密钥派生、安全随机数生成与密码学最佳实践,帮助开发者构建安全可靠的 Zig 应用。
详解 WASM 密码学:WebCrypto API 的边界与限制、何时需要 WASM 密码库、libsodium 与 OpenSSL 编译到 WASM、constant-time 与侧信道防护、密钥管理与安全存储、MPC/零知识证明在 WASM、与 native crypto 的性能对比及浏览器密码学实战。
系统讲解量子随机数生成(QRNG):真随机 vs 伪随机的本质差异、量子随机性的来源(测量坍缩与真空涨落)、QRNG 的物理实现(光子分束/探测器噪声/原子噪声)、随机性提取与后处理(哈希/去偏)、随机性验证(统计检验与熵评估)、QRNG 与经典 RNG 的对比、在密码学/抽样/模拟/博彩中的应用、标准与商业化、挑战与展望,帮助理解「量子提供真正的不可预测性」。
深入 Shor 算法的工程原理:因数分解与阶(order)的转化、模幂运算的量子电路、量子傅里叶变换(QFT)与相位估计在 Shor 中的角色、经典后处理(连分数)、复杂度分析、对 RSA 的威胁量化(密钥长度 vs 量子资源)、以及实现路线与局限性。
区块链底层密码学全景:SHA-256 哈希函数的性质与攻击场景、secp256k1 椭圆曲线数学、ECDSA 签名生成与验证流程、Merkle Tree 结构、SPV 轻客户端验证。从数学原理解释为什么区块链数据不可伪造。
这三个包原本只能从 golang.org/x/crypto 拿,Go 1.24 把它们收进了标准库。本节实测 SHA-3/SHAKE 输出与 NIST 向量一致、HKDF 派生 42 字节、PBKDF2 派生 32 字节,并给出三者的版本归属(均在 1.24,SHA3.Clone 在 1.25),最后用一张决策表说清「什么时候该用哪个 KDF」。
后量子密钥封装 ML-KEM(FIPS 203)在 Go 1.24 进了标准库。本节实测 768 与 1024 两套参数的完整往返、打印密钥与密文长度、验证从种子重建密钥,并揭示一个反直觉的点:密文被篡改时 Decapsulate 不报错、而是走隐式拒绝返回另一个密钥。附 api 证据与 tlsmlkem 开关状态。
深入解析区块链核心原理:哈希链数据结构、Merkle Tree、工作量证明与权益证明、拜占庭容错与分布式一致性。理解为什么去中心化账本能够实现不可篡改与信任最小化。
量子计算是利用量子力学叠加、纠缠与干涉原理进行信息处理的全新计算范式,在特定问题上具有指数级加速潜力。本专题从物理基础概念出发,深入讲解量子比特与量子门操作、核心算法(Deutsch-Jozsa / Grover / Shor / 相位估计)、IBM Qiskit 量子编程实战、量子模拟器生态、量子纠错与表面码、NISQ 错误缓解(ZNE/PEC)、纠缠与 Bell 态、QAOA 组合优化、拓扑量子计算、量子机器学习、量子硬件路线(超导/离子阱/光量子/退火)、量子通信(QKD/BB84/量子中继)、量子化学模拟(VQE),以及量子计算对 RSA/ECC 的威胁与 NIST 后量子密码学标准迁移路径,并延伸 Shor 算法深入(数论/QFT/相位估计/RSA 威胁量化)、量子编程语言生态(Qiskit/Q#/Cirq/PennyLane/QASM)、量子传感与计量(SQL/海森堡极限/原子钟/原子干涉仪/NV 色心)、混合量子经典计算(VQE/QAOA 变分统一视角)、表面码容错实操(逻辑门/解码器/阈值/资源估算)与量子云服务(IBM/Braket/Azure/作业调度),再扩展量子行走(离散/连续行走/图搜索/元素不同性)、Grover 算法深入(振幅放大/多解搜索/量子计数)、绝热量子计算(绝热定理/退火/Hamiltonian 插值/谱间隙)、量子随机数生成(QRNG/真随机/熵提取/标准认证)、哈密顿量模拟(Trotter/LCU/化学应用/资源估算)与量子优势评估(NISQ/成本权衡/路线图/组织策略),为计算机科学学习者和密码工程师提供系统化的量子计算知识框架。并补齐量子密钥分发 QKD、超导量子比特、离子阱平台、量子编译与转译、基准测试指标、开放量子系统等进阶议题。
深入对比 bcrypt、argon2、scrypt 和 pbkdf2 四种密码哈希算法,讲解 Go 中各算法的使用方法、盐值与 pepper 原理、密码验证流程、时序攻击防范技术、密码策略与会话管理,以及 OAuth2/OIDC 替代方案。