經常問的問題

GENERAL QUESTIONS

1
能否简单介绍一下 Cartesi 这个项目?项目愿景是什么,解决什么问题?

Cartesi是一个链外去中心化计算平台。它的优越性在于能够允许去中心化应用在Linux操作系统上直接运行,而不需要受限于区块链主链本身的计算能力上限和(昂贵的)链上交易费用。复杂的处理可以在链外执行,不受区块链的计算限制和相应的费用。 Cartesi提供了一个Linux运行时环境,是唯一一个基于软件的可验证的链外计算系统,它为开发人员提供了在过去30年中发展起来的大量软件程序,使我们今天在Internet上使用的应用程序成为可能。

1.1
您能否详细说明提供Linux及其支持的软件堆栈的相关性?

所有的应用程序开发都不是自成体系的。当前主流的移动端/桌面端/网页端的应用程序所依赖的开发工具在Linux等操作系统上花费了几十年时间逐渐发展成熟。 Cartesi将所有软件程序引进到区块链使得主流开发员能够便捷开发应用程序。没有Cartesi,区块链应用程序就不能使用主流的软件,库和服务,除非牺牲掉区块链的去中心化的特性。 除了受到开发软件基础设施不足的阻碍外,众所周知去中心化应用程序还受到链上处理交易能力(TPS)的限制。

因此,它们很难提供有竞争力的主流中心化应用程序的替代方案。DApp通常难以构建,笨重且不灵活,对开发者和用户们都很不友好。 Cartesi解决了这三个问题:1)为开发人员提供了完整Linux操作系统支持的软件和工具;

2)摆脱了区块链无法完成的大量数据的繁重计算;

