编者按：本文来自币乎直播。
Greg:很高兴有机会和大家一起在币乎做AMA!
我先自我介绍一下:我在RChain已经工作了很长时间了，哈哈哈哈。RChain还没有成立之前，大概30年前开始，我就开始作为数学家，研究对今天的RChain以及基于RChain的应用必不可少的一些技术了。实际上，今天和大家分享的内容，也起源于25年前我的博导工作。那时候存在一个梦想，就是以CBC的方式开发软件。我记得第一次见到他的时候，是在加拿大渥太华的一场会议上，我们都是讲者。他在演讲中提到了从软件正确性的证明中直接开发软件，我立刻就受到了吸引。RChain就是脱胎于这个愿景。
他在演讲中还提到了逻辑和计算之间的关系。我一看到这个想法，就意识到，它不仅仅会改变软件开发方式，还会改变我们对很多事物的理解。这也是今晚我演讲的主题。
必须澄清，今天的演讲主题不仅是RChain重构互联网，还是类型重构互联网。有些人可能对类型不是很熟悉，它实际上是一种限制计算机程序的方式。软件开发者描述程序行为的信息，然后写代码，编译器检查信息和代码，确保其符合这些限制。
大多数语言，比如Java，只是对数据的形态进行限制，比如Sort函数，接受一个整数列表的输入，并输出一个整数列表。然后，在过去30年间，我们发现，你可以用类型表达不同种类的信息以及有关于程序更丰富的信息。比如你可以用类型对程序的安全信息进行限制，阻止信息泄漏，也可以确保程序通过Gossip协议分享秘密，诸如此类。
类型也可以提供有关活性的信息，以确保程序执行，不会陷入死锁。也就是一个部分等待另一个部分的执行结果，而这个部分反过来又在等待第一部分的执行结果，陷入了一个死循环，类型也可以避免这种死锁。
如果考虑一下这对于互联网的意义，情况就变得非常有意思了。互联网正在被重构,
它正不可避免地从少数几个大公司控制的中心化网络转为为去中心化社区服务的去中心化应用，区块链在此扮演重要的角色，但是这个重构的过程却远远超越区块链技术本身。毫无疑问，这样的变化将对社会、、经济都产生巨大的影响，但是除了区块链之外，还有一些技术，将与其一道创建新一代的软件服务。其中就包括类型系统。
DeFi 借贷协议 Sentiment 完成 240 万美元种子轮融资，Archetype Ventures 领投:9月10日消息，DeFi 借贷协议 Sentiment 宣布完成 240 万美元种子轮融资，Archetype Ventures 领投，参投方包括 Castle Island Ventures、Matrixport Ventures 等。
Sentiment 允许借款人针对其资产创建杠杆债务头寸，这些头寸可用于与整个生态系统中的其他应用程序进行交互。贷方为协议提供流动性。[2022/9/10 13:20:58]
有意思的一点在于，很多人都没有意识到，逻辑一直在经历一场革命，我们对逻辑的认知，以及逻辑与我们生活中其它方面之间的联系一直在发生变化。亚里士多德是最先正式提出逻辑这一概念的人，20世纪80年代，一位名叫Jean-YvesGirard的人提出了线性逻辑，将逻辑与对资源的认识联系起来，从而大大拓展了我们对逻辑的理解。
这些都改变了我们对证明的理解，改变了我们对化学、物理、量子力学等的理解，但是逻辑的演化还远未结束，它将为整个的数字生态带来广泛的影响。
回到代码。今天的代码就像是互联网里的暗物质，我们将代码看作数据集，存储在GitHub这样的库里，但是我们无法搜索它，就像是搜索关系型数据或是XML数据一样。相反，我们需要应用元数据或社会工程，比如Bob知道一个名为Alice的人知道这个库…这本质上意味着代码是不透明的，它占据了互联网的大量存储空间，但是却难以搜索。
15年前，有个团队开发了一个名为Hoogle的系统，如果大家还记得我之前给的Sort函数的例子，输入整数列表，并输出整数列表，你可以将这个整数列表类型作为关键词，输入Hoogle进行查询，Hoogle就会返回所有匹配的Haskell函数。但是有一个问题，Sort的类型和Shuffle是一样的。Sort函数的功能是排序，也即输入随机的整数列表并输出有序的列表，而Shuffle的输入和输出都是随机的整数列表。因此如果你在Hoogle上以整数列表类型作为关键词进行搜索，有可能得到的结果并不是自己想要的。换言之，这意味着用类型作为关键词搜索这个想法，也就没那么有用了。
BitMEX Research宣布已成为Eth2.0 验证节点:BitMEX Research宣布已成为Eth2.0 验证节点，编号是222,424，已经开始提交区块。[2021/9/1 22:52:38]
但是我此前提到的，逻辑革命，不仅仅是线性逻辑，也包括逻辑的其他方面和其它类型的逻辑，允许我们对于类型系统进行定义。事实上，存在一个思路，将类型和逻辑挂钩，并将程序与证明挂钩。因此逻辑的革命必然带来类型的革命，实际上这场类型的革命允许我们基于代码的功能和结构进行搜索。尤其是，我们可以搜索单线程、多线程、分享秘密和死锁等各类代码。
基于代码的功能和结构去搜索代码带来的一个结果就是，它允许编译器检查代码里的新型错误。比如：搜索多线程代码就转变成检查正在编译的代码是否存在资源竞争，换言之，它是否能非确定性地响应不同的输入。搜索分享秘密的代码就转变成检查正在编译的代码是否存在安全漏洞。诸如此类的例子。大家会在Rholang的类型系统里找到上述提到的种种功能。而检查出资源竞争的能力就可以避免DAO漏洞以及以太坊智能合约上已经出现的许多昂贵的攻击。
但是它的影响远不止于代码搜索，它也会影响代码生成，尤其是，它会强化我们利用人工智能生成和整合代码的能力。
1993年，我还在一家研究机构工作，和英国电信的一个团队合作。我就提出了一个人工智能算法，可以利用类型搜索散布于全网各个库里的代码碎片，比如现在还可以搜索智能合约和区块链碎片并整合，返回一个满足用户需求的程序。这样一来，人工智能就能合成代码，并实现一系列的功能。
但是这场革命不仅限于代码，它也适用于一系列其它的领域，比如几何推理。RChain开发的这个逻辑形式操作语义算法，就是从不同类型的计算框架，包括几何代数中生成类型系统和查询语言。
除此之外，它还可以应用于无人车、制药、蛋白质折叠等一系列领域。以制药为例，这个算法应用于动态系统，大家可以认为计算机系统是一种动态系统，细胞信号转导机制也是。我们可以将类型系统生成应用于这些动态系统的建模上。其中一种可能的查询，在类型系统算法出现之前无法做到，就是寻找细胞里某个特定的小分子浓度，并识别其与某种特定的细胞信号转导机制之间的关系，从而进行干预，避免细胞信号转导机制达到某个状态。
THORChain 团队：攻击者“或为白帽”，受损流动性提供者将给予补偿:去中心化跨链交易协议THORChain (RUNE) 发推提供今晨遭攻击的更多细节，称这次攻击针对 ETH路由，损失800万美元，攻击者“有意限制了攻击造成的影响，似乎为白帽所为”。THORChain上的ETH路由目前已经暂停，由审计专家进行评估后再决定是否开放。THORChain称，攻击者要求10%的悬赏金，如果可以联系到攻击者，团队乐意提供相应的奖金。THORChain还表示：项目自有资金可以弥补该损失，受影响的ERC-20资金池的流动性提供者将会给予补偿。
据此前报道，THORChain今早再次遭遇攻击，包括XRUNE在内的多种ERC20代币受到影响。此外，THORChain曾在7月16日曾遭受攻击，损失约4000 ETH；在6月29日也曾遭受恶意攻击，损失14万美元。[2021/7/23 1:10:32]
这些就是RChain尤其是RChain的逻辑形式操作语义算法能帮助实现的。
此外，等区块链的扩容性足够强大，囊括所有的公共领域数据后，比如地理位置数据，像人、物联网、传感器的位置，或者是医疗或其它的敏感数据，RChain基于这些数据的结构或功能搜索的算法就会更有用，更有价值。
但是也可以想象，这样的搜索能力、一个全球计算机和一个全球的数据库，绝不能仅由一小部分人掌握，必须是归属于全人类。
这就是今天我演讲的主要内容。
以下是对Greg的问答：
1.REV对RChain网络有哪些作用？
答：REV在提供网络安全方面发挥两大重要作用。第一是防止DDoS攻击。因为RChain想要打造的一个全球计算机和一个全球存储系统，任何能连上互联网的人都可以访问，这意味着，恶意的攻击者是可以拒绝他人的访问的，比如说提交永续运行的Rholang程序，并占用无限的资源，如果不加阻止，其他人就无法访问。REV可以避免这一点，因为每一步的计算和每一个存储单元都需要一定的REV开销，如果说你的程序永续运行，那就意味着，你需要承担无限的REV开销。
动态 | BitMEX Research称BSV经历非共识链分裂 比特币协会创始主席称其不懂比特币工作原理:BitMEX Research在推特宣布BSV经历了非共识区块链分裂后，BSV再次成为新闻焦点。BitMEX Research表示，“BSV今天有一个非共识的链分裂，长度为2；它发生在UTC时间1月20日14:36 到14:51 。”AMBCrypto文章指出，截至发稿时，很难看到这一分裂本身是否对BSV的价格有任何影响。比特币协会创始主席Jimmy Nguyen评论称，BitMEX Research再次证明自己不理解比特币是如何工作的。中本聪在比特币白皮书中表示，大多数决策都由最长的链来代表，它投入了最大的工作证明。据此前报道，BSV计划于2020年2月4日进行“创世纪升级”硬分叉。升级技术变更内容如下： 重点变更为包括必要共识参数、共识变更及其其它必需的变更。其中，共识变更包括恢复OP_RETURN的功能、用BigNumber替代32位操作码、在新交易中废止使用P2SH和恢复nLockTime和nSequence的最初用法。 补充共识变更包括创世纪升级的区块高度激活机制、UTXO继承依赖规则等。 此外，还将对并行区块验证等进行性能改善。（AMBCrypto）[2020/1/21]
第二点：REV在共识机制中扮演核心角色。因为RChain是PoS网络，REV就确保了验证人遵循共识协议规则。如果可以提供加密学证据证明有验证人没有遵循协议规则，他们的保证金就会被罚没，因此长期来看，只有遵循规则的验证人才会留在网络里。
2.Greg你好，能介绍一下RChain的Staking机制、参与门槛及如何参与吗？
答：Staking机制与证明机制直接相关。区块链的结构意味着所有的区块都带有证明，这样的证明机制允许我们审查验证人发起新的区块时，是否是诚实的。一旦发现不诚实的验证人，比如发起双花或其它攻击，网络就可以罚没其保证金。这就是RChain的Staking机制。
就参与门槛而言，如果考虑经济模型的话，RChain希望的是允许尽可能多的验证人参与，使得RChain网络的通胀率在所有的PoS网络中最低，同时验证人依然能获得最大程度的奖励。
声音 | Vincent Marchand：被法巴银行划分为值得关注的解决方案中有区块链技术:近日，法国巴黎银行现金管理部金融科技实验室全球负责人Vincent Marchand表示，验证一项新科技或新技术解决方案是否有效的经验法则之一就是实用性，在被法巴银行划分为“趋于成熟”或“值得关注”的解决方案中，有区块链/分布式记账技术，这已在物流和贸易融资等领域展现其价值，但在现金管理领域还有待证明。除此之外还有机器学习和自然语言生成。[2019/3/24]
我们也发布一些Staking的介绍，包括我们的铸币系统，以及大额Staking的折扣机制，这样的设计允许我们实现通胀率最低的同时，验证人获得最大程度的奖励。
3.RChain的Casper和ETH2.0的Casper有什么区别？
答：二者之间存在很多的区别。我仅就其中一点进行说明。
实际上，Casper是没有活性的，这一点已经得到了证明。也就是程序会卡住，无法继续执行。要解决这个问题，必须设计一定的同步约束，这个同步约束规定，要提出新的提案，这个提案里必须包含其他验证人提案的多少信息，然后才能提出。也就是说RChain的同步约束不是通过世界时钟实现的，因为这一点技术难度非常大，尤其是在去中心化的网络中，它也意味着你需要信任一个中心化的时钟。但是证明机制却可以用来保证这个同步约束。
除此之外，Casper还有其他的问题，比如公平性。Casper本身是不公平的，你需要添加其它的属性才能保证公平。一种思考同步约束和公平性的方法，就是想象一只摇滚乐队，其中一个成员只顾自己演奏，不管和其它成员的配合，那么演奏的效果就非常差。因此同步约束就意味着，这个成员必须要听其他成员的演奏，而且要证明他听了，才能够继续演奏自己的部分。
这些就是RChain和ETH2.0的Casper之间的一些区别。
4.为什么一定要去中心化的平台，听到您刚才讲的功能在中心化平台上似乎也可以实现，而且中心化的效率更高？
答：中心化往往更高效，如果你看一下大自然，大自然始终是在中心化和去中心化之间做一个平衡。比如细胞，细胞有细胞质、细胞核等各类资源，一个细胞对内部资源的掌控是中心化的。但是另一方面，细胞又在无限地复制。如果细胞不复制，而是将所有的资源都集中在一个巨大的细胞里，那么一旦这个细胞出了问题，整个系统也会出问题。因此，始终要在中心化的效率和危险之间做一个权衡。
当然没有任何一个解决方案可以放之四海而皆准，你要做的就是去寻找平衡。RChain就是不断地去寻找平衡点，这样一方面通过本地化的资源，尽可能实现效率，另一方面又保证珍贵的资源不会仅为少数几个人掌握。
5.Greg好，从技术的角度，也许是可以重构互联网的，但是如何吸引普通人来使用这个新技术呢？
答：这个问题问得很好。我自己经常使用的一个技巧就是通过无可否认的用途，人们自然而然地会注意到。比如说，当这个技术首次用于优化无人车的算法，或是首次用于寻找治愈某种疾病的疗法，人们立刻就会注意到。哪怕只是改变了搜索代码的方式，开发者社区也会立刻注意到这种新的搜索算法。然后其他人也会注意到。这就是我吸引普通人使用这个新技术的方式。
我十几岁的时候，有一个夏天去市场上卖草莓，我做的就是一大早去挑选最好看的草莓，简简单单的铺在摊位上，大家立刻就会注意到，阳光下闪着诱人光泽的草莓，我不需要多加兜售。
道理是类似的。你开发的技术有用，能满足人们的某个需求，他们就会注意到，并主动去探究这项技术。
6.Rholang的解释器很慢，有优化的计划么？
答：有很多的优化计划。大约15-20年前，一位计算机科学家提出了一种将某种结构的解释器，比如Rholang解释器变成虚拟机(抽象机器AbstractMachine)的方法。然后就可以很容易将这样的抽象机器变成一个基于字节码的机器，实现编译。因此我们会依据这个方法的一种变体对Rholang进行优化，从而使它更高效。
第二步就是从JVM的架构变成原生的架构，因为JVM也导致了一定程度的速度变慢，因此放弃JVM而转向原生硬件，也可以提高速度。比如说Haskell的编译方式，我们也会这么做。
第三步就是Rholang芯片－一个专门用途的芯片。因为现代芯片的指令集不太适合RChain想做的并发执行，因此在Rholang的蓝图里也提出了设计更适合并发执行的芯片。
总结来说，这是一个三步走的计划，第一步是从解释器转变为编译形式，第二步是放弃JVM，第三步就是芯片。
7.RChain有进入DeFi领域的计划么？
答：我们确实有进入DeFi的计划。但是如果我们要做去中心化的金融工具，还需要从更基础的层面去思考。今天的DeFi更像是一个流行词而非坚实的技术。我认为区块链技术目前还不够可靠，无法支持真正的DeFi，尤其是考虑到各大主流区块链已经报道出来的关键漏洞。因此目前不适合将关键的代码放到区块链上。
更好的选择是做低风险、高吞吐量的事情。这也是我们从互联网的发展中获得的启示。以谷歌为例，一开始谷歌只是一个单一的搜索界面，如果返回的搜索结果不对，不会有人因此丧失性命或损失大量的金钱，至少是就搜索论文、图片、视频而言。随着系统的成熟，你可以实现更复杂的功能，这也是Web2.0过去15-20年间的发展历程。
8.RChain主网已经上线一段时间，为什么还是不能完全放开REV的交易？
答：这其实和监管有关。美国的监管意味着我们必须要谨慎考虑，是否将REV作为一个证劵型代币。但是REV也已经上线了抹茶等交易所，在中国和一些其它市场可以交易，但是由于监管的原因，它并不能在所有的市场交易。随着监管的成熟，这一点未来或许会发生变化。
9.RChain会重点关注哪些类型的Dapp?
答：这个问题也问得很好。它和我对于DeFi的看法是直接相关的。我们首先想做的是高吞吐量、低风险的Dapp。思考一下比特币和以太坊上的吞吐量，和Facebook或者是交易所的流量相比，是非常非常低的。
社交媒体和娱乐应用就属于风险非常低的，看不到别人发的帖子，也不会有人丧生，或者遭受财务损失。但是另一方面，人们又认为社交媒体能提供的人与人之间的联结，对他们的生活至关重要。
因此这就是我们想要关注的Dapp，高吞吐量、低风险。RChat就是一个例子，我们将开源的Zulip与RChain的后端整合，这样就有了链上的聊天室，这对于像链的治理的通信是非常重要的，因为它保证了通信信息不可篡改。
10.RChain目前的技术进展如何？似乎RChain的Twitter也不是很活跃？
答：技术开发和社交媒体的活跃是存在差别的。如果你想要看技术开发的活跃度，去Github上查看PullRequest，你就会发现RChain的活跃度在所有的区块链项目中都是居于前列的。开发热度非常高。
就社交媒体而言，我们刚刚重整旗鼓，因此未来RChain的社交媒体活跃度也会大大提高。
我们也举办很多的电话会议，比如每周五我们都会讨论RChain在气候变化中的应用。另外我们也有RCast。所以我们会有自己的传播方式，内容非常的丰富，但是这些确实没有被翻译成中文。或许这也是为什么我们看起来在社交媒体上不是很活跃。
11.0.9.26版本何时发布？
答：我无法给出一个具体的发布时间。但是已经非常靠近发布了，我们想要确保在沙盒里将所有功能都测试完毕再发布。
12.团队有财政问题么？
答：疫情期间，相信所有人都不好过。但是RChain想做的事情非常多，而且有很多人愿意投入RChain的开发，这一点更重要。
就财政而言，我们有足够的资金发布新的release，一直支持到块合并及后续开发，再之后我们也会开启新的融资。
13.是否有计划和IPFS结合？
答：我们没有任何的计划和IPFS结合。我认识JuanBenet，也很尊重他，他的技术实力很强大，也很投入。但是IPFS的解决问题的路径是错的，如果要做存储，必须要认真思考查询(query)和交易。做文件系统也需要仔细思考查询，最终IPFS还是要考虑交易边界。IPFS一开始没有思考这些基本的问题，而是决定先搁置，因此它们的架构非常笨重。但是RChain一开始就明白，做搜索必须要考虑查询，要有一个好的查询系统，并且要对交易有相当的理解。这个交易不是指金融交易，不是转币，而是数据库层面的。我们对于这些概念都有相当的理解，因此二者的架构是很不一样的。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。