IOHK官网博客:IOG 的研究如何跨越学术界

image
原文来自IOHK官网博客Olga Hryniuk,由卡尔达诺是大使陈哲Anson翻译

作为领先的区块链基础设施和工程公司,IOG 致力于解决行业难题

IOG 已经建立并维护了 Cardano 和 ada——它的第一个原生加密货币的声誉。学术研究一直是安全、去中心化和可扩展分类账的基础,五年来一直引领权益证明区块链。

IOG 与全球研究人员和顶尖大学合作,致力于解决困难的研究问题并为金融科技区块链基础设施奠定坚实的基础。在这篇文章中,我们讨论了建立一个致力于研究分布式技术的机构和实验室网络。

IOG 研究由 IOG 首席科学家、爱丁堡大学教授 Aggelos Kiayias 领导。研究团队包括 26 名工作人员——教授、科学家、研究员和研究工程师——他们都致力于广泛领域的研究,包括:

• 密码学

• 软件工程

• 分布式系统

• 人机交互

• 网络

• 形式验证

• 编程语言

• 受信任的硬件

• 经济学

• 有关证券、外汇和商业的政策和法规。

首席科学家的作用

Kiayias 教授于 2016 年 10 月加入 IOG,担任首席科学家,将执行团队增加到五名成员。他是爱丁堡大学网络安全和隐私领域的教授。此外,他在区块链领域享有盛誉,与 Juan Garay 和 Nikos Leonardos 撰写了该技术历史上引用最多的论文之一——“比特币骨干协议:分析和应用”。根据 Google Scholar 的数据,到目前为止,它有大约 1,450 次引用。从一开始,Kiayias 教授就决心从头开始构建 Cardano,同时吸收最优秀的思想和想法。正如他当时所说:

虽然其他公司可能会考虑走捷径或只专注于设计他们的产品,但 IOHK 长期致力于构建可供整个社区使用的基本工具,并推动区块链系统背后的科学发展。

除了区块链技术和分布式系统,Kiayias 教授的兴趣还包括计算机安全、信息安全、密码学、电子投票和安全多方协议,以及隐私和身份管理。 2006 年,在康涅狄格大学期间,他的教员与当局合作评估康涅狄格州用于总统选举的投票机。在这次评估中,教师报告了系统漏洞,如果被恶意使用,可能会影响选举结果。 Kiayias 教授还领导了一个研究项目,调查希腊全国选举的电子投票。

作为 IOG 的首席科学家,Kiayias 教授领导了区块链研究,特别是研究了现有的分布式账本技术,并提出了具有经过验证的安全性、去中心化和隐私特征的技术实施想法。这导致了Ouroboros背后的理论,证明其安全性的论文也加入了被引用最多的区块链论文的行列。 2017 年,Kiayias 教授在爱丁堡大学开设了区块链课程,使其成为首批教授区块链技术的欧洲机构之一。他告诉英国《金融时报》:

学习所需的技能构建区块链,研究该技术还有其他好处。仅仅通过研究区块链,你就可以学到很多关于网络安全的知识。

到 2021 年,爱丁堡实验室拥有 9 名工作人员和 21 名研究人员和博士生。同年晚些时候,Kiayias 教授与 IOG 的 Philip Wadler 教授一起被任命为爱丁堡皇家学会的会员——该学会的历史可以追溯到 1783 年,其中包括本杰明·富兰克林(1914 年以来 100 美元纸币上的头像);詹姆斯·克拉克·麦克斯韦,19 世纪最有影响力的物理学家; James Watt,他的蒸汽机对工业革命至关重要;和诺贝尔奖获得者彼得希格斯,他对亚原子粒子的研究导致了希格斯玻色子的发现。

IOG的学术协会

在 IOG,研究是技术开发不可或缺的一部分,有助于提供基于功能正确性的高保证区块链解决方案。