3)提供服务和代币经济,允许用户安全地依赖网络,不受区块链技术的不便(如确认时间慢、需要保持在线以解决争议等

1.2
您如何看待Cartesi带来的新基础架构对生态系统的影响?

如果没有Cartesi为生态系统带来的基础设施,很难想象去中心化应用的未来。

Cartesi的存在是为去中心化应用程序提供基础架构。在Cartesi网络的支持下,这些应用程序更易于开发人员开发DApp,并使用户获得与互联网应用程序相当的使用体验。

同样,对于主流互联网开发者开发去中心化应用而言,这样的进入门槛会更加低。

2
Cartesi团队有哪些人?

Erick de Moura(首席执行官)
技术专家,在系统设计和开发上有着深厚的经验。Erick的专长包括软件架构搭建,流程定义和执行。Erick在作为Cartesi的顾问之前是一个开发工程师和企业家,他在软件行业投入了20年的时间,并在多家垂直领域(例如金融科技,健康科技,电子商务和基础架构)的高科技公司的成功发挥了关键作用。
LinkedIn: https://www.linkedin.com/in/erickdemoura/

Augusto Teixeira, PhD (首席科学家)
Augusto是拥有博士学位的数学家,来自ETH-Zurich和巴黎高等师范学院的博士后。Augusto是里约热内卢纯粹与应用数学研究所的副教授,他专门研究概率论和图论。加密经济学专家,并将Cartesi架构连接到以太坊和图灵完整的区块链。在他的整个职业生涯中,他发表了28篇出版物和学术论文。
网址:http://www.impa.br/~augusto/
领英(LinkedIn)https://www.linkedin.com/in/augusto-teixeira-39a3a8169/

Diego Nehab, PhD (首席技术官)
Diego是拥有博士学位的计算机科学家,也是普林斯顿大学(Princeton University)博士和Microsoft Research博士后。 Diego是里约热内卢纯粹与应用数学研究所的副教授,是视觉计算小组的成员。在计算机图形学,图像处理和大规模并行性(GPGPU)方面的专家获得了3项专利,发表了36篇文章和科学论文,并获得1900多次引用。
网址:http://www.impa.br/~diego/
领英(LinkedIn):https://www.linkedin.com/in/diegonehab/

Colin Steil(首席运营官)
Colin具有多年在全球社区和企业运营经验的执行主管。Colin是前风险资本家,也是亚洲生态系统专业的初创创始人。 Colin于2017年初首次涉足区块链,并开始在风险投资行业从事区块链技术,加密货币交易所和ICO项目的合作。
领英(LinkedIn):https://www.linkedin.com/in/colinsteil/

Marco Mirabella(首席商务官)
风险投资人和创业者。 Marco对于亚洲市场的业务拓展有着丰富的经验, 同时也拥有大量的合作关系、交易关系的决策经验、领导经验。Marco在2016年深入了区块链领域,与Chinaccelerator和MOX旗下的投资策略公司密切合作。
领英(LinkedIn):https://www.linkedin.com/in/marco-mirabella/

3
Cartesi 的创新之处是什么,它经过学术验证吗?

Cartesi带来的最大创新是能够使典型的真实世界计算在Linux环境下链下运行的方式,这种方式可以通过区块链进行验证。

DApp用户可以在链下达成共识,如果尝试进行欺诈性计算,Cartesi会将区块链用作最高法院,以识别和惩罚不诚实的当事方。

Cartesi Core已由两位博士研究人员Diego Nehab和Augusto Teixeira研究开发,并由Cartesi的顾问Luiz Henrique de Figueiredo进行了审查。
Cartesi实际上这是一个学术研究项目,并且我们的技术白皮书也发布了,该白皮书可以在以下位置找到:https://cartesi.io/cartesi_whitepaper_zh.pdf

4
可以举几个简单例子解释Cartesi如何运作的吗?最好简单说明

区块链的基础设施在当前且未来仍将不支持我们目前在计算机甚至移动设备上所进行的主流计算(著名的不可能三角理论)。通常,真实商业应用所涉及的计算包括数十亿或数万亿逻辑步骤和大量数据,处理量远远超过链上的承载能力。我们也看到目前很多以太坊的竞争公链提出了链上扩容的方案,但是没有任何公链实现了令人信服的效果。

有了Cartesi的支持,我们可以真正地在Linux环境中实现计算结果链上可确认,并且媲美现实世界计算效率的逻辑运算。DApp用户在Cartesi网络中可以达成链下共识,如果有欺诈的一方,Cartesi网络参与者会在链上进行仲裁,识别和惩罚不诚实的参与方。在极少数情况下,当出现这些争议仲裁时,区块链能以交互验证的方式以可忽略的运算量运行原始计算(我们使用类似于Truebit的验证游戏实现),这种验证过程对于主链的影响可以忽略不计。此外,Cartesi并不像其他二层解决方案一定要求DApp应用的各参与方同时在线。

最后,Cartesi网络和Cartesi的代币经济模型确保了网络的安全性和长期激励,使得用户能够安全,方便的参与到去中心化应用程序中来。 关于代币详细的经济模型,暂时先卖个关子。

F完整的方式见文章:
https://zhuanlan.zhihu.com/p/68021149

5
项目的目标产业是什么?

Cartesi解决了很多区块链的基础架构问题,支持DApp实现前所未有的加速落地。Cartesi不是一项简单的技术创新,而是一个对任何行业应用的去中心化部署都非常便利且灵活的平台。最近中国政府也宣布了一系列的区块链国家战略,Cartesi的优势在于任何行业的应用可以便利部署到其平台上成为去中心化应用。

5.1
Cartesi 的用例有聚焦在哪个领域吗? 开放式金融,物流与优化,还是游戏? Cartesi如何与其他公链协同合作创建这些用例?

我们的第一个去中心化应用程序将是第一个在Linux上运行的去中心化式塔防锦标赛游戏。 我们认为,对于DApp的第一批用户来说,游戏是一个简单的切入点,因为区块链为游戏行业带来了许多好处。 对于那些感兴趣的人,请查看我们有关区块链游戏的最新文章:
https://medium.com/cartesi/how-to-make-more-impressive-decentralized-games-120636cb5712

除了为去中心化游戏生态系统提供强大的基础架构之外,我们还预计到Cartesi将通过允许使用潜在的复杂金融算法处理大量现实世界金融数据来帮助创建强大的开放金融应用程序。

CCartesi最初是建立在以太坊之上的,我们的计划是将来不仅在单一区块链。 我们正在寻求与几个公共区块链建立战略合作伙伴关系,使我们彼此受益,以迅速提高采用率,并发布社区正在寻找的杀手级DApp。

6
为什么我们需要Cartesi?

N所有的应用程序开发都不是自成体系的。当前主流的移动端/桌面端/网页端的应用程序所依赖的开发工具在Linux等操作系统上花费了几十年时间逐渐发展成熟。Cartesi将Linux引入到区块链使得主流开发人员能够便捷开发应用程序。没有Cartesi,区块链应用程序就不能使用主流的软件,库和服务,除非牺牲掉区块链的去中心化的特性。

除了受到开发软件基础设施不足的阻碍外,众所周知去中心化应用程序还受到链上处理交易能力(TPS)的限制。因此,它们很难提供有竞争力的主流中心化应用程序的替代方案。DApp通常难以构建,笨重且不灵活,对开发者和用户们都很不友好。

宏观上说,Cartesi通过以下手段解决了这三个问题:1)为开发人员提供完整Linux操作系统支持的全套软件和工具,开发人员可以使用任何熟悉的工具在Cartesi平台上进行DApp开发; 2)将区块链难以负担的复杂计算移到链下完成(实现了可扩展性);3)构建了一套可靠的去中心化网络体系且不受区块链当前弱点的限制(例如,链上确认时间慢,链外二层扩容方案需要交互双方或多方保持在线以解决争议等等)。

