Fiat-Shamir 转换是零知识证明 (ZKP) 和多方计算 (MPC) 中的一个重要组成部分。它允许基于交互式协议的零知识证明变为非交互式。本质上，它将对话转换为文档。这种能力是 SNARK 和 STARK 等强大技术的核心。非常有用的东西！ 但是...
## 1\. PCS (多项式承诺方案) 在零知识证明系统中，**多项式承诺方案 (Polynomial Commitment Scheme, PCS)** 是一种密码学原语，它允许证明者将多项式“绑定”到一个短的承诺值，并有效地证明该多项式在特定点上满足某些性质（例如，...
...生成、承诺、评估和验证。 - **KZG 方案的安全性**：基于知识声称的假设，确保证明者无法伪造评估值。 - **Bulletproofs 的递归结构**：通过将多项式分为左右两部分，利用随机线性组合来减少多项式的度数。 - **后续方案的优势...
...资源。虚拟机必须能够执行字节代码，执行任何必要的零知识证明的生成和验证，并管理整个执行环境。所有这些任务都需要大量的计算资源，这可能会增加系统的总体开销。另一个开销来源是执行字节代码所需的时间。由于虚...
...新的 ZKP 或者是 zkSNARK 的技术。最近有很多人在学习这些知识，我们也参加了一些公学的小组，在这里深度讲一下其中很共性的问题。 ## Why ZKP or zkSNARK？ 首先我们能感受到 ZK 的项目是很 FOMO 的，我更想从技术层面...
... Optimistic rollups，赋能开发者生成有效性证明，使得在零知识下确认 rollup 衍生。 今天，我们宣布 **Kailua**，一个将乐观 rollups 升级为 Hybrid ZK rollups 的软件套件，其第一个实现基于 Optimism 的 [Kona](https://www.notion.so/112051ebc1b5801ebc2...
...复杂化了监管环境。 另一个重大挑战是拥有区块链专业知识的 **网络安全人才短缺** [Top blockchain attacks, hacks and security issues explained \| TechTarget](https://www.techtarget.com/searchsecurity/tip/Top-blockchain-security-attacks-hacks-and-issues)。随着区块...
...。** 也许过去十年中最强大的加密技术是通用的简洁零知识证明，通常称为 zk-SNARKs（“零知识简洁论证”）。一个 zk-SNARK 允许你生成一个证明，表明某些计算有某个特定输出，这种证明可以被极快速地验证，即便基础计算需要...
...蚁BAAS的官方帮助文档和辉哥的实践，按照一课讲透一个知识点或者功能的逻辑，把蚂蚁BAAS系统深入浅出的做了分析和输出，希望能为大家熟悉蚂蚁区块链系统提供帮助，少走弯路。 ## 2，系列文章 （1）蚂蚁区块链第1课 蚂...
...**。 这不是渐进式的改进，而是一次飞跃，直接解决了零知识证明中最顽固的瓶颈。 在一台高端游戏 PC 上运行，他们的开源模拟器在短短半秒内处理了一个包含 230 笔交易的复杂以太坊区块。 这一成就不仅仅关乎速度，还关乎...
...证明的有效性，并重新提交带有已更改值的证明。 - 零知识滥用 在此情况下，来自公共值或证明的信息可以用来恢复私有值并泄露，或者对此内容做出一些建议。 考虑到这些向量，我们需要确定作为输入和输出使用的...
...nc是基于ZK rollup的Layer 2扩容方案，利用最新一代的简洁零知识证明（succinct zero-knowledge proofs），保证了底层区块链的安全性。 zkSync v1是用于支付的ZK rollup方案，已于2020年7月在以太坊主网上线。zkSync v1被众多协议、钱包和dApp...
...学前沿技术、密码算法实现及性能优化，如同态加密、零知识证明等在区块链领域应用，并能产出理论或技术成果。 【任职要求】 1.统招全日制硕士、博士学历，密码学、信息安全或应用数学相关专业； 2.熟悉密码技术，了...
...通过桥接传递给发送链，使用去中心化块头中继网络和零知识证明。 3\. 智能合约执行：发送链上有一个专门的智能合约验证来自接收链的消息。在发现欺诈的情况下，撤回不诚信质押者的存款。 4\. 削减机制：当验证者行为不...
... ## 什么是Elusiv？ Elusiv自称为“一个基于区块链的零知识隐私协议”，其“使用户和应用程序能够访问通用加密”。Elusiv旨在通过将零知识密码学和多方计算应用于用户和网络，实现隐私而不牺牲安全性、安全性和去中心化...