动机

去中心化运动雄心勃勃,将为新的社会和经济往来提供绝佳的机遇。同时,去中心化制衡了权力集中的大型组织偶尔发生的滥权和腐败。去中心化支持自我决策和权利分散的社区组织。当然,分散的社区组织也将会面临挑战和问题,如国际法律、公共利益和慈善如何兑现等问题。

我们非常赞赏比特币,以太坊和其他平台的巨大创新,这些平台大大推进了去中心化组织的发展,迎来了加密货币和智能合约的新时代。但是,我们也看到这些项目没有使用最好的工程技术和形式化模型以支持系统的扩展性和关键任务的正确性。目前社区正在热烈讨论的扩容问题和可靠性问题反应了这些平台底层架构的不足。例如,对于在地球上进行的所有区块链交易,坚持一个明确的序列化处理顺序是否是一个可扩展的设计?

要成为具有工业规模的区块链解决方案,RChain必须以Facebook的规模提供内容支持,并以Visa的速度支持交易。对众多区块链项目的现状进行调查之后,并与其他区块链开发团队的深入合作,了解了各自的路线图之后,我们得出结论:当前和近期的区块链架构不能满足这些要求。在2016年年中,我们决心设计一个更好的区块链架构。

与区块链行业一起,我们仍处于这种去中心化运动的曙光之中。现在是时候奠定坚实的基础。对于那些相信这个雄心勃勃的愿景的人来说,前进的道路是值得的,而且这份文件总结了这个愿景以及我们如何实现这一愿景。

途径

这个平台将实现以下最低要求:

  • 动态的,响应式的,可证明正确性的智能合约。
  • 同时执行独立智能合约。
  • 数据分离以减少独立代币和智能合约不必要的数据复制。
  • 保证节点到节点间通信的鲁棒性。
  • 非计算密集型的共识算法/验证协议。

构建高质量的软件是非常具有挑战性的,相对来说构建一个看上去“聪明”的软件会容易的多。然而,由此产生的软件往往质量低劣,充满了缺陷,难以维护,难以发展。继承和开发这样的软件对于开发团队来说是残忍的,更别提他们的客户了。尤其是在构建一个用于支持重要任务的开源系统时,我们不会采用最小成功的思维模式来保证软件的质量和正确性。

为了达到上述要求,我们的设计致力于以下几个方面:

  • 一个假定细粒度并行和动态网络拓扑的计算模型。
  • 一个可组合以及动态的资源寻址方案。
  • 使用函数式编程范式,因为它更自然地适应分布式和并行处理。
  • 形式化验证,利用模型检查和定理证明来构建正确的协议。
  • 遵循内涵和复合性原则。