如果没有Cartesi为区块链生态系统带来的基础设施,很难想象去中心化应用的未来。Cartesi的存在是为去中心化应用程序提供基础计算架构。在Cartesi平台的支持下,这些应用程序更易于开发人员开发DApp,并使用户获得与互联网应用程序相当的使用体验。

7
Cartesi是一条公链吗?它的TPS是多少?

Cartesi不是一条公链。它的第一个实现是在以太坊上,但它可以在支持智能合约的任何公链之上运行。Cartesi是区块链中立的。实际上,它对于共识机制也是中立的,工作量证明,权益证明,某些BFT变体或其他的共识机制下,都具有兼容性。

我们的目标是为DApp提供更好的计算层。
从这个意义上讲,计算是在共识层之外进行的。共识层仅用于确认共识和保证安全性。

Cartesi定位是去中心化通用计算的平台。从这种意义上讲,将Cartesi视为一台计算机,正确的指标应该是“每秒指令数”(我们以相同的方式来衡量CPU的能力)。Cartesi允许的处理吞吐量(每秒指令数)是链上可容纳处理量的指数级,从而在保持去中心化特性的同时,使DApp体验与Web2.0更加接近。

(虽然这样说,但对共识层TPS的任何改进都可以使Cartesi的性能更好)

最后,由于Cartesi可以连接到不同的区块链,它将成为强大的工具,可实现互操作性并跨链安全地传输数据和价值。

例如,Cartesi可以增强以太坊功能的一种方法是使未来的智能合约能够读取区块链当前状态的任何数据。 目前的智能合约无法读取另一个帐户的余额或读取另一个合约的存储(除非在其开发人员创建的接口上显式公开)。

在Cartesi的帮助下,所有这些都将成为可能。原则上讲,这样的技术将大大扩展以太坊的功能,使以太坊用户能够为冻结资金进行保险,押注ICO / IEO募集的资金价值等。

8
Cartesi和一层扩容以及二层扩容的区别有哪些?为什么这样设计?

现在一层扩容方案的解决方式有:
- DPOS:让一个小范围的超级节点去验证所有交易,节点通过民主投票而选定

