{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,6,17]]，“日期-时间”：“2024-06-17T05:16:16Z”，“时间戳”：1718601376704}，“参考-计数”：48，“出版商”：“Springer Science and Business Media LLC”，“问题”：“1”，“许可证”：[{“开始”：{-“日期-零件”：[2021,10,23]]，”日期-时间“：“2021-10-23T00:00:00Z”，“timestamp”：1634947200000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/creativecommons.org\/licenses\/by\/4.0”}，{“start”：{“date-parts”：[[2021,10,23]]，“date-time”：“2021-10-23T00:00:00Z”，“timetamp”：1654947200000，“content-version”：“vor”，“delay-in-days”：“0，”URL“https:\\/creative commons”。org\/licenses\/by\/4.0“}]，“出资人”：[{“DOI”：“10.13039\/501000001711”，“name”：“Schweizerischer Nationalfonds zur F\u00f6rderung der Wissenschaftlichen Forschung”，“doi-asserted-by”：“publisher”}]，“content-domain”：{“domain”:[“link.springer.com”]，“crossmark-restriction”：false}，“short-container-title”：[“Distribut.Comput.”]，”published-print“：{”date-parts“：[2022,2]}，”abstract“：“”摘要<\/jats:title>许多基于区块链的算法，如比特币，实现了一个分散的资产转移系统，通常称为加密货币。正如Nakamoto在原始文件中所述，这些系统的核心在于防止双重支出的问题；这通常通过参与者之间就转让顺序达成共识来解决。在本文中，我们将资产转移问题视为一个并发对象，并确定其一致数，表明事实上，一致数对于防止双重支出是不必要的。我们首先考虑Nakamoto定义的问题，其中只有一个进程\u2014，账户所有者\u2014可以从每个账户中提款。需要确保正确的帐户所有者的安全和活跃性，而行为不端的帐户所有者可能无法执行转账。我们证明了资产转移对象的共识数是1。然后我们考虑一个更一般的k<\/jats:italic>-共享资产转移对象，其中最多k<\/jats:italic>进程可以从同一帐户中自动退出，并表明该对象具有一致数k<\/jats:italic>。我们在具有良性故障的共享内存的背景下建立我们的结果，使我们能够正确理解资产转移问题的困难程度。我们还将这些结果转化为拜占庭球员的信息传递设置，这是一个更切合实际的模式。在这个模型中，我们描述了一个异步拜占庭容错资产转移实现，它比最先进的基于共识的解决方案更简单、更高效。我们的结果适用于许可（私有）和无许可（公共）设置，因为它们的区别通常被我们算法所基于的抽象所隐藏<\/jats:p>“，”DOI“：”10.1007\/s00446-021-00399-2“，”type“：”journal-article“，”created“：{”date-parts“：[[2021,10,23]]，”date-time“：”2021-10-23T09:02:43Z“，”timestamp“：1634979763000}，”page“：by-count“：5，”title“：[”加密货币的共识编号“]”，“前缀”：“10.1007”，“卷”：“35”，“作者”：[{“给定”：“拉希德”，“家族”：“格拉乌伊”，“序列”：“第一”，“从属关系”：[]}，{“已知”：“Petr”，“家庭”：“库兹涅佐夫”，“顺序”：“附加”，“隶属关系”：[]}“ORCID”：“http:\/\/orcid.org\/00000-0002-5147-3890“，”authenticated-orcid“：false，”given“：”Matej“，”family“：”Pavlovic“，”sequence“：”additional“，”affiliation“：[]}，”giving“：”Dragos-Adrian“，”家族“：”Seredinschi“，”序列“：”附加“，”从属“：[]}]，”成员“：”297“，”published-online“：”{“date-parts”：[2021,10,23]]}“reference”：[{“key”：“399_CR1”，“非结构化”：“Abraham，I.、Gueta，G.、Malkhi，D.、Alvisi，L.、Kotla，R.、Martin，J.P.：重温快速实用拜占庭容错（2017）。arXiv:1712.01367“}，{“key”：“399_CR2”，“unstructured”：“Abraham，I.，Malkhi，D.，Nayak，K.，Ren，L.，Spiegelman，A.：Solida:基于可重构拜占庭共识的区块链协议（2016）。arXiv:1612.02916”}，}“issue”：“4”，“key“：”399_CR3“doi-asserted-by”：“publisher”，“first-page”：“873”，“doi”：“10.1145\/153724.153741”，“卷”：“40”，“作者”：“Y Afek”，“年份”：“1993年”，“非结构化”：“Afek，Y.，Attiya，H.，Dolev，D.，Gafni，E.，Merritt，M.，Shavit，N.：共享内存的原子快照。JACM 40（4），873\u2013890（1993）“，”期刊标题“：”JACM“}，｛”密钥“：”399_CR4“，”doi断言“：”发布者“，”非结构化“：”Androulaki，E.，Barger，A.，Bortnikov，V.，Cachin，C.，Christidis，K.，De\u00a0Caro，A.，Enyert，D.，Ferris，C.，Laventman，G.，Manevich，Y.，Muralidharan，S.，Murthy，C.，Nguyen，B.，Sethi，M.，Singh，G，J.：超级账本结构：用于许可区块链的分布式操作系统。参见：《第十三届EuroSys会议记录》，EuroSys\u201918，第30:1\u201330:15页。ACM，纽约（2018年）。https:\/\/doi.org\/10.1145\/3190508.3190538“，“doi”：“10.1145\/319058.3190538”}，{“key”：“399_CR5”，“doi-asserted-by”：“publisher”，“unstructured”：“Antoniadis，K.，Guerraoui，R.，Malkhi，D.，Seredinschi，D.A.：状态机复制比共识更昂贵。In:Schmid，U.，Widder，J.（eds.）第32届分布式计算国际研讨会（DISC 2018），莱布尼茨国际信息学会议录（LIPIcs），第121卷，第7:1\u20137:18页。Dagstuhl\u2013Leibniz-Zentrum fuer Informatik，Dagstuhel（2018）。https:\/\/doi.org\/10.4230\/LIPIcs。光盘2018.7。http:\/\/drops.dagstuhl.de\/opus\/voltext\/2018\/9796”，“DOI”：“10.4230\/LIPIcs。DISC.2018.7“}，{“issue”：“2”，“key”：“399_CR6”，“doi-asserted-by”：“publisher”，“first-page”：“91”，“doi”：“10.1145\/176575.176576”，《volume》：“12”，“author”：“H Attiya”，《year》：“1994”，“unstructured”：“Attiya，H.，Welch，J.L.：序列一致性与线性化能力。ACM TOCS 12（2），91\u2013122（1994）”，“journal-title”：“ACM M目录“}，{”键“：”399_CR7“，”doi-asserted-by“：”publisher“，”first page“：”142“，“doi”：“10.1007\/978-3662-53357-4_10”，“volume-title”：“金融加密和数据安全”，“author”：“I Bentov”，“year”：“2016”，“unstructured”：“Bentov，I.，Gabizon，A.，Mizrahi，A.：没有工作证明的加密货币。In：Clark，J.，Meiklejohn，S.，Ryan，P.Y.，Wallach，D.，Brenner，M.，Rohloff，K.（编辑）《金融加密和数据安全》，第142\u2013157页。施普林格，柏林（2016）“}，{“key”：“399_CR8”，“doi asserted by”：“publisher”，“nonstructured”：“Berman，P.，Garay，J.A.，Perry，K.J.：走向最优分布式共识。在：第30届计算机科学基础年度研讨会（FOCS），第410\u2013415页。IEEE，三角研究公园（1989）。https:\/\/doi.org\/10.109\/SFCS.1989.63511“，“doi”：“10.1109\/SFCS.1989.6351”}，{“key”：“399_CR9”，“doi-asserted-by”：“crossref”，“unstructured”：“Bonneau，J.，Miller，A.，Clark“问题”：“4”，“key“：”399_CR10“，”doi-asserted-by“：”publisher“，”first-page“：”824“，”doi“：”10.1145\/4221.214134“，”volume“：“32”，“author”：“G Bracha”，“year”：“1985”，“unstructured”：“Bracha，G.，Toueg，S.：异步共识和广播协议。JACM 32（4），824\u2013840（1985）。https:\/\/doi.org\/10.1145\/4221.214134“，”journal-title“：”JACM“}，{”key“：”399_CR11“，”doi-asserted-by“：”publisher“，”first-page“：”524“，”doi“：”10.1007\/3-540-44647-8_31“，“volume-title”：“Advances in Cryptology \u2014CRYPTO 2001”，“author”：“C Cachin”，“year”：“2001”，”unstructured“：”Cachin，C.，Kursawe，K.，Petzold，F.，Shoup，V.：安全高效的异步广播协议。在：Kilian，J.（编辑）《密码学进展》\u2014CRYPTO 2001，第524\u2013541页。Springer，Berlin（2001）“}，{“key”：“399_CR12”，“doi-asserted-by”：“crossref”，“unstructured”：“Cachin，C.，Vukoli\u0107，M.：区块链共识协议（2017）.arXiv:1707.01873”，“doi”：“10.1109”\/EDCC.2017.36 10.1145\/571637.571640“，”卷“：”20“，”作者：“M Castro”，“year”：“2002”，“unstructured”：“Castro，M，Liskov，B.：实用拜占庭容错和主动恢复。ACM事务处理。计算。系统。20（4），398\u2013461（2002）。https:\/\/doi.org\/10.1145\/571637.571640“，”journal-title“：”ACM Trans。计算。系统。“}，{”key“：”399_CR14“，”unstructured“：”Churyumov，A.：Byteball:一个分散的价值存储和转移系统（2016）。https:\/\/Byteball.org\/Byteball.pdf“}Clement，A.、Wong，E.L.、Alvisi，L.、Dahlin，M.、Marchetti，M.：使拜占庭容错系统能够容忍拜占庭故障。收录于：NSDI，第153\u2013168页。USENIX Association，Berkeley（2009）“}，{”key“：”399_CR16“，”doi-asserted-by“：”publisher“，”unstructured“：”Collins，D.，Guerraoui，R.，Komatovic，J.，Kuznetsov，P.，Monti，M.，Pavlovic，M.、Pignolet，Y.、Seredinschi，D.、Tonkikh，A.、Xygkis，A.：仅通过广播信息进行在线支付。参见：2020年IEEE第50届年度可靠系统和网络国际会议（DSN），第26\u201338页（2020年）。https:\/\/doi.org\/10.109\/DSN48063.2020.0023“，”doi“：”10.1109\/DSN4863.2020.00023“}，{”key“：”399_CR17“，”doi-asserted-by“：”publisher“，”unstructured“：”Decker，C.，Seidel，J.，Wattenhofer，R.：比特币具有很强的一致性。摘自：《第十七届分布式计算与网络国际会议论文集》，ICDCN\u201916，第13:1\u201313:10页。ACM，纽约（2016）。https:\/\/doi.org\/10.1145\/2833312.2833321“，“doi”：“10.1145\/283312.2833321”}，{“key”：“399_CR18”，“doi-asserted-by”：“publisher”，“unstructured”：“Duan，S.，Reiter，M.K.，Zhang，H.：Beat:异步BFT实用。摘自：2018年ACM SIGSAC计算机和通信安全会议记录，CCS\u201918，pp.2028\u20132041。ACM，纽约（2018年）。https:\/\/doi.org\/10.1145\/3243734.3243812“，”doi“：”10.1145\/32437034.3243512“}，{“key”：“399_CR19”，“unstructured”：“Eyal，I.，Gencer，A.E.，Sirer，E.G.，Van\u00a0Renesse，R.：Bitcoin-NG:一个可扩展的区块链协议（2016）”}，“key“：”399_CR20“，”非结构化“：”Fidge，J.C.：保留部分顺序的消息传递系统中的时间戳。收录于：《第十一届澳大利亚计算机科学会议论文集》，第10卷（1），第56\u201366页（1988）“}，{”issue“：”2“，”key“：”399_CR21“，”doi-asserted-by“：”publisher“，”first page“：“374”，”doi“：”10.1145\/3149.214121“，“volume”：“32”，“author”：“MJ Fischer”，“year”：“1985”，“unstructured”：“Fischer，M.J.、Lynch，N.A.、Paterson，M.S.：一个错误的过程不可能达成分布式共识。JACM 32（2），374\u2013382（1985）”，“期刊标题”：“JACM”}，｛“密钥”：“399_CR22”，“doi断言”：“出版商”，“第一页”：“281”，“doi”：“10.1007\/978-3-662-46803-6_10”，“卷标题”：“密码学进展\u2014EUROCRYPT 2015”，“作者”：“J Garay”，“年份”：“2015”，“非结构化”：“Garay，J.、Kiayias，A.、Leonardos，N.：比特币主干协议：分析与应用。收录于：Oswald，E.，Fischlin，M.（编辑）《密码学进展》2014年《欧洲密码》2015年，第281\u2013310页。Springer，Berlin（2015）“}，{”key“：”399_CR23“，”doi-asserted-by“：”publisher“，”unstructured“：”Garay，J.A.，Katz，J.，Kumaresan，R.，Zhou，H.S.：自适应安全广播，重温。摘自：第30届ACM SIGACT-SIGOPS分布式计算原理研讨会论文集，PODC\u201911，pp.179\u2013186。ACM，美国纽约州纽约市（2011年）。https:\/\/doi.org\/10.1145\/1993806.1993832“，”doi“：”10.1145\/199386.1993822“}，{“key”：“399_CR24”，“doi-asserted-by”：“publisher”，“unstructured”：“Gilad，Y.、Hemo，R.、Micali，S.、Vlachos，G.、Zeldovich，N.：Algorand：加密货币的拜占庭协议缩放。摘自：第26届操作系统原理研讨会论文集，SOSP\u201917，第51\u201368页。ACM，纽约（2017）。https:\/\/doi.org/10.1145\/312747.3132757“，“doi”：“10.1145\/312747.3132757”}，｛“key”：“399_CR25”，“nonstructured”：“Guerraoui，R.，Pavlovic，M.，Seredinski，D.A.：区块链协议：对手在细节中。in：区块链基础与应用研讨会（2018）.https:\/\/scfab.github.io\/2018\/assets\/papers\/fab18_submission_04.pdf“}，{“key”：“399_CR26”，“unstructured”：“Gupta，S.：一种支持高效审计的基于非感官的分散式金融交易处理模型。硕士论文，美国亚利桑那州立大学（2016）”}分布式系统，第\u00a05章，“作者”：“V Hadzilacos”，“年份”：“1993年”，“非结构化”：“Hadzilas，V.，Toueg，S.：容错广播和相关问题。摘自：Mullender，S.J.（编辑）《分布式系统》，第u00a05章，第97\u2013145页。Addison-Wesley，Reading（1993）“}，{“key”：“399_CR28”，“unstructured”：“Hearn，M.：Corda:分布式账本。Corda Technical White Paper（2016）”}，}，“issue”：“1”，“key“：“399-CR29”，“doi-asserted-by”：“publisher”，“first page”：《123》，“doi”：“10.1145\/114005.102808”，“volume”：Herlihy，M.：无等待同步。TOPLAS 13（1），123\u2013149（1991）“，”journal-title“：”TOPLAS“}，{”issue“：”3“，”key“：”399_CR30“，”doi-asserted-by“：”publisher“，”first page“：“463”，“doi”：“10.1145\/78969.78972”，“volume”：“12”，“author”：“MP Herlihy”，“year”：“1990”，“unstructured”：“Herlihy，M.P.，Wing，J.M.：线性化：并发对象的正确性条件。ACM事务处理。程序。语言系统。12（3），463\u2013492（1990）。https:\/\/doi.org\/10.1145\/78969.78972“，”journal-title“：”ACM Trans。程序。语言系统。“}，{”key“：”399_CR31“，”doi-asserted-by“：”publisher“，”first-page“：”69“，”doi“：”10.1007\/3-540-56188-9_5“，”volume-title“：”Distributed Algorithms“，”author“：”P Jayanti“，”year“：”1992“，”unstructured“：”Jayanti，P.，Toueg，S.：关于共识的不可能性、普遍性和可判定性的一些结果。In:Segall，A.，Zaks，S.（eds.）分布式算法，第69\u201384页。Springer，Berlin（1992）“}，{”key“：”399_CR32“，”doi-asserted-by“：”publisher“，”unstructured“：”Karlsson，K.、Jiang，W.、Wicker，S.、Adams，D.、Ma，E.、van Renesse，R.、Weatherspoon，H.：互联网的分区容忍区块链。参见：第38届IEEE分布式计算系统国际会议，ICDCS 2018，奥地利维也纳，IEEE计算机学会，第1150\u20131158页。https:\/\/doi.org\/10.109\/ICDCS.2018.00114，https:\//dblp.org\/rec\/conf\/ICDCS\/KarlssonJWAMRW18.bib“，”doi“：”10.1109\/ICDS.2018.00114“}，{“key”：“399_CR33”，“unstructured”：“Kogias，E.K.，Jovanovic，P.，Gailly，N.，Khoffi，I.，Gasser，L.，Ford，B.：通过集体签名增强比特币安全性和性能的强一致性。USENIX Security（2016）“}，{”key“：”399_CR34“，”doi-asserted-by“：”crossref“，”unstructured“：”Kokoris-Kogias，E.，Jovanovic，P.，Gasser，L.，Gailly，N.，Syta，E.，Ford，B.：OmniLedger:Asecure，Scale-Out，Decentralized Ledger via Sharding IEEE.Sym.Secur.Priv.583\u2013598（2018）“，”doi“：”10.1109\/SP.2018.000-5“}”，{“key”：“399_CR 5“，“非结构化”：”LeMahieu，C.：Nano：一个无触觉的分布式加密货币网络。Nano。https:\/\/nano.org\/en\/白皮书（2018）。2019年1月18日访问“}，{“key”：“399_CR36”，“doi-asserted-by”：“crossref”，“unstructured”：“Malkhi，D.，Merritt，M.，Rodeh，O.：广域网中的安全可靠多播协议。in:ICDCS（1997）”，“doi”：“10.3233\/JCS-1997-5203”}，}，“issue”：“2”，“key“399_CR37”，“doi-assertd-by”：“publisher”，《首页》：“113”，JCS-1997-5203“，”卷“：”5“，”author“：”D Malkhi“，”year“：”1997“，”unstructured“：”Malkhi，D.，Reiter，M.K.：一种高吞吐量安全可靠的多播协议。J.计算。安全。5（2），113\u2013128（1997）。https:\/\/doi.org\/10.3233\/JCS-1997-5203“，”journal-title“：”J.Compute。安全。“}，{”key“：”399_CR38“，”unstructured“：”Mazieres，D.：“恒星共识协议：互联网级共识的联邦模型。恒星发展基金会（2015）”}，}，“key”：“399_CR 39”，“unstructure”：“Nakamoto，S.：比特币：对等电子现金系统（2008）”}.，{“issue”：“2”，“keys”：“3.99_CR40”，“doi-asserted-by”：“publisher”，“first-page”：“”97”，“DOI”：“10.1007\/s004460100061”，“volume”：“15”，“author”：“F Pedone”，“year”：“2002”，“unstructured”：“Pedone，F.，Schiper，A.：使用通用广播协议处理消息语义。分布计算。15（2），97\u2013107（2002）“，“新闻标题”：“分布计算。“}，{”key“：”399_CR41“，”unstructured“：”Rapoport，P.，Leal，R.，Griffin，P..，Sculley，W.：涟漪协议（2014）“}”，{“key”：“399_CR12”，“unstructure”：“Sompolinsky，Y.，Zohar，A.：加快比特币\u2019s事务处理：快速资金在树上增长，而不是在链上。IACR Cryptology ePrint Archive 881（2013）”}，}，“key：”399-CR43“，“doi-asserted-by”：“”crossref“，”unstructured“：”Sousa，J.，Bessani，A.，Vukolic，M.：超账本结构区块链平台的拜占庭容错订购服务。在：IEEE DSN（2018）“，”DOI“：”10.1109\/DDSN.2018.00018“｝，｛”key“：”399_CR44“，”DOI断言“：”crossref“，”非结构化“：”Szabo，N.：在公共网络上正式化和保护关系。第一个星期一2（9）（1997）“，”DOI“：”10.5210\/fm.v2i9.548“｝，｛”key“：”399_CR45“，”非结构化“：”Team-Rocket:Snowflake to雪崩：加密货币的新型亚稳定共识协议家族。白皮书（2018）。版次：2018年5月16日21:51:26 UTC“}，{“key”：“399_CR46”，“doi-asserted-by”：“publisher”，“unstructured”：“Toueg，S.：随机拜占庭协议。摘自：第三届ACM分布式计算原理年会论文集，PODC\u201984，pp.163\u2013178。ACM，纽约（1984）。https:\/\/doi.org\/10.1145\/800222.806744“，“doi”：“10.1145\/800222.806744”}，{“key”：“399_CR47”，“doi-asserted-by”：“crossref”，“unstructured”：“Vukoli\u0107，M.：可扩展区块链结构的探索：工作证明与BFT复制。In:网络安全中的开放问题国际研讨会（2015）”，“doi:”10.1007\/978-319-39028-4_9“}，}”key“：”399_CR48“，”unstructured“：”Wood，G.：以太坊：一个安全的分散通用交易分类账。白皮书（2015）“}]，”container-title“：[”Distributed Computing“]，”original-title”：[]，”language“：”en“，”link“：[{”URL“：”https:\/\/link.springer.com/content\/pdf\/10.1007\/s00446-021-00399-2.pdf“，”content-type“：”application\/pdf“，”content-version“：”vor“，”intended-application“：”text-mining“}，”{“URL”：“https:\/\/link.springer.com/article\/10.1007\/s00446-021-00399-2\/fulltext.html“，“内容类型”：“文本\/html”，“内容版本”：“vor”，“intended-application”：“text-mining”}，{“URL”：“https:\//link.springer\com/content\/pdf\/10007\/s00446-021-00999-2-pdf”，“content-type”：“application\/pdf”，“content-version”：“vor”，“intended-aapplication”“：”相似性检查“｝”，“寄存”：｛“日期部分”：[[2022,27]]，“日期-时间”：“2022-02-27T08:03:54Z”，“时间戳”：1645949034000｝，“分数”：1，“资源”：｛“主要”：｛“URL”：“https://link.springer.com\/10.1007\/s00446-021-000399-2”｝，“副标题”：[]，“短标题”：[]，“发布”：｛“日期部分”：[[2021,10,23]]｝，“引用次数”：48，“期刊发行”：｛“问题”：“1”published-print“：{“date-parts”：[[2022,2]]}}，“alternative-id”：[“399”]，“URL”：“http://\/dx.doi.org\/10.1007\/s00446-021-00399-2”，“relationship”：{}，”ISSN“：[“0178-2770”，“1432-0452”]，”ISSN-type“：[{“value”：“0178-2370”，“type”：电子“}]，”主题“：[]，”发布“：{”日期部分“：[[2021,10,23]]}，”断言“：[{”值“：”2020年2月10日“，”订单“：1，”名称“：”已接收“，”标签“：”接收“，“组”：{“名称”：“文章历史”，“标签”：“物品历史”}}，{“值”：“2021年6月3日”，“订单”：2，“名称”:“已接受”，“label”：“已接受“，”组“：“首次联机”，“组”：{name“：”ArticleHistory“，”label“：”文章历史“}}，{“value”：“2022年2月23日”，“order”：4，“name”：“change_date”，“label”：“更改日期”，“group”：{“name”:“文章历史”，“标签”：“文章历史“{}，”value“：”更正“，”order“：5，”name“：“：”对本文的更正已发布：“，”order“：6，”name“：”change_details“，”label“：”change details“，“group”：{“name”：”ArticleHistory“，”标签“：”Artiple History”}}，{“value”：“https:\/\/doi.org\/10.1007\/s00446-022-00422-0”，“URL”：“https:\/\\/doi.org/10.1007\\s00446-0225-0”，“order”：7，“name”:“change_deties”，“label”：“change Deails”，“组”：{name“：”ArticleHistory“，”label“：”Article History”}}，{“order”：1，“name”：“Ethics”，“group”：{“name”:“EthicsHeading”，“label”：“Declarations”}，}“value”：“作者声明他们没有利益冲突