**作者：Jorge A. Navas** **编辑：Uri Kirstein, Chandrakana Nandi, 和 David Mwihuri** 在我们之前的 [帖子](https://medium.com/certora/formal-verification-of-solana-smart-contracts-2e57b960f953) 中，我们描述了我们新的 Solana 合约验证工具。在本篇中，我们展示...
我是 Ayaz Mammadov，Zellic 的安全工程师。我经常遇到代码中的漏洞。有一天，我在空闲时间浏览项目时，发现了 Premia Finance 的一个有趣的问题——一个未捕获的错误，可能导致数百万美元的资金损失。 虽然现在已经解决，但这...
 *作者：Avneesh Agarwal @ thirdweb* 本指南将向您展示如何创建一个简单的 NFT Drop 智能合约，将其部署到Scroll Alpha Testnet，并在智能合约上铸造 NFT。 让我们...
## 前言 在 2023.3.1 号丹佛的 WalletCon 上，官宣由以太坊基金会开发人员设计实现的ERC-4337 的核心合约已经通过了 OpenZeppelin 的审计，通过各项测试，目前审计后的合约已经顺利部署在以太坊主网以及若干测试网，后续可在各...
**作者：罗奔奔，前Arbitrum技术大使，极客web3贡献者** 导语：本文是Arbitrum前技术大使 及 智能合约自动化审计公司Goplus Security前联合创始人罗奔奔 对Arbitrum One的技术解读。 在上一篇文章[《前Arbitrum技术大使解读Arbitrum的...
形式验证（FV）在智能合约领域从未实现其潜在的广泛应用，主要有三个普遍的误解： 1. 使用起来很困难 2. 仅适用于简单系统 3. 不能作为安全工具使用 我们展示了我们的规范语言，CVL，如何打破这些误解。 Certora 实...
自 Rollup 技术崛起以来，Layer2 叙事长期聚焦在“扩容”与“降费”上。然而，随着以太坊生态的迅速扩展，人们对 Layer2 的期待正悄然发生变化。在以太坊扩容的时代，Layer2 的叙事正在从“纯扩容”走向“应用化”。 不再满...
## 一些个人用户体验 **在2013年**，我去了一家位于[旧金山互联网档案馆旁边](https://archive.org/about/contact.php)的寿司餐厅，因为我听说它接受比特币付款，我想试试。到了付账的时候，我请求用BTC支付。我扫描了二维码，并点...
 ## 桥攻击：为什么黑客以它们为目标 想象一下，如果互联网由十几个无法相互通信的独立网络组成，会是怎样？ 这就是桥接出现之前的区块链生态系统的样子。跨链...
ERC-1363 使智能合约能够检测并响应代币的转账。 ## ERC-1363 解决了什么问题？ 假设用户向合约转账 ERC-20 代币。由于没有机制可以查看是谁进行了转账，智能合约无法为转账用户记账。 虽然事件可以跟踪此信息，但只能...
## 概述 [Aerodrome Swap API](https://marketplace.quicknode.com/add-on/aerodrome-swap-api?utm_source=internal&utm_campaign=guides&utm_content=what-is-aerodrome-swap-api) 旨在简化与传统去中心化交易所 (DEX) 和自动化做市商 (AMM) 相关的复杂性。 通过提供一个统一的...
_更新：Banff 于东部时间 10 月 18 日星期二中午 12 点成功激活在 Avalanche 主网上！_  **更新（10/18）：** 🎉🎉 Banff 于今早 12 点在 Avalanche 主网上成功激活！🎉🎉 ## 弹...
 ## LayerZero 的 OFT 标准在 Arbitrum Orbit 上的原生支持 **LayerZero Labs 和 Offchain Labs 共同设计了 Arbitrum Orbit 链桥的 OFT 兼容性** LayerZero Labs 和 Offchain Labs 共同设计了一个解决方案，以...
## Kohaku-Roadmap Kohaku 路线图 Kohaku 是一组为钱包提供安全和隐私的原语。Kohaku 的核心目标是： - 一个可以暴露强大的隐私/安全原语的 SDK - 一个面向高级用户的参考实现钱包，它建立在该 SDK 之上，以展示这些特性； - 与其...