avatar
Bobbin Threadbare
2,897个推特粉丝
关注
zero-knowledge proofs, virtual machines, rollups. working on @0xPolygonMiden
动态
avatar
Bobbin Threadbare
10-23
完全可以依赖零知识证明（ZKP）来保护隐私，同时编写 DeFi 协议（以及更多其他协议）——这正是 Miden 的设计初衷。关键在于重新构想状态的运作方式，摒弃单一状态架构，转而采用 Actor 模型（分布式系统数十年来一直沿用此模型）。 这样，我们就可以拥有能够与控制共享状态的公共 Actor 交互的私有 Actor。或者，我们也可以拥有半私有 Actor（状态对部分用户可见，但并非整个网络都可见），这些 Actor 既可以与完全私有 Actor 交互，也可以与公共 Actor 交互。 这是一个非常强大的模型，涵盖了大量的 DeFi 用例——从匿名 AMM 和 CLBO，到符合隐私规范的稳定币。 还有一点值得一提：编写这些 DeFi 协议并不需要精通 ZKP 的工程师——你可以用 Rust 编写所有代码。 我确实喜欢全同态加密（FHE）——它是一项非常酷的技术，能够实现一些零知识证明（ZKP）无法解决的应用场景（例如，真正私有的共享状态）——但它也会给网络带来巨大的性能开销。 ZKP 的优势在于它实际上可以降低网络负载——本地验证的交易无需网络执行（验证 ZKP 的成本非常低）——我们称这种概念为边缘区块链。而使用 FHE，每笔交易对网络的成本都会增加 100 倍（甚至 1000 倍）。ASIC 肯定能有所帮助，但这同时也意味着每个验证节点都需要运行这些 ASIC，否则它们将无法参与网络活动。要求每个节点都配备 ASIC，就好比要求每个比特币节点都成为矿工一样。
Kyle Samani
@KyleSamani
10-23
6/ b) is the most subtle and hardest to understand. This is where ZK fails To understand why, let's consider the simplest privacy app: zcash (no defi). When you submit a shielded zcash transaction, you produce a proof that says, roughly "I am sending coins such that my
loading indicator
Loading..