第条

Ofelimos：通过实用验证的组合优化：一种安全可靠的区块链协议

作者:

马提亚斯菲茨,

阿格罗斯凯亚斯,

乔治 Panagiotakos公司、和

亚力山大拉塞尔作者信息和声明

密码学进展–密码2022：第42届国际密码学年会，2022年8月15日至18日，美国加利福尼亚州圣巴巴拉，密码学2022，会议记录，第二部分

2022年8月

页339-369

https://doi.org/10.1007/978-3-031-15979-4_12

出版:2022年8月15日出版历史

摘要

最小化比特币区块链和相关协议的能源成本和碳足迹是加密货币领域最广泛确定的开放问题之一。用一个有用工作的证明（PoUW）在许多方面一直被理论化为一种理想的解决方案，但时至今日，这个概念仍然缺乏令人信服的安全实现。

在这项工作中，我们提出Ofelimos公司，一种新的基于PoUW的区块链协议，其共识机制同时实现了分散优化问题求解器。我们的协议是围绕一种新的本地搜索算法构建的，我们称之为双并行本地搜索（DPLS），该算法特别适合作为我们区块链协议的PoUW组件实现。我们对协议进行了彻底的安全分析，并提供了反映系统有用性的指标。DPLS可用于实现各种流行的局部搜索算法，如WalkSAT，这些算法用于实际的组合优化任务。通过这种方式，我们的工作为安全使用区块链系统作为通用优化引擎，解决各种需要公开验证解决方案的硬优化问题铺平了道路。

工具书类

[1]

Aggarwal A、Chandra AK和Snir M婴儿车的通信复杂性西奥。计算。科学。1990 71 1 3-28

[2]

Ahuja RK、ErgunØ、Orlin JB和Punnen AP对大规模邻域搜索技术的调查谨慎。申请。数学。2002 123 1–3 75-102

[3]

Aldous，D.，Fill，J.A.：图上的可逆马尔可夫链和随机游动（2002年，未完成专著）。http://www.stat.berkeley.edu网站/~aldous/RWG/book.html

[4]

Andrychowicz M和Dziembowski S Gennaro R和Robshaw M基于PoW的分布式加密，无可信设置密码学进展——2015年密码体制2015海德堡施普林格379-399

[5]

Badertscher，C.，Gazi，P.，Kiayias，A.，Russell，A.，Zikas，V.：共识重复：面对对抗性霸权的分布式账本。IACR Cryptology ePrint Archive，报告2020/1021（2020）

[6]

Badertscher C、Maurer U、Tschudi D、Zikas V Katz J和Shacham H比特币作为交易分类账：可组合处理密码学的进展——CRYPTO 20172017查姆斯普林格324-356

[7]

Baldominos，A.，Saez，Y.：硬币。AI：一种基于区块链的分布式深度学习的校对方案。熵21(8), 723 (2019)

[8]

Ball M、Rosen A、Sabin M、Vasudevan PN Shacham H和Boldyreva A最坏情况假设的工作证明密码学进展——2018年密码体制2018 Cham Springer 789-819

[9]

Bellare，M.，Rogaway，P.：随机预言是实用的：设计有效协议的范例。收录于：CCS 1993，美国弗吉尼亚州费尔法克斯，第62–73页（1993）

[10]

Boneh D、Bonneau J、Bünz B、Fisch B Shacham H和Boldyreva A可验证延迟函数密码学进展-加密货币20182018查姆斯普林格757-788

[11]

Chatterjee，K.，Goharshady，A.K.，Pourdamghani，A.：混合挖掘：利用区块链的计算能力来解决分布式问题。附：第34届ACM/SIGAPP应用计算研讨会论文集（2019年）

[12]

Coelho，F.：基于Merkle树的（几乎）恒力解决方案验证工作证明协议。Cryptology ePrint Archive，报告2007/433（2007）

[13]

考文垂：Nooshare:共享计算资源的分散分类账（2012年）。https://web.archive.org/web/20220620105201/.http://web.mit.edu/alex_c/www/nooshare.pdf

[14]

Daian P、Pass R、Shi E Goldberg I和Moore T Snow white：可重构共识和应用于可证明安全的权益证明金融加密和数据安全2019年Cham Springer 23-41

[15]

