TASE（Transactional-memory-Accelerated Symbolic Execution）是一篇关于通过事务性内存降低符号执行延迟的研究论文。符号执行是一种强大的程序分析技术，常用于漏洞挖掘、程序验证等领域，但其高昂的运行时开销严重制约了在延迟敏感场景下的应用。TASE针对具有少量符号状态的符号执行应用提出了一种混合执行策略：在执行路径时，优先采用原生执行方式处理具体值，仅在遇到符号值或建模函数时才挂起原生执行并切换到解释执行；一旦不再遇到符号值，则恢复原生执行。论文的核心创新有三点：一是设计了一种摊销成本的技术，使得判断值是否为符号值的检查开销分摊到少量指令中；二是利用硬件支持的事务性内存（Intel TSX）实现原生执行的可回滚性，当检测到（即使延迟检测到）符号值被使用时可无副作用地回滚；三是通过这种机制避免了传统符号执行中频繁的解释开销。实验表明，TASE在延迟敏感的符号执行应用（例如验证客户端-服务器交互中客户端的行为）上具有显著提升潜力的效果。这篇论文主要面向对符号执行性能优化感兴趣的安全研究者和工具开发者，为构建更高效的符号执行引擎提供了新思路，但并未直接涉及特定漏洞或攻击场景。

本文是一篇系统化知识综述（SoK），聚焦于素数域上多项式哈希函数的高效设计与实现，并以广泛部署的 Poly1305 为主要参照对象。Poly1305 的设计理念由 Bernstein 在 2005 年前的一系列论文中奠定，但随着计算机体系结构的发展，部分原始设计特征已不再适用，而实现者逐步发现了利用这些特征提升性能的新途径。作者提出的核心问题是：如果基于当代计算机架构和应用需求重新设计多项式哈希，是否还会收敛到与 Poly1305 相同的方案？为回答该问题，作者系统收集并整理了散落在研究论文、密码学库和开发者博客中的关于多项式哈希设计与实现的知识，并开发了一个自动化框架，用于对收集到的各种设计思想进行验证和基准测试。基于这一框架，作者提出了五个新的多项式哈希函数候选设计，并为每个候选生成和评估了不同的实现与优化策略。实验结果表明，与 Poly1305 相比，这些新设计在安全性和性能两个方面均取得了实质性改进。本文不仅阐述了新设计背后的设计原理，还作为一份高效实现多项式哈希函数（包括 Poly1305 本身）的实用参考，涵盖了从算法选择、参数优化到现代 CPU 指令集利用等关键技术细节。适合密码学研究者、哈希函数实现者以及需要高性能认证加密方案的安全工程师阅读。

本论文针对动态工作负载下的认证数据结构（Authenticated Data Structure, ADS）优化问题，提出了一种名为 Huffman-Merkle Tree (HMT) 的新型结构。ADS 允许对大型可变状态进行成员资格证明，广泛应用于可验证存储、互联网透明服务和区块链等领域。现有 ADS 设计通常未充分考虑访问频率的动态变化，导致在访问偏斜随时间变化时性能不佳。HMT 通过两个互补机制解决该问题：一是基于 Huffman 编码的 Merkle 树布局，并扩展以支持演化的访问频率；二是弹性分层机制，将数据项划分到不同层级的树中（如热层和冷层），并在层间自适应迁移。其核心思想是将频繁访问的项放在靠近根的位置，而将不频繁的项分配到逐渐增大的深层树中，从而降低整体按频率加权的访问成本。方案支持扩展到包含数百万项的 GB 级数据。为高效处理动态性，布局更新采用批量方式，访问频率通过 count-min sketch 跟踪，并采用层提升缓存与多种层迁移策略。作者实现了 HMT，并在真实数据上与以太坊的 Merkle Patricia Trie (MPT) 和其提出的替代方案 Unified Binary Tree (UBT) 进行比较。评估指标包括每次更新的哈希量和访问加权成员资格证明大小。实验结果显示，HMT 的最佳策略平均哈希操作量约为 MPT 的 1/2.4（约 0.42 倍）和 UBT 的 0.34 倍，访问加权证明大小约为 MPT 的 0.18 倍和 UBT 的 0.55 倍。该工作为动态访问模式下的高效 ADS 设计提供了新思路。

