文章 - 第391页 - 登链社区

Web3 极客日报 #1451

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

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

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

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

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

Solana框架：在Farcaster上铸造cNFT

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

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

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

正式验证指南

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

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

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

MEVBot 攻击事件分析

in Security Incidents Analysis

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

安全事件分析 Calldata

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

Restaking 重新质押

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

restaking Solana Vault Receipt Token CPI bytecode verification

composablefi
发布于 2024-03-08
阅读 ( 217 )

首个基于 AO 的预言机 0rbit 正式发布

作者：ArweaveB@ContributorofPermaDAO翻译：MarshalOrange@ContributorofPermaDAO审阅：Jomosis@ContributorofPermaDAO首个基于AO的预言机0rbit正式发布自从

PermaDAO
发布于 2024-03-08
阅读 ( 1421 )

多项式路径

本文探讨了多项式交互式oracle证明（PIOPs）的概念及其在隐私保护计算中的潜力，描述了如何通过多项式编码实现数据的隐私验证。文章解释了PIOPs的工作原理、关键特性以及与zkSNARKs等其他验证系统的比较，强调了其在加密协议中的重要性和应用前景。

多项式交互式oracle证明隐私保护计算零知识证明加密协议 KZG承诺 zkSNARKs

L2IV
发布于 2024-03-08
阅读 ( 409 )

Layer2简单总结

1.statechannelAlice和Bob创建一个多签钱包，共同存入一定的金额，每次交易，都保留最后的金额分配状态，两边都要签名。两个b人要结束交易了，就把最后的状态上链。优点：把多个交易合并为一笔交易缺点：双方要保存中间状态信息2.SideChain把资金锁在Layer1,同时

Layer2

runtoweb3.com
发布于 2024-03-08
阅读 ( 1609 )
( 5 )

Ethernaut 题解 - Switch

通过破解 Ethernaut - Denial 来了解CALLDATA，该合约非常简单，旨在学习。

Ethernaut

Lori
发布于 2024-03-08
阅读 ( 2586 )
( 10 )

深入分析 Euler Finance 漏洞

Euler Finance遭遇了约2亿美元的黑客攻击，原因是其EToken智能合约中的缺陷导致的流动性检查缺失。文章详细分析了攻击的步骤、所用合约和过程，并提供了攻击的概念验证。解读了如何在该协议中出现此类漏洞及其可能的解决方案。

Euler Finance 黑客攻击智能合约流动性检查动态清算代码审计

Cyfrin
发布于 2024-03-08
阅读 ( 445 )

Web3 极客日报 #1450

rebase
发布于 2024-03-07
阅读 ( 1127 )
( 4 )

漫谈 Layer123

我们需要怎样的 Layer1 Layer2 Layer3

Layer3 Layer1 Layer2

AAStar
发布于 2024-03-07
阅读 ( 2596 )
( 15 )

绕过EOA账户检查

介绍以太坊账户，合约部署，如何绕过EOA账户检查，以及给开发者的安全建议。

isContract

Lori
发布于 2024-03-07
阅读 ( 2120 )
( 19 )

Starknet和zkSync 详细比较分析

本文从各维度详细对比 Starknet和zkSync，如两者验证成本构成与差异、每个用户操作的差异与操作成本、分析 Rollup 的收益及 DA 成本，思考在 4844 升级后，可能给谁带来更多的收益。

Starknet zkSync EIP4844

张小风
发布于 2024-03-07
阅读 ( 3650 )
( 40 )

HTML开发工具和环境介绍，内附超详细的VS code安装教程！

工欲善其事必先利其器，一款好的开发工具可以让我们事半功倍。前面我们对HTML的相关概念和基本结构已经有了基本的了解，下面我们就来安装在前端开发中的需要使用的开发工具及环境。在众多HTML编辑器中，选择一个适合自己的工具至关重要。

云端源想
发布于 2024-03-07
阅读 ( 2053 )

任何事情都可以是永续

文章探讨了指数永续合约的设计空间，详细阐述了稳定币、保证金期货和常量产品自动做市商（AMM）的性质，提出了三项重要主张，通过构建不同参数的指数永续合约，实现有效的风险管理和资本效率。这些合约类型展示了去中心化金融中的基本原理，并揭示了一个由指数永续合约驱动的相互联系的设计空间。

稳定币保证金期货常量产品自动做市商去中心化金融资金支付机制指数永续合约

Paradigm
发布于 2024-03-07
阅读 ( 419 )

deny_list在coin中的应用

引言上篇文章介绍了deny_list,它是由系统事务创建的一个share_obj，用于进行对sui核心类型的地址访问控制。coin中有部分代码使用了deny_list，用来创建可以阻止某些地址在交易中使用相应的coin，也就是之前没有讲到的部分。

shaflow01
发布于 2024-03-07
阅读 ( 1537 )
( 6 )

我想到了个好方案，针对web2平台收取eth/token

但是这种解决方案有没有什么可以做的，怎么找到可以孵化项目的资本？主要是解决web2平台连接ETH/Token时的充值问题。在不改变当前用户充值dex操作习惯的前提下，在底层实现上进行新的设计，以实现以下优势。web2平台开发者更容易接入区块链。去中心化无需担心秘钥的安全性，安全性等于所在

adeceitz
发布于 2024-03-07
阅读 ( 1265 )
( 2 )

SharkTeam：Woo Finance被攻击事件分析

in 智能合约安全

2024年3月5日，WooFinance部署在Arbitrum上的合约遭受闪电贷攻击，损失约850万美元。此前，2月23日，WooFinance部署在Ethereum上的合约就曾被攻击，损失约3,891美元。

智能合约安全

SharkTeam
发布于 2024-03-07
阅读 ( 2556 )
( 4 )