FX168财经网_全球视野外汇黄金加密货币NFT资讯网

DeFi 合约安全的新模式：关注协议不变性

3 月，Euler Finance 被黑客攻击，损失 2 亿美元。Euler Finance 是一个借贷市场，用户可以存入抵押品并以其为抵押进行借款。它有一些独特的功能，实际上他们是一个可与 Compound Finance 和 Aave 媲美的借贷市场。你可以阅读关于这个黑客的事后总结。它的主要内容是在一个特定的函数中缺少健康检查，允许用户打破借贷市场的基础不变性。基础不变性（Fundamental Invariants）大多数 DeFi 协议的核心都有一个不变性，即程序状态的一个属性，它被期望永远是真的。也可能有多个不变性，但一般来说，它们是围绕着一个核心思想建立的。这里是一些例子：如在借贷市场中：用户不能采取任何行动，使任何账户处于不安全或更不安全的抵押品仓位（「更不安全」意味着它已经低于最低安全阈值，因此不能进一步提取）。 AMM DEX 中：x * y == k，x + y == k，等等。流动性挖矿抵押中：用户应该只能提取他们存入的抵押代币数量。 Euler Finance 出错的地方不一定是他们增加了功能，没有写测试，或者没有遵循传统的最佳实践。他们对升级进行了审计，并有测试，但还是被漏掉了。核心问题是他们忘记了借贷市场的核心不变性（审计人员也是如此！）。注：我不是要挑刺 Euler，他们是一个有才华的团队，但这是一个最近的案例。问题的核心你可能在想「嗯，没错。这就是他们被黑的原因；他们忘了一个 require 语句」。是也不是。但为什么他们会忘记 require 语句呢？检查 - 生效 - 交互不够好推荐给 solidity 开发者使用的一个常见模式是 Checks-Effects-Interactions（检查 - 生效 - 交互）模式。它对于消除与重入有关的错误非常有用，而且通常会增加开发人员去执行输入验证的的数量。_但是_，它容易出现只见树木不见森林的问题。它教给开发人员的是：「首先我写我的 require 语句，然后我做生效，然后也许我做任何交互，然后我就安全了」。问题是，通常情况下，它变成了检查和效果的混合体 -- 不错吧？交互仍然是最后的，所以重入性不是一个问题。但它迫使用户关注更具体的功能和个别的状态转换，而不是全局的、更广泛的背景。这就是说：仅仅是检查 - 生效 - 交互模式就会使开发者忘记他们协议的核心不变性。对于开发者来说，它仍然是一个出色的模式，但总是应该确保（服务于）协议的不变性（说真的，你还是应该使用 CEI！）。正确做法：FREI-PI 模式以 dYdX 的 SoloMargin 合约（源码）中的这个片段为例，它是借贷市场和杠杆交易合约。这是一个很好的例子，我称之为功能检查 - 生效 - 交互 + 协议不变性（Function Requirements-Effects-Interactions + Protocol Invariants ）模式，或 FREI-PI 模式。因此，我相信这是早期借贷市场中唯一没有任何市场相关漏洞的借贷市场。Compound 和 Aave 没有直接出现问题，但他们的分叉代码有关于过问题。而 bZx 则被黑了多次。检查下面的代码，注意以下的抽象概念：检查输入参数（_verifyInputs）。动作（数据转换，状态操作）检查最终状态（_verifyFinalState）。仍然执行常用的 Checks-Effects-Interactions。值得注意的是，带有额外检查的检查 - 生效 - 交互并不等同于 FREI-PI-- 它们是相似的，但服务于根本不同的目标。因此，开发者应该认为它们是不同的：FREI-PI 作为一个更高的抽象，旨在实现协议安全，而 CEI 旨在实现功能安全。这个合约的结构真的很有趣 -- 用户可以在一连串的行动中执行他们想要的行动（存款、借款、交易、转让、清算等）。想存入 3 个不同的代币，提取第 4 个，并清算一个账户？这是一个单一的调用。这就是 FREI-PI 的力量：用户可以在协议内做任何他们想做的事情，只要核心借贷市场的不变性在调用结束时成立：一个用户不能采取任何行动，将任何账户置于不安全或更不安全的抵押品仓位。对于这个合约，这是在_verifyFinalState 中执行的，检查每个受影响账户的抵押情况，确保协议比交易开始时更好。该函数中包括一些额外的不变性，这些不变性是对核心不变性的补充，有助于实现关闭市场等附属功能，但真正保持协议安全的是核心检查。以实体为中心的 FREI-PI FREI-PI 的另一个问题是以实体为中心的概念。以一个借贷市场和假定的核心不变性为例：从技术上讲，这不是唯一的不变性，但它是针对用户实体的（它仍然是核心协议不变性，通常用户不变性是核心协议不变性）。借贷市场通常也会有 2 个额外的实体：预言机管理 / 治理每一个额外的不变性都会使协议更加难以保障，因此越少越好。这实际上就是 Dan Elitzer 在他那篇题为：为什么 DeFi 已坏以及如何修复它 #1 无预言机协议文章中所说的（提示：这篇文章实际上并没有说预言机是问题所在）。预言机对于预言机，以 1.3 亿美元的 Cream Finance 漏洞为例。预言机实体的核心不变性：事实证明，用 FREI-PI 在运行时验证预言机是很棘手的，但是可以做到，需要一些预先考虑。一般来说，Chainlink 是一个很好的选择，可以主要依靠，满足大部分的不变性。在极少数的操纵或意外情况下，有一些保障措施可能是有益的，这些保障措施可以减少灵活性，而有利于准确性（比如检查最后知道的值是否比当前值大百分数百）。同样，dYdX 的 SoloMargin 系统在他们的 DAI 预言机方面做得很好，这里是代码（如果你看不出来，我认为这是历史上写得最好的复杂智能合约系统）。关于预言机评估的更多内容，以及突出 Euler 团队的能力，他们写了一篇关于计算操纵 Uniswap V3 TWAP 预言机价格的好文章。管理 / 治理为管理实体创建不变性是最棘手。这主要是由于他们的大部分作用是去改变现有的其他不变性。也就是说，如果你能避免使用管理角色，你应该这样做。从根本上说，一个管理实体的核心不变性可能是：解读：管理员可以做一些应该结果不会破坏不变性的事情，除非他们为了保护用户的资金而大幅改变事情（例如：将资产转移到救援合约中是对不变性的移除）。管理员也应该被认为是一个用户，所以核心借贷市场的用户不变性也应该对他们成立（意味着他们不能对其他用户或协议进行攻击）。目前，一些管理员的行为不可能在运行时通过 FREI-PI 进行验证，但如果在其他地方有足够强大的不变性，希望大多数问题可以得到缓解。我说目前，因为人们可以想象使用 zk 证明系统可能会检查合约的整个状态（每个用户、每个预言机等）。作为一个管理员破坏不变性的例子，以发生在 2022 年 8 月的 borked the cETH market 的 Compound 治理行动为例。从根本上说，这次升级破坏了 Oracle 的不变性：Oracle 提供准确和 ( 相对 ) 实时的信息。由于功能的缺失，Oracle 可以提供不对的信息。一个运行时的 FREI-PI 验证，检查受影响的 Oracle 能否提供实时信息，可以防止升级的发生这样的情况。这可以纳入_setPriceOracle，检查所有资产是否收到实时信息。FREI-PI 对管理角色的好处是，管理角色对价格相对不敏感 ( 或者至少应该是这样 )，所以更多的 Gas 使用量不应该是个大问题。复杂是危险的因此，虽然最重要的不变性是协议的核心不变性，但也可以有一些以实体为中心的不变性，这些不变性必须为核心不变性所持有。但是，最简单（和最小）的不变性集可能是最安全的。简单就是好的一个光辉榜样是 Uniswap ... 为什么 Uniswap 从来没有被黑过（大概） AMMs 可以有任何 DeFi 原语中最简单的基本不变性：tokenBalanceX * tokenBalanceY == k（例如常量乘积模型）。Uniswap V2 中的每个函数都是围绕这个简单的不变性： Mint：添加到 k 中 Burn：从 k 中减去 Swap：转移 x 和 y，不动 k。 Skim：重新调整 tokenBalanceX * tokenBalanceY，使其等于 k，移除多余的部分。 Uniswap V2 的安全秘诀：核心是一个简单的不变性，所有功能都是为它服务的。唯一可以争论的其他实体是治理，它可以打开一个收费开关，这并不触及核心不变性，只是代币余额所有权的分配。他们的安全声明中的这种简单性是 Uniswap 从未被黑过的原因。简单其实并不是对 Uniswap 的智能合约的优秀开发者的轻视，相反需要出色的工程师来找到简单性。 Gas 问题我的 Twitter 上已经充满了优化论者关于这些检查是不必要的和低效的恐怖和痛苦的尖叫声。关于这个问题有两点：你知道还有什么是低效的吗？不得不通过 etherscan 向~~Laurence~~朝鲜黑客发送信息，使用 ETH 转账，并威胁说 FBI 会介入。你可能已经从存储中加载了所有需要的数据，所以在调用结束时，只是对这些热数据加一点点 require 检查。你想让你的协议贵那么一点忽略不计的费用，还是让它死于非命？如果成本过高，请重新考虑核心变量，并尝试简化。这对我来说意味着什么？作为一个开发者，要在开发过程中尽早地定义并表达出核心不变性。作为一个具体的建议：让自己写的第一个函数是_verifyAfter，在每次调用你的合约后验证你的不变性。把它放在你的合约中，并在那里进行部署。用更广泛的不变性测试来补充这个不变性（以及其他以实体为中心的不变性），这些测试在部署前就被检查过了（Foundry guide）。瞬时存储开启了一些有趣的优化和改进，Nascent 将对此进行实验 -- 我建议你考虑如何将瞬时存储作为一种工具，以实现更好的跨调用上下文更安全。在这篇文章中，没有花太多时间在 FREI-PI 模式的介绍输入验证，但这也是非常重要的。定义输入的边界是一项具有挑战性的任务，以避免溢出和类似情况。可以考虑查看并关注我们的工具的进展：pyrometer（目前处于测试阶段，请给我们一个星星）。它可以深入了解并帮助找到你可能没有进行输入验证的地方。结论在任何朗朗上口的缩写（FREI-PI）或模式名称之上，真正重要的一点是：在你的协议的核心不变性中找到简单性。并拼命工作以确保它永远不会被破坏（或在它被破坏之前就被捕获）。来源：金色财经

