找到约 14 条结果

文章 跨链桥攻击中 MEV 的经济学:一个博弈论分析

...足。在 Iron Finance 崩溃期间(虽然不是桥漏洞利用,但它证明了该原则),清算机器人在 TITAN 崩溃级联通过整个 Polygon DeFi 生态系统时,获得了超过 7500 万美元的清算奖金。这些狙击手不是从混乱本身中获利,而是从混乱造成的...

文章 保护Uniswap v4:形式化验证和恶意Hook保护

... [Certora Prover](https://www.certora.com/prover) 如何精确地定义和证明正确性规则,从而确保智能合约的强大安全性。 我们在之前的博文中建立了 [Uniswap v4 威胁模型](https://learnblockchain.cn/article/13818),详细说明了围绕 [恶意 hook](https://le...

文章 合约级合规的身份数据要求

...已获得金融监管机构的正式授权,可以进行此类检查,并证明符合所有相关的法律义务,包括: ![](https://img.learnblockchain.cn/2025/04/24/1C8IAqPL23sqx7ExamSBwNg.jpeg) - **监管合规性 (Regulatory Compliance)**:遵守反洗钱 (AML) 法规和金融行动特...

文章 聚焦:ZK-SNARK 技术

...似于Unirep Social正在实现的用例。 ### **链接帖子:基础知识** 任何人都可以通过在链上发布包含该帖子的消息和ZK-SNARK来发布帖子,以证明(i)你拥有一些稀缺的外部身份,授权你创建一个帐户,或(ii)你发布过一些特定的帖子...

文章 Astar 将推出其首个 zkEVM,采用 Gelato 的 zkRollup 即服务 (zkRaaS) 平台

...开发,并确保了 Astar 在 Web3 领域的成功。该团队的专业知识在优化我们的流程和资源方面发挥了重要作用,为我们节省了相当于三名全职高级工程师专门负责区块链基础设施的成本。*”** **Maarten Henskens,Astar Network 基金会负责...

文章 Safe:链上应用的所有权基础设施层

...购买、收益仓位再平衡和资产再平衡,而无需复杂的编码知识。此外,用户可以将多个步骤(如借贷、交换和跨链)捆绑到一笔交易中,从而节省 gas 费并提高时间效率。 Brahma 利用 Safe 的模块化架构来提供两种类型的账户: 1....

文章 Rust 优化技术非官方指南

...随时间推移的维护负担 ## 🎓 学习路径:建立优化专业知识 **初学者水平:** - 掌握Rust基础知识:所有权、借用、生命周期 - 学习使用`cargo bench`和日志进行基本性能分析 - 练习拷贝模式和预分配 - 了解何时使用引用...

文章 每周以太坊 2024/08/24

...2p 表](https://learnblockchain.cn/article/17251/): libp2p gossipsub 信标证明,信标块 & blob sidecar * Nethermind: [执行层客户端性能](https://nethermind.notion.site/MGas-s-performance-research-across-different-Execution-Layers-1d494e98b431425c878d5a82c63413b1) 通过 engine\_NewPa...

文章 Layer1 短期内应创新, 长期内应减少创新

...更有效的客户端验证区块链内容或状态的各种声明生成知识证明。 >- 原文链接: [vitalik.eth.limo/general...](https://vitalik.eth.limo/general/2018/08/26/layer_1.html) >- 登链社区 AI 助手,为大家转译优秀英文文章,如有翻译不通的地方,还...

文章 数据可用性层的军备竞赛

...g)承诺是一种用于Avail的加密承诺。它们特别适合用于知识(ZK)证明,这是一种加密方法,允许一方向另一方证明一个陈述是真的,而不透露任何超出该陈述本身有效性的信息。 - KZG承诺在内存和带宽使用方面是高效的。这...

文章 SwiftSync:近于无状态的可并行比特币区块链验证

...如使用专门的硬件(FPGA 和 ASIC)来验证区块链、构造知识证据,或者仅仅为其它操作(比如 Schnorr 签名的批量验证)释放更多内存。你也可以轻松将验证负担分散到多台设备中。 我们需要进一步的基准测试来确定 SwiftSync 到...

文章 Hyperlane是什么 - 全面概述

...安全性,例如多重签名 ISM 的验证器签名、Merkle 证明知识证明**。在收到 Warp 路由中任何关联的 ISM 的批准后,中继器将执行消息的传输,甚至管理消息传递的 Gas 费,这些 Gas 费事先计算好并由源链上的消息发送者支付。**Im...

文章 开发区块链应用(十二)--以太坊余额查询

...th.ParseJsonRPCResponse(resBody) } ``` --- 本系列文章: [从开发区块链应用(一)--golang配置文件管理工具viper](https://learnblockchain.cn/article/3446) [从开发区块链应用(二)--mysql安装及数据库表的安装创建](https://learnblockchain.cn/article/34...

文章 可编程密码学 - 第一篇

...不透露任何关于这些输入的信息。 * 使用“专用”知识证明,我可以提出这样的声明:我有一个秘密 S,使得“MODEXP(S) = 0xa91af3ac...” (其中 MODEXP 是[模幂函数](https://en.wikipedia.org/wiki/Modular_exponentiation) ),并且我可以在不...