- 分片:将组帐户共享为不同的“分片”,然后将这些独立的分片链接到主链以进行跨分片结算。

- 各种BFT,PBFT:和POW相比能够实现更快的共识,但是只能容纳有限的参与者。

所有这些创新都是为了增强区块链的交易处理能力,但是不可避免地,这些交易的最终确定仍需要全局共识,并且当智能合约的计算需求或交互的账户数量超过一定阈值时,即使在分片技术上,达成全局共识也将以超线性方式增长,从而使其受到严格限制或不可行。

从另一方面看,Cartesi仅尝试达到相关计算的本地共识(相对于全局共识),准确的说,只有利益相关方(或者利益相关方选择的代理人)才需要执行密集的链下计算,并交由链上合约验证确保执行结果。

尽管如此,这些新的一层解决方案可以集成到Cartesi中,以结合两者的优点。

和二层扩容网络的对比及整合

各种各样的二层解决方案被提出用以提高区块链的性能,例如Plasma,State Channels。但就其本质讲,是让大量的交易在链下进行,并只在需要最终确认的时候,或者在出现争议的时候提交到链上仲裁。这类方案普遍需要区块链能解决任何可能出现的争议(当Plasma退出,或者状态通道被关闭)。在最坏的情况下,这些方案在通道开启的时候就会把大量计算传到主链上,从而限制了最大交易体量(计算量),主链是无法有效解决这类问题的。

Cartesi可以极大地改善这些技术的缺陷,因为它允许Plasma或状态通道利用Cartesi机器的全部计算能力,并且如果出现分歧,不管合同多么复杂,主链能够通过Cartesi的VG解决任何争议。

9
Cartesi 和 Truebit 的区别是什么?

Cartesi乍一看之下和TrueBit有些类似,但实际上在设计决策上差别很大。 首先,Trubit和Cartesi最大的一个区别是虚拟机。TrueBit是基于WebAssembly这个怪兽做的虚拟机,WASM是W3C Community Group用于支持高效web应用的指令集架构(ISA),而Cartesi是基于RISC-V的开放指令集架构,这个指令集是UC Berkeley设计用于硬件实现的。

TrueBit的技术专注于提高智能合约的计算能力,智能合约在一个简单的运行时环境下运行。然而,正如我们之前所说的,我们在Web或设备上使用的程序不能孤立地存在,因为它们需要由现代操作系统和许多软件层提供的需要支持。

我们对架构选择使Cartesi计算能够在操作系统中的适当位置上运行。在这种环境下,可以开发更强大的分散式应用程序

9.1
与Truebit相比还有其他重要的设计区别吗?

Truebit的另外一个问题是在于他的激励网络不够高效;为了保持网络成员的参与积极性,带有错误结果的计算(诱饵)必须被人为的注入到激励层中去以保持成员的兴奋度和参与感,这种低效性激励是TrueBit设计中必须存在的部分。 相反的,Cartesi可以被看作是一种依赖智能合约背书的线下计算形式,所有受此背书影响的参与方都有责任去执行离线计算,还能保证全方位的去中心化和用户参与的隐私.

10
现在项目的进度已经到什么地步了?至今为止什么样的目标已经达成,接下来Cartesi项目的发展路线会是什么样子的?,对未来的规划是如何的呢?

Cartesi团队现在已经按照技术白皮书中的规定发布和开源Cartesi Core(DAG功能除外)。 有了这个里程碑,我们已经实现了可验证性,这意味着可以以可忽略的成本,安全且去中心化的方式裁定区块链上的大量计算的正确性。Cartesi Core在Github上可以作为开源使用。

在接下来的几个星期我们将发布我们的第一个DApp-塔防游戏比赛。该游戏展示了如何使用Linux上的常规软件库开发完全去中心化的游戏,这类游戏通常需要数十亿条微处理器指令(无法在链上运行)。