金色财经2023-07-05

PoseiSwap 治理通证POSE登录PancakeSwap,开盘涨幅超2100%

Accelerator 等共同举办了黑客松，以及普及 Layer3 概念的全球行活动。 PoseiSwap 是 Nautilus Chain 上的首个 DEX，同时 PoseiSwap 也得到了 Zebec 生态的高度支持（后者向其提供了投资），PoseiSwap 也将得到更多的资源倾斜，并发展成为 Nautilus Chain 上的龙头 DEX。从各个公链生态看，头部 DEX 的通证通常是价值基础最为坚实的，$POSE 也有望获得龙头效应加成。 2. 独特的治理模型，高度通缩 PoseiSwap 以 $POSE 通证作为治理通证，其不仅具备治理效用，持有 POSE 资产并参与 Farming 还能获得收益。PoseiSwap 本身构建了一个具备特点的治理模型，即质押 POSE 通证获得 sPOSE ，再将 sPOSE 质押将能够获得收益。 sPOSE 本身的收益权重与质押 POSE 的时间挂钩，质押 POSE 的时间越长，获得的 sPOSE 的收益权重、投票权重越高，sPOSE 将能够让持有者从 $POSE 池以及手续费共享池中长期获益，这也将是 $POSE 在早期设定的一个通缩机制，并有望持续的降低该资产的市场流通率。治理以及激励体系是长期、持续的，所以对于 $POSE 本身的通缩作用也将是持续的。 3.获顶级资本投资 PoseiSwap 曾以 1000 万美元的估值，获得了来自于 Zebec Labs 基金会的 150 万美元的融资后，又以 2500 万美元的估值，从 Gate Labs、Emurgo Ventures、Republic以及Cipholio Ventures 等行业顶级投资机构中，获得了新一轮的具体数额尚未披露的融资。备受资本的青睐，能够说明 PoseiSwap 本身长期的市场发展潜力。 4.PoseiSwap 有望成为 RWA 赛道的头部 DEX RWA 主要指将现实资产通证化，比如基于美债、股票、房地产、艺术品等链下资产的固定收益类项目以及基于公开市场发行或交易的公共信贷类项目，这是唯一能够将超过 800 万亿美元的传统金融市场引入到链上的方式。这意味 RWA 赛道具备无限的潜力，并引得诸多头部 Web3 生态纷纷入局。 PoseiSwap 本身通过 Nautilus Chain 构建了一个性能、功能拓展潜力极佳的订单簿 DEX，广泛的支持 RWA 资产的交易，其也是目前收个向该领域布局的 DEX。从合规上看，对于 RWA 的发行人和投资者来说，重要的是对 DeFi 协议进行尽职调查，并选择优先考虑担保贷款、提供严格的监管合规性并使用高质量开源代码构建的技术或服务。目前，绝大多数 DeFi 协议均不具备被审计的能力。PoseiSwap 集成了 OFAC 模块，并基本完成了早期的合规审查，而这也为其在未来上线一些 RWA 资产在审计、监管以及合规等做早期的准备。所以在 RWA 浪潮下， PoseiSwap 的价值正在凸显。目前 PoseiSwap 正处于生态发展的早期，也是布局 $POSE 资产的绝佳时机。来源：金色财经

