...in.cn/2025/04/24/1rslcQzeBUphL2IrMjZeKjQ.png) ## 使用 Rabin 方法的可证明安全公钥加密 嗯，RSA 公钥加密方法已经有近 50 年的历史了，但它仍然没有对其安全性的正式证明。多年来，它做得很好，并且通常设法提高其计算难度，以跟上计...
...协议固有的各种**中心化力量**： - **EL 奖励差异**：虽然证明奖励的分配相当均匀，但提出区块的奖励可能会有很大差异。这种差异的出现是因为 [MEV](https://ethereum.org/en/developers/docs/mev/) 非常不稳定，导致少数异常区块的提议者...
...致对应论文的结构，分别讲Gasper协议的内容、协议有效性证明、beacon chain在实现Gasper时的一些tradeoff。 更多文章: [Bo1010 blockchain research](https://al3ul0osmp.feishu.cn/wiki/wikcnPaz9ZaBWWD0zm6f6Zf7iqd) # WHAT ## 概括 Gasper 要解决的是Ethereum2.0 共...
...on)展示了如何安全地匿名化文本数据，以使用 ChatGPT 查询知识库，而无需泄露任何个人身份信息。 ### 加密的 DataFrames [DataFrames](https://pandas.pydata.org/docs/reference/api/pandas.DataFrame.html) 是一种编程范式，可简化表格数据的...
...供从那个元素到默克尔根路径上的所有标识符。这样就能证明，这个元素确实在这个集合内。 简而言之，AST 背后的技术让你可以把一个程序分成多个小块，而默克尔树让我们可以验证这些小块确实是一个完整程序的一部分，...
...动内存中，持续进行付费 * 无状态性：区块保留所有的证明 (witness)，例如默克尔证明，因此在验证区块有效性的时候不再需要状态 在“无状态性”方向中，又有不同的概念值得探索： * 部分无状态性：只需要对某些 (陈旧)...
...**ZK-Rollup** ZK -Rollup是这样实现的：像STARK或SNARK这样的证明系统允许用亚线性处理来验证线性数量的语句(例如，1000个语句→10个验证者检查，10,000个语句→11个验证者检查)。我们可以使用这个属性来创建可大规模扩展的区块...
...论最佳资源、如何构建你的第一个项目，以及如何将你的知识转化为行业中的实际机会。 这里有一位成功的智能合约审核员 Holydevotion 分享他如何追求这些实用步骤： ## 开始学习 Solidity 如果你想开发智能合约，就需要学习 Sol...
...化](https://l2beat.com/scaling/projects/optimism#stage) 的道路上，为证明系统提供了一个关键的冗余部分。 ### 它如何工作？ 在高层次上，验证关于 DA 层上 OP Stack L2 状态的声明的正确性包括[引导可信输入](https://specs.optimism.io/fault-proof/sta...
...*原生互操作性标准**，该标准允许一次对多个链进行故障证明。 这促进了安全、快速的跨链通信——显着提高了经济效率并解锁了新的多链应用程序用例——而不会引入根本性的新安全假设。 为了支持这一点，我们正在通过设...
...是最终和不可逆的？ 在 Rollup 中，交易最终性与工作量证明区块链的[最终一致性](https://stonecoldpat.substack.com/p/how-do-cryptocurrencies-work-under) （等待 X 次确认）或以太坊的权益证明协议（在[连续两次超级多数投票（epochs）](https://s...
...论文，将这个密码学幽灵的故事转化成了一个具体的、可证明的结果。“ [**DahLIAS**](https://eprint.iacr.org/2025/692)”是可以在比特币的原生曲线上工作的 **恒定体积的（跨输入）完全聚合签名方案** 的第一种正式、安全的构造！ 这...
...一组使用化名Satoshi Nakamoto的人发布。它利用基于工作量证明（PoW）的共识机制来解决与早期加密货币[如DigiCash](https://learnblockchain.cn/article/13860)相关的双重支出问题，并实现去中心化共识。PoW算法要求矿工解决计算密集型数学难...