在 IOG、欧盟、英特尔和英国工程与物理科学研究委员会的资助下,区块链技术实验室在爱丁堡建立了。这是美国、日本和希腊的大学网络的中心,这些大学在去中心化系统中合作开展受行业启发的开放获取研究。

区块链技术实验室网络的成员有:

• 爱丁堡的区块链技术实验室

• 雅典国立和Kapodistrian 大学的区块链技术实验室

• 东京工业大学加密货币合作研究主席

• 怀俄明大学怀俄明高级区块链实验室

这些实验室专注于与区块链和密码技术相关的领域,包括可证明的安全性、密码原语和协议以及安全多方计算。实验室还开发新协议,识别和形式化新的安全定义和密码模型。

今年到目前为止,爱丁堡实验室的成员已经有 11 篇论文被学术会议接受。 ZK Snarks、区块链治理、有用工作证明和中央银行数字货币等主题的研究无疑将在未来几年进入区块链系统。该实验室的博客已经触及区块链以外的许多领域,包括 Covid 合同追踪和对银行业的潜在影响。

扩大研究网络

某些研究领域需要高度专业的专业知识,而 IOG 现在的研究声誉足以吸引最优秀的合作者。这方面的一个例子是博弈论,IOG 与牛津大学的 Elias Koutsoupias 教授合作。他在 2012 年获得了理论计算机科学哥德尔奖,以表彰他在为算法博弈论奠定基础的无政府状态代价方面的工作。

2022 年,IOG 与斯坦福大学合作,资助了该大学一个新的 450 万美元的区块链研究中心。这汇集了来自各个部门的斯坦福大学学者来解决区块链基础问题,整理科学知识,并促进对该主题研究的基本需求。

除此之外,IOG 还参与了以下专门的研究项目:

• 区块链共识算法的设计与分析:与康涅狄格大学的Alexander Russell教授合作研究区块链共识算法的不同设计。

• 用于快速数据传播的防日蚀网络覆盖:与雅典经济与商业大学的 Spyros Voulgaris 博士合作研究有效的数据传播。

• Verifiable Digital Fountains:与斯坦福大学的 David Tse 教授和博士研究人员合作,提高对基础和应用区块链研究的兴趣。

• 验证(基于配对)EC 密码学:与埃因霍温科技大学的 Tanja Lange 教授和她的学生一起研究 Elligator 友好、配对友好的嵌入式曲线。

• 有用工作证明的基于约束的本地搜索:与康涅狄格大学的 Laurent Michel 教授合作。

• 评估用户对钱包密钥管理方法的看法:一个由卡内基梅隆大学人机交互研究所的教授和研究人员组成的项目。

• 基于集体权益的签名的性能改进:与波士顿大学的 Leonid Reyzin 教授合作。

除了在公司层面建立学术合作外,IOG 负责人 Charles Hoskinson 一直对形式数学和研究有着个人兴趣。与卡内基梅隆大学的 Jeremy Avigad 教授合作,精益中的形式数学项目发展成为霍斯金森形式数学中心的建立。Hoskinson捐赠了 2000 万美元,使该中心成为可能。他对卡内基梅隆大学的公告发表了评论:

我们可以汇集数学界最优秀的人才学、计算机科学和机器学习,以创建使用形式数学作为核心教育工具的基础设施。我很荣幸能够参与创建这样一个重要的中心,在这里协作、探索和发现为激励和支持数学活动打开了大门,并为其提供了先进自动化方法的资源。

最后

IOG 拥有遍布全球的去中心化团队,将地理上分散的领先大学的研究人员联系起来,通过集体努力鼓励创新。这项工作推动了 Cardano 和许多其他分类帐的区块链开发,也有助于技术采用和跨链互操作性。

该公司现在拥​​有近 500 人,其中 40 人在 IOHK 或 IOG 的谷歌学者上有个人资料。其中许多人担任工程职位和学术职位,展示了公司在实施研究方面的专业知识的深度。 IOG 研究图书馆现在包括 160 多篇研究论文。