金色财经2023-07-05

加密货币倡导者呼吁香港推出稳定币挑战泰达币和美元硬币的主导地位

律和监管挑战，与涉及非法资金的交易以及黑客攻击可能相关的国际争端。报告表示：“政府发行的HKDG所承担的风险显著低于私人机构发行的港币稳定币。” 今年6月，香港政府宣布成立一个任务组来监督Web3的发展。据报道，截至3月，已有80多家涉及数字资产或区块链的公司考虑在香港特区设立业务，此外还有大约800家金融科技公司已经在香港设立了业务。

埃尔文 1评论2023-07-05

深入探讨以太坊所面临的三大挑战

（DAO）遭受了价值6000万以太币的黑客攻击。在另一个例子中，2020年的隐私漏洞导致了以太坊的“意外硬分叉”，即一个故障使以太坊分裂为两个独立的区块链。总之，以太坊的成功及其成为一个成熟技术堆栈的雄心壮志，严重依赖于它在透明度和隐私之间如何处理微妙的平衡。如果不能解决这个关键问题，将会动摇以太坊的基础结构，并阻碍它向一个全球、开放和无需许可的体验发展。六、应对这些挑战的过渡方案适应这些重大的过渡将必然重塑以太坊用户和地址之间熟悉的关系，有可能创造一个更为复杂的格局。以L2扩容过渡为例。在这个新的世界中，用户将不再被限制在一个单一的地址上。相反，他们将拥有多个账户，分布在各种L2解决方案上，每个账户都有其独特的地址。这种变化远非表面上的变化，它给习惯于只使用一个地址的用户带来了新的复杂性和潜在的困惑。然而，这些挑战不仅限于用户的角度。这些过渡也要求开发者做出重大的调整。正如Buterin所指出的，现有的“一个用户≈一个地址”的心智模型正在逐渐消失，取而代之的是需要在不同的地址、L2和应用之间协调互动的需要。这种转变需要对我们与以太坊的交互方式进行深入而根本性的改变，这一开始可能看起来令人望而却步。困难在于在整个生态系统范围内协调这些努力，以确保过渡的顺利进行。例如，简单的支付行为现在需要的信息不仅仅是一个20字节的地址。它还需要收款人提供他们的L2解决方案以及地址，而发送者的钱包会通过一个桥接系统自动将资金路由到指定的L2。这只是以太坊生态系统中需要发生的许多变化中的一个例子。七. 展望未来以太坊是否能承受重压？尽管面临着这些重大挑战，以太坊并没有袖手旁观。为了应对可扩展性问题，开发者们正在转向Rollups（Layer 2解决方案），这些解决方案旨在在链下处理交易，然后将它们捆绑在一起，添加到主以太坊链上。这样做可以增加吞吐量并降低成本，同时保持主链的安全性保证。在钱包安全方面，正在努力将用户过渡到智能合约钱包。这些钱包提供了更安全的存储解决方案，利用了以太坊本身内在的安全机制。隐私问题正在通过各种创新技术来解决，比如零知识证明，它允许用户在不透露任何重要信息的情况下证明所有权。对于这些挑战，Vitalik提出的解决方案是建立在将验证逻辑和资产持有分离的体系结构基础上。通过keystore合约，验证逻辑可以放置在一个位置，与L2上不同地址相对应，从而大大降低了处理多个地址和相关安全风险的复杂性。来源：金色财经

