好的,这情况有点失控了。我忘了我的 Bitcoin 探索团队是多么优秀。 我们已经在修改过的 Zcash Zebra 实现中实现了 STARK_VERIFY TZE,并且我们能够在测试网上验证一个真实的 Starknet 区块的 Circle STARK 证明! Ztarknet POC 加强中。我说过一个月,但我们可能会更早完成。 cc @zooko @0xMert_
A₿del ∞/21M
A₿del ∞/21M11月3日 20:26
Ztarknet: Zcash × Starknet: 隐私保留,规模到来。 让我用简单的术语来解释这个想法 👇
Ztarknet 探索者: 被证明的 Starknet 区块是这个: 对 @monsieur_kus @BrandonR505 @aundumla 大力支持 你们一如既往地疯狂交付!
@0xMert_ 是的,别担心,我会更加努力地制作解释、图表、解说视频等等。我只是太兴奋了,想分享这个巨大的成就。
发生了什么 e2e: - 一个 Starknet 排序器生成一个 Ztarknet 区块 我们使用 Stwo 证明器证明该区块 - 作为一个交易提交到我们的 zcash 测试网,包含一个输入和一个输出,输入包含证明,支出输出包含之前的 Ztarknet 状态 输出包含下一个 Ztarknet 状态(更新后) - 这些是特殊的 "扩展" 输入和输出(也称为 TZE),在 ZFuture 升级中引入 - 本质上,它是相同的透明输入/输出,但不是 Bitcoin 脚本,而是将一个自定义程序纳入共识 感谢 @monsieur_kus 的详细解析
36.78K