...始。 ### **示例 1：简单乘法** 假设我们正在创建 ZK 证明，以评估某人是否知道两个任意数字的乘积：`c = a * b`。 换句话说，对于某些 `a` 和 `b`，我们希望**验证**用户是否计算出了 `c` 的正确值。 用伪代码表示，验证如...
...这笔钱的权力，并且我确信我在未来可以成功地向任何人证明这一点的能力”。 这句话听起来有些拗口，实际上的意思就是——我为什么要在乎这笔钱是不是真的？因为我知道如果这笔钱是假钱我以后就有可能花不出去，所...
...用例，包括高效的签名聚合、单轮多方密钥交换和用于零知识简洁非交互式知识论证（zk-SNARK's）的多项承诺方案。尽管对密码学领域产生了深远影响，但它们在很大程度上仍笼罩在神秘之中。通常被称为“月球数学”，它们的...
...顶尖审计师的社区和一支世界领先的安全研究团队的专业知识。 它的目标是每年减少去中心化金融（DeFi）被盗金额的1%，并为增强Web3的安全性、可靠性和可访问性提供一站式服务。 **智能合约审计服务** Cyfrin提供与智能...
...达式相等的原因可以通过简单的代数变换来解释。我们将证明以下等式： $$ \frac{1}{\phi} - 1 = \frac{1 - \phi}{\phi} $$ ### 证明过程 1. **开始于左侧表达式**: $$ \frac{1}{\phi} - 1 $$ 2. **将 1 变成分母为 $\phi$的分数...
...收多久？实际上这个问题非常棘手，也需要比较多的前置知识。整个系列需要对下面的知识有一些了解 1. 布朗运动 和几何布朗运动 1. RN 导数 1. Laplace 变换 1. 鞅和最优停时定理 本文还会假定你阅读过uniswap v3 白皮书。...
...将网络输出转化为稳定的现金流。最后，它们连接了链上证明，将每个经过验证的工作单元与销毁、回购或质押池联系起来，从而将实际使用与代币经济永久绑定。 #### **展望未来** 本评估考察了随着竞争平台的成熟，Solana 的...
...ng”。 本文的目的是解释数据可用性采样（DAS）的基本知识、其所基于的模型以及在实践中实现该技术时面临的挑战和开放问题。我们希望这篇文章能够激发研究者的兴趣，吸引他们关注这一问题，并推动新的想法以解决一些...
...快向胜出设计迭代，并允许我们在确立 PBS 之前积累更多知识。这两点也得到了以太坊基金会的 Barnabé Monnot 在 [这次谈话](https://www.youtube.com/watch?v=jQjBNbEv9Mg&list=PLRHMe0bxkuel3w3C7P_WVvp9ShLi3HKRI&index=15) 中的强调。 ## 理由 5：mev-boost 防...
...的区块随后用于使用 Lagrange 的 ZK MapReduce 证明系统生成零知识状态证明，而消息传递或桥接协议可以利用这些证明来建立跨链状态的共享和无许可安全区域。 的演讲。这是一个很好的资源，可以了解 Merkle 树的基础知识以及如何利用它们。 - Merkle 树是许多质押协议的基础，它们的可预测值可能是操纵的目标。如果可以更改 Merkle 树的任何部分（例如，高度、叶子或根），则恶意参...
... **现在几点了？** 现在我们了解了检查点和罚没的基础知识，我们可以继续讨论以太坊中使用的实际算法，称为 Gasper。这是 Casper（我们已经介绍过）和 GHOST 的合成词，GHOST 是一种用于在检查点之间选择“最佳”区块链的策略...
...个与 EY. 合作构建的企业专用型扩容解决方案，它利用零知识证明的隐私功能实现 optimistic rollup 解决方案。 5 月 17 日，Polygon 宣布 Polygon Nightfall 主网 beta 版本上线。 来源： https://blog.polygon.technology/introducing-polygon-nightfall-m...