IOHK为Cardano区块链推出安全智能合约技术
IOHK 正在推出强大的工具,使初创企业,金融服务和金融科技行业以及学术界能够准备将在Cardano上运行的区块链合同。 - Plutus和Marlowe。这两个首次在苏格兰爱丁堡举行的第一届PlutusFest会议上以测试形式推出,这是一个包括学者,商业专业人士和开发人员在内的公共活动。Plutus为Cardano提供通用编程语言和工具。
IOHK首席执行官Charles Hoskinson说:
“我们很高兴发布Plutus和Marlowe的测试平台,因此开发人员,财务专家和学者可以测试他们如何在Cardano上使用智能合约。这两项技术都是区块链行业向前迈出的重要一步。它们由编程语言设计领域的顶尖专家团队严格设计,旨在减少导致数亿美元巨额损失的软件错误。“
IOHK编程语言领域的领导者Philip Wadler说:
“IOHK在加密货币公司中是独一无二的,因为它坚持将其开发基于同行评审的研究,并且是少数几个通过使用功能语言Haskell来支持快速可靠开发的公司之一。Plutus继续这些趋势。编程以太坊需要使用两种语言进行编码,对于链上代码和其他系统的链上代码和Javascript的Solidity受到类似的分割,Plutus是唯一为两者提供集成语言的系统,基于Haskell“
“它的链代码核心语言保持极其简单,使其面向未来,因此它支持验证。核心直接来自法国逻辑学家让·伊夫·吉拉德和美国计算研究员约翰·C·雷诺兹的作品,后者独立发明了相同的系统。我们拥有一支由世界领先的研究人员和开发人员组成的团队,负责设计,实施和正式化Plutus。“
IOHK的科学家和工程师将Haskell功能语言的规则与Cardano结合起来,为fintech开发人员创建了一个平台,用于编写安全可靠的智能合约。IOHK基于一种名为Plutus Playground的新型区块链仿真器,为Plutus合同提供了一个易于使用的探索性开发和测试环境。这些合同已准备好部署到区块链本身。
对于非程序员,Marlowe是一种生成代码和创建软件产品的简单方法。它是一种易于使用的工具,使没有编程背景的金融行业专业人士能够在区块链上构建自动化金融合约。Marlowe拥有自己的基于网络的测试平台Meadow。
应用区块链技术的潜在好处是巨大的。更新和恢复全球金融体系的基础设施将降低成本,并允许新公司成为金融服务和其他行业的数字颠覆者。仅在金融交易方面,美国投资银行高盛(Goldman Sachs)估计,区块链可以减少清算和结算现金股票交易的错误,从而每年节省110亿美元。*
国际互换与衍生品协会(Isda)最近公布了其共同领域模型**,该协会为市场规定了近600万亿美元的名义金额标准。这一共同基础将允许将Plutus和Marlowe等分布式分类帐技术引入该行业。
基于他们从以太坊启动的经验,IOHK的创始人Charles Hoskinson和Jeremy Wood为Cardano区块链创造了一个开创性的战略。这将学术严谨性与Haskell的正式规则和正确性结合在一个世界级的开发团队手中,为Cardano和ADA加密货币带来无与伦比的可靠性和安全性。
该战略侧重于安全性和可靠性的数学概率,使得Plutus和Marlowe成为其核心,用于开发智能合约,以便在2019年网络分散时在Cardano上运行实际应用。
第一个将这些创新推向突出的PlutusFest将于2018年12月由爱丁堡大学的爱丁堡区块链技术实验室主办。该工厂成立于2017年2月,是IOHK全球大学合作伙伴网络的总部。爱丁堡是苏格兰金融服务业的中心,是英国伦敦以外最大的金融服务业。