...了他们的经历和感想。Dark Forest的创始人Brian Gu解释了零知识性（zero-knowledge）在游戏中的应用。与其他太空征服类游戏不同，Dark Forest利用zk隐藏信息技术使该游戏脱颖而出，成为区块链游戏中热门项目之一。 在过去的几年...
...ps://media.consensys.net/ever-wonder-how-merkle-trees-work-c2f8b7100ed3)的知识。* 了解了这么多之后，我们来模拟一段苏格拉底式对话，看看能否找到一个既能提高以太坊的实际吞吐量，又不会增加用户和节点运营者负担的协议。 问：我们...
...um_{i=1}^ma_iv_i(x) – \sum_{i=1}^ma_iw_i(x)}{t(x)} $$ ### 简洁的零知识证明与二次算术程序 假设我们有一种方式让验证者向证明者发送一个随机值 $\tau$，而证明者会响应 $$ \begin{align*} A &= u(\tau)\\\ B &= v(\tau)\\\ C &= w(\tau) + h(\tau)t(\tau) ...
...到需要如此严肃的代币投票）。 因此，如果投票者技术知识水平较低，仅依赖一个主导的专家团体，那么投票能否提供真正去中心化的**结果**就显得不那么明确。这一批评同样适用于紧耦合和松耦合投票。 #### 数字宪法 一种...
...n 提问：** 是否有在消费级的硬件/低成本 ASIC 上运行零知识证明的可能性，从而使得基于零知识基础层实现完全去中心化？ **Justin Drake 回复：** 当然！我们现在有高效的 SNARK 递归技术 (如Halo 2 和 Nova)，它允许互不信任和...
...“数据可用性” 数据可用性对于乐观 rollup（ORUs）和零知识 rollup（ZKRUs）都很重要，因为我们需要能够查看和收集数据，以便生成欺诈证明或在排序器恶意/离线时提供应急方案。 历史上，L1 安全费用占用户支付的总费用的 ...
...顶尖审计师的社区和一支世界领先的安全研究团队的专业知识。 它的目标是每年减少去中心化金融（DeFi）被盗金额的1%，并为增强Web3的安全性、可靠性和可访问性提供一站式服务。 **智能合约审计服务** Cyfrin提供与智能...
...编程语言的支持、跨不同区块链的程序性桥接方式及对零知识证明的内建支持。Solana的新代币标准[Token22](https://learnblockchain.cn/article/10915)引入了多项如保密转账和转账钩子(called transfer hooks)等功能，进一步增强了在SPE内进行构建...
... * Fred 发明了一种新的、更好的加密算法，用于进行零知识证明。 接下来，我们将这些案例放进一个有两条坐标轴的图表： * **竞争性** ：一个人享受了美好事物的时候，她会在多大程度上降低另一个人享受美好事物的能力...
...bs 的联合创始人，也是 zkSync 的合伙人之一。ZkSync 是由零知识证明驱动的协议，以一种去信任的方式为以太坊带来了可扩展性。 Tom （00:01:18）： 棒极了。Mark，你呢？ Mark （00:01:21）： 嘿，我叫 Mark （Optimism），我是 Opt...
...品。即使有这样的选择来对冲风险，开展良好业务的所需知识可能门槛很高，这会使的技术水平不高的运行者望而却步。 ECN的翻译工作旨在为中国以太坊社区传递优质资讯和学习资源，文章版权归原作者所有，转载须注明原...
...uccinct、Electron Labs 和 zkBridge** 来的地方。这些项目处于零知识 SNARK 研究的最前沿，利用简洁证明来扩展桥接的链上验证。 从技术上讲，验证原链共识（以及不同签名方案的验证）是在链外完成的。一个 SNARK 证明由一个链外证...
...码协议，如多方计算（MPC）、可验证随机函数（VRF）和零知识证明（ZKP）。我认为，数字签名方案可以根据其基础的密码学基础进行分类，如基于椭圆曲线和基于配对的方案。在本文中，我旨在详细说明第一类：基于椭圆曲线的...
...**欺诈证明** (fraud proofs) 和 **ZK-SNARKs**(简洁的非交互式零知识证明)。  *欺诈证明是一种具有**可扩展**性**的**计算**验证方法* 这两种技术可以简单地描述如下： * **欺诈证...
...智能合约，为全球超过 1000 万开发者打开了大门。 零知识技术曾被认为对实际开发来说过于复杂。但 [StarkWare](https://starkware.co/) 的开发工具包等新工具正在让零知识实现变得比以往任何时候都简单。今天，zk-proofs 正在为像 Fre...