文章 - 第273页 - 登链社区

CirculateBUSD 跑路事件分析

in Security Incidents Analysis

攻击过程分析2023年1月12日下午14:22:39，CirculateBUSD项目跑路，损失金额227万美金。

安全事件分析

Lori
发布于 2024-03-09
阅读 ( 2031 )
( 13 )

基于 Espresso：对所有 L2（包括Based Rollups 的 L2 和 validiums）进行的临时共享排序

Espresso Systems提出了一个针对Layer-2链的共享排序市场，通过该市场，Layer-2链可以向共享提议者出售区块空间，从而提高不同链之间的互操作性和用户体验。文中详细介绍了共享排序的原理、市场机制以及预确认功能，并探讨了基于以太坊的方案如何平衡快速确认与链间互操作性。

共享排序 Layer-2 提议者市场预确认 HotShot 基于rollup

kkVJEfd0THeMYhSD1no0Eg
发布于 2024-03-09
阅读 ( 265 )

评估无许可借贷领域

本文对Morpho、Ajna和Euler三个去中心化金融借贷协议进行了详细比较与分析，探讨了各自的起源、协议模型、特点及市场策略。借助于这些协议的最新发展，文章展示了去中心化金融中如何通过模块化设计、管理风险和提升安全性，推动整体进步，同时也提出了未来可能出现的创新方向。

Morpho Ajna Euler 去中心化金融借贷协议模块化设计

Aaron Xie
发布于 2024-03-09
阅读 ( 394 )

Sui Display 入门

介绍 SuiNetwork 的 Display 功能

Move

sycute
发布于 2024-03-09
阅读 ( 1516 )
( 4 )

OP Stack实现细节分析

分析了OP Stack的一些实现细节，如deposit等。文章写于2023.9.

Rollup Optimism OP Stack

maodaishan
发布于 2024-03-09
阅读 ( 3083 )
( 14 )

Optimism和OP Stack学习

对Optimism , OP Stack的技术做了简要描述。主要内容来自Optimism的官方文档（2023.9）

Rollup OP Stack Optimism

maodaishan
发布于 2024-03-09
阅读 ( 4448 )
( 29 )

RollUp - 区块链大规模使用的基石

模块化区块链（如RollUp）可以解决区块链三难问题，带来极高的扩展性，为大规模使用带来可能性。DePIN项目需要高性能，低成本的区块链服务，模块化区块链可以提供这种服务。DePIN项目的发展在模块化区块链的支持下拥有美好的前景。

Rollup DePIN

maodaishan
发布于 2024-03-09
阅读 ( 1882 )
( 8 )

Axie Infinity寻求第二个黄金时代

Axie Infinity是Web3游戏领域的象征性项目，首次引入了Play-to-Earn（P2E）模式，吸引了大量玩家。然而，因代币贬值、大规模黑客袭击及宏观经济因素等挑战，其用户和代币价格大幅下滑。尽管面临困境，Axie Infinity正尝试通过扩展游戏生态、赋予NFT拥有者商业权益及发展电子竞技等方式实现自我重生，能否重获成功值得关注。

Axie Infinity Play-to-Earn 区块链游戏经济模型网络安全电子竞技

Chaisomsri
发布于 2024-03-09
阅读 ( 541 )

Web3 极客日报 #1451

Web3 极客日报 1451

rebase
发布于 2024-03-08
阅读 ( 1326 )
( 5 )

使用Hardhat-Viem进行以太坊开发的终极指南

本文详细介绍了 Hardhat-Viem 2.0 的基本概念和应用，探讨了如何将 Hardhat 框架与 Viem 集成，以简化以太坊智能合约的开发、测试和部署。通过示例代码说明了如何创建项目、与区块链交互，并成功转账和部署合约，强调了该插件在提高开发效率和生产力方面的优势。

Hardhat Viem 智能合约以太坊区块链开发工具

BuildBear
发布于 2024-03-08
阅读 ( 405 )

Solana框架：在Farcaster上铸造cNFT

本文介绍了去中心化社交媒体平台Farcaster及其支持Solana的创新，尤其是如何通过框架技术创建交互应用和铸造压缩NFT (cNFT)。探索了Farcaster的用户拥有权、可互操作性，以及如何使用Helius Mint API进行框架创建和Solana地址验证。此外，提供了详细的代码示例和运行步骤，适合开发者入门。

去中心化社交媒体 Farcaster Solana cNFT Helius Mint API 框架技术

Helius
发布于 2024-03-08
阅读 ( 446 )

正式验证指南

本文详细介绍了形式验证的原理、工具及其在智能合约中的应用，强调了符号执行和形式验证提供的深入分析能力。文中列出了多种形式验证工具的特点及示例，包括Halmos、Ityfuzz和Kontrol等，并提供了一些代码实现示例，展示了如何利用这些工具确保智能合约的安全性和正确性。

形式验证符号执行智能合约工具安全性正确性

ZealynxSecurity
发布于 2024-03-08
阅读 ( 428 )

MEVBot 攻击事件分析

in Security Incidents Analysis

通过对 MEVBot 攻击事件进一步分析来理解如何利用 calldata 进行攻击

安全事件分析 Calldata

Lori
发布于 2024-03-08
阅读 ( 1979 )
( 9 )

Restaking 重新质押

本文档介绍了在 Solana 上进行 Restaking 的流程和关键概念。它涵盖了账户结构（如 Vaults、Receipt Token Mint）、指令（如 Deposit、Withdrawal Request）、以及代码验证方法。此外，还提到了未来功能的待定实现，例如奖励机制、Oracle 接口以及初始化前存款用户的验证器选择。

restaking Solana Vault Receipt Token CPI bytecode verification