07.07.2018 -查尔斯“问我任何问题”惊喜活动

IOHK总裁查尔斯.霍斯金森,近期举办了一场惊喜“问我任何问题”(AMA)。在现场录制中,查尔斯回答了社区现场提出的26个问题。我们在下方提供了完整的AMA视频链接,在本次论坛帖子中,我们选择了其中的一个关键问题进行总结:

“关于智能合约和去中心化应用程式(DApps)的编写,卡尔达诺将会支持多少种语言?”

回答:

卡尔达诺的宗旨同时具有原则性和实际性。为了实现这一宗旨,查尔斯和IOHK的团队对计算方面的问题进行了调查,总共收集了三套问题:

  • 首先,会计方面会围绕计算。这就是比特币还有其他加密货币需要解决的问题。但是这在更大、更丰富的金融生态系统里只仅仅覆盖了非常小的一部分。这就是为什么IOHK决定建立一个会计账册,这是最有效的方法,可以允许你代表不同种类的资产还有交易。这便促使他们研发了Marlowe,一种领域特定语言。还有一个Marlowe可以嵌入的通用编程语言-Plutus。此外还有,他们严谨的研究了UTxO 会计模型,为了能够找到一个方法可以在模型内分配资产,同时可以和以太坊式的模型互相操作。有关不同种类的外汇交易,现在他们到达的阶段是开始执行思想实验,确保所有安全方面的假设都在并且完成比特币所开始的项目。
  • 其次,现在看以太坊式的计算模型。问题是这个模型目前的规模。任何一个用户如果不是为了玩,就必须与链下的活动衔接起来,这就意味着,他们必须离开以太坊,或者要建造一个双层网络。IOHK目前有几个研究流水线正在完善这个模型;值得注意的是他们的研究以及和Runtime Verification合作开发的IELE虚拟机,这是他们为了智能合约从零开始的项目。他们同时也投资了基于语义学的编制研究。简单说,理念是这样的,如果你有一种语言,然后你以一个特殊方式把它写出来,你只付一次的费用。之后你可以把已经用这种语言写好的程序拿去译入另一个程序(这个程序同样,也是别的语言编写的后来又严谨的按照这个特殊方式写好的)。所以如果你有一种语言的K语义,同时也有另一种语言的K语义,你就可以在二者之间做一些翻译概念。如果这个项目成功了,他们将会建立一个通用的汇编目标。这样当有需要支持一个新的语言的时候,你只需要写出那个语言的语义。查尔斯在这里特别提出还有一个好处,就是如果你升级了基础层,拿IELE 2.0举个例子,当它发布以后,你只需要在系统里更新IELE的语义。目前,基础层的升级面临着一个问题,那就是所有的编译器都需要更新,不然你就只能用传统版。
  • 最后一点,查尔斯和IOHK在寻找其他的计算模型,类似Enigma在Intel做的。IOHK在Tokyo Tech正在进行多方计算的研究。这是当你想要把交易和区块链分开的时候。例如,在扑克里,用户可能喜欢用区块链作为付款模式并和其他玩家建立联系,但是他们并不在意扑克游戏有没有保存。他们会在意游戏是否公平,如果玩家不能作弊,如果他们和正当的玩家一起玩,还有在游戏结束后他们能收取赢到的钱。把这些全部放在区块链上的话就会有明显的弊端。比如结算期被整个网络的结算期所限制。如果你有10分钟的区块时间,比如比特币,你只需要等十分钟让游戏更新就可以看下一场。所以,这一类型的应用非常不适合比特币。然而,很多这一类型的应用正是我们经常需要注意的类型。这也就是为什么IOHK在研究这些选项,包括在设想未来这些功能怎么融入卡尔达诺。

所以这个问题的回答是,关于卡尔达诺将支持的语言,查尔斯并没有给出一个具体的数目。但是很明显,通过IOHK工作流水线的全方位研究,会有非常多的语言功能。

1 Like

现场Q&A好棒!前两天在卡尔达诺中国官方群也看见查尔斯了!很喜欢这样交流方式。可以直接回答我们的很多问题,查尔斯希望你多来卡尔达诺中国官方群! I am so loving AMA! I saw Charles in Cardano Official Chinese WeChat group couple days ago, we would like to see you more often in Chinese WeChat group.

1 Like

视频干货很多,学习了。另外:

“关于智能合约和去中心化应用程式(DApps)的编写,卡尔达诺将会支持多少种语言?”

对这个问题,我的理解是,有一个语言的翻译器,让多种语言都可以完成智能合约的编写。同时,Charles有在视频中提及,这是一个高风险&高回报的项目。

1 Like