...以查看/修改状态 * 使用 Circom 和 Groth16 的 [创建基本零知识证明](https://zkintro.com/articles/programming-zkps-from-zero-to-hero) (ZKPs) 指南 ## 安全 * [链上黑客影响估计](https://x.com/MitchellAmador/status/1828110931718758690): 1600 万美元损失，市...
...能合约的执行到跨链验证、从去中心化应用（DApp）到零知识证明（ZKP）的生成，一切链上行为最终都需要被一种形式的**虚拟机（Virtual Machine, VM）**解释与执行。而支撑虚拟机运行的底层，是一个通常被忽视却极其关键的部分：...
...完成，被定期汇集成批量交易，rollup 运营者需要采用零知识证明技术来证明这批交易是有效的，然后提交给以太坊主链存储。以此来实现扩展性能的同时，保证主链数据的安全和完整。 ZK-Rollup 的执行过程： （具有零知识证明），已将安全性作为其核心关注点。 #### Agoric 为开发人员提供的增强安全性 Agoric 区块链具有独特的功能，使其成为卓越的智能合约平台和应用程序开发人员...
...逐点运算方式。该框架为 multivariate sumcheck 协议 及其在零知识证明（zkSNARKs）中的应用提供了坚实的数学基础与算法支持。 # 1. 多项式点值表示在特定点的求值方法 在点值表示 (evaluation form) 下，一个多线性扩展 $\tilde{f}:\math...
...多方面的方法，展示多方计算 (MPC)、全同态加密 (FHE)、零知识证明 (ZKP)、信息论安全 (ITS) 和其他数据处理及隐私增强技术 (PET) 创新的互动。 Nillion 已进入该领域，解决方案将把你放在对现存最有价值的商品 - 你的数据 - 的控...
## 介绍 生成一个 zk-SNARK（零知识简洁非交互式知识论证），就像 Aleo 使用的那种，涉及大量的密码学计算，几乎所有这些计算都发生在有限域上的椭圆曲线内部。 ## 椭圆曲线 以下是 [这篇文章](https://cryptographyinrustforhackers.com/...
...的投票系统***不只是*使用区块链**；**它们还依靠诸如零知识证明之类的密码学来保证正确性，并依靠多方计算来保证抗胁迫**。因此，它们避免了那些更为“天真”的投票系统的弱点，即只是“把选票直接投给区块链”而忽略...
...o DAO](https://zerodao.io/)，这是一个基于美国的DAO，投资于零知识证明。在接纳之前，我经历了KYC过程。DAO是web3的，但这个KYC部分仍然是web2。尽管KYC体验很顺利，但我确实提交了很多文件，我开始在想，如果我继续在投资行业工作...
... Gabizon、Zac Williamson 和 Oana Ciobotaru 宣布了一种新的通用零知识证明方案，称为 [PLONK](https://eprint.iacr.org/2019/953)，其名称是"Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge"（关于拉格朗日基的普遍非交互知识论...