巴比特论坛

巴比特App广告
发表于 2018-12-11 14:44:06 | 显示全部楼层
活动类型:
线上活动
开始时间:
2018-12-12 14:00 至 2018-12-12 15:00 商定
活动地点:
第95期
性别:
不限
已报名人数:
0

Truebit是一个开源社区,致力于加密经济学协议和区块链可扩展基础设施的理解和实施。

11月29日(周三)13:30,Unitimes技术AMA邀请了Truebit 核心开发者Sami Mäkelä为大家带来“为可验证计算开辟市场”为主题的分享。

如何扩展以太坊智能合约算力?
如何解决验证矿工两难困境?
如何维持生态圈健康运作?

本次AMA在Unitimes微信群和巴比特社区同步进行,欢迎留言提问!

主题:
为可验证计算开辟市场

嘉宾:
Truebit 核心开发者Sami Mäkelä

时间:
2018.12.12 14:00

AMA 16 poster.jpg



您需要登录后才可以发帖 登录 | 立即注册 | 用新浪微博登录

最新最热
同步小助手 2018-12-24 16:35:36
Sami 你好,欢迎参加Unitimes AMA。请先介绍一下你自己以及Truebit。
回复 收起
2018-12-24 16:39:04 Sami_: 大家好,我叫 Sami,是Truebit的开发者。Truebit 是一种用于区块链可验证计算的协议,更准确地说是用于以太坊可验证计算的协议。
收起
同步小助手 2018-12-24 16:35:55
Truebit的模块化系统是由什么组成的?
回复 收起
2018-12-24 16:39:25 Sami_: 1)智能合约:用于处理激励层,这些激励层用于确保系统具有足够参与者所需的激励,用于处理交互式验证游戏的合约,以及最终可以执行代码链的一步的合约(称为法官合约)

2)可用于计算结果的链下解释器,验证游戏中所需的中间状态以及法官合约所需的默克证明。 JIT可以用来加快速度(还在开发中)

3)结合这两个部分的客户端软件:一个运行时间和工具将它链接到由emscripten生成的wasm模块,以便用于文件访问的系统调用可用于输入和输出。系统的参与者称为 Solver 和 Verifier。Solver 是一个提出计算解决方案的参与者,如果出现异议,那么 Verifier(验证者)可以挑战该解决方案。
收起
同步小助手 2018-12-24 16:36:11
某个 dApp 或者项目如何与 Truebit 协议交互?如何使用 Truebit 输入和输出不同何类型的数据?
回复 收起
2018-12-24 16:39:50 Sami_: 大多数情况下,Truebit 将从其他智能合约中调用。Truebit 需要的第一个输入是程序代码。该代码的哈希是使用 Truebit 的智能合约的一部分,如果代码无效或不可用,则该智能合约不安全。

然后是可以用于输入和输出的“文件”列表。 它们可以存储在 IPFS 或链上。如果它们没有存储在链上,那智能合约必须确保它们可用,否则这个智能合约就是不安全的。
收起
同步小助手 2018-12-24 16:36:32
你们为什么选择WASM?Truebit支持哪些编程语言?
回复 收起
2018-12-24 16:40:14 Sami_: WebAssembly 有很好的编译器支持,也有很好的JIT。目前 Truebit 支持C/C+和Rust,但是任何可以编译成 WASM 的语言我们都支持。LLVM 有一个可用于多种语言的 WASM 后端。WASM 的当前版本适用于没有  GC 的语言,但将来可能会支持 GC,而且 GC 可能无论如何都可以在运行时中实现。
收起
同步小助手 2018-12-24 16:41:44
什么是“Verifier两难困境”?Truebit如何解决这个困境?
回复 收起
2018-12-24 16:42:13 Sami_: Verifier 的困境意味着如果区块链节点必须执行昂贵的计算来检查区块,他们可能没有动力来运行节点,或者他们可能会跳过这些计算。在 Truebit 中,只有一小部分参与者必须执行高成本的计算,因此他们可以获得足够的奖励。
收起
同步小助手 2018-12-24 16:43:31
什么是 “验证游戏”?你能用简单的语言解释一下吗?
回复 收起
2018-12-24 16:44:03 Sami_: 如果 Solver 和 Verifier 的计算结果不一致,他们可以使用交互式验证来找到他们产生冲突的具体步骤。 所以他们对某一步骤的计算状态达成一致,但对下一步骤不同意。 基本上和猜谜游戏差不多,其中参与者 A 选择从一到一百万的数字,另一个参与者试图猜测这个数字到底是什么,A 会告诉他猜测的这个数字是小于还是大于正确答案。如果猜测是系统地完成的,那么游戏显然需要一个对数时间(logarithmic time)。
收起
同步小助手 2018-12-24 16:44:17
Solver 和 Verifier 在接受任务的时候都需要先付一定金额的保证金。请问他们要付多少保证金?比例是多少?
回复 收起
2018-12-24 16:44:28 Sami_: Solver 和 Verifier 支付相同的押金,足以支付验证游戏中以太坊 gas 费用即可。保证金的一部分应该被烧掉,这样参与者就不会只用它来转移资金。此外,如果Solver没有发布承诺将发布的结果,就会有有超时惩罚,保证金将会被扣除。而押金的一部分会交给任务授予者,作为对延误的补偿。