David B、Gaíi P、Kiayias A、Russell A Nielsen JB和Rijmen V Ouroboros praos：一个自适应安全、半同步的证明型区块链密码学进展——2018年EUROCRYPT2018查姆斯普林格66-98

[16]

Dotan，M.，Tochner，S.：无用工作的证据——无废料采矿系统的积极和消极结果。arXiv预印本arXiv:2007.01046号(2020)

[17]

Dziembowski S、Faust S、Kolmogorov V、Pietrzak K Gennaro R和Robshaw M空间证明密码学进展——2015年密码体制2015海德堡施普林格585-605

[18]

Fitzi，M.，Kiayias，A.，Panagiotakos，G.，Russell，A.：Ofelimos：通过有用工作的证明进行组合优化——一种可证明安全的区块链协议。加密电子打印档案，论文2021/1379（2021）

[19]

加普科因。Gapcoin（2014年）。https://gapcoin.org/

[20]

Garay J、Kiayias A、Leonardos N Oswald E和Fischlin M比特币主干协议：分析和应用密码学进展——EUROCRYPT 20152015海德堡施普林格281-310

[21]

Garay JA、Kiayias A和Panagiotakos G Jarecki S工作签名共识密码学主题–CT-RSA 20202020查姆斯普林格319-344

[22]

来自非理想散列函数的Garay JA、Kiayias A和Panagiotakos G Pass R和Pietrzak K区块链密码学理论2020查姆斯普林格291-321

[23]

Gilad，Y.、Hemo，R.、Micali，S.、Vlachos，G.、Zeldovich，N.：Algorand：加密货币的拜占庭协议缩放。摘自：第26届操作系统原理研讨会论文集，第51–68页（2017）

[24]

Groth J Fischlin M和Coron J-S关于基于配对的非交互自变量的大小密码学进展–EUROCRYPT 20162016海德堡施普林格305-326

[25]

Groth J、Kohlweiss M、Maller M、Meiklejohn S和Miers I Shacham H和Boldyreva A可更新的通用参考字符串，适用于zk-SNARK密码学进展——2018年密码体制2018查姆斯普林格698-728

[26]

Gupta N和Nau DS关于区块的复杂性——世界规划Artif公司。智力。1992 56 2–3 223-254

[27]

Hoos HH和Stützle T随机局部搜索：基础与应用2004年阿姆斯特丹爱思唯尔

[28]

Kautz，H.，Selman，B.，McAllester，D.：2004年SAT竞赛中的Walksat。收录于：《可满足性测试理论与应用国际会议论文集》（2004年）

[29]

Kerber，T.、Kiayias，A.、Kohlweiss，M.：隐私挖掘：如何引导一个棘手的区块链。加密电子打印档案，报告2020年/401年（2020年）

[30]

Kiayias，A.、Quader，S.、Russell，A.：证明区块链与同时诚实的领先者的一致性。IACR Cryptology ePrint Archive，报告2020/041（2020）

[31]

Kiayias A、Russell A、David B、Oliynykov R Katz J和Shacham H Ouroboros：可证明安全的区块链证明协议密码学进展——2017年密码体制2017年Cham Springer 357-388

[32]

King，S.：Primecoin：带质数证明的加密货币（2013）

[33]

Lihu，A.，Du，J.，Barjaktarevic，I.，Gerzanics，P.，Harvilla，M.：区块链上人工智能有用工作的证明。arXiv:2001.09244年预印本（2020）

[34]

Loe，A.F.，Quaglia，E.A.：征服将军：有用工作的NP-hard证明。摘自：分布式系统加密货币和区块链第一次研讨会论文集，第54–59页（2018）

[35]

Maller，M.、Bowe，S.、Kohlweiss，M.和Meiklejohn，S.:声音：线性大小通用和可更新结构化参考字符串的零知识陷阱。收录于：ACM CCS 2019，英国伦敦，第2111–2128页（2019）

[36]

Miller，A.、Juels，A.、Shi，E.、Parno，B.、Katz，J.：Permacoin：重新调整比特币的用途以保存数据。2014年IEEE标准普尔，第475-490页。IEEE（2014）

[37]

Moran T和Orlov I Boldyreva A和Micciancio D时空的简单证明和存储的有理证明密码学进展——2019年密码技术2019查姆斯普林格381-409

[38]

