04.07.2018 - 查尔斯视频更新摘要


#1

1

2

在IOHK首席执行官Charles Hoskinson的最新视频中,您可以收看Cardano项目及其提供的各种工作流的最新信息:

以下是此更新视频的摘要:

卡尔达诺 1.3

卡尔达诺 1.3 目前正在 QA 中。 它已经通过了第一个 QA 周期,如果保持当前的速度并且在 QA 和集成测试期间没有遇到任何主要问题,他们准备在 8 月初发布代达罗斯和卡尔达诺的更新。
此版本的卡尔达诺带有网络增强功能,代码重构以及代达罗斯本身的增强功能。 底层代码和内存利用率正在大大提高当中。 这意味着内存使用量减少约 5 倍。 在 Mac 客户端的内部基准测试,内存从 1.2 GB降到 200 MB。

钱包新闻

IOHK 现正在与另一家公司合作,在 8 月 15 日将有一个令人兴奋的消息宣布。这款钱包将与代达罗斯互相辅助,并具有酷炫有趣的功能!它本身也有一个很好的路线图。所以请留意 8 月中旬…

IELE测试网

目前,目标是在 7 月底发布 IELE 测试网。这很令人兴奋,因为这将是您第一次可以使用 EVM 以外的其他东西来编写智能合约。您将能够使用 Solidity 和 IELE 代码本身。在 Remix 中添加了对 IELE 的支持。此次发布还将会有很多自定义资产。他们也将提供视频和教程。希望你们都能使用 IELE 测试网,并且让 IOHK 知道你对它的看法!

已发布的 KEVM 测试往目前非常成功。他们收到了很多很好的建议,使它更适合开发人员。新产品经理马克已经加入团队。他将从开发人员的经验角度来思考 STK 和框架等,使卡尔达诺成为最好的开发平台。

质量保证

他们在质量保证方面进度大幅提升。他们希望更多通过自动化方式完成目前正在人工处理的事情。IOHK 正与两家公司合作,从他们身上学习了很多。

卡尔达诺1.4版本

当进入 9 月和 10 月,卡尔达诺 1.4 即将开始。自从他们开始进行更新以来,1.4 可能是卡尔达诺最大的一次更新。这将包括卡尔达诺钱包后端,这是他们从 2 月以来一直在努力的项目。早在 2 月份,IOHK 已经对于 UTxO 风格的钱包该如何工作,以及编写全新的规格,和严格改善属性方面有了足够的了解。你们可以阅读这篇来自 Well-Typed 的顾问 Edsko de Vries 的访客博客文章,了解 IOHK 如何进行输入选择和一些其他事情,都是这 2 月开始的项目的直接结果。

四月是规格完成的时候,它将进入了实现方面。共有 6 位工程师一直在努力工作,并且在 9 月的某个时候,他们希望将其推入 QA 流程。在此过程之后,卡尔达诺 1.4 版本将准备好发布。

除此之外,还有一个团队致力于卡尔达诺的核心工作。他们正在努力使其更加模块化,更容易编写测试,并准备基础设施工作以写进雪莱特定的代码(用于去中心化)。大约还有 4-6 周的重构要做,而这将使团队处于有利位置,来开始构建和增强核心并提高可靠性。很多工作事项最终也会随着 1.4 版本而结束。

对于普通用户而言,卡尔达诺 1.4 不会提供显著的速度提升或是性能增强。但是,那些规模化经营、拥有大批地址与交易进出的交易所将会感受到这些改进。

此外,他们也逐渐将代达罗斯转移到卡尔达诺 1.2 发布的 v1 API。其中有 19 个是指定的。代达罗斯实际上总共使用了 26 个API。 IOHK 正在开始连接这些 API 的过程,并试图决定是否要扩展 v1 API 以覆盖所有代达罗斯,或者使用其他方法来实现。

查尔斯在这里补充说,V1 API 非常好。如果您是交易所或是希望在卡尔达诺上开发的项目方,他极力推荐您查看它们。