07/2017 启动研究
07/2018 Cartesi Core白皮书
12/2018 完成计算的重现性—可展示的原型演示
Q2/2018 完成计算的验证性—可交互的链上争议解决原型方案
Q3/2019 Cartesi 核心以开源的形式释放
Q4/2019 第一个Cartesi DApp—塔防游戏
Q1/2020 Cartesi SDK-安装工具包,文档,教学演示
Q2/2020 Cartesi 在测试网上挖矿
Q3/2020 Cartesi 在主网上挖矿

11
你们的增长计划是什么?你们如何吸引用户和开发者?

我们最初的用户增长计划依赖于Cartesi网络及其功能。 Cartesi将运行一个现实世界算力矿场。 Cartesi的挖矿不会浪费电力,而且会帮助引导由Cartesi本身工作网络制造的纠纷。 我们为此保留了专用的代币开采和权益池。 该矿场实现了三个主要目标:

1 - 建立一个积极的Cartesi工作生态,并激励越来越多的计算机力量参与其中;

2 - 向这些矿工公平地分配代币;

3 - 争端解决协议的持续验证和Cartesi网络安全性的逐步提高。

11.1
你认为入职开发人员为Cartesi创建DApp怎么样?

为了吸引更多的开发人员在Cartesi上进行开发,团队也正在努力创建非常简单的DApp和教程(第一个将是即将发布的游戏,Creepts)。 我们的目标是使其与不熟悉区块链的主流开发人员尽可能地保持无缝。 我们将举办聚会和黑客马拉松。 此外,我们坚信我们可以互相帮助,因此我们正在努力与公共区块链建立战略合作伙伴关系。 最后,我们还致力于开展PR活动,以通过市场营销活动提高对Cartesi的认识。

TOKEN QUESTIONS

12
Cartesi代币(CTSI)的用途?

Cartesi代币经济被设计为克服采用区块链技术的挑战,即可用性和可拓展性。我们已经完成代币经济模型设计,会在主网上线前发布相关信息,包括:Cartesi网络,数据可用性协议和解耦经济模型。Cartesi Network支持网络参与者通过Staking获取挖矿和代理服务费收益。

13
为什么Cartesi Network的原生代币是必要的

因为我们的几种算法都是基于POS的,网络安全性取决于我们的代币是去中心化分布式的在运行Cartesi节点的用户手上。

14
Cartesi Token的总流通是多少?

一开始CTSI是10亿个。Cartesi会依附于POS类似的网络参与规则来提供服务,因此可能会定期创造新的CTSI,以提高工作节点的参与率。

我们设计了一个独特的系统和参与规则,该系统可使Cartesi网络的“节点”参与率最大化,同时限制通货膨胀并允许参与者表达其经济偏好。该系统也允许出现通货紧缩的情景,因此,系统的通胀水平由市场决定,完全是自由可伸缩的。

15
现在支持Cartesi项目的基金有哪些呢?有没有传统的基金也参与了Cartesi?

Erick: 现在有一些基金已经参与到Cartesi当中,其中有FBG,了得资本,还有中国加速器,中国加速器是传统基金,同时也有Serguei Popov (IOTA项目创始人)的基金,还有Big Bang Angels,Artesian Capital

16
Cartesi正在和顶角的交易所谈论IEO和上币的事情。我们正在研究探讨最好的上币启动时间和方案。

Cartesi正在和一些头部交易所进行沟通,我们会选择适当的交易所进行我们的代币交易。

TECHNICAL QUESTIONS

17
Cartesi是区块链上的Linux操作系统吗?这意味着什么?以太坊和Plasma的实现也可以在Linux上运行。

当然,您也可以在Linux上运行以太坊和Plasma节点。但是相反,你无法做到在以太坊或Plasma上运行Linux。在Cartesi的帮助下,您可以使DApp的运行逻辑在Linux上运行,从而保持去中心化和区块链的安全性。在此处有更深入的解释: https://medium.com/cartesi/on-linux-and-blockchains-a955a49a84e1.