Oliver，C.G.，Ricotone，A.，Philippopoulos，P.：关于解决NP-完全问题的完全分散区块链和工作证明算法的建议。arXiv预印本arXiv:1708.09419(2017)

[39]

Papadimitriou CH和Ullman JD沟通时间权衡SIAM J.计算。1987 16 4 639-646

[40]

Park，S.、Kwon，A.、Fuchsbauer，G.、Gaíi，P.、Alwen，J.、Pietrzak，K.：SpaceMint：基于空间证明的加密货币。参加：金融加密和数据安全国际会议（2018年）

[41]

Pass R、Seeman L和Shelat A Coron J-S和Nielsen JB异步网络中区块链协议的分析密码学进展——2017年欧洲密码2017年Cham Springer 643-673

[42]

Pass，R.，Shi，E.：水果链：公平的区块链。收录于：Schiller，E.M.，Schwarzmann，A.A.（编辑）ACM PODC 2017，美国华盛顿特区，2017年7月25-27日，第315-324页。ACM（2017）

[43]

Selman，B.，Kautz，H.A.，Cohen，B.：改进局部搜索的噪音策略。摘自：《第十二届全国人工智能会议论文集》，1994年美国人工智能学会，第1卷，第337-343页（1994年）

[44]

Zhang，F.，Eyal，I.，Escriva，R.，Juels，A.，Van Renesse，R.：REM：区块链的资源高效开采。参见：2017年第26届USENIX安全研讨会，第1427-1444页（2017）

[45]

Zheng，W.，Chen，X.，Zheng。arXiv预印本arXiv:2003.13999号(2020)

引用人

苏X拉朗基拉M田中K(2023)基于分布式深度验证学习的安全区块链协议网络和系统安全10.1007/978-3-031-39828-5_7(114-136)在线发布日期：2023年8月14日
https://dl.acm.org/doi/10.1007/978-3-031-39828-5_7

索引术语

Ofelimos：通过实用验证的组合优化：一种安全可靠的区块链协议
1. 安全和隐私
2. 计算理论

索引项已通过自动分类分配给内容。

建议

有用的工作：一个新协议，确保基于PoW的区块链共识的有用性
GoodIT’22：2022年ACM信息技术促进社会福利会议记录

区块链是一项新技术，自2009年以来吸引了多家参与者，尤其是在金融领域，随着加密货币（如著名的比特币）的出现。在区块链中，也被视为分布式账本或链。。。
阅读更多信息
可扩展区块链结构的探索：工作验证与BFT复制
网络安全中的开放问题
摘要
比特币加密货币展示了全球共识在数千个节点上的效用，永远改变了数字交易的世界。在比特币早期，其概率性能校样基于（PoW）。。。
阅读更多信息
为什么固定成本对基于验证的加密货币很重要
我们评估了加密货币挖掘的成本结构如何影响矿工对汇率波动的响应以及依赖于验证的加密货币分类账的不变性。。。
阅读更多信息

评论

信息和贡献者

问询处

发布于

封面图片指南会议记录

密码学进展–CRYPTO 2022:第42届国际密码学年会，2022年8月15日至18日，美国加利福尼亚州圣巴巴拉，CRYPTO 2020，会议记录，第二部分

2022年8月

829页

国际标准图书编号：978-3-031-15978-7

内政部：10.1007/978-3-031-15979-4

编辑：
是的，多迪斯
美国纽约州纽约市纽约大学
,
托马斯·施里普顿
美国佛罗里达州盖恩斯维尔佛罗里达大学

©国际密码研究协会2022。

出版商

Springer-Verlag公司

柏林，海德堡

出版历史

出版：2022年8月15日

作者标记

限定符

第条

贡献者

其他指标

查看文章指标

文献计量学和引文

文献计量学

文章指标

1
引文总数
查看引文
0
总下载次数

下载量（最近12个月）0
下载次数（最近6周）0

其他指标

查看作者指标

引文

引用人

苏X拉朗基拉M田中K(2023)基于分布式深度验证学习的安全区块链协议网络和系统安全10.1007/978-3-031-39828-5_7(114-136)在线发布日期：2023年8月14日
https://dl.acm.org/doi/10.1007/978-3-031-39828-5_7

视图选项

查看选项

获取访问权限

登录选项

检查您是否可以通过登录凭据或您的机构访问本文。

完全访问权限

获取此出版物

媒体

数字

其他

桌子