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

EIP663: SWAPN、DUPN 和 EXCHANGE 指令

本文介绍了在以太坊虚拟机（EVM）中引入三条新的指令 `SWAPN`、`DUPN` 和 `EXCHANGE` 以提升栈操作的灵活性，这三条指令允许访问深达256个项的栈，简化了编译器的设计，并支持更复杂的函数调用。文章详细阐述了这些新指令的规范、执行规则、兼容性及安全性考虑。
EVM  堆栈  编译器  SWAPN  DUPN  EXCHANGE 
  • ethereum
  • 发布于 2025-03-26
  • 阅读 ( 627 )
  • ( 16 )

ERC-1155 - OpenZeppelin 文档

本文介绍了ERC-1155代币标准，它是一种新型代币标准，旨在从以前的标准中吸取精华，以创建与同质化无关且具有gas效率的代币合约。ERC-1155使用单个智能合约来同时表示多个代币，从而节省了gas，并简化了多代币项目的部署和操作。文章还提供了构造ERC-1155代币合约的示例，并讨论了如何向合约发送代币。
ERC-1155  代币标准  智能合约  多代币  gas效率  元数据 

Kinto：模块化DEX引导的安全黄金之路

本文分析了中心化交易所(CEX)和去中心化交易所(DEX)面临的困境，以及Kinto作为安全优先的Layer 2的解决方案。Kinto通过在链级别强制KYC、使用智能钱包，并采用模块化DEX策略，旨在平衡可访问性、安全性和开放性，为机构投资者和普通用户提供新的链上金融系统。
KYC  AML  Layer 2  智能合约  模块化DEX  链抽象 

关系数据库入门：从基础到规范化的实用指南

关系数据库入门：从基础到规范化的实用指南在信息爆炸的时代，数据库已经成为数据管理的核心工具。20世纪80年代以来，关系数据库凭借其简单直观的二维表结构和灵活的操作方式，逐渐成为主流选择。无论你是技术小白还是想深入学习数据库设计，这篇文章将带你从基础概念入手，一步步走进关系数据库的世界，解锁规范化设
数据库  mysql 

Kamino Lending 安全审计

Kamino Lending (KLend) is a lending protocol on Solana that emphasizes security through a partnership with Certora for rigorous code audits and formal verification。
Kamino Lending  Solana  安全性  代码审计  精准度损失  正式验证 
  • Certora
  • 发布于 2025-03-26
  • 阅读 ( 545 )
  • ( 14 )

EIP-7702：深入探讨智能EOA及其实施示例

EIP-7702引入了一种新交易类型，使外部账户(EOA)能够指定指向实施版本的地址，从而将EOA升级为智能合约钱包，提供社交恢复、交易批量处理和交易赞助等功能。这篇文章详细阐述了EIP-7702的实现原理、应用场景及其与ERC-4337的兼容性，并预示了将来对于账户抽象的可能性。
EIP-7702  智能合约钱包  社交恢复  交易赞助  ERC-4337  EOA 

AI 2027：Dwarkesh的播客，嘉宾：Daniel Kokotajlo和Scott Alexander

本文主要介绍Daniel Kokotajlo发起的“AI 2027”项目，旨在具体预测未来AI发展趋势，并详细分析了Daniel Kokotajlo和Scott Alexander在Dwarkesh Patel的播客中对AI 2027情景的讨论，Dwarkesh Patel 对AI 的发展提出了很多质疑， Daniel 和 Scott 都进行了解答，其中讨论了AI的加速发展、中美竞争以及对社会的影响等多个方面。
AI  人工智能  AGI  AI安全  对齐  AI风险 
  • thezvi
  • 发布于 2025-03-26
  • 阅读 ( 35 )

加密与区块链风险投资——2024年第二季度

该报告分析了2024年第二季度加密和区块链领域的风险投资情况。数据显示，尽管交易数量略有下降，但投资总额有所增加，Web3和Layer 1项目成为投资热点。早期阶段的交易占据主导地位，美国仍然是加密创业公司的主要聚集地，但监管压力可能导致更多公司迁往海外。
风险投资  加密货币  区块链  Web3  Layer 1  早期投资 
  • Galaxy
  • 发布于 2025-03-26
  • 阅读 ( 501 )
  • ( 9 )

WisdomTree Digital 白名单上下文审计

本文对WisdomTree Digital团队的白名单合规Oracle系统的全面审计，旨在识别潜在的漏洞和验证其遵循最佳实践的情况。审计过程中发现了20个问题，提出了许多改善建议，特别是在访问控制的粒度、代码可读性及审核合约的安全性方面。七个低严重性问题的提出使得系统在合规性和功能性上得到了增强。
白名单  审计  ERC-721  智能合约  安全性  访问控制 

以太坊进展 25/03