也许还会有另一笔由 Solver 付的保证金,可以被用来为结果提供即时的最终确定性。
收起
同步小助手 2018-12-24 16:44:39
如果 Solver 和 Verifier 产生分歧,那裁判如何精确找到两者产生冲突的具体位置在哪里?
回复 收起
2018-12-24 16:45:04 Sami_: Solver 和 Verifier 使用上述的“验证游戏”来找出分歧所在的位置。 然后,Solver可以使用法官合约执行该步骤,以证明它已正确执行。
收起
同步小助手 2018-12-24 16:45:17
什么是“强势性出错”机制?具体是如何实现的?
回复 收起
2018-12-24 16:45:30 Sami_: 这是一种概率支付的形式,在这种情况下,Solver 可能会定期发布错误的解决方案,以确保 Verifier 是还在活跃中。Solver 将提交一个随机值,然后将该值与区块哈希组合,以确定 Solver 是否应发布“强制错误”。

检测到此错误的Verifier将获得“奖金”(Jackpot),但该奖金并没有什么巨大的价值,只要其价值足够将其转移到链上就行。
收起
同步小助手 2018-12-24 16:45:42
你来过中国吗?你对中国在 Web 3 革命中的角色有什么看法?
回复 收起
2018-12-24 16:45:54 Sami_: 只10年前来过一次,所以我没有任何亲身经历可以佐证我对中国在这场革命中的看法。也许中国有着发展 Web 3最丰富的资源。
收起
同步小助手 2018-12-24 16:46:21
你好Sami!Truebit的用例有哪些?
回复 收起
2018-12-24 16:47:32 Sami_: 最基础的用例是突破以太坊的gas限制。目前在做的一个应用就是Livepeer,他们想用 Truebit 为视频转码做验证。也有密码协议,如防弹等,但目前不能在以太坊上执行。
收起
同步小助手 2018-12-24 16:46:45
Truebit 和 Golem 有什么区别?你们有什么优势?
回复 收起
2018-12-24 16:46:58 Sami_: Truebit用于执行确定性任务,优点是只需要一个诚实的参与者来确保正确性。
收起
同步小助手 2018-12-24 16:47:52
你好,请问你们如何保证有效的数据存储?
回复 收起
2018-12-24 16:48:09 Sami_: Truebit 没有数据存储解决方案(除了把数据存到链上之外),但原则上来说,Truebit 可以使用任何提供内容哈希的数据存储,比如Filecoin、Swarm、分片。目前支持从 IPFS 加载数据,但无法保证数据可用性。
收起
同步小助手 2018-12-24 16:48:26
Sami 你好,请问谁来当“裁判”判定 Solver 还是 Verifier 得到了正确的解决方案?
回复 收起
2018-12-24 16:48:53 Sami_: 在链上运行有分歧的步骤的智能合约。
收起

本期嘉宾

神回复

AMA时间:2018-12-12 14:00 - 2018-12-12 15:00 热度(657) 讨论(35)
返回顶部 返回列表

登录

发帖