说明

在规格工作方面,在本月某个时候,委托说明应将完成并将其发送给实现开发人员。此外,激励工作流目前是在概念上完成的。他们很清楚他们想要的第一个雪莱版本激励措施是什么。但是在网络方面还存在很多问题,而且它仍处于深度设计阶段。但他们有一些很好的概念,正在慢慢套用进去来获得为乌洛波洛斯和去中心化所需的一切。

乌洛波洛斯

IOHK 正在逐步扩大正在开发乌洛波洛斯创世纪的团队。这个团队正在研究原型。这意味着不仅要考虑卡尔达诺中协议的实现,还要创建一个独立的原型用于来实现其他项目。他们与一群对乌洛波洛斯感兴趣的人进行了讨论,他们正是 Hyperledger 小组的成员,他们对乌洛波洛斯可以为 Fabric 等项目做些什么感到好奇。目前,他们正试图弄清楚这些对我们是否有意义。乌洛波洛斯是一个非常好的协议,很多人似乎喜欢它。

然而不幸的是,乌洛波洛斯现在有点难以解释,它目前生活在加密学和高等科学的世界。他们需要做的是将其带进工程领域并使其更容易理解。在这方面的教育学基准是称为木筏(Raft)的协议。 木筏(Raft)由 John Ousterhout 和 Diego Ongaro 在斯坦福大学创建。 木筏(Raft)的目的是成为一个协议并做一切 Paxos 可以做的事,但相比会更容易解释。因此,IOHK 正在研究如何解释协议,他们希望应用相同的技术,以便更容易理解乌洛波洛斯如何在底层工作,以及它如何解决某些 POS 特定的问题,例如远程攻击(long range attack)、无付出攻击(nothing at stake)和磨碾攻击(grinding attack)等等。这将是 IOHK 研究的一个重大项目。

Plutus (普路托斯) &Marlowe ( 马洛)

在卡尔达诺 1.4 之后,普路托斯和马洛的开发已经开始扩大。团队从 2 人增加到 6 人,最后希望能到 8 人。普路托斯的设计实际上开始趋于稳定,所以现正讨论如何以普路托斯作为一种智能合约语言、普路托斯如何与外界互动以及如何嵌入 Haskell 等问题。整个夏天和秋天,这支团队将努力工作,希望尽快推出普路托斯和马洛。他们还将努力结合他们为在卡尔达诺发行资产而开发的嵌合资产标准,使他们能够将其制作成多代币分类帐本。之后将会有专门的内容,由于在设计的最后一些事务上仍然存在争论,因此很难准确说明何时会完成。但好消息是,团队已经大大增加,并拥有像 Phil Wadler 这样出色的人。

基础语义编译

K 正在以 Haskell 重写中,Charles 指出他已经看到了基于语义编译的巨大进步。他们已经开始用功能语言测试 SBC 概念,而不仅仅是命令式语言。他最近去了伊利诺伊大学厄巴纳 - 香槟分校,并与 Runtime Verification 团队工作一星期。他看了一下他们的演示,他们已经能够在 IELE 上运行 ERC-20 代币,他们并谈论了很多关于 SBC 方向的话题。虽然这是一个高风险、高回报的项目,但进展和结果非常顺利,这一点非常好。在今年,他们将继续努力并挑战自我极限。

推特上关于同行评审的问题

查尔斯在推特上被问到很多问题,用户”Below_Searcher”提出了一个问题,即他们是否会公开 IOHK 在向加密会议提交论文时所获得的同行评审内容。查尔斯希望用超过 140 个字符的推特回复来回答这个问题。

对于那些不熟悉计算机科学同行评审过程的人,一般来说,你会向会议提交论文。在这些会议中,分有不同的层次。例如在加密学世界中,有加密会议和欧洲加密会议。在二级,有像金融加密和亚洲加密这样的会议。三级包含的会议往往比较容易进入,通常给于那些尚未准备好重要时刻来临,但非常有前途的论文。对于顶级会议,在同行评审中通过的论文接受率大约为10-15%。他们会从许多知名的研究人员和大学那里取得很多论文。

