在本文中,我们探索了有效的方法来证明椭圆曲线配对关系的正确性。基于配对的加密协议,例如Groth16和Plonk Snarks和BLS签名方案,在公共区块链(例如以太坊)中广泛使用,很大程度上归功于其小尺寸。对于许多用例,诸如SNARK内部的“电路”验证的验证相对较高的配对计算成本仍然是一个实际问题。这自然出现在基于BLS共识方案的递归snark组成和snark中。为了改善配对验证,我们首先证明配对验证的最终启动步骤可以用更有效的“残基检查”代替,可以将其纳入米勒循环中。然后,我们通过计算所有必要的线来降低米勒循环的成本,以及当预先确定第二个配对参数时,这是特别有效的。使用固定公共密钥以及基于KZG的Snarks(如Plonk)和三个Groth16配对中的两个签名的BLS签名就是这种情况。最后,我们通过组合商来展示如何改善[GAR]方案,这使我们能够更有效地证明更高的关系关系。这些技术也自然而然地将配对验证(例如链验证)或比特币智能合约的BITVM(2)协议的一部分。我们实例化算法并显示BN254曲线的结果。
在经合组织教育和技能司,这项工作由经合组织秘书长教育政策特别顾问兼教育和技能司司长 Andreas Schleicher 和高级分析师兼创新和衡量进展司副司长 Stéphan Vincent-Lancrin 领导。在经合组织秘书处,以下同事对本文件的不同版本作出了贡献和评论,在此深表感谢:教育和技能司(EDU)创新和衡量进展司司长 Tia Loukkola、分析师 Quentin Vidal、Cassie Hague、Shivi Chandra 和 Jun Yu;科学、技术和创新司(STI)副司长 Jens Lundsgaard、数字经济司司长 Audrey Plonk 和分析师 Gallia Daor。
该报告由Simon Lange,John Mitchell,Vincenzo Spiezia和Jorrit Zwijnenburg起草。它是在经合组织科学,技术与创新局(STI)的主任安迪·维科夫(Andy Wyckoff)和STI数字经济政策部主管Audrey Plonk的监督下准备的。该报告受益于经合组织科学,技术和创新局(Angela Attrey,Gallia Daor,Christian Reimsbach-Kounatze等)的评论和建议,以及Virtual OECD工作室的参与者,“衡量数据和数据流的价值”,在4月7日举行。Angela Gosmann和Mark Foss提供了编辑支持。本出版物是对数字经济政策委员会的2021-2022工作和预算计划的IOR 1.3.1.2.3的贡献。
最后,作者感谢所有在整个报告中为该报告做出贡献的人。其中包括Jerry Sheehan,Audrey Plonk,Hanna-Mari Kilpelainen,Alessandra Colecchia,David Winickoff,Laura Kreiling,Jamie Berryhill,Douglas K.R.Robinson,Gallia Daor和Julia Carro(科学,技术与创新局);丽贝卡·金(Rebecca King)(公共治理局); Barbara Bijelic和Rashad Abelson(金融和企业事务局); Rafal Kierzenkowski,Dexter Docherty和Hamish Hobbs(经合组织战略远见单元)提供了宝贵的评论和指导。 作者要感谢Andreia Furtado,John Tarver和Sarah Ferguson的编辑支持。 本报告的整体质量从参与度中受益匪浅。Robinson,Gallia Daor和Julia Carro(科学,技术与创新局);丽贝卡·金(Rebecca King)(公共治理局); Barbara Bijelic和Rashad Abelson(金融和企业事务局); Rafal Kierzenkowski,Dexter Docherty和Hamish Hobbs(经合组织战略远见单元)提供了宝贵的评论和指导。作者要感谢Andreia Furtado,John Tarver和Sarah Ferguson的编辑支持。本报告的整体质量从参与度中受益匪浅。
本文由 Celine Caira、Gallia Daor、Alexia González Fanfalone 和 Johannes Kirnberger 起草,由 OECD 科学、技术和创新 (STI) 理事会副主任 Audrey Plonk 领导。OECD 秘书处顾问 Lucy Russell 和 Valéria Silva 以及 OECD 秘书处实习生 Léa Nicolas 参与了起草。该报告是在与 OECD.AI 计算和气候专家组的专家协商后制定的(见附件 A)。STI 主任 Jerry Sheehan 和 Hanna-Mari Kilpeläinen 提供了监督和指导。本文还受益于以下人员的贡献:科学、技术和创新司的 Brigitte Acoca、Julia Carro、Johanna Croser、Molly Lesher 和 Verena Weber,以及经合组织环境司的 David Giertier、法律事务司的 Céline Folsché 和 Clara Thiemann,以及国际能源署的 Brendan Reichenbach。Andreia Furtado 和 Sarah Ferguson 提供了编辑和行政支持。
本报告基于私人来源的数据,对专注于人工智能 (AI) 的私营公司的风险投资 (VC) 投资进行了分析和见解。这是数字经济测量和分析工作组 (MADE) 对数字经济政策委员会 (CDEP) 工作计划的贡献。本出版物是数字经济论文系列的一部分,将在 OECD i-Library 上发布,相关数据可在 OECD.AI 政策观察站 (www.oecd.ai/) 上实时获取。它由 Roland Tricot(经合组织顾问)起草,并得到了斯洛文尼亚约瑟夫斯蒂芬研究所人工智能实验室的 Besher Massri 和 Marko Grobelnik 以及经合组织的 Vincenzo Spiezia、Audrey Plonk、Sarah Box、Andrew Wyckoff、Dirk Pilat、Karine Perset 和 Luis Aranda 的意见和支持。该出版物的质量极大地得益于他们的参与。非常感谢韩国、墨西哥和俄罗斯代表的评论和建议。作者还感谢 Douglas Frantz(经合组织顾问)以及经合组织的 Louise Hatem 和 Angela Gosmann 的编辑支持。
本文由 Nora Beauvais、Giuseppe Bianco、Julia Carro、Gallia Daor 和 Lisa Robinson 起草,由 OECD 科学、技术和创新 (STI) 理事会副主任 Audrey Plonk 领导。本草案的研究由秘书处顾问 Audrea Wang 女士提供。第 3.4 节关于神经技术的内容由 OECD 科学和技术政策委员会秘书处的 David Winickoff 先生和 Laura Krieling 女士共同起草。STI 主任 Jerry Sheehan 和 Hanna-Mari Kilpeläinen 提供监督和指导。本文还受益于以下人员的贡献:STI 理事会的 Rashad Abelson、Luis Aranda、Clarisse Girot、Molly Lesher、Karine Perset、Lucia Russo、Elizabeth Thomas-Raynaud 和 Jeremy West,以及 OECD 公共治理理事会的 Deniz Devrim、Capucine Kerboas、Claire Mc Evoy 和 Carlos Santiso,以及 OECD 就业、劳工和社会事务理事会的 Eric Sutherland。Andreia Furtado 和 Sarah Ferguson 提供了编辑和行政支持。
抽象的零知识证明(ZKP)已成为解决现代区块链系统中可扩展性挑战的有前途解决方案。本研究提出了一种生成和验证ZKP的方法,以确保加密散布的计算完整性,特别是专门针对SHA-256算法。通过利用FLONKY2框架,该框架通过FRI承诺方案实现了PLONK协议,我们证明了方法对从近区块链中的随机数据和真实数据块的方法的效率和可扩展性。实验结果表明,不同数据尺寸和类型的性能一致,证明生成和验证所需的时间保持在可接受的限制范围内。即使对于拥有大量交易的现实世界数据块,生成的电路和证明也可以保持可管理的大小。所提出的方法有助于开发安全且值得信赖的区块链系统,可以在不揭示基础数据的情况下验证计算的完整性。需要进一步的研究来评估该方法对其他加密原始原始物的适用性,并在更复杂的现实世界情景中评估其性能。关键字1零知识证明,区块链,可扩展性,加密哈希1.简介
致谢:作者感谢 Clare Lombardelli、Alvaro Pereira、Luiz De Mello、Alain De Serres、Isabelle Koske、Tomasz Kozluk 和 Filiz Unsal 在本书各个阶段给予的指导,以及 David Turner、Claudia Ramirez Bulos、Sean Dougherty、Luca Marcolin、Cristiana Vitale、Sebastien Turban、Manuel Betin、Maria Paula Caldas、Philip Hanspach(来自 OECD 经济部)、Jens Lundsgaard、Audrey Plonk、Karine Perset、Luis Aranda、Celine Caira、Flavio Calvino、Gallia Daor(来自 OECD 科学、技术和创新司)、Stijn Broecke、Alexandre Georgieff、Andrew Green、Marguerita Lane、Julie Lassebie(来自 OECD 就业、劳工和社会事务司)、Richard May、Iota Nassr (来自金融和企业事务局)以及经济政策委员会第一工作组的代表就本文的先前版本提出建议、评论和讨论。作者还感谢 Dacil Kurzweg、Sarah Michelson-Sarfati 和 Pilar Philip 出色的编辑支持。本文是在 OECD-意大利财政部多边政策支持联合项目中开发的。其余所有错误均由作者负责。