迄今为止,IOG 是唯一一家拥有如此广泛的学术网络和研究影响力的区块链研发公司。

如果您有兴趣了解有关 Cardano 研究概述的更多信息,请参阅这篇关于 Essential Cardano 的 IOG 研究概述文章。

我要感谢 Aggelos Kiayias 教授、Mirjam Wester 和 Anthony Quinn 对这篇博文的贡献。

精选刊物

区块链技术实验室博客:

• Cardano 奖励计划中的池拆分行为和均衡属性。本文由 Christina Ovezik 和 Aggelos Kiayias 撰写,重点关注去中心化方面,尤其是其对系统激励的依赖。本文还研究了 Cardano 的案例,这是一个权益证明区块链,其设计遵循第一原则方法,并由与区块链技术实验室联合进行的研究指导。

• Cardano 的替代奖励计划比较。本文由 Christina Ovezik 和 Aggelos Kiayias 撰写,探讨了一些替代 Cardano 分类账中使用的奖励计划 Cardano 社区(CIP-7、CIP-50)的成员已经提出了讨论的方案。本文介绍了比较它们性能的每个方案和实验的动机和主要区别。

• 将学术研究转化为尖端技术:区块链技术实验室和 Cardano 分类账。在本文中,Aggelos Kiayias 教授解决了比特币等区块链账本中的能源效率、去中心化、可扩展性、隐私、可编程性和法规遵从性问题。 Kiayias 教授随后概述了区块链协议,该协议可以实现与比特币类似的去中心化和包容性水平,但成本可以忽略不计。区块链技术实验室和 IOG 之间的努力产生的协议是 Ouroboros 协议套件。

• 从去中心化的角度重新思考信息技术,Aggelos Kiayias 教授的网络研讨会。在加密货币和区块链经济学研究论坛 (CBER) 的网络研讨会上,Aggelos Kiayias 教授基于这项研究从去中心化的角度讨论了信息技术。

• 2020 年苏格兰区块链技术进展 – 网络研讨会。该活动展示了爱丁堡大学对区块链技术进行的世界级研究。

• 后COVID-19时代的去中心化金融平台架构——一种新的开放金融范式。牛津大学法学院在牛津商法博客上发表了 Emilios Avgouleas 教授和 Aggelos Kiayias 教授最近发表的跨学科研究论文的综合摘要,该论文构成了后 COVID-19 时代去中心化金融的新范式。

• 是否(去)中心化:COVID-19 接触者追踪。在本文中,Kiayias 教授讨论了 COVID-19 疫情期间接触者追踪的特点。

• COVID-19,从安全和隐私的角度进行接触者追踪。接触者追踪有助于尽早解除封锁措施。如果没有全面的治疗和疫苗接种解决方案,就必须控制疾病——接触者追踪是实现这一目标的有效机制。

IOG博客:

• 关于Ouroboros 的设计:严格和工程对于关键基础设施的重要性:强调了Ouroboros 设计和IOG 开展的相关研究工作中遵循的一些一般方法。

• Casper 与 Ouroboros 相比如何?:解释了提议的以太坊协议和 Cardano 的共识算法之间的差异。

• Cardano 中的权益池:引入了权益的概念。

• 进入Hydra:扩展分布式账本,基于证据的方式:解释Hydra - 多头账本协议。

• Ouroboros 的去中心化之路。Ouroboros 是支持 Cardano 及其设计理念的协议。

• Cardano 质押的一般观点:为利益相关者(委托人和权益池运营商)提供质押建议。

• 区块链奖励分享——基于第一原则的比较系统化:解释了 Cardano 奖励分享方案设计中的选择。

• Babel 费用——以原生代币计价的交易成本:引入了一种新机制,允许在 Cardano 上以用户定义的代币支付交易费用。

• Stablefees 和去中心化储备系统:探索一种新的方式来使费用随着时间的推移变得公平、稳定和更可预测。

原文链接:How IOG’s research spans the academic world - IOHK Blog