关于这个过程是如何运作的,你实际上是匿名地提交论文,评审人也是匿名的。这是一个双盲过程。他们不知道是谁写了这篇论文,你不知道谁在评审这篇论文。但是你知道评审人是从与会议相关的审查委员会中选出的。那些评审人可以选择从“强烈接受”到“强烈拒绝”以及两者之间的一系列决定,以便他们撰写评论和提供初步决定。然后你会有机会撰写一个反驳,而他们可以尝试改变你的主意,通常会有另一个评审人加入。最后,评审人将收集所有已经评审的论文,并决定哪些论文值得在会议上发布。

那些评语以及后续来回讨论内容一般都不对外公布。如果它被公开,那么他们在表达观点的方式上需要变得更加保守。也就是说,会议本身对于那些注册参与的人来说是公开事务,而这些会议内容是公开的和对话也是公开的。对于诚实的对话以及学术界透明度所需要的内容,是一个公平的妥协。

对于乌洛波洛斯创世纪和 Praos,IOHK 在欧洲加密会议上提交了这些内容,并进行了非常热烈的公开讨论。鉴于它的同行评审过程是私人的,而这是整个空间和整个学术界的标准。所以对于这个推特问题的答案,查尔斯和 IOHK 将不会公开发表这些评论,因为这将会适得其反。现实情况是,这些协议最终会被使用,因此协议将会离开学术界并进入工程界。查尔斯在这里说:“说实话,学术论文对工程师来说不那么有趣,因为你必须开始讨论安全以外的事情,而不是根据特定领域的可用性、实际性和实用性。”协议不是通用的,无处不在的,也不是对一切都有用 - 现实是它们就像是锤子或螺丝刀之类的工具。因此,并非每种工具都适用于每项工作。您需要考虑诸如匿名性、中心化程度,性能要求,协议故障恢复能力、部署方案(它是由一小群人还是一大群人运行?),这些人在地理位置上是否聚集在一起?或者分散全世界?这些节点是全天在线还是间断性在线?),这些因素都将驱使哪一种协议会更加有意义。 IOHK 希望,作为一个社区和一个加密领域,可以公开就这些事情进行更广泛的对话,因为不幸的是,许多人对于他们建立的事物和他们的工程方法,因为有经济激励而做出非常大胆的言论。

例如,他们会说可以实现每秒 50 万次交易,或者你可以在 500 毫秒内移动区块。不幸的是,在几乎所有情况下都可能并非如此,即使它是真的,只有在非常特殊的部署和非常特殊的使用类型才会出现这种情况。在现实生活中,特别是对于加密货币,你很少会看到这样的数字和性能。即使你真的看到,你也必须放弃一些非常重要的东西。我们在未来将做出更大的努力,以进行更广泛的讨论,包括利害关系、实用性和有用性,以及在制定这些协议时所做的安全性假设和控制对象。

分层协议

进入 2019 年,IOHK 很希望开发分层协议的新功能。目前在比特币领域,人们对使用像闪电Lightning 这样的东西进行了大量讨论。混合基础协议有很多优点和好主意,将一个缓慢,高度安全和去中心的基础协议与一个具有高性能的联合协议融合在一起,这样就将可用于某些使用案例
(例如微交易或联邦机构,像银行或金融机构)。这个模型可以获得两全其美的效果,确实很有意义。

因此,IOHK 已经开始研究,他们认为在未来一两年内可以逐步开始卡尔达诺的第二层协议。这包括临时协议(您在短时间内完成的事情),例如东京理工大学正在开展的 Kaleidoscope 和 Royale 研究流。这些可用于纸牌游戏和更广泛的计算,例如去中心化交易所,例如通过支付渠道等方式使我们的交易系统更快。他们也对于是否可以对此使用可信任硬件特别感兴趣。所以这将是一个 2019 年的重要议程。IOHK 认为现在在智能合约领域,这些东西的研究还不足够。