金色财经2023-07-05

ERC-6551如何开启NFT新纪元？

任越大。NFT 价值的增加意味着它们对黑客的攻击将变得更具吸引力。为了确保稳定性并允许使用更高价值的资产，ERC-6551将需要严格的测试。 ❌用户体验 ERC-6551 在该领域诞生不久，因此几乎没有得到用户的反馈。虽然概念上并不难理解，但该功能在技术上是全新的。为了让用户理解和浏览代币绑定账户的技术方面，需要更多地关注流程和直观的界面。结束语：展望未来 NFT 的第一个迭代结束了，但其忠实支持者们一直在等待 NFT 的卷土重来。虽然在应用落地方面尚无明显进展，但 ERC-6551 标准是否正在引领数字资产自然而必要的进步？ ERC-6551 建立在 ERC-721 的基础上，并在功能、所有权和互操作性方面实现了有意义的增强。尽管仍处于试验阶段，但显而易见的是，ERC-6551 和代币绑定账户将在 NFT 的发展中发挥关键作用。数字资产格局正在接近一个新的地平线。借助 ERC-6551 催生一系列新功能，将打开更多创造力、创新和连接之门。注：ERC-6551 提案详情https://eips.ethereum.org/EIPS/eip-6551 原文链接：https://medium.com/pinata/a-new-era-erc-6551-and-token-bound-accounts-tbas-de4c7b79a79a 来源：金色财经

