比特币、以太坊、稳定币、DeFi、智能合约、扩容与共识。
说明许可链互操作中的跨链访问控制：InterAcct 框架
简介本文提出 InterAcct，一个用于许可区块链网络之间安全交互的端到端访问控制框架。跨链请求在发送前被转换为联盟级表示，以避免暴露内部敏感信息；响应返回后再安全地映射回源联盟内的原始请求者。实验结果显示，该框架能以较低额外开销实施跨链请求-响应的端到端访问控制，并且在工作负载增加时仍能有效运行。
说明ContractLens：利用大语言模型内部潜在安全知识检测恶意智能合约
简介该论文提出 ContractLens 框架，用于检测恶意智能合约。它不依赖提示工程或针对特定攻击的微调，而是在冻结的预训练大语言模型中定位区分恶意与良性合约的关键层与神经元单元，再用轻量分类器完成检测。实验显示，屏蔽这些单元对检测性能的影响大于屏蔽随机神经元，且该方法在三个预训练模型上平均准确率更高，并能泛化到未见过的恶意意图。
说明Ziren：用于 MIPS32 执行的简洁论证（zkVM）
简介本文提出 Ziren，一个面向 MIPS32r2 的生产级零知识虚拟机，支持 77 条用户态整数指令，并已端到端证明以太坊主网区块。作者将其算术化方案的部分约束用 Lean 4 形式化验证，覆盖 62 个核心芯片中的 57 个；在所评估的以太坊区块上，单张 RTX 5090 GPU 的预热证明吞吐量为 12.0 MHz。文中给出的交互式复合安全性约为 93.5 比特，但端到端知识可靠性仍依赖五项假设，且跨分片摘要未给出数值安全界。
看点提出面向MIPS32的生产级zkVM并机械化抽取104条确定性定理在Lean 4中验证，证据较扎实，对零知识虚拟机领域有一定影响。
说明面向医疗物联网的后量子认证协议
简介本文针对医疗物联网（IoMT）中患者设备向网关发送医疗报告时可能遭遇的篡改、冒充和重放攻击，设计了一种认证协议，并考虑了未来量子攻击的长期安全性。协议采用类似ISIS的格基（lattice-based）签名结构，并结合区块链理念，通过可信账本管理设备注册与信任分数。论文还实现了原型应用，并通过实验表明，在大规模系统中批量验证优于逐个验证签名的方式。