好消息是,乌洛波洛斯对于这些第二层风格的解决方案来说是一个非常好的协议。由于时隙领导的设计,它可以很好地映射到该架构中。在那里可以做很酷的事情,肯定会为整个生态系统增加价值。

总结

卡尔达诺进行地相当顺利。每个人都对工作流程感到满意。我们已经看到在项目更新日期有着更多的一致性和可靠性。代码和工程质量大大提高。 IOHK 还找到了可以简单地与很多伙伴合作的方法。

许多人不知道这一点,但 IOHK 是许多实际在为卡尔达诺工作的工程公司之一。在审计方面,有 FP Complete,在开发方面,有 IOHK、Tweag、Well-Typed、Predictable Network Solutions、Allied Testing 和其所以花了一些时间来搞清楚如何管理这些工作,并且实现可预期性。因为有相互依赖性,如果一个人延误了,每个人都会被延误,但他们已经很好地处理了这个问题。查尔斯表示,他很高兴看到今年下半年的项目实现,并很期待看到2019年。2019年会是我们的一年,我们将能够进入基于分片和区块链治理的开发。

钱包多元性

另外一件事,查尔斯提出了钱包的多元性以及他们对它的兴趣。目前,协议仍处于积极研究的阶段,如有太多竞争性实现将会适得其反。这是因为当你最终找到并改变解决方案时,将会面临巨大的协调成本,也将大大减缓生态系统的速度。

为了弹性和去中心化,实现钱包多元性是很重要的。 IOHK 正在积极迈向这一目标。多元性的核心是钱包规格。他们发布的第一个规格是钱包后端,之后您将看到核心,网络和协议的其他组件的规格推出。这些是独立实现的。任何具有合理技能的开发人员都应该能够构建一个钱包,使用他们所选择的任何编程语言。 IOHK 已经开始努力开始并行构建 Rust 中卡尔达诺的完整节点。你会在他们的 Github repo 中注意到这一点。他们正在扩大规模,并希望在达到合理的成熟度后找到合作伙伴来维护Rust 客户端。

看到钱包在像 Elixir 这样具有特色的语言以及更多标准语言(如 Typescript 或 JavaScript)中实现也是很好的一件事,而标准语言主要是针对教学和开发人员的可访性。他们对 2019 年的希望之一就是开始推出卡尔达诺改进提案流程。将采用CIP风格流程,通过某种形式的指导委员会或基于区块链的治理,以非常系统化的方式更新规格,并加入社区意见。

关于如何做到这一点,已经有一些很好的想法了。如果看一下 Linux 基金会以及 HyperLedger 项目的管理方式,它们的结构就有很多优点。但这种做法有时也代表著官僚主义,并不是那么具有像它所需要的包容性。展望未来,这将是他们面临的挑战之一,在未来,技术挑战将变得更少,但更多的会是社会、协调和控制的挑战。

最后的话

查尔斯最后说,很高兴看到卡尔达诺慢慢成熟成为一个产品。预计随卡尔达诺 1.4 版本的推出,会有一些令人兴奋的事情,比如账本支持,之后还会出现多重签名。

他们正在成为加密空间中的骨干力量,卡尔达诺看起来越来越像人们所期望的加密货币。它的优势在于非常不同的核心 - 更好的构建、更加安全、通过同行评审建立,并让许多出色的人开始关心协议并加入建造。这些人提出了很多从没在空间中见过也更好的想法。特别是输入选择策略,应该很久以前就该完成的了,所以很高兴看到类似的东西被开发出来。

最后,感谢大家对项目的热情和支持!

翻译:Mihori ,刘祯


卡尔达诺基金会通讯 - 2018年7月13日
#2

卡尔达诺基金会通讯 - 2018年7月13日
#3

#4

看起来卡尔达诺在下半年到明年初将取得重大进展成果 好期待!