区块广播:
· John McAfee:主流政治不可能接受加密货币
· 杭州互联网法院:2018年由比特币挖矿机等引发的案件增长明显
· 迪拜推出首台比特币ATM机
· Digital Asset已任命Yuval Roos为其新任首席执行官
· 日立、积水、KDDI三家公司通过区块链平台进行数据共享
· 日本限定加密货币交易所注册期限,设置加密货币保证金交易上限
· 比原链联合养码场在浙江财经大学举办主题为“区块链的前世今生”的线下活动
· EOS VC韩国部与投资公司NEOPLY宣布共同加速计划
· BitGo为Blockchain Capital的代币添加托管支持
· EOS VC的高级投资经理:如果项目与EOS完全无关,我们不会投资
· 天津社科院单晨:探索利用区块链升级旅游商业模式
· OKEx首席执行官:近期将有大动作
· 华为云将在香港拓展香港人工智能及区块链服务
· 数据显示:仅不到三成项目的github有持续提交代码
· 黑客出售2600万条用户信息以换取比特币
· 胡润发布全球少壮派白手起家富豪榜,詹克团、吴忌寒上榜
· IMF官员:加密货币无法替代传统货币
· 中小企业协会供应链金融工作委员会成立,欲将区块链等技术应用于供应链金融领域
· 巴比特晚间要闻一览
· 澳本聪关闭个人Twitter账号
· John McAfee:主流政治不可能接受加密货币
· 杭州互联网法院:2018年由比特币挖矿机等引发的案件增长明显
· 迪拜推出首台比特币ATM机
· Digital Asset已任命Yuval Roos为其新任首席执行官
· 日立、积水、KDDI三家公司通过区块链平台进行数据共享
· 日本限定加密货币交易所注册期限,设置加密货币保证金交易上限
· 比原链联合养码场在浙江财经大学举办主题为“区块链的前世今生”的线下活动
· EOS VC韩国部与投资公司NEOPLY宣布共同加速计划
· BitGo为Blockchain Capital的代币添加托管支持
· EOS VC的高级投资经理:如果项目与EOS完全无关,我们不会投资
· 天津社科院单晨:探索利用区块链升级旅游商业模式
· OKEx首席执行官:近期将有大动作
· 华为云将在香港拓展香港人工智能及区块链服务
· 数据显示:仅不到三成项目的github有持续提交代码
· 黑客出售2600万条用户信息以换取比特币
· 胡润发布全球少壮派白手起家富豪榜,詹克团、吴忌寒上榜
· IMF官员:加密货币无法替代传统货币
· 中小企业协会供应链金融工作委员会成立,欲将区块链等技术应用于供应链金融领域
· 巴比特晚间要闻一览
· 澳本聪关闭个人Twitter账号
· John McAfee:主流政治不可能接受加密货币
· 杭州互联网法院:2018年由比特币挖矿机等引发的案件增长明显
· 迪拜推出首台比特币ATM机
· Digital Asset已任命Yuval Roos为其新任首席执行官
· 日立、积水、KDDI三家公司通过区块链平台进行数据共享
· 日本限定加密货币交易所注册期限,设置加密货币保证金交易上限
· 比原链联合养码场在浙江财经大学举办主题为“区块链的前世今生”的线下活动
· EOS VC韩国部与投资公司NEOPLY宣布共同加速计划
· BitGo为Blockchain Capital的代币添加托管支持
· EOS VC的高级投资经理:如果项目与EOS完全无关,我们不会投资
· 天津社科院单晨:探索利用区块链升级旅游商业模式
· OKEx首席执行官:近期将有大动作
· 华为云将在香港拓展香港人工智能及区块链服务
· 数据显示:仅不到三成项目的github有持续提交代码
· 黑客出售2600万条用户信息以换取比特币
· 胡润发布全球少壮派白手起家富豪榜,詹克团、吴忌寒上榜
· IMF官员:加密货币无法替代传统货币
· 中小企业协会供应链金融工作委员会成立,欲将区块链等技术应用于供应链金融领域
· 巴比特晚间要闻一览
· 澳本聪关闭个人Twitter账号
第95期
Truebit 核心开发者Sami M"kel":为可验证计算开辟市场

