我们最近研究了如何使用零知识证明（ZKP）来验证全同态加密（FHE），因为这在两个新兴用例中至关重要。 - **fhEVM 的链下计算：** [Fhenix](https://www.fhenix.io/) 和 [Inco](https://www.inco.network/) 正在开发 L1 链，它们通过基于 [Zama 的 fh...
...## Awesome-ZKP-Security 帝国理工博士 Stefanos Chaliasos 整理的零知识证明安全性研究的博客，播客，披露，审计，访谈，CTF，和谜题，论文，工具列表。 A curated list of awesome ZKP Security resources, papers, tutorials, and tools. - ### An Introducti...
...于通过设计水平可扩展的模块化智能合约系统，并使用零知识证明（zk-proofs）来放宽未来的依赖集约束，从而实现更广泛的可扩展性。我们的目标是用丰富的区块空间来应对当前区块空间的稀缺，为应用程序开发者提供大量机会...
...链下批量执行所有计算，并且只向以太坊提交一个小的零知识证明（不能是伪造的证明）进行验证。由于以太坊会验证这些证明，并且存储足够的数据来准确判断链下账户的状态，因此zkRollup拥有以太坊层级的安全性。 零知识...
...证金作为发现欺诈的奖励。 #### ZK Rollups ZK 代表“零知识”，它是一种方法，一方(证明者)可以向另一方(验证者)证明给定的陈述是真实的，而证明者避免传达任何额外的信息，除了事实上的陈述是真实的。更多关于[零知识...
...隐私困境而存在的许多隐私问题，其中绝大多数集中在零知识证明（ZKPs）上。值得注意的例子包括[Proven 在 2023 年种子轮融资中筹集了 1580 万美元](https://www.coindesk.com/business/2023/03/09/zero-knowledge-crypto-startup-proven-raises-158m-in-seed-roun...
...95)。虽然这种方法不太可能影响到当前的路线。更多背景知识，可听 [Justin Drake 和 Vitalik Buterin 讨论零知识证明的播客](https://www.zeroknowledge.fm/120) ## 开发者材料 * Solidity [v0.6.4](https://github.com/ethereum/solidity/releases/tag/v0.6.4), [中...
... 以太坊和 Solana 这两个领先的区块链平台都在探索使用零知识证明 (ZKP) 来解决这些问题。 𝙕𝙚𝙧𝙤-𝙆𝙣𝙤𝙬𝙡𝙚𝙙𝙜𝙚 𝙋𝙧𝙤𝙤𝙛𝙨 (𝙕𝙆𝙋𝙨) 𝙖𝙨 𝙖 𝘽𝙡𝙤𝙘𝙠𝙘𝙝𝙖𝙞𝙣 𝙎𝙘𝙖𝙡𝙞𝙣...
...可验证数据解决方案的可能性。 ## 4\. zkTLS **zkTLS**（零知识传输层安全）是一个多方协议（通常涉及三个方），建立了 Web2 私有数据与 Web3 生态系统之间的门户。zkTLS 是一个混合协议，将 **ZKP（零知识证明）** 与 **TLS 加密系统*...
...送给Dan - Eve将2 ETH发送给Fabian 顺序器生成有效的零知识证明，证明这些交易的正确性，并在以太坊上发布。然而，顺序器没有在链上或链外公开实际的交易细节。在没有底层数据的情况下，用户无法验证其余额或已执行的...
...次有趣的冒险之旅吧！ --- # 第一步：最小化的理论知识 > 世上根本没有比特币，只有一个又一个的 UTXO。 > > 世上根本没有 CKB, 只有一个又一个的 Cell。 --- ### 理解 CKB 理解 CKB 的第一步，是抛开所有复杂的概念，...
...们也可以利用native方法来完成自定义的一些功能，比如零知识证明、同态加密库等。 **如何解决停机问题** 参考以太坊的gas机制，按照指令粒度统计燃烧的gas，对于涉及到存储的指令，根据存储的数据大小增加gas比例。这样...
...ce Generation）**、**约束检查（Constraints Evaluation）** 和 **零知识证明电路生成（ZK Circuit Evaluation）** 三个部分。整个过程的核心目标是 **确保内存访问操作是按时间和地址顺序进行的，并且读取的值与之前写入的值一致。** 具体...