比特币、以太坊、稳定币、DeFi、智能合约、扩容与共识。
说明PQMZ：面向 Zcash 后量子迁移、经形式化验证的 Falcon-PKR 方案
简介本文研究 Falcon-PKR，即 Falcon 的公钥恢复变体，面向类 Zcash 的透明交易流程。该方案以紧凑的公钥摘要代替完整公钥存储，并在验证时从签名中重建候选公钥，作者报告公钥与签名的合并表示大小约减少 15%。作者在随机预言模型下用 EasyCrypt 机器验证了 EUF-CMA 归约，并检验了诚实签名的正确性。另包含一个基于 SECUER 的多方计算仪式架构的扩展案例研究。
说明一次泄露永久受益：上下文绑定与威慑共谋的代价
简介本文研究阈值加密内存池中的共谋问题：解密委员会的一个授权子集若把解密能力卖给抢先交易者，后续仍可解密的区块都会受影响。作者证明，只有当每个子集的惩罚覆盖单次泄露所能带来的最大折现价值时，才能有效威慑；按每个区块或每个周期绑定密钥，可显著降低所需的质押金额。
看点将阈值加密内存池的合谋泄露建模为重复博弈，证明惩罚需覆盖单次泄露的最大贴现价值，并给出随视界变化的下界，理论新颖且严谨。
说明基于连续潜在扩散的推理方法（CEDR）：在数学与代码生成任务上的研究
简介该论文提出连续嵌入扩散推理器（CEDR），一种用于连续潜在扩散模型的训练与推理流程，面向数学推理和代码生成。方法从自回归模型 Qwen3-4B 的三个隐藏层学习紧凑的答案表示，并用分阶段课程训练扩散主干与紧凑提示编码器，同时结合可验证奖励的强化学习。论文报告其在 GSM8K、MATH500、HumanEval+、MBPP+ 等基准上的准确率，并声称优于同规模的近期连续扩散基线。
看点将连续潜在扩散用于数学推理与代码生成，结合紧凑提示编码器、多层表示与强化学习；基准实验充分并有消融，对比已有连续扩散基线。
