全部 通识 以太坊 比特币 Solana 公链 Solidity Web3应用 编程语言 安全 密码学 AI 存储 其他

正式验证指南

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

MEVBot 攻击事件分析

in  Security Incidents Analysis
通过对 MEVBot 攻击事件进一步分析来理解如何利用 calldata 进行攻击
安全事件分析  Calldata 
  • Lori
  • 发布于 2024-03-08
  • 阅读 ( 2373 )
  • ( 9 )

Restaking 重新质押

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

多项式路径

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

Layer2简单总结

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

Ethernaut 题解 - Switch

通过破解 Ethernaut - Denial 来了解CALLDATA，该合约非常简单，旨在学习。
Ethernaut 
  • Lori
  • 发布于 2024-03-08
  • 阅读 ( 2896 )
  • ( 10 )

深入分析 Euler Finance 漏洞

Euler Finance遭遇了约2亿美元的黑客攻击，原因是其EToken智能合约中的缺陷导致的流动性检查缺失。文章详细分析了攻击的步骤、所用合约和过程，并提供了攻击的概念验证。解读了如何在该协议中出现此类漏洞及其可能的解决方案。
Euler Finance  黑客攻击  智能合约  流动性检查  动态清算  代码审计 
  • Cyfrin
  • 发布于 2024-03-08
  • 阅读 ( 622 )

Sei V2：EVM 和 Wasm 互操作性

Sei V2 升级引入了高性能并行化 EVM，结合了 Solana 和 Ethereum 的优势，提高了用户体验，为开发者解锁了全新的设计空间。通过指针合约和预编译合约，实现了 EVM 和 CosmWasm 的互操作性，解决了流动性碎片化和钱包碎片化的问题，使得用户可以使用任何钱包与 Sei 上的任何代币交互。
Sei V2  EVM  CosmWasm  互操作性  指针合约  预编译合约 

Web3 极客日报 #1450

Web3 极客日报 #1450
  • rebase
  • 发布于 2024-03-07
  • 阅读 ( 1243 )
  • ( 4 )

Lighthouse 用户调查结果

本文总结了 Lighthouse 客户端用户调查的结果，调查内容包括用户使用时长、使用的其他客户端、用途、节点位置、硬件配置、更新频率、资源使用、支持反馈、操作系统、容器化、云服务提供商、CPU核心数、内存大小、验证器数量、备用节点、MEV-boost使用情况和中继选择等方面。调查结果为 Lighthouse 的未来发展方向提供了参考。
Lighthouse  以太坊  客户端  验证器  mev-boost  中继  共识客户端 

漫谈 Layer123

我们需要怎样的 Layer1 Layer2 Layer3
Layer3  Layer1  Layer2 
  • AAStar
  • 发布于 2024-03-07
  • 阅读 ( 2771 )
  • ( 15 )

绕过EOA账户检查

介绍以太坊账户，合约部署，如何绕过EOA账户检查，以及给开发者的安全建议。
isContract 
  • Lori
  • 发布于 2024-03-07
  • 阅读 ( 2304 )
  • ( 19 )

Starknet和zkSync 详细比较分析

本文从各维度详细对比 Starknet和zkSync， 如两者验证成本构成与差异、每个用户操作的差异与操作成本、分析 Rollup 的收益及 DA 成本，思考在 4844 升级后，可能给谁带来更多的收益。
Starknet  zkSync  EIP4844 
  • 张小风
  • 发布于 2024-03-07
  • 阅读 ( 3953 )
  • ( 40 )

任何事情都可以是永续

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

deny_list在coin中的应用

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

SharkTeam：Woo Finance被攻击事件分析

in  智能合约安全
2024年3月5日，WooFinance部署在Arbitrum上的合约遭受闪电贷攻击，损失约850万美元。此前，2月23日，WooFinance部署在Ethereum上的合约就曾被攻击，损失约3,891美元。
智能合约安全 
  • SharkTeam
  • 发布于 2024-03-07
  • 阅读 ( 2761 )
  • ( 4 )

如何在 Solana 上使用 JavaScript 发送交易

本文是一篇关于如何使用JavaScript在Solana区块链上发送交易的教程。文章详细介绍了如何设置项目、连接到Solana网络、生成地址和获取资金、以及发送交易的步骤。
Solana  JavaScript  区块链  交易  Devnet 

介绍 BuildBear VSCode 扩展：在 VSCode IDE 上增强智能合约开发体验

本文介绍了 BuildBear VSCode 扩展的功能与使用方法，包括私有沙箱的创建、私有水龙头的使用，以及如何通过 Hardhat 和 Foundry 部署和验证合约。该扩展为区块链开发者提供了一个高效的工具，帮助简化开发和测试流程。
BuildBear  VSCode Extension  EVM  区块链开发  合约部署  测试环境 

2024年引领市场的五个加密货币领域——第1部分：衍生品

本文详细探讨了加密货币衍生品市场的发展，尤其关注去中心化交换（DEX）和中心化交换（CEX）之间的竞争。通过分析不同的平台（如dYdX和GMX），文章指出了市场的挑战和机遇，强调流动性、低费用和多样化资产的必要性，从而展望2024年衍生品市场的发展趋势。
衍生品  去中心化交易所  中心化交易所  流动性  交易费  加密货币 

闪电网络上的流动性：从用户体验到经济学

本文讨论了闪电网络中的流动性问题，以及LSPs（Lightning Service Providers）面临的挑战与机遇。文章分析了链上交易成本对LSP业务模式的影响，以及LSP如何提高LTV/CAC比率以实现盈利。此外，文章还探讨了闪电网络在提高比特币交易吞吐量方面的作用，并将其比作比特币网络的公路系统，最后强调了接受和应对约束是闪电网络走向成熟的标志。
闪电网络  流动性  LSP  链上交易  吞吐量  LTV/CAC