在本文中，作者围绕着后量子密码中同源密码学的发展进程，特别是SIDH及其衍生变体的性能问题展开研究。SIDH曾因密钥尺寸小、运算速度快而被视为极具潜力的同源密钥交换方案，并成功进入NIST后量子密码标准化的第四轮备选名单。然而，Castryck和Decru在2022年提出的密钥恢复攻击显示，SIDH在经典计算模型下可以在多项式时间内被破解，这一致命缺陷导致其被标准化流程除名。为了修复该安全问题，学界提出了多种SIDH变体，例如MSIDH、MD-SIDH以及二/三进制SIDH（bin/terSIDH），但这些方案在安全性增强的同时引入了较大的性能开销，实际部署困难。针对这一现状，Basso和Maino在Eurocrypt 2025上提出了POKE——一种利用高维同源构造的公钥加密方案，它在保留SIDH式简洁性的同时，通过提高维数规避了原攻击。本文首次将POKE从加密方案改造为可交互的密钥交换（KEM）协议，并针对NIST安全级别I开展了系统的性能基准测试。测试对象包括M-SIDH、terSIDH和CSIDH。实验数据表明，基于POKE的KEM在运行速度上比terSIDH快约21.21倍，比CSIDH快约64.97倍，在同类同源算法中表现突出，被作者认为是当前最有前途的同源密钥交换候选方案。该研究不仅呈现了POKE的实际性能优势，也为后续后量子密码算法的选型和工程落地提供了关键参考。

本文提出 Flock，一种基于哈希的 SNARK（简洁非交互式零知识证明）系统，旨在大幅加速大批量布尔计算（尤其是标准密码学哈希函数评估）的证明生成。在许多 SNARK 应用中，证明大量 SHA-256、Keccak、BLAKE3 等哈希评估是关键瓶颈。Flock 针对同一 R1CS 电路的批量证明进行优化，同时支持哈希链、Merkle 路径开证明，并可扩展至完整的哈希签名验证。其核心技术包括对 lincheck 和 zerocheck 协议的新优化，以及由编码智能体协同设计的激进优化的概念验证实现。实验表明，在 M4 Max 处理器单核上，Flock 每秒可证明 8.2 万次 BLAKE3 压缩函数评估、4.2 万次 SHA-256 压缩和 3 万次 Keccak 置换，开销仅为原生执行的约 250 倍；在十核上，吞吐量超过每秒 66 万次 BLAKE3 压缩。与当前最先进的 Binius64 相比，Flock 在 SHA-256 证明上快 9 倍以上，比最快的椭圆曲线 SNARK 快 500 倍以上。该工作显著降低了批量哈希证明的计算成本，可推动 SNARK 在区块链、可验证计算等场景中的实际部署。

现代区块链状态管理面临严重的可扩展性瓶颈：对数十亿条加密承诺进行维护在计算上代价高昂。以太坊正在转向Verkle树——一种基于多项式承诺的累加器，通过恒定大小的IPA向量承诺将证明大小从O(宽度*深度)降低到O(深度)，这是迈向无状态操作的关键一步。然而，当前实现在参考实现go-verkle中存在四个性能缺陷：(1) 删除不存在账户时产生幽灵节点；(2) 64字节数据库键导致LSM树过度压缩；(3) 证明反序列化中冗余内存拷贝；(4) 不存在证明的线格式不兼容导致非确定性序列化。本文提出分数Verkle树（FVT），一种超树分解架构，将全局状态划分为N个独立子累加器，由Merkle承诺树协调，实现了更好的缓存局部性、无锁竞争的goroutine并行承诺计算以及更快的根重新计算（91微秒对比约500毫秒）。针对每个缺陷，作者分别通过存在检查、32字节SHA256节点引用、零拷贝引用计数缓冲区和基于哈希映射的字典序去重加以解决。在Apple M1 Pro上的基准测试显示：每1万个证明堆分配减少57%（从566,760字节降至242,004字节）、并行插入速度为2,433纳秒/操作、在6,000个全节点网络中每年可节省4.85 PB带宽，推进了以太坊无状态路线图。

本文提出了一种新的密码学原语——摊销阈值对称密钥加密（ATSE），旨在解决现有阈值对称密钥加密（TSE）方案在处理大量数据时的高交互开销问题。传统TSE（如Agrawal等人CCS'18提出的DiSE框架）要求每次加密或解密操作都必须与阈值数量的服务器交互，这在处理大型数据集时会导致巨大的计算和通信负担。ATSE允许拥有敏感数据访问权限的“特权客户端”仅通过一次交互就能加密大量消息，从而显著提升批量加密性能；同时，对于非特权客户端，每次解密仍需要交互，从而保证了与DiSE相同的隐私和认证安全级别。作者通过形式化一种名为“灵活阈值密钥派生（FTKD）”的新原语来构造ATSE方案。FTKD允许各方以阈值方式在不同模式下交互式地派生伪随机密钥。FTKD的构建基于Boneh和Waters（Asiacrypt'13）的左右约束伪随机函数（LR-CPRF）的分布式变体，并使用了双线性配对。尽管引入了双线性映射，但通过摊销交互成本，该方案在实验中实现了显著的速度提升：在特定设置下，延迟降低了40倍，吞吐量提高了30倍。本文的主要贡献包括：(1) 提出ATSE概念，定义其安全模型；(2) 形式化FTKD原语并给出基于双线性配对的构造；(3) 通过原型实现和实验验证了性能优势。该研究对于需要高效批量加密的分布式安全应用（如云存储、安全审计日志加密等）具有重要参考价值。