比特币、以太坊、稳定币、DeFi、智能合约、扩容与共识。
说明以太坊权益证明中的有效余额设计
简介本文将以太坊的有效余额规则视为机制设计问题，研究协议如何设定奖励系数、激活门槛和最大有效余额，以及验证者在由此形成的比例分配博弈中的反应。作者在验证者数量和身份数固定时证明存在唯一纳什均衡，并讨论验证者拆分或合并身份的激励。文中用基于信标链和其他链上数据校准的合成代理做了示意性模拟，并称将储备价格由32 ETH降至30 ETH可使活跃身份数增加5.922%、总有效质押增加0.098%。
说明面向可解释大数据分析与安全云决策的混合 DeepXAI 融合网络
简介本文提出一种深度学习框架 Hybrid DeepXAI Fusion Network，融合时序、关系与上下文特征，并引入可解释人工智能（XAI）机制以提升决策透明度。模型结合一维卷积网络、Transformer 编码器与图神经网络，并通过注意力机制融合表示，同时采用 CAM 与解释损失。作者报告其在医疗、金融与能源数据集上的准确率为 98.42%，并在 PGD 对抗扰动下保持高于 91.5% 的准确率。
说明FlatMerkle：基于单一线性哈希流的对数空间包含证明
简介本文提出FlatMerkle构造，在单一普通线性哈希流上实现与Merkle树相同的O(log N)证明大小和验证时间。方法是把哈希函数过去的内部状态（检查点）周期性地作为普通消息内容重新写入数据流，最终摘要是对底层哈希函数的一次未经修改的调用。该构造可为任意元素生成紧凑的包含证明，并能证明已发布文件格式有误。
说明面向去中心化边缘物联网点对点能源交易的抗量子安全协议
简介本文提出一种双向认证的会话密钥协商协议，用于保护边缘物联网点对点能源交易通信，使其能够抵御量子计算威胁。协议采用CRYSTALS-Kyber抗量子密码算法保证会话密钥的真实性与机密性，并借助Hedera Hashgraph公链提高透明度并支持高效的撤销机制。论文称其在性能与安全特性上优于现有方案。
说明共同信号、虚假交叉激发与多变量Hawkes过程的识别
简介多变量Hawkes模型常用于度量事件数据中的内生相互激发，但潜在的共同信号即使不存在结构性相互作用，也可能产生表观激发。论文构造了与共同信号模型具有相同均值强度和Bartlett谱、但激发机制不同的稳定非负Hawkes过程，揭示了二阶非识别问题。论文还利用蒙特卡洛实验、Whittle估计及加密货币交易应用，说明三阶信息的作用及其在弱信号下的有限样本局限。
看点构造了与共同信号模型二阶结构相同的Hawkes过程，揭示二阶不可识别性，并推导三阶累积量识别结果，理论与模拟结合紧密。
说明无需信任的比特币保险库：无需第三方信任即可取回抵押比特币的方案
简介该论文指出，现有比特币跨链桥都依赖中心化方或委员会，存在信任风险。作者提出“无需信任的比特币保险库”原语，使存款人或指定交易对手只依据应用智能合约的逻辑即可取回抵押的比特币。论文以在以太坊 Aave v4 上的借贷应用为例实现该协议，并报告主网实验中存款费用约 0.7 美元、取回费用最高约 7.7 美元。
看点提出无需信任第三方的比特币金库原语，并在Aave v4上实现借贷应用，主网实验验证了手续费成本，影响面较广。
说明（并发）区块提议者的地理分布：一种经济激励分析
简介本文研究区块链验证者与提议者的物理位置选择背后的经济激励，包括单一提议者与多个并发提议者两种情形。作者将其建模为先选位置、再对机会进行第一价格拍卖的博弈，其中机会的共同价值取决于地理上分散的信息来源。论文指出，多个并发提议者会奖励独占信息而非共享信息，从而产生推动地理去中心化的经济力量。
说明SolBehave：评估大语言模型生成智能合约的行为正确性
简介该论文提出SolBehave基准，用于大规模评估大模型生成的Solidity智能合约是否行为正确，而不只是能否编译。它基于250个真实以太坊合约，结合差分模糊测试、历史交易重放和由DCR图引导的合成交易重放三种方法。对七个开源模型的评测显示，编译成功率为26.4%至92.7%，但与原合约等价的函数比例仅为31.4%，合约层面的行为偏离也较为常见。
说明Tree-BTE：利用加法同态实现的批量门限加密
简介本文提出一种基于树结构的批量门限加密（BTE）方案，使服务器委员会可以联合解密大量密文中任意选定的子集，其余密文保持私密。该方案由两种支持加法同态的基础组件构成，可基于DDH、DCR、LWR乃至LWE等多种假设实例化。作者实现了基于DDH的版本，并部分实现了基于RLWE的后量子版本。
