... [SNARK](https://a16zcrypto.com/posts/tags/snarks/)（简洁非交互式知识论证）是一种密码协议，任何人都可以向不可信的验证者证明他们知道满足某些性质的“证据”。 web3 中的一个重要应用就是二层 (L2) 汇总向一层 (L1) 区块链证明其知...
所有的 ZK-EVM（零知识以太坊虚拟机）都旨在实现同一个目标：使以太坊更具可扩展性，并扩大 web3 的应用。 作为一名开发者，现在你有几种不同的选择来创建和部署智能合约到 ZK-EVM 上，每种选择都有其独特的实现、优点和...
...也不具备隐私性。ZK-Rollup 中的“**ZK** ”*(zero knowledge，零知识)* 是指**计算发生在链下，然后以*零知识证明***(zero-knowledge proof) **的方式在 L1 主链上被验证其合法性** ，这并不意味着“你的交易活动被隐藏起来不被窥探”。不过...
...过全球流动性池提供无缝的借贷体验，所有这些都受到零知识证明 (zkProofs) 的保护。 作为第一个完全基于 zkCoprocessor 技术的 DeFi 协议，Malda 在更广泛的以太坊生态系统中创建统一的资金池，这些资金池同步运作以提供不间断的...
...件工程上，比特币是一个分布式系统。中本聪利用密码学知识解决了分布式共识问题，而且是**零信任环境**。 他巧妙地利用加密哈希算法特性（比特币使用的哈希算法是SHA-256，这类SHA-2算法簇是一种“单向”操作）。对于给定...
...ayload-construction) - [零填充](#zero-padding)（如果有） - [Merkle 证明](#merkle-proof)（如果有） 每个字段都按字节对齐。整数字节顺序为小端。 #### 数据包大小 `SHRED_SZ_MAX` 常量定义为 1228。 如果使用传统身份验证， 则每个分片在序列...
...该账户的交互仅在纳入碳成本的情况下进行，或仅允许零知识隐私中的交互。 以下是用Rust实现的基本用户账户有效性谓词示例： ``` [...]#[validity_predicate] fn validate_tx( tx_data: Vec, addr: Address, keys_changed: HashSet, verifiers: H...
...人活动的有效性可以得到验证而无需披露内容（例如，零知识证明），则可以大大提高 Web3 声誉解决方案的实用性。 \* **加粗**_我们将要查看的并非所有解决方案都采用这种结构。_ ### 3.3 Web3 声誉的用例 今天，我们使用...
...明设计中，证明可以采用故障证明或有效性证明（例如零知识证明）的形式。然而，在有效性证明投入生产之前，我们假设取款将使用故障证明系统。 在设想的故障证明系统中，任何人都可以提交取款声明，这些取款声明可...
... 介绍](https://hackmd.io/benjaminion/bls12-381) * [可视化适用于零知识证明的高效默克尔树](https://kndrck.co/posts/efficient-merkletrees-zk-proofs/) * Haseeb Qureshi：[写给程序员的密码学货币品类介绍](https://nakamoto.com/introduction-to-cryptocurrency/) * Eli Ben...
...*Tachyon 项目** 中的 set-noninclusion accumulator 所需的预备数学知识——如果你已经熟悉基本的抽象代数，可以跳到下一篇文章。 ## 一些数学预备知识 ### 音乐的动机 18 世纪，作曲家 **约翰·塞巴斯蒂安·巴赫** 创作的音乐因其...
...1 侧通过实际执行计算来确认正确性，而 L2 侧通过验证零知识证明来确认正确性。 ### 2.2. 3SF 的原生 Rollup 将 3SF 适配到此架构将导致以下结果。 [ ## **ZK的崛起与演变** 曾几何时，零知识证明（以下简称ZK）仍然被认为是密码学教科书中的理论概念，至少在传统安全研究中很少被主流社群深入探索。然而在Web3.0领域，区块链技术的迅速发展，用短短几...
...ayload-construction) - [零填充](#zero-padding)（如果有） - [Merkle 证明](#merkle-proof)（如果有） 每个字段都是字节对齐的。整数字节顺序为小端。 #### 数据包大小 `SHRED_SZ_MAX` 常量定义为 1228。 如果使用传统认证， 则每个分片在序列化...