本文强调了形式化验证（FV）在Web3和DeFi安全中的重要性，指出传统测试方法不足以应对Web3的安全挑战。FV通过数学证明确保代码按预期运行，能预防高危漏洞，并已在多个知名DeFi项目中应用，同时建议将FV尽早集成到开发生命周期中，以提升代码质量和安全性。
Helius 推出了 Validator-as-a-Service (VaaS)，这是一个为交易所、钱包、应用程序和资产管理公司构建的白标验证器解决方案，旨在运营他们自己的 Solana 验证器。通过 Helius VaaS 运行安全、合规且可用于生产的验证器，积极参与保护 Solana 网络，无需管理和维护底层基础设施的技术负担。
本文介绍了如何使用 safe-utils 和 tenderly-utils 这两个 Foundry 模块来简化协议的治理流程，尤其是在涉及 Safe 多签账户的场景下。
本文档是 Solana 项目的变更日志，记录了从 2.3.0 版本(Unreleased)到 1.17.0 版本的显著变化，包括验证器、平台工具SDK、CLI的更新、废弃功能以及SDK的Breaking changes等。详细说明了每个版本的新增功能、配置变更和升级注意事项，旨在帮助贡献者、验证器运营者、RPC 运营者和 DApp 开发者了解 Solana 的演进。
本文分析了Lido V3的“自带验证器”设计方案，旨在提供可扩展、灵活和去中心化的流动性质押方法。通过引入可定制的金库，机构质押者、再质押者和节点运营商可以更好地控制其风险回报结构，确保资本的有效分配而不会损害协议的完整性。同时，优先保持stETH作为流动性质押代币 (LST)，而不是转变为纯粹的合成资产，保护赎回保证并维护DeFi生态系统内的信任。
Web3Eclipse开发环境搭建与资产跨链桥接实战指南Eclipse区块链凭借高性能和Solana虚拟机（SVM）兼容性，成为2025年Web3生态的耀眼新星。本文详细介绍如何搭建Eclipse开发环境，包括安装Rust、Solana、Anchor，创建账户，配置Sal
将 AI 与 DeFi 集成（AIFi ）将增强 DeFi 的现有使用方式。从比较定义开始，然后深入 DeFi 痛点、可验证性和各种用例, 探讨了蝴蝶效应：在复杂系统中，初始的小变化可以导致后来的重大、不可预测的结果。更好的定义会激发更好的系统
该文章深入探讨了Solana区块链上两种新兴的欺诈形式：基于域名的粉尘攻击和外科手术式地址投毒攻击。文章详细解释了这两种攻击方式的原理、识别方法，以及如何通过建立工具来检测和预防这些攻击。文章强调，通过简单的逻辑和可扩展的方法，可以在钱包层面有效减少这些攻击。
在以太坊智能合约开发里，低级别调用（Low-levelcalls）和高级别调用（High-levelcalls）是两种不同的合约交互方式，对新手小白来说这可能是一个陌生的概念。这篇文章我们来详细说一下他们的概念及应用。
本文介绍了如何使用QuickNode的Yellowstone gRPC接口，通过Go语言实时监控Solana链上DEX的流动性池交易。文章详细说明了如何设置Go环境、创建gRPC客户端，以及如何监控Raydium流动性池的交易活动和分析交易吞吐量，为DeFi应用和交易系统提供实时数据访问。
合约事件监听是区块链开发中常见的需求，主要应用在Dapp开发、钱包开发、交易监控、交易所开发等场景:https://learnblockchain.cn/shawn_shaw
该文章提议用RISC-V取代EVM作为智能合约的虚拟机语言，旨在提高以太坊执行层的效率和简化性。此举将优化ZK-EVM的性能，并可能带来超过100倍的效率提升。文章还讨论了多种实现方案，包括支持双虚拟机、将现有EVM合约转换为调用RISC-V编写的EVM解释器合约等。
本文介绍了如何使用 OpenZeppelin Defender 创建一个 Action Workflow，用于监控 Box 合约中对象的数量，并在添加对象时自动移除对象，保证合约中对象数量的平衡。文章详细介绍了Action的设置、Workflow的设置、Monitor的设置，以及如何在 Sepolia 测试网上进行实际操作。
本文深入探讨了椭圆曲线密码学（ECC）中基点G的重要性，解释了其在密钥交换中的作用。通过具体示例展示了如何选择合适的基点以避免循环，并介绍了order的概念及其对安全性的影响。文章还给出了判断bad base point的例子，并介绍了secp256k1曲线的基点。
Ingonyama 宣布第二轮研究资助计划，提供 10 万美元用于支持使用其高速密码学库 ICICLE 的研究。该计划旨在通过与现有研究基准进行比较，鼓励研究人员使用 ICICLE 重新实现算法并超越现有性能。文章还展示了两个使用 ICICLE 加速密码学协议的案例研究，分别在加速阈值加密和协作 zk-SNARK 方面取得了显著的性能提升。
本文是30天Solidity学习系列的第1天，主要介绍了Solidity是什么，以及为什么要学习Solidity。Solidity是一种用于在以太坊虚拟机（EVM）上编写智能合约的静态类型、高级编程语言。学习Solidity可以用于DeFi、NFT、DAO、游戏等领域的开发，并且Solidity开发者有很高的市场需求。
本文是Solidity入门教程的第二天内容，主要讲解如何搭建Solidity的开发环境，包括安装MetaMask钱包，使用Remix IDE，以及可选的Hardhat本地开发环境。并通过一个简单的Hello Web3合约示例，演示了合约的编写、编译和部署过程，以便读者快速上手Solidity智能合约开发。
本文介绍了如何使用Solidity编写一个简单的智能合约，该合约能够在以太坊区块链上存储和检索数据。文章通过一个SimpleStorage合约的例子，讲解了状态变量的声明、set和get函数的编写，以及如何在Remix IDE中部署和交互该合约。
SimpleStorage
set
get
本文介绍了Solidity中的变量（包括状态变量、局部变量和全局变量）、数据类型（如uint、bool、address、string等）以及函数的概念和常用修饰符（public、private、view、pure等）。并通过一个简单的MyProfile合约示例，演示了如何存储和更新名称，以及如何返回当前名称。文章还提供了一个小挑战，鼓励读者创建一个新的智能合约。
扫一扫 - 使用登链小程序
201 篇文章，660 学分
491 篇文章，657 学分
131 篇文章，517 学分
67 篇文章，479 学分
413 篇文章，474 学分
Certora
Helius
Recon
Anza
mixbytes
寻月隐君
Pavel Paramonov
pineanalytics
mengbuluo222
QuickNode
shawn_shaw
ethereum-magicians
rebase
OpenZeppelin
billatnapier
ingonyama
CoinsBench
