## Fuzzing 智能合约的实践方面:Echidna 作者:Sergey Boogerwooger , MixBytes 的安全研究员  ## 简介 在本文中,我们将回顾智能合约的实际模糊测试,并旨在执行两种不同类型的分析。我...
> * 原文链接: https://medium.com/smlxl/defi-lending-concepts-part-2-liquidations-7f0f0ffec96c > * 译文出自:[登链翻译计划](https://github.com/lbc-team/Pioneer) > * 译者:[翻译小组](https://learnblockchain.cn/people/412) 校对:[Tiny 熊](https://learnblockchain.cn/people...
## 目录 - [目录](#table-of-contents) - [摘要](#summary) - [范围](#scope) - [执行摘要](#executive-summary) - [系统概述](#system-overview) - [白名单合规性预言机](#whitelist-compliance-oracle) - [ERC-721 灵魂绑定代币](#erc-721-soulbound-token) - [ERC-721 基...
## ccip主要组件 ### 三个领域 ``` 源链 (Source Chain) ├── Sender (发送方合约) ├── Router (路由合约) └── Token Pool (代币池) 目标链 (Destination Chain) ├── Receiver (接收方合约) ├── Router (路由合约) └── Token Pool (...
## 以太坊的多客户端哲学将如何与 ZK-EVM 互动? 以太坊的多客户端哲学将如何与 ZK-EVM 互动? **特别感谢 Justin Drake 的反馈和审阅** 以太坊保持其安全性和去中心化的一个虽未充分讨论但非常重要的方式是其**多客户端哲...
 加密货币互操作性,即多个区块链网络通信和交换数据的能力,对于区块链发展至关重要。 以太坊作为主要的智能合约平台,目前[占据](https://news.bitcoin.com/ethereum-sti...
| ACP | 77 | | :------------ | :---------------------------------------------------------------------------------------- | | **标题** | 重塑子网 ...
## 介绍:Starknet 和 Cairo 执行 Starknet 是一个以太坊第二层(L2)协议,利用加密 STARK 证明(**S** uccinct **T** ransparent **A** rguments of **K** nowledge)来实现可验证的大规模计算。与其他 L2 区块链一样,Starknet 能够为 L2 事务提供有意义...
将持续发布关于Uniswap V4的系列文章。本系列从全面的代码分析开始,逐步深入探讨V4的前景和局限性等方面。文章开始前,笔者声明与Uniswap没有任何关联。_  **Unisw...
 ## 目录 1. 简介 2. Ordinals 概述 3. Ordinals NFT 项目介绍 4. Ordinals NFT 生态系统 5. 结论 6. 参考 ## 1\. 简介 ### 1.1 NFT 市场的当前状态 ...
## 介绍 在本文中,我们将讨论不变性以及如何使用 foundry 测试套件对 Solidity 智能合约进行不变性测试。 不变性测试是一种类似于单元测试和模糊测试的测试方法,用于验证代码的正确性。如果你不熟悉单元测试,请参阅我...
一千个读者就有一千个哈姆雷特,前有[Keegan小刚](https://learnblockchain.cn/people/96)的五篇长篇巨制分析过Compound这一明星借贷产品,现在再从另一个角度来分析这一产品。  ## 要解决什...
# opStack 各个角色 op-node 负责和op-geth交易打包落块,交易状态推导,数据传输同步的客户端 batcher 将数据同步到L1的EOA账户 op-processer 提交区块状态到 L1 的 L2OutputOracle 合约 crossDomainMessagener 跨链信使合约,负责L1->L2,L2->L1的...