这篇文章总结了以太坊核心开发者会议（ACD）近期的进展，重点关注Pectra主网升级的准备工作和测试网问题，以及下一个硬分叉Fusaka的开发进展。Pectra升级在Holešky和Sepolia测试网上遇到配置问题，但已解决，并启动了新的测试网Hoodi。Fusaka的主要特性包括PeerDAS和EOF，但EOF的复杂性引发了一些争议。
Pectra  Fusaka  EIP  测试网  PeerDAS  EOF 

UMA 乐观预言机对知识产权纠纷并不足够

本文论述了 Story 项目目前依赖于 UMA 的乐观预言机来解决知识产权纠纷，但该结构存在显著的风险和缺陷，特别是在主权投票引入的不公正和操控可能性。文章提出了更有效的替代方案，例如多预言机模型、专家小组和社区仲裁，以建立一个透明和可靠的纠纷解决机制，确保在知识产权领域的公正性和霸权现象的最小化。
知识产权  UMA  乐观预言机  纠纷解决  去中心化  社区仲裁 
  • 4pillars
  • 发布于 2025-03-26
  • 阅读 ( 1124 )
  • ( 44 )

Solana笔记 11.案例：写一个SPL标准代币

跟我一起从0开始学习Solana合约开发，一起实操，一起做项目。这是一个系列文章，系统地记录了我的学习笔记。
Solana  SPL Token  SPL Token Program 

EOF：复杂性超过必要性

这篇博文深入探讨了以太坊对象格式（EOF）提案的复杂性和成本，认为其带来的好处主要是附加的，而不是必要的改进。文章详细分析了EOF的设计架构、优缺点以及其对以太坊协议复杂性的影响，强调可以通过更简单的改进方案替代大量新变化，并警示可能引入的共识错误。
以太坊  EOF  EVM  智能合约  协议复杂性  性能优化 

使用 Solana Web3.js 和 Anchor 读取账户数据

in  Solana 学习开发之旅
本文介绍了通过 Solana Web3.js 和 Anchor 从前端读取账户数据的三种方法：自家 Anchor 程序用 fetch、跨程序读取需 IDL、任意账户用 Web3.js 自定义反序列化，强调了序列化与 IDL 的作用，为 Solana dApp 开发提供指导。
Solana  Anchor 
  • 0xE
  • 发布于 2025-03-26
  • 阅读 ( 1193 )
  • ( 4 )

Solana 计数器教程：账户数据的读写

in  Solana 学习开发之旅
本文基于前述 Solana 账户初始化内容，扩展了如何通过 Anchor 框架实现账户数据的读写操作，通过新增 set() 函数展示数据写入流程，优化代码结构，并介绍了使用命令行和程序内方法读取账户数据的技术细节，最终实现了一个简单的计数器功能。
Solana  Anchor 
  • 0xE
  • 发布于 2025-03-26
  • 阅读 ( 1021 )
  • ( 4 )

Solana 与 Anchor 中的账户初始化

in  Solana 学习开发之旅
本文对比了以太坊和 Solana 的数据存储机制，介绍了 Solana 账户模型的统一设计及其与以太坊存储槽的差异，并通过将 Solidity 示例转换为 Anchor 代码，详细讲解了 Solana 中账户初始化的必要性、实现步骤及测试方法，强调了其显式初始化和防止重复初始化的特性。
Solana  Anchor 
  • 0xE
  • 发布于 2025-03-26
  • 阅读 ( 1094 )
  • ( 5 )

Solana 计算单元与交易费用概述

in  Solana 学习开发之旅
本文对比了以太坊和 Solana 的交易费用与计算模型，深入探讨了 Solana 计算单元（CU）的使用、优化策略及字节码执行逻辑，并通过示例验证了 CU 消耗与费用无关的特点，同时介绍了 eBPF 和 SBF 的技术背景。
Solana  Anchor 
  • 0xE
  • 发布于 2025-03-26
  • 阅读 ( 1377 )
  • ( 9 )

一文说透，如何在solana上铸造spl-token

in  Solana开发全攻略：从智能合约到生态应用
本文将详细的介绍如何一步步通过solana自带的脚手架工具生成SPL Token
SPL Token 
  • Louis
  • 发布于 2025-03-25
  • 阅读 ( 1436 )

Web3 极客日报 #1706

  • rebase
  • 发布于 2025-03-25
  • 阅读 ( 648 )
  • ( 6 )

模糊测试与不变性测试 - ImmuneBytes

本文介绍了模糊测试（Fuzz Testing）在智能合约中的应用，特别是在Solidity中。模糊测试通过生成随机输入来测试代码中可能被忽略的边界情况，结合不变性测试验证系统在各种情况下的预期行为。文章还探讨了有状态和无状态模糊测试、有界模型检查（BMC）以及端到端测试与模糊测试的结合，旨在提高智能合约的安全性。
模糊测试  智能合约  Solidity  不变性测试  有界模型检查  端到端测试