Device-Independent Relativistic Quantum Bit Commitment
我们研究了设备无关的相对论量子比特承诺的可能性。我们注意到{\it位置攻击}的潜在威胁，其中相对论量子密码学中使用的不可信设备的行为取决于它们的时空位置。我们描述了相对论量子比特承诺计划，是免疫这些攻击，并表明，这些计划提供设备独立的安全性对假设的后量子对手只受无信令原则。我们比较了一个相对论经典的比特承诺方案与类似的功能，并注意到一些可能的优点的量子计划。
2015-04-03 cs.CR quant-ph
Quantum Bit Commitment Protocol Based on Counterfactual Quantum Cryptography
提出了一种基于反事实量子密码的量子比特承诺协议。我们分析了该协议的安全性，发现它可以抵抗QBC的不通过定理所提出的攻击。该协议简单，可能为QBC协议的构造提供一种新的思路。
2017-09-22 cs.CR quant-ph
Unconditionally Secure Commitment of a Certified Classical Bit is Impossible
在只涉及经典物理的安全位提交协议中，A向B提交0或1。如果在协议中使用量子信息，则A可能能够提交$α\ket{0} + β\ket{1}$形式的状态。如果是这样，她也可以提交混合态，其中提交的比特与她控制下的其他量子态纠缠。我们在这里介绍一个量子密码原语，{ \it bit commitment with a certificate of classicality}（BCCC），它不同于标准的bit commitment，因为它保证提交的状态具有固定的经典值。我们证明了基于狭义相对论和量子理论的BCCC协议是不存在的。我们还提出了完整的量子和相对论比特承诺的安全性定义。
1999-11-03 cs.CR quant-ph
Quantum nonlocality as the route for ever-lasting unconditionally secure bit commitment
我们提出了一个基于量子非定域性的比特承诺协议，该协议似乎可以带来持久的无条件安全性。虽然安全性没有得到严格的证明，但物理论证和数值模拟支持这一结论。关键是，承诺的证明被迫成为与其他任何东西无关的经典数据。这允许我们绕过先前的不可能性证明，其中假设经典数据可以被可能与提交者纠缠的量子数据所取代。所提出的协议还恢复了最近的“相对论”量子比特承诺协议中缺少的两个特征：（i）提交者可以决定她是否以及何时想要透露承诺;（ii）承诺的安全性持续任意长的时间。
2015-04-08 cs.CR quant-ph
Is Quantum Bit Commitment Really Possible?
我们表明，所有提出的量子比特承诺方案是不安全的，因为发送者，爱丽丝，几乎总是可以成功地欺骗使用爱因斯坦-波多尔斯基-罗森类型的攻击和延迟她的测量，直到她打开她的承诺。
1997-04-02 cs.CR quant-ph
Unconditionally Secure Bit Commitment
基于狭义相对论的密码学约束，提出了一种新的经典比特承诺协议.该协议对经典攻击和量子攻击都是无条件安全的。它通过要求Alice进行一系列通信来回避Mayer、Lo和Chau的不通过结果，包括一个后启示验证，每个通信都保证独立于其前任。
1999-08-04 cs.CR quant-ph
Coin Tossing is Strictly Weaker Than Bit Commitment
我们定义适用于两个不信任的各方谁控制两个或两个以上的独立的安全站点之间的狭义相对论保证通信的时间间隔的加密假设。我们表明，在这些假设下，无条件安全的抛硬币可以进行经典信息的交流。我们还表明，继Mayer，Lo和Chau，无条件安全的比特承诺不能进行许多经典或量子信息的交换。最后，我们表明，在标准的密码学假设下，抛硬币是严格弱于位承诺。也就是说，没有安全的经典或量子比特承诺协议可以从有限数量的安全抛硬币黑盒的调用以及大量的附加信息交换来构建。
1999-10-29 cs.CR quant-ph
Cheat Sensitive Quantum Bit Commitment
我们定义欺骗敏感的加密协议之间的不信任的各方协议，保证，如果其中一个作弊，其他有一些非零的概率检测到的作弊。我们给出了一个例子，一个无条件安全的欺骗敏感的非相对论比特承诺协议，使用量子信息来实现一个任务，这是经典的不可能的，我们还描述了一个简单的相对论协议。
2004-03-03 cs.CR quant-ph
Deterministic Relativistic Quantum Bit Commitment
我们描述了新的无条件安全的比特承诺方案，其安全性是基于闵可夫斯基因果关系和单配偶的量子纠缠。我们首先描述了一个理想的方案，这是纯粹的确定性，在这个意义上，任何一方都不需要在任何阶段产生任何秘密的随机性。我们还描述了一个变体，允许提交者进行确定性，只需要从接收器的本地随机生成，并允许在揭幕点附近验证的承诺。我们表明，这些计划仍然提供了近乎完美的安全性的存在的损失和错误，这可以完美的，如果提交者使用一个额外的单个随机秘密位。我们讨论的情况下，这些优势是显着的。
2015-04-03 cs.CR quant-ph
Arbitrarily long relativistic bit commitment
我们认为最近的相对论位承诺协议介绍了Lunghi等人。2015]并提出针对经典攻击的新安全分析。特别是，虽然该协议的初始复杂度与承诺时间呈双指数关系，但我们的分析表明，正确的依赖性仅是线性的。这在实现方面具有戏剧性的影响：特别是，承诺时间可以很容易地任意长，只需要双方进行经典通信和执行有效的经典计算。
2015-07-01 cs.CR quant-ph
Unconditionally Secure Bit Commitment by Transmitting Measurement Outcomes
基于Minkowski因果关系和量子信息的性质，提出了一种新的无条件安全的比特承诺方案。接收方在时空的给定点向提交者发送一些随机选择的BB 84量子位。提交者根据提交的位值在两个BB84库中的一个中执行测量，并以光速安全地将结果以相反的方向传输到远程代理。这些代理通过将结果返回给接收者的相邻代理来揭开比特。安全性证明仅依赖于量子信息的简单性质和超光速信号的不可能性。
2012-04-02 cs.CR quant-ph
A Private Quantum Bit String Commitment
提出了一个基于纠缠的量子比特串承诺协议，并在随机预言模型下证明了该协议的可组合性。该协议具有保护提交消息的隐私的附加属性。即使此属性对中间人攻击没有弹性，但可以通过考虑各方通过身份验证通道进行通信来规避此威胁。如果我们在所谓的坏PUF模型中将随机预言机实现为物理不可克隆函数，并且在开放阶段之前进行访问，则该协议仍然是安全的（但不是私有的）。
2020-01-31 cs.CR quant-ph
Using quantum oblivious transfer to cheat sensitive quantum bit commitment
众所周知，即使在量子世界中，无条件安全的比特承诺也是不可能的。本文研究了Aharonov等人[STOC，2000]和Hardy和Kent [Phys. Rev. Lett. [2004] 2004年调查。在这个变体中，双方需要一些非零的概率来检测作弊，也就是说，如果向爱丽丝提交比特b的鲍勃在揭示阶段改变了主意，那么爱丽丝以正概率检测到作弊（我们称之为属性绑定）;如果爱丽丝在揭示阶段之前获得了关于提交比特的信息，那么鲍勃以正概率发现这一点（密封）。在本文中，我们给出了同时绑定和密封的量子比特承诺方案，并证明了如果欺骗给恶意的Alice带来了极大的好处，那么Bob可以以Ω（ε ^2）的概率检测到欺骗。如果鲍勃作弊，那么爱丽丝检测到作弊的概率大于某个固定常数λ>0。这提高了Hardy和Kent以及Aharonov等人提出的方案的欺骗检测概率，Aharonov等人提出了一个协议，该协议要么是绑定的，要么是密封的，但不是同时两者。为了构造一个欺骗敏感的量子比特承诺方案，我们使用了一个弱量子二选一不经意传输协议。
2006-05-17 cs.CR quant-ph
Statistically-Secure Bit Commitment and Coin Flipping Protocols Based on Quantum Hardware Assumptions
School of Informatics, University of Edinburgh（爱丁堡大学信息学院）；Quantum Software Lab（量子软件实验室）
该研究基于混合锁定物理不可克隆函数（HLPUF）构建出统计安全的位承诺与首个硬件抛币协议，为量子网络安全两方密码学提供了新范式。
2026-08-12 cs.CR quant-ph
A blueprint for constructing 3-pass AKE protocols under commitment-based models
Universidad Complutense de Madrid（马德里康普顿斯大学）；Indra Sistemas de Comunicaciones Seguras（因德拉安全通信系统）
本文提出一种蓝图，基于承诺模型构建安全的三遍认证密钥交换协议，通过会话派生值的带外验证实现认证，并证明KA和KEM原语下存在安全的三遍协议。
2026-05-22 cs.CR
Unconditionally Secure Bit Commitment with Flying Qudits
在密码学家称之为比特承诺的任务中，一方以一种在提供密钥之前无法解密的方式加密预测，但只有一个有效密钥。比特承诺有很多应用，也得到了很多研究，但完全可证明安全的方案仍然是难以捉摸的。在这里，我们报告了一个新的发展，基于物理的密码学，它提供了一个全新的方式来实现位承诺，是完全安全的。该技术涉及在两个或多个方向中的一个方向上以光速发送量子态（例如一个或多个光子），或者沿着安全信道，或者通过量子隐形传态。它的安全性证明依赖于量子理论的不可克隆定理和狭义相对论的无超光速信号原理。
2011-10-25 cs.CR cs.IT math.IT
Commitment Schemes from OWFs with Applications to Quantum Oblivious Transfer
针对量子不经意传输（qOT）协议中现有承诺方案带宽与计算成本高的问题，本文扩展Naor承诺方案提出基于单向函数的2比特字符串承诺方案，并设计带预处理的交互式字符串承诺方案，提升qOT中承诺方案的效率。
2025-02-14 cs.CR
Robust Relativistic Bit Commitment
相对论密码学利用了信息传播速度不能超过光速的事实，以获得单靠量子力学定律无法实现的安全保证。最近，Lunghi等人[Phys.Rev.Lett. 2015]提出了一种比特承诺方案，其中每一方使用两个代理以同步方式交换经典信息，并且这既是隐藏又是绑定。需要注意的是，承诺时间本质上受到参与者的空间配置的限制，并且增加这一时间需要代理在协议的整个持续时间内交换消息。虽然这种解决方案在计算上仍然具有吸引力，但其实用性在现实环境中受到严重限制，因为所有通信必须始终保持完美同步。在这项工作中，我们介绍了一个强大的协议，相对论比特承诺，容忍故障的经典通信网络。这是通过向双方添加第三方代理来实现的。我们的计划提供了一个二次改进的预期维持时间相比，原来的协议，同时保持相同的安全水平。
2016-08-11 cs.CR quant-ph
On the impossibility of non-static quantum bit commitment between two parties
最近，崔\emph{et al} .提出了一个关于Mayers-Lo-Chau（MLC）no-go定理的假设，即在揭示阶段之前，整个量子系统的状态对于两个参与者都是不变的。这意味着该定理仅适用于静态量子比特承诺（QBC）。本文发现这种假设是不必要的，MLC不通过定理不仅适用于静态QBC，而且适用于非静态QBC。对Choi \emph{et al.}提出的一个非静态QBC协议进行了简要的回顾和分析，作为一个支持性的例子。此外，给出了一种新的方法来证明这两种QBC的不可能性。
2011-01-29 cs.CR quant-ph
On bit-commitment based quantum coin flipping
在本文中，我们专注于一个特殊的框架，量子硬币翻转协议，比特承诺为基础的协议，其中几乎所有已知的协议。我们显示在任何这样的协议中的偏差的下限为1/16。我们还分析了一系列的多轮协议，试图克服以前提出的协议的缺点，以降低偏见。我们展示了这个序列的复杂作弊策略，这导致了1/4的偏差。这表明在这样的协议中1/4的偏差可能是最优的，并且还表明可能需要更聪明的证明技术来显示这种最优性。
2002-06-19 cs.CR quant-ph
A Non-Interactive Quantum Bit Commitment Scheme that Exploits the Computational Hardness of Quantum State Distinction
我们提出了一个有效的量子协议进行量子比特的承诺，这是一个简单的密码原语涉及两个方面，称为提交者和验证者。我们的协议是非交互式的，不使用任何补充共享信息，并实现计算隐藏和统计绑定下的自然复杂性理论假设。文献中的早期协议依赖于有效量子单向函数的存在。相反，我们的协议利用了一个看似较弱的假设，对区分两个特定的约简量子态系综的计算难度。这个假设是由例如在量子计算机上有效地解决图自同构问题的计算难度来保证的。
2013-09-02 cs.CC cs.CR quant-ph
Secure Classical Bit Commitment using Fixed Capacity Communication Channels
如果相互不信任的A和B双方控制着两个或多个位置合适的站点，狭义相对论可以用来保证A和B交换的一对消息是独立的。在早期的工作中，我们利用这一事实来定义一个相对论比特承诺协议，RBC 1，其中的安全性是通过交换一个序列的消息，其传输速率随时间呈指数级增加。我们在这里定义了一个新的相对论协议，RBC 2，它只需要一个恒定的传输速率，可以实际实施。我们证明了RBC 2允许一个比特承诺无限期地保持对所有经典攻击的无条件安全性。我们研究了它的安全性对量子攻击，并表明它是免疫的攻击类Mayers和Lo-Chau，使非相对论量子比特承诺协议不安全。
2006-10-02 cs.CR quant-ph
A Secure and Improved Multi Server Authentication Protocol Using Fuzzy Commitment
最近，Barman等人提出了一种使用模糊承诺的多服务器认证协议。作者声称，他们的协议提供匿名性，同时抵抗所有已知的攻击。在本文中，我们分析了Barman等人。的协议仍然容易受到匿名违规攻击和基于窃取智能攻击的冒充，并且存在可扩展性问题。然后，我们提出了一个改进和增强的协议，以克服Barman等人的安全弱点。的方案。使用BAN逻辑和广泛接受的自动AVISPA工具验证了所提出的协议的安全性。BAN逻辑和自动AVISPA以及非正式分析确保了该方案对所有已知攻击的鲁棒性
2020-04-16 cs.CR
Automated Cryptographic Analysis of the Pedersen Commitment Scheme
为了更好地保证密码系统的安全性，密码结构的形式化验证受到了越来越多的关注。对流行的Pedersen承诺协议进行了一种机械化的形式化验证，证明了其正确性、完全隐藏和计算绑定等安全性质.为了正式验证协议，我们扩展了EasyCrypt理论，EasyCrypt是一个允许在计算模型中进行推理的框架，它支持离散对数和承诺协议的抽象。承诺是许多加密构造的构建块，例如，可验证的秘密共享、零知识证明和电子投票。我们的工作为验证这些更复杂的结构铺平了道路。
2017-05-16 cs.CR
Commitment and Oblivious Transfer in the Bounded Storage Model with Errors
有界存储模型限制了密码协议中对手的内存，而不是限制其计算能力，使信息理论上安全的协议可行。我们提出了第一个协议的承诺和不经意的传输在有界存储模型的错误，即，在该模型中，双方可用的公共随机源不完全相同，而是仅需要它们之间具有小的汉明距离。提交和不经意传输协议以前只知道有界存储模型的无错误变体，这是很难实现的。
2017-10-24 cs.CR cs.IT math.IT
Finding Collisions in Interactive Protocols -- Tight Lower Bounds on the Round and Communication Complexities of Statistically Hiding Commitments
我们研究了各种密码协议的轮复杂性和通信复杂性。我们给出了严格的下限轮和通信复杂性的任何完全黑盒减少统计隐藏承诺计划从单向排列，从陷门排列。作为一个推论，我们得出了类似的紧下界的其他几个密码协议，如单服务器私人信息检索，交互式哈希，和不经意的传输，保证统计安全的一方。我们的技术扩展的碰撞发现神谕由于西蒙（EUROCITY PT '98）的交互式协议的设置和重建范式的Gennaro和Trevisan（FOCS '00）。
2021-05-04 cs.CR
No Superluminal Signaling Implies Unconditionally Secure Bit Commitment
比特承诺（Bit commitment，BC）是一种重要的密码学原语，它可以让一个代理说服一个相互不信任的当事人，她已经做出了0或1的绑定选择，但只是在以后的时间里透露她的选择。理想情况下，BC协议应该简单，可靠，易于使用现有技术实现，并且最重要的是无条件安全，因为它的安全性是基于信息理论证明，而不是计算复杂性假设或可信仲裁者的存在。在这里，我们报告这样一个可证明安全的计划只涉及单向经典通信的无条件安全性是基于没有超光速信令（NSS）。我们的方案是受到Kent早期工作的启发，他提出了两个不切实际的相对论协议，其无条件安全性尚未建立，以及几个可证明的无条件安全协议，依赖于量子力学和NSS。我们的方案在概念上是简单的，并首次表明，量子通信是不需要实现BC的无条件安全。此外，与纯经典通信，我们的计划是实用的，易于实现与现有的电信技术。这完成了基于已知物理定律的无条件安全位承诺的研究周期。
2014-11-19 cs.CR quant-ph
A Commitment-based Authentication model for Key Exchange protocols
Universidad de Alcalá（阿尔卡拉大学）；Indra Sistemas de Comunicaciones Seguras（因德拉安全通信系统公司）；Universidad Complutense de Madrid（马德里康普顿斯大学）
本文构建了一个基于承诺方案的模块化认证密钥交换模型，利用临时信息避免长期密钥交换，并基于该模型设计了多种抵抗中间人攻击的协议。
2026-05-22 cs.CR
Summoning, No-Signaling and Relativistic Bit Commitments
召唤是两方之间的任务，爱丽丝和鲍勃，在时空中的代理分布式网络。鲍勃给了爱丽丝一个随机的量子态，在某个时刻，他知道，但她不知道。她需要在稍后的某个时间点返回状态，属于由在其他时间点从Bob接收到的通信定义的子集。许多关于召唤的结果，包括不受限制的召唤任务的不可能性和特定类型的召唤任务成为可能的必要条件，直接来自量子不可克隆定理和相对论性非超光速信号原理。克隆设备的不可能性可以从超光速信号的不可能性和投影假设以及关于设备独立于位置的功能的假设中推导出来。在这个限定的意义上，已知的召唤结果来自时空的因果结构和量子测量的性质。近似克隆的保真度的界限可以类似地导出。比特承诺协议和其他基于无召唤定理的密码协议因此可以被证明对某些类的后量子但非信令对手是安全的。
2019-05-24 cs.CR quant-ph
Experimental Secure Multiparty Computation from Quantum Oblivious Transfer with Bit Commitment
本文实验实现了基于比特承诺的量子不经意传输协议，并首次将其应用于私有集合交集，证明了两家银行可在不泄露其他数据的情况下识别共同可疑账户，展示了其实际商业价值。
2024-11-07 cs.CR quant-ph
Secure list decoding and its application to bit-string commitment
本文提出安全列表译码概念，给出含消息速率、列表大小速率和疑义率的容量区域，并证明其结合哈希函数可实现传统位串承诺。
2022-04-23 cs.CR cs.IT math.IT
Commitments from Quantum One-Wayness
本研究针对量子单向性能否支撑量子密码的问题，证明纯态输出的单向态生成器可实现量子比特承诺与安全多方计算，还构建了中间基元量子单向谜题并证明其可推导量子比特承诺。
2024-01-29 cs.CR quant-ph
Commitment Capacity of Discrete Memoryless Channels
在扩展的位承诺的任务和以下工作Crepeau和Kilian发起的，我们介绍和解决的问题，表征的最佳速率，在该离散的无记忆通道可以用于位承诺。事实证明，答案是非常直观的：它是信道的最大模糊度（在去除微不足道的冗余之后），即使在允许无限无噪声双向侧通信的情况下。通过一个众所周知的减少，这一结果提供了一个下限的信道的能力，实现抛硬币，我们推测是一个平等的。证明这一点的方法与Wyner的有线窃听信道问题有关。我们还讨论了量子信道的扩展。
2003-04-10 cs.CR quant-ph
Composable security in relativistic quantum cryptography
相对论协议被提出来克服经典和量子密码中的一些不可能结果。在这种情况下，我们会考虑到诚实玩家的位置，并利用信息传播速度不能超过光速的事实来限制不诚实代理人的能力。例如，已经提出了各种相对性比特承诺协议。虽然它已被证明，位承诺是足够的构造不经意的传输，从而多方计算，组成特定的相对论协议，以这种方式是已知的是不安全的。一个可组合的框架需要执行这样的模块化安全分析的建设计划，但没有已知的框架可以处理模型的计算在闵可夫斯基空间。通过实例化的系统模型，从抽象密码学框架与因果盒，我们得到这样一个可组合的框架，其中消息被分配在闵可夫斯基空间（或其叠加）的位置。这使我们能够分析相对论协议，并得出新的可能性和不可能性的结果。我们证明了：（1）抛硬币可以从原始的延迟信道中构造出来;（2）有偏抛硬币、比特承诺和延迟信道在没有进一步假设的情况下都是不可能的;（3）改进延迟信道是不可能的。注意，不可能性结果也适用于计算和有界存储设置。这意味着在特别是非组合性的所有建议的相对论位承诺协议，位承诺在有界存储模型，并有偏见的抛硬币。
2018-06-05 cs.CR quant-ph
PBAG: A Privacy-Preserving Blockchain-based Authentication Protocol with Global-updated Commitment in IoV
车辆互联网（IoV）越来越多地用作通过在诸如车辆和基础设施的实体之间建立连接来传播关键信息的媒介。在消息传输过程中，隐私保护认证被认为是抵御攻击者和恶意信息的第一道防线。为了实现更安全和稳定的通信环境，越来越多的基于区块链的认证方案被提出。乍一看，现有的方法提供了健壮的架构，并实现了透明的身份验证。然而，在这些方案中，验证者必须提前连接到区块链网络，并使用智能合约完成身份验证，这降低了延迟。为了弥补这一限制，我们提出了一种保护隐私的基于区块链的身份验证协议（PBAG），其中根机构（RA）为每个授权车辆生成与颁发的证书相对应的唯一评估证明。同时，RA广播基于所有有效证书的公共全局承诺。代替查询存储在区块链中的证书，车辆将通过利用双线性对的全局承诺来有效地证明是授权用户。此外，我们的方案可以防止车辆配备无效证书完成认证，从而避免了耗时的检查证书吊销列表（CRL）。最后，我们的计划提供了隐私属性，如匿名性和不可链接性。它允许基于评估证明的匿名认证，并在发生争议时实现身份的可追溯性。仿真结果表明，在批处理机制下，验证的平均时间为0.36ms，比现有的方案至少提高63.7%。
2022-08-31 cs.CR
Quantum and classical coin-flipping protocols based on bit-commitment and their point games
我们专注于一个家庭的量子硬币翻转协议的基础上比特承诺。我们讨论了如何半定规划配方的作弊策略可以减少到优化的线性组合的保真度函数在一个多面体。这些原来是更简单的半定程序，可以使用二阶锥规划问题建模。然后，我们使用这些简化来构建他们的点游戏，由Kitaev开发。我们还研究了这些协议的经典版本，并使用线性优化来制定最佳的作弊策略。然后，我们构建了经典协议的点博弈，以及使用量子情况下的分析。我们从最优化理论的角度讨论了经典和量子协议及其点博弈之间的哲学联系。特别是，我们观察到的物理理论（从经典到量子）的频谱和凸优化问题（从线性规划到半定规划，通过二阶锥规划）的频谱之间的类比。在这个类比中，经典系统对应于线性规划问题，系统中量子特征的水平与优化方面半定规划模型的复杂程度相关。关于安全性分析，我们使用经典的点博弈来证明，这种类型的每一个经典的协议允许完全确定硬币翻转的一方。使用量子和经典协议之间的关系，我们表明，只有“经典”的协议可以饱和Kitaev的下界强硬币翻转。此外，如果Alice和Bob的最佳作弊概率的乘积是1/2，则一方可以以概率1作弊。这就排除了这种类型的量子协议达到最佳安全级别的可能性。
2015-04-16 cs.CR math.OC quant-ph
Decentralized Biometric Authentication based on Fuzzy Commitments and Blockchain
针对生物特征认证需保密与区块链公共属性的矛盾，提出结合模糊承诺方案的区块链生物特征认证协议，实现去中心化、抗毁性且保护用户生物特征隐私，并分析了协议安全性。
2024-09-17 cs.CR
Odontoceti: Ultra-Fast DAG Consensus with Two Round Commitment
本研究提出Odontoceti超快速DAG共识协议，以20%容错率的安全权衡实现两轮通信确认，在真实网络下达300ms中位延迟与1万TPS，较现有生产协议延迟降20-25%，验证了低容错共识协议的区块链实用价值。
2025-10-28 cs.CR cs.DC
Atomic Commitment Across Blockchains
最近采用的区块链技术和开放的无许可网络表明了点对点原子跨链交易协议的重要性。用户应该能够原子地交换代币和资产，而不依赖于交易所等中心化中介。最近的点对点原子跨链交换协议使用哈希锁和时间锁来确保参与者遵守协议。但是，过期的时间锁可能会导致违反全有或全无的原子性属性。一个诚实的参与者，如果由于崩溃失败或网络延迟而未能按时执行智能合约，最终可能会失去她的资产。虽然崩溃的参与者是唯一一个最终会变得更糟的参与者，但目前的提议不适合异步环境中的原子跨链交易，在这种环境中，崩溃失败和网络延迟是常态。在本文中，我们提出了AC3WN，第一个分散的全有或全无原子跨链承诺协议。交换资产的智能合约的赎回和退款事件被建模为冲突事件。一个开放的无权限见证网络用于保证冲突事件永远不会同时发生，并且原子跨链交易中的所有智能合约都被赎回或全部退款。
2019-06-18 cs.CR cs.DB cs.DC
Universally Composable Quantum Multi-Party Computation
Canetti（FOCS 2001）的通用可组合性模型（UC）允许任意协议的安全组合。我们提出了一个量子版本的UC模型，享有相同的组合性保证。我们证明了在这个模型中，统计安全的不经意传输协议可以构造承诺。此外，我们证明了每个统计经典UC安全协议也是统计量子UC安全的。这种影响对于其他量子安全定义是未知的。作为推论，我们得到一般多方计算的量子UC安全协议可以由承诺构造。
2009-10-15 cs.CR quant-ph
Commitment Schemes for Multi-Party Computation
本文分析了多方安全计算（MPC）中承诺方案（CSs）的应用关联，探究不同CS对MPC构建及实际应用的影响，强调合理选择CS对满足MPC安全需求、打造鲁棒隐私保护密码应用的重要性，同时可作为二者密码交互的入门教程。
2025-06-12 cs.CR
A Practical Post-Quantum Distributed Ledger Protocol for Financial Institutions
Global Technology Applied Research, JPMorganChase（摩根大通全球应用技术研究）
本文提出了一种基于格的后量子分布式账本协议，通过零知识证明技术和新型范围证明，提升金融机构交易的保密性和可审计性。
2026-11-09 cs.CR
Universally Composable Commitments with Communicating Malicious Physically Uncloneable Functions
本研究提出可通信恶意PUFs的新对抗模型，修改并适配现有理想可提取承诺方案，提出更高效的无状态恶意PUFs下的UC安全承诺方案，解决原始构造问题并指出未来解除状态限制的方向。
2025-04-14 cs.CR
Private, Anonymous, Collateralizable Commitments vs. MEV
本文提出私密、匿名、可抵押承诺（PACCs）框架，允许智能合约钱包私密匿名地抵押承诺，可证明任意交易信息，有效消除 DeFi 中的 MEV 并将其转移为审查，基于 Ethereum 的实现证明其完全可行。
2024-03-22 cs.CR
Trust but Verify: Cryptographic Data Privacy for Mobility Management
大数据时代通过海量数据集带来了对用户行为更丰富的理解，这可以帮助组织优化其服务质量。在交通研究的背景下，移动数据可以为市政当局（MA）提供有关如何运营，监管或改善交通网络的见解。然而，移动性数据可能包含关于终端用户的敏感信息和移动性提供商（MP）的商业秘密。由于这种数据隐私问题，议员们可能不愿意将他们的数据集贡献给千年评估。利用密码学的思想，我们提出了一个MA和MP之间的交互式协议，其中MA从移动数据中获得见解，而MP不必透露其商业秘密或用户的敏感数据。这通过两个步骤来完成：提交步骤和计算步骤。在第一步中，使用Merkle承诺和聚合流量测量来生成加密承诺。在第二步中，MP从数据中提取见解并将其发送给MA。利用承诺和零知识证明，MA可以证明从MP接收的信息是准确的，而不需要直接检查移动性数据。我们还提出了一个差分私有版本的协议，是适合大型查询制度。该协议是可验证的MA和MP在这个意义上，从一方的不诚实可以检测到的其他。该协议可以很容易地扩展到更一般的设置与多个MP通过安全的多方计算。
2021-11-15 cs.CR cs.SI
