arXiv
quant-ph · cond-mat.mtrl-sci
说明高能He+离子辐照在块体六方氮化硼中制造的硼空位
简介本文报道用约1 MeV的氦离子注入块体六方氮化硼(h-BN),制备出带负电的硼空位色心,并通过光致发光和光探测磁共振加以确认。共振线宽为180 MHz,并呈现预期的塞曼位移。研究还沿晶体c轴测量了色心深度,并与SRIM(离子在物质中的阻止与射程)模拟预测比较,两者在报告的不确定度内一致,但实验结果深度更大、分布更宽。
P.G. Vilyuzhanina, S.V. Bolshedvorskii, R. Isayev 等
arXiv
cs.CR · cs.DC
说明XIM:XDC 跨账本消息协议
简介本文提出 XIM(XDC Interledger Messaging Protocol),一种与具体链无关的协议,用于在异构网络之间传输规范化消息,并允许每条通信通道选择明确的验证策略。协议将消息语义与传输、验证、执行、路由、资产标识和合规元数据分离,并引入通用资产标识符(UAID)、可插拔适配器接口和多跳结算路由图等机制。文章给出了协议模型、状态机、消息编码、验证模式、安全假设与威胁模型以及分阶段部署方案,适用于公链、许可链和机构网络。
Atul Khekade, Ritesh Kakkad, Wanwiset Peerapatanapokin 等
arXiv
q-fin.GN
说明加密货币合并的兑换率确定:一个形式化框架
简介许多加密货币面临采用率下降、流动性低和安全性弱的问题,合并两种币被视为替代放弃的方案。本文提出一个形式化框架,用于确定合并中的公平兑换率,并把合并后的价值视为由兑换率决定的内生变量,因为加密货币价值受网络效应驱动。作者证明了,在合并不毁灭价值的兑换率下,合并前的价格比率恰好保持财富,并在明确条件下满足财富、采用、安全、治理和流动性五项公平性条件。
Massimiliano Sala, Daniela Visetti
IACR ePrint
Cryptographic protocols
说明在纪元边界处击败中本共识中的时间平均自私挖矿
简介本文针对中本共识中的自私挖矿问题,指出难度调整机制把未计入的孤块误判为算力下降,从而使攻击者获利。作者提出流水线缓冲难度调整机制(PB-DAM),将每个纪元分为可追责前缀和深度为 d 的结算缓冲区。原文称模拟显示缓冲深度 d=16 即可在 α=0.40 时抵消自私挖矿,系统在算力减半后约 2.2 个纪元内恢复,区块容量开销低于 1%。
Ren Zhang
IACR ePrint
Cryptographic protocols
说明以太坊最终性上的可罚没保密性:基于见证加密的密钥释放机制论文
简介该论文针对基于区块链状态的见证加密(WE)提出“可罚没保密性”概念。若验证者可构造分叉见证,便能在规范链上条件未满足时取得秘密,但隐藏分叉会使其不提交罚没所需的冲突投票。作者利用以太坊原生罚没规则,在不另设密钥托管委员会或额外保证金的前提下给出构造,并在见证KEM的提取接口成立的条件下证明该性质。论文还在合成以太坊网络上验证了证据的原生处理,且无需WE解密。
Yihsuan Wu
arXiv
q-fin.TR
说明并非所有流动性提供者都相同:自动做市商中主动与被动流动性提供者的差距
简介本文研究去中心化交易所自动做市商(AMM)中的流动性提供收益。作者提出基于 markout 的框架,将 Uniswap 的 LP 收益拆分为主动与被动两部分,并在以太坊及 Arbitrum、Base 等二层链的 v2、v3、v4 池上进行验证。结果显示,在集中流动性池中,被动 LP 的收益往往低于池整体水平,且以太坊上的差距比二层链更大;被动 LP 在高手续费池中表现较好。
Agathe Sadeghi, Dingyue Liu, Ciamac Moallemi 等
★★★★☆ 值得关注
arXiv
cs.DC · cs.DS
说明具有常数元数据开销的拜占庭因果可靠广播
简介本文提出一种拜占庭因果可靠广播(BCRB)算法,在异步分布式系统中既保证一致性与有效性,又保证因果消息顺序。通过对 Bracha 的 BRB 算法做较小但关键的改动,该算法每条消息的元数据开销为常数 O(1),消息数为 O(n²),通信字复杂度为 O(n²),优于现有协议的 O(n³)。算法容忍 f < n/3 个拜占庭进程,并使用四个阶段完成。
看点将O(n)元数据降为O(1)的拜占庭因果可靠广播,理论证明完整,改进显著,但缺少实验验证。
Purv Patel, Ajay D. Kshemkalyani
arXiv
cs.CR · cs.AI · cs.CE
说明使重复报销在结构上不可表示:面向人类与AI智能体的已验证以太坊电子发票系统
简介本文提出并实现了一套基于以太坊的区块链电子发票系统,旨在解决重复报销、发票真伪难以验证以及数据集中于单一机构等问题。作者将发票生命周期形式化为带守卫的标记转移系统,并在标准密码学与共识假设下证明了报销唯一性、内容完整性和授权正确性。核心不变式已通过Solidity SMTChecker机器验证;原型在私有以太坊网络上的测试显示,发票开具耗气646,773,完整报销低于135,000,单节点可达每秒137次开具。文中还称该合约可作为AI报销智能体的安全边界,拒绝重复、超限或伪造凭证的操作。
Jia Cai
IACR ePrint
Applications
说明“负载盲视”的假象:MEV 缓解措施在实践中为何失效
简介本文评估了三类以“负载盲视”为核心的协议级 MEV 缓解方案(加密内存池、可验证置换、区块延迟),并用基于以太坊校准的模拟与闭式分析比较它们在理想化对手与实际部署环境下的表现。结论是:在理想化假设下加密加置换能消除依赖交易内容的攻击,但实际中发送者信息泄露、可选加密导致的采用率崩溃、密钥轮换引发的拥堵等部署问题占主导,因此阻碍无 MEV 区块链的主要因素是活性与部署激励,而非密码学本身。
Simona Češková, Martin Perešíni, Ivan Homoliak