金色财经2023-07-04

香港科技大学副校长汪扬等发文：建议港府发行以外汇储备背书的港元稳定币

其关联，可能招致国际争议。技术风险，如黑客攻击和系统故障，绝不能轻视。此外，大规模兑换需求或会引发港元汇率的短期波动。然而，尽管这些风险存在，由政府发行的HKDG所承受的风险仍明显低于由私营机构发行的港元稳定币。政府的强大财政实力及丰富的外汇储备，都远超过私营机构，并且，作为主权实体，政府更具有信誉，发行稳定币的动机和目标也更透明。同时，政府背书的HKDG将有助于吸引香港民营及非国有企业参与稳定币市场，进一步丰富稳定币的应用场景，并将国有金融机构与非国有金融创新企业的合作以及稳定币支付系统等金融科技探索融入全球大国的稳定币趋势。综合考量以上风险，特区政府发行HKDG的利大于弊。因此，我们主张特区政府应发行以香港外汇储备为担保的港元稳定币，以促进金融科技创新，提升金融市场竞争力，优化外汇储备使用，并为去美元化迈出实质性的一步。唯有如此，香港才能在数字经济时代中保持竞争优势。来源：金色财经

金色财经2023-07-04

金色Web3.0日报 | 提议：香港发行以外汇储备背书的港元稳定币

work：10条区块链上57种资产受到黑客攻击影响，项目团队应尽快撤出流动性跨链互操作协议Poly Network发推称，其服务仍将继续中止，恳请网络安全专业人士提供专业帮助。此次被攻击导致10条区块链上的57种资产受到影响，包括以太坊、BNB Chain、Polygon、 Avalanche、Fantom、Optimism、 Arbitrum、 Gonosis 、 Heco、OKX等。 Poly Network表示，已经与CEX和执法机构展开沟通，寻求帮助，希望与攻击者合作，归还用户资产，避免潜在的法律后果。同时，为了尽量减少进一步的风险，Poly Network已联系大多数项目团队，敦促其从DEX中撤出流动性，并建议持有受影响资产的用户尽快撤回流动性、解锁其LP代币。 5.Lido Finance已执行提案161，当前是第13大stETH持有者 21 Shares母公司21.Co链上数据研析师Tom Wan在社交媒体透露数据显示，Lido Finance已执行提案161.将所有ETH（约2.03万枚）质押到金库并兑换成stETH。本文撰写时Lido Finance已成为第13大stETH持有者，总计持有约3.3万枚stETH，当前Lido Finance金库比例为：stETH占比20.7%（价值约合6300万美元），LDO占比75.7%（价值约合2.31亿美元）；账户余额为：w/LDO（价值约合 3.047亿美元），w/o LDO（价值约合7250万美元）。LidoDAO财务工作组Steakhouse在5月底提交了民意治理提案TMC-0，建议在Lido中质押全部金库ETH，并且指出约2万枚ETH的年收益率为4%至6%，收益接近每年200万美元，据悉昨日Lido社区已投票通过了这项建议在Lido中质押全部金库ETH的提案。免责声明：金色财经作为区块链资讯平台，所发布的文章内容仅供信息参考，不作为实际投资建议。请大家树立正确投资理念，务必提高风险意识。来源：金色财经

