...心架构**开始，并在深入研究实现之前涵盖 solana 的基础知识。 ### **核心架构** 在本节中，我们将快速概述 Solana 的核心架构，并理解它的工作原理。 #### 历史证明 (PoH) PoH 是 Solana 的一项关键创新，由 Solana Labs 的创始人...
...据放入 Verkle 树中，并制作任何单个数据或数据集的简短证明（“证人”），这些证明可以由只拥有树根的人进行验证。然而，Verkle 树提供的关键属性是它们的证明大小 **更高效**。如果一棵树包含十亿个数据，传统的二进制 Mer...
...解如何访问合约中的私有数据（private 数据）。 ## 前置知识 我们先来了解一下 solidity 中的三种数据存储方式： ### 1. storage（存储） * storage 中的数据被永久存储。其以键值对的形式存储在 slot 插槽中。 * storage 中的数...
...供安全解决方案的区块链团队，凭借着在区块链跨链和零知识证明等扩展技术方面的专业能力，主要为 ZKP、Layer 2 和跨链应用提供细致和尖端的安全审计，致力于为可扩展的区块链生态系统的大规模应用提供安全保障。 ### 3....
...向整数的 SNARKs SNARKs 总是用于有限域上的计算吗？事实证明并非如此。 今天，我们将探讨我们最近的预印本中提出的技术 [从第一性原理出发，构建面向整数的完全简洁的论证](https://eprint.iacr.org/2024/1548)， 该论文研究了面向整...
...类 NFT 构造的办法就是让每一笔交易都使用某种奇妙的零知识证明，使我们不可能将接收比特币的人跟花费它的人关联起来 —— _即使_ 双方都希望联手揭开其中的信息。我认为，实现这种技术，同时让比特币的供给量依然易于...
...，我们已经知道如何做到这一点。** 我们本章的目标是证明这种等价性——如果 能整除 ，所有 -th 单位根的群与阶为 的乘法子群之间的等价性。 为此，我们需要证明以下两个陈述： 1. 阶数为 的乘法子群中的每个元素 ...
...如更高效的多方计算协议，甚至可能最终实现混淆 事实证明，全同态加密在概念上并不难理解！ #### 部分、半、全同态加密 首先，关于定义的一点说明。同态加密有不同类型，有些比其他更强大，它们之间的区别在于可以对...
... \[3\] ！（这一点我们好多年前就知道了，但修复措施被证明难以实现，而且我注意到修复它的唯一办法就是让 BIP125 RBF 的规则变得比今天更加严格。我确实也认为这是我们应该开发的事。） 给定我们当前拥有的 RBF 的限制，看...
...的核心是如何仅通过观察主观的过去来建立对未来的安全知识。 当前形式下的 Vlad 的 Casper 并未指定验证者之间的通信方式。是基于轮次的吗？不是，但即使是基于轮次的协议也可以作为 Vlad 的 Casper 的一种实现来分析。它有活...
...程 在开始本课程之前，你应该具备一定的区块链基础知识。你可以在[区块链基础](https://learnblockchain.cn/course/92)课程中获取相关知识。 本教程分为 6 个部分，循序渐进地帮助大家掌握 Solidity 开发： ### 1. [认识以太坊](https:...
....link/apis-smart-contracts-and-how-to-connect-them/) - [给工程师的零知识证明教学](https://blog.zkga.me/intro-to-zksnarks) - Opyn [给上周的 bug 出的事后报告](https://medium.com/opyn/opyn-eth-put-exploit-post-mortem-1a009e3347a8) - [ERC20 tokens 安全交互入门指南](https...
...执行的验证可能取决于博弈论，包括欺诈证明或依赖于零知识证明 (ZK 证明) 的有效性证明系统。即使在 ZK rollup 中，证明系统本身也可能表现出差异，从 Groth16 到 PLONK 不等。 rollup 实际上不需要知道其他 rollup 的详细信息以及状...
...7001 等安全标准。 这些要求增加了复杂性，还需要专业知识和技能，进一步推高了运营成本。 ### 牛市压力倍增 在牛市中，构建内部钱包基础设施所面临的挑战更加严峻： ### 用户需求激增 - 随着 [比特币的价格创下...