...这位作者的更新。 **zk-SNARKs：** 社区中有人提议使用零知识证明技术 zk-SNARKs 来实现此目标。 换句话说，zk-SNARKs 将用于加密和隐藏每笔交易的信息，因此机器人无法对此做任何事情。 但是，这种方法不足以控制此类攻击，因...
...验证的常见模式，例如确保数据对齐，检查密码scheme中的证明长度或强制执行周期性间隔。在开发和代码审查期间，此检查有时会被误读为仅确保“value是interval的倍数”，隐含地忽略了value为零的edge case。但是，此事件高亮显示...
...能合约！在下一个版本中，我们将为输入和新类型添加零知识证明。敬请关注！ ### 其他链接 - 给 [fhEVM Github 仓库](http://github.com/zama-ai/fhevm) 加星以支持我们的工作。 - 阅读 [fhEVM 文档](https://docs.zama.ai/fhevm/v/latest)。 - 在我...
...智能合约，为全球超过 1000 万开发者打开了大门。 零知识技术曾被认为对实际开发来说过于复杂。但 [StarkWare](https://starkware.co/) 的开发工具包等新工具正在让零知识实现变得比以往任何时候都简单。今天，zk-proofs 正在为像 Fre...
...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) ...
...使用下一代密码学来保护数据隐私和安全： - [什么是零知识加密？](https://learnblockchain.cn/article/18954) - [什么是知识证明？](https://learnblockchain.cn/article/18952) - [什么是同态加密？](https://learnblockchain.cn/article/18953) [什么是女巫攻击...
...learnblockchain.cn/2025/04/26/1z8fGsgXtLrLd2bOdng_Dbw.jpeg) ## 简介 零知识证明 (ZKPs) 在计算上极其昂贵，其中多标量乘法 (MSM) 在许多 ZK 证明系统中占据主导地位。2023 年 ZPrize 竞赛（奖项 1A）要求参赛者加速 NVIDIA GPU 或 AMD FPGA 上的 MSM。 这...
...篇是基础篇，讲述链的结构以及共识，后面会详细分析零知识证明技术在mina中的应用原理和相关细节。 本文中使用的Mina代码的最后一次提交信息如下： ``` commit ce31b9dfe5f8e148837b4bf2cd19de6f97da663b (HEAD -> develop, origin/develop, origi...
...？ BYOR 项目是一个简化版本的主权 rollup。与乐观和零知识证明的 rollup 相比，主权 rollup 不会在以太坊上验证状态根，只依赖于以太坊上的数据可用性和共识。这样可以防止 L1 和 BYOR 之间的信任最小化桥，但极大地简化了代码...
...在。 通过，上面的过程，我们就完成了一个简单的零知识问题的转换。但是这个模型并不足够安全，比如Alice可以伪造合法的$h(r)$和$t(r)$的值，使得$t(r)=z(r)h(r)$成立。具体的来说，比如不管Bob请求任意r下的$h(r)$值，Alice总是返...
...是了解以太坊区块链的一些基本概念。 ### 快速回顾基础知识 好了，现在我们了解了以太坊区块链的基本主题，我们都准备好深入了解一些关键的 EVM 组件的要点。 * * * ## EVM 架构及其组件 ### 存储 首先，**存储** 可以看作是...
...可能非常罕见，因此通过测试和模糊测试很难找到。 - **证明** 表示数学上不可能违反该规范。 - Prover 也可以 **超时**，无法返回答案。 与单元测试或模糊测试不同，Certora 规范是详尽的：一个属性的证明意味着该属性在 _所...