金色财经2023-07-03

晚间必读 | 香港应发行以外汇储备背书的港元稳定币

：ETHGlobal Waterloo黑客松5个值得关注的项目知名加密VC Spartan Labs表示，除了针对加密领域更好的用户体验需求的项目之外，还观察到许多新趋势的出现，最明显的是： 1、ERC-6551：代币绑定账户；2、人工智能驱动的项目；3、ERC-4337：账户抽象。Spartan Labs认为ETHGlobal Waterloo 11个决赛项目其中5个最值得关注。点击阅读 4.Web3广告的3个发展方向 Web3广告领域将由以下三种新兴模式定义：链上广告：NFT广告，NFT推荐链接，以及NFT作为广告空间的所有权；代币管理广告：管理平台上重点资产的代币（即主页内容，店面和NFT发行）；混合广告：利用链上协议或归因引擎连接链上链下数据的传统链下广告。点击阅读 5.2023 年上半年加密市场十大事件 2023 年已过半，加密货币领涨全球风险资产。但上涨的过程并非一帆风顺，期间币价跌宕起伏，牵动人心。过去半年行业有哪些突破性进展？我们又能从中吸取哪些经验，找到下一个风口？本期我们一起回顾 2023 年上半年加密市场十大事件，从中找到答案。点击阅读来源：金色财经

金色财经2023-07-03

观点：香港应发行以外汇储备背书的港元稳定币

其关联，可能招致国际争议。技术风险，如黑客攻击和系统故障，绝不能轻视。此外，大规模兑换需求或会引发港元汇率的短期波动。然而，尽管这些风险存在，由政府发行的HKDG所承受的风险仍明显低于由私营机构发行的港元稳定币。政府的强大财政实力及丰富的外汇储备，都远超过私营机构，并且，作为主权实体，政府更具有信誉，发行稳定币的动机和目标也更透明。同时，政府背书的HKDG将有助于吸引香港民营及非国有企业参与稳定币市场，进一步丰富稳定币的应用场景，并将国有金融机构与非国有金融创新企业的合作以及稳定币支付系统等金融科技探索融入全球大国的稳定币趋势。综合考虑以上风险，特区政府发行HKDG的利大于弊。因此，我们主张特区政府应发行以香港外汇储备为担保的港元稳定币，以促进金融科技创新，提升金融市场竞争力，优化外汇储备使用，并为去美元化迈出实质性的一步。唯有如此，香港才能在数字经济时代中保持竞争优势。来源：金色财经

金色财经2023-07-03

24小时NFT市场：热门项目价值暴跌

聊猿地板价也下跌，但仍具有足够的价值被黑客盗窃无聊猿的地板价在24小时内下跌了7%。然而，无聊猿（Bored Ape Yacht Club，BAYC）系列仍然是交易最活跃的，24小时内的销售量达到5,110 ETH。由于一些BAYC的NFT曾经以数百万的价格售出，数字收藏品引起了黑客的注意。在上周五，两只无聊的猿人被NFT黑客Fake_Phishing182232盗走。在被盗后不久，无聊的猿人 #2330 和 #8177 在Blur市场上被售出。黑客从这次盗窃中获得了总共70.44 ETH（近15.3万美元）的收益。来源：金色财经

金色财经2023-07-03

24小时热点