18
您能否澄清,我们是否应该担心Cartesi 节点运行在传统的Linux开发环境周围会发生巨大的攻击?

我们将确保Cartesi的高度安全性,通过以下三种方式:
1)节点在当前阶段无法相互通信,但是它们可以通过区块链进行通信。稍后,我们将在节点中实现经过验证的联网端口,以确保及时安全地传输数据。
2)本地dapp的组件在单个容器中运行。
3)可重现的dapp组件在这些容器内的仿真器中运行。

19
Cartesi 的可重现性是什么?它在 Linux 系统和 VM 中真的是可重现吗?

RISC-V是一种开放式指令集体系结构(完全开源),它从头开始设计以支持现代操作系统。RISC-V并没有比智能合约虚拟机复杂许多,它更适合于在OS之上运行现实中我们接触的程序

Linux内核和几个Linux发行版(以及其他OS)已经移植到了RISC-V上并且RISC-V有成熟的编译器。这是Cartesi试图解决的问题的最好匹配:将真实世界的计算能力引入区块链。

关于RISC-V的简介:RISC-V是一种基于精简指令集计算机(RISC)原理的开源硬件指令集体系结构(ISA)。该项目于2010年在加州大学伯克利分校开始,但许多捐助者都是与大学无关的志愿者。

20
Cartesi 的可验证性是什么,它真的安全和值得信任吗?

Cartesi Core的可验证性组件允许以安全且去中心的方式,而且以可忽略不计的成本,裁定这些复杂的计算在区块链上的正确性。

实际上,这意味着在Cartesi上运行的DApp的任何诚实参与者都可以向区块链证明他们是正确的,即使所有其他参与者都是恶意的。 这就是用户在需要时可以依靠区块链的强大安全保证的方式。如上所述,Cartesi将区块链用作最高法院,以识别和惩罚不诚实的当事方。 在极少数情况下,当出现这些争议解决方案时,区块链将运行交互式争议解决方案,并让其运行原始计算的单个步骤,而数据量却可以忽略不计。

它是安全且值得信赖的。 为了更好地理解使Cartesi安全的关键原则,我们建议阅读我们的文章“关于Linux和区块链”或技术文章。 我们也很乐意在我们的Discord频道上解答所有与安全相关的问题。

21
PoS 的去中心化成为了大家讨论的焦点,Cartesi 如何实现系统的去中心化?

在Cartesi,我们致力于在其他因素上保持去中心化保证。 例如,我们不打算通过使用“超级节点”来实现可扩展性,而是希望我们的节点在消费类硬件上运行。

我们获得可扩展性的方法是通过局部性(如上所述,并非每个人都需要了解系统中的所有内容)。

22
Cartesi 的治理机制是什么?

Cartesi最初将由基金会和我们的Staking/挖矿池释放机制管理。 随着CTSI和Cartesi网络的流通供应全面生效,在没有管理实体的情况下,该网络将朝着完全去中心化的方向发展。 然后,Cartesi基金会将仅致力于进一步发展Cartesi基础设施。

23
对比Nervos,你们有什么优势?

Nervos是一个区块链项目,而Cartesi是一个第二层系统。我们两个项目在VM上均采用RISC-V架构。 Cartesi可以实现在共识层上(如在Nervos上)无法实现的出色扩展性。 另外,在Cartesi上,计算吞吐量不受共识机制的能力限制,因此可以运行大量的计算并启动整个操作系统,例如Linux。 .

例如,不可能仅在Nervos上创建利用Linux及其支持的软件堆栈的DApp。

24
在模拟器内部,我们有一个基于buildroot和内核4.20.8的嵌入式Linux。 这将根据需要进行改进,更新和替换。

Inside the emulator, we have an embedded Linux based on buildroot and kernel 4.20.8. This will be improved, updated, and replaced as the need arises.

H有任何疑问吗??

加入我们的Telegram组群