...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.熟悉密码技术，了...
... 系统全面：从区块链系统构建，到完整DAPP开发，全流程知识点覆盖 由浅入深：从区块链基础切入，一步步掌握智能合约、DAPP、以太坊钱包开发 案例丰富：结合案例讲解，生动形象，附赠实战项目源代码 区块链专业平...
...： 1. 如何进行传统的Solana空投 2. 成本来自何处 3. 零知识（ZK）压缩如何解决这些问题 4. 如何使用AirShip进行廉价的大规模空投 让我们开始吧。 ## 传统空投：工作原理 标准的Solana空投对每个接收者需要两个步骤： ...
...价较高的操作。系统为这些操作同时提供了计算实现和零知识电路实现。 代码库遵循模块化架构，使用公共接口 (`PrecompilesProcessor`) 执行预编译操作，并为每个操作提供特定实现以及模块化的指数电路实现。每个预编译的实现...
...息（ PHI ）**：受 HIPAA 监管的健康记录和药物信息。 * **知识产权（ IP ）**：受商业法保护的专利和商业秘密。 ## ZK 是解决方案 到目前为止， ZK 领域主要涉及扩展区块链， ZK rollups 现在是许多公链技术堆栈的重要组成部分...
...送给Dan - Eve将2 ETH发送给Fabian 顺序器生成有效的零知识证明，证明这些交易的正确性，并在以太坊上发布。然而，顺序器没有在链上或链外公开实际的交易细节。在没有底层数据的情况下，用户无法验证其余额或已执行的...
...确地将状态证明纳入区块链应用，必须使用默克尔树、零知识证明和轻型客户端。介绍这些概念的最简单方法是打一个比方。 想象一下，你有一本大书，里面写了很多信息。这本书代表一个区块链。书中的每一页都被称为...
...算。我们使用随机数来屏蔽累加器中的群元素，以确保零知识。 [Nova](https://eprint.iacr.org/2021/370.pdf) 是一种新的协议，提出了另一种使用轻量级构造来实现 IVC 的方法。他们没有使用 [zk-SNARKs](https://learnblockchain.cn/article/22822/)，而...
...也可以在工具中将它们默克尔化，我还可以将它们用在零知识证明以及所有这些东西中，它是充分面向未来的。 ## Simplicity 那我要讲什么呢？我要聊聊 Simplicity，这是一种新的区块链语言，而且它具备我刚刚提到的一切好处。...
.../) 通过使用半诚实的混淆电路和基于混淆电路的交互式零知识证明来优化此方法。虽然这减少了一些开销，但成本仍然很大。 [Primus](https://primuslabs.xyz/) 在 MPC-TLS 设置中引入了 [garble-then-prove](https://eprint.iacr.org/2023/964) 协议，将...