...工具经常与监管要求冲突。将隐私池适配到 EBSI 说明了零知识证明如何与受监管的基础设施共存。EBSI 的框架使用 W3C 可验证凭证和钱包的 endpoints，让用户在不暴露个人数据的情况下证明属性。在这种环境中集成隐私池展示了一...
之前有一篇文章分析了 [libsnark 源代码](https://learnblockchain.cn/2019/08/15/libsnark-source/)，ethsnarks在libsnark的基础上，实现了以太坊上与zkSNARK相关的智能合约和电路。 >题外：*最近看知乎，发现知乎上有些文章真的醍醐灌顶。印象...
...通过桥接传递给发送链，使用去中心化块头中继网络和零知识证明。 3\. 智能合约执行：发送链上有一个专门的智能合约验证来自接收链的消息。在发现欺诈的情况下，撤回不诚信质押者的存款。 4\. 削减机制：当验证者行为不...
...表 Succinct, Non-Interactive Argument of Knowledge (简洁、非交互式知识论证)。**简洁**，因为我们将拥有易于验证的小型证明。**非交互式**，因为生成的证明可以用来 убедить 任意数量的验证者，而无需与证明者进行直接交互。**知识...
...com/lambda-crypto-doctrine/) 中所说的那样，我们**非常**看好零知识/有效性证明及其解决许多问题和创建新应用程序的潜力。我们决定在这个充满挑战的环境中工作，这里汇集了数学、分布式系统和密码学。我们面临的第一个挑战是...
...线图已经以 “rollup” 为方向：rollup 是一种使用证明（零知识证明或是 optimistic 欺诈证明）来继承以太坊安全性的独立执行环境。 在经过多年的开发后，rollup 最终被部署到以太坊上并且逐渐得到采用。这项技术的佼佼者 Arbitr...
...式匹配： $v = \langle a_L, 2^n \rangle$ ### 核心证明（没有零知识） 如果我们在这里停止，我们已经可以在我们组合的内部乘积上运行 **内部乘积论证 (IPA)** 并获得有效的证明，就像在上一篇文章中一样😊。 但是有一个问题：IPA *...
...生成、承诺、评估和验证。 - **KZG 方案的安全性**：基于知识声称的假设，确保证明者无法伪造评估值。 - **Bulletproofs 的递归结构**：通过将多项式分为左右两部分，利用随机线性组合来减少多项式的度数。 - **后续方案的优势...
...up的状态。 目前存在两种 Rollup： 1. 乐观Rollup 2. 零知识 (ZK) Rollup [桥](https://ethereum.org/en/developers/docs/bridges/)允许你在以太坊主网和Rollup之间传输资金或数据。 ### 乐观Rollup 乐观Rollup，如 [Optimism](https://www.optimism.io/) ...
...证明的有效性，并重新提交带有已更改值的证明。 - 零知识滥用 在此情况下，来自公共值或证明的信息可以用来恢复私有值并泄露，或者对此内容做出一些建议。 考虑到这些向量，我们需要确定作为输入和输出使用的...
...将采用不同的方法，要求挑战者简单地计算一个简洁的零知识证明，表明所声称的最终状态是无效的。具体而言，该证明表明从初始状态执行有效载荷不会导致提议者声称的最终状态。这将使用 RISC Zero zkVM 完成，遵循 OP Kailua 混...
...验证项目。我们花费了大量时间和精力投入研发创新的零知识证明，提升了证明创建速度并减少对内存的占用，并将 DECO 从理论研究推进到了 alpha 测试阶段。在未来，我们计划将 DECO 的核心零知识引擎开源，让整个研究社区可...
...学前沿技术、密码算法实现及性能优化，如同态加密、零知识证明等在区块链领域应用，并能产出理论或技术成果。 【任职要求】 1.统招全日制硕士、博士学历，密码学、信息安全或应用数学相关专业； 2.熟悉密码技术，了...
...价较高的操作。系统为这些操作同时提供了计算实现和零知识电路实现。 代码库遵循模块化架构，使用公共接口 (`PrecompilesProcessor`) 执行预编译操作，并为每个操作提供特定实现以及模块化的指数电路实现。每个预编译的实现...
... 系统全面：从区块链系统构建，到完整DAPP开发，全流程知识点覆盖 由浅入深：从区块链基础切入，一步步掌握智能合约、DAPP、以太坊钱包开发 案例丰富：结合案例讲解，生动形象，附赠实战项目源代码 区块链专业平...