Truebit是一个开源社区,致力于加密经济学协议和区块链可扩展基础设施的理解和实施。11月29日(周三)13:30,Unitimes技术AMA邀请了Truebit 核心开发者Sami Mäkelä为大家带来“为可验证计算开辟市场”为主题的分享。如何扩展以太坊智能合约算力?如何解决验证矿工两难困境?如何维持生态圈健康运作?本次AMA在Unitimes微信…

已结束参与人数:35
Truebit是一个开源社区,致力于加密经济学协议和区块链可扩展基础设施的理解和实施。

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

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

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

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

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

时间:
2018.12.12 14:00




本主题由 等一轮残月 于 2018-12-11 14:52:13 审核通过
  • 最新
  • 最热
  • 同步小助手 版主 发表于2018-12-24 16:35:36

    Sami 你好,欢迎参加Unitimes AMA。请先介绍一下你自己以及Truebit。

    Sami_ 水手 回复同步小助手 发表于2018-12-24 16:39:04
    大家好,我叫 Sami,是Truebit的开发者。Truebit 是一种用于区块链可验证计算的协议,更准确地说是用于以太坊可验证计算的协议。
  • 同步小助手 版主 发表于2018-12-24 16:35:55

    Truebit的模块化系统是由什么组成的?

    Sami_ 水手 回复同步小助手 发表于2018-12-24 16:39:25
    1)智能合约:用于处理激励层,这些激励层用于确保系统具有足够参与者所需的激励,用于处理交互式验证游戏的合约,以及最终可以执行代码链的一步的合约(称为法官合约)2)可用于计算结果的链下解释器,验证游戏中所需的中间状态以及法官合约所需的默克证明。 JIT可以用来加快速度(还在开发中)3)结合这两个部分的客户端软件:一个运行时间和工具将它链接到由emscripten生成的wasm模块,以便用于文件访问的系统调用可用于输入和输出。系统的参与者称为 Solver 和 Verifier。Solver 是一个提出计算解决方案的参与者,如果出现异议,那么 Verifier(验证者)可以挑战该解决方案。
  • 同步小助手 版主 发表于2018-12-24 16:36:11

    某个 dApp 或者项目如何与 Truebit 协议交互?如何使用 Truebit 输入和输出不同何类型的数据?

    Sami_ 水手 回复同步小助手 发表于2018-12-24 16:39:50
    大多数情况下,Truebit 将从其他智能合约中调用。Truebit 需要的第一个输入是程序代码。该代码的哈希是使用 Truebit 的智能合约的一部分,如果代码无效或不可用,则该智能合约不安全。然后是可以用于输入和输出的“文件”列表。 它们可以存储在 IPFS 或链上。如果它们没有存储在链上,那智能合约必须确保它们可用,否则这个智能合约就是不安全的。
  • 同步小助手 版主 发表于2018-12-24 16:36:32

    你们为什么选择WASM?Truebit支持哪些编程语言?

    Sami_ 水手 回复同步小助手 发表于2018-12-24 16:40:14
    WebAssembly 有很好的编译器支持,也有很好的JIT。目前 Truebit 支持C/C+和Rust,但是任何可以编译成 WASM 的语言我们都支持。LLVM 有一个可用于多种语言的 WASM 后端。WASM 的当前版本适用于没有GC 的语言,但将来可能会支持 GC,而且 GC 可能无论如何都可以在运行时中实现。
  • 同步小助手 版主 发表于2018-12-24 16:41:44

    什么是“Verifier两难困境”?Truebit如何解决这个困境?

    Sami_ 水手 回复同步小助手 发表于2018-12-24 16:42:13
    Verifier 的困境意味着如果区块链节点必须执行昂贵的计算来检查区块,他们可能没有动力来运行节点,或者他们可能会跳过这些计算。在 Truebit 中,只有一小部分参与者必须执行高成本的计算,因此他们可以获得足够的奖励。
  • 同步小助手 版主 发表于2018-12-24 16:43:31

    什么是 “验证游戏”?你能用简单的语言解释一下吗?

    Sami_ 水手 回复同步小助手 发表于2018-12-24 16:44:03
    如果 Solver 和 Verifier 的计算结果不一致,他们可以使用交互式验证来找到他们产生冲突的具体步骤。 所以他们对某一步骤的计算状态达成一致,但对下一步骤不同意。 基本上和猜谜游戏差不多,其中参与者 A 选择从一到一百万的数字,另一个参与者试图猜测这个数字到底是什么,A 会告诉他猜测的这个数字是小于还是大于正确答案。如果猜测是系统地完成的,那么游戏显然需要一个对数时间(logarithmic time)。
  • 同步小助手 版主 发表于2018-12-24 16:44:17

    Solver 和 Verifier 在接受任务的时候都需要先付一定金额的保证金。请问他们要付多少保证金?比例是多少?

    Sami_ 水手 回复同步小助手 发表于2018-12-24 16:44:28
    Solver 和 Verifier 支付相同的押金,足以支付验证游戏中以太坊 gas 费用即可。保证金的一部分应该被烧掉,这样参与者就不会只用它来转移资金。此外,如果Solver没有发布承诺将发布的结果,就会有有超时惩罚,保证金将会被扣除。而押金的一部分会交给任务授予者,作为对延误的补偿。也许还会有另一笔由 Solver 付的保证金,可以被用来为结果提供即时的最终确定性。
  • 同步小助手 版主 发表于2018-12-24 16:44:39

    如果 Solver 和 Verifier 产生分歧,那裁判如何精确找到两者产生冲突的具体位置在哪里?

    Sami_ 水手 回复同步小助手 发表于2018-12-24 16:45:04
    Solver 和 Verifier 使用上述的“验证游戏”来找出分歧所在的位置。 然后,Solver可以使用法官合约执行该步骤,以证明它已正确执行。
  • 同步小助手 版主 发表于2018-12-24 16:45:17

    什么是“强势性出错”机制?具体是如何实现的?

    Sami_ 水手 回复同步小助手 发表于2018-12-24 16:45:30
    这是一种概率支付的形式,在这种情况下,Solver 可能会定期发布错误的解决方案,以确保 Verifier 是还在活跃中。Solver 将提交一个随机值,然后将该值与区块哈希组合,以确定 Solver 是否应发布“强制错误”。检测到此错误的Verifier将获得“奖金”(Jackpot),但该奖金并没有什么巨大的价值,只要其价值足够将其转移到链上就行。
  • 同步小助手 版主 发表于2018-12-24 16:45:42

    你来过中国吗?你对中国在 Web 3 革命中的角色有什么看法?

    Sami_ 水手 回复同步小助手 发表于2018-12-24 16:45:54
    只10年前来过一次,所以我没有任何亲身经历可以佐证我对中国在这场革命中的看法。也许中国有着发展 Web 3最丰富的资源。
  • 同步小助手 版主 发表于2018-12-24 16:46:21

    你好Sami!Truebit的用例有哪些?

    Sami_ 水手 回复同步小助手 发表于2018-12-24 16:47:32
    最基础的用例是突破以太坊的gas限制。目前在做的一个应用就是Livepeer,他们想用 Truebit 为视频转码做验证。也有密码协议,如防弹等,但目前不能在以太坊上执行。
  • 同步小助手 版主 发表于2018-12-24 16:46:45

    Truebit 和 Golem 有什么区别?你们有什么优势?

    Sami_ 水手 回复同步小助手 发表于2018-12-24 16:46:58
    Truebit用于执行确定性任务,优点是只需要一个诚实的参与者来确保正确性。
  • 同步小助手 版主 发表于2018-12-24 16:47:52

    你好,请问你们如何保证有效的数据存储?

    Sami_ 水手 回复同步小助手 发表于2018-12-24 16:48:09
    Truebit 没有数据存储解决方案(除了把数据存到链上之外),但原则上来说,Truebit 可以使用任何提供内容哈希的数据存储,比如Filecoin、Swarm、分片。目前支持从 IPFS 加载数据,但无法保证数据可用性。
  • 同步小助手 版主 发表于2018-12-24 16:48:26

    Sami 你好,请问谁来当“裁判”判定 Solver 还是 Verifier 得到了正确的解决方案?

    Sami_ 水手 回复同步小助手 发表于2018-12-24 16:48:53
    在链上运行有分歧的步骤的智能合约。
  • 同步小助手 版主 发表于2018-12-24 16:49:04

    谢谢你Sami。你们怎么能保证验证就一定会发生呢?怎么知道会有人带你们去法庭?

    Sami_ 水手 回复同步小助手 发表于2018-12-24 16:49:19
    大多数任务奖励将分发给验证者,这样就能激励他们执行该任务。 但是存在一些问题,例如必须以某种方式防止女巫攻击,以防止一个参与者发送多个验证,然后获得价值过高的奖励。
  • 1
  • 2
登录 账号发表你的看法,还没有账号?立即免费 注册