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

OpenZeppelin 多重签名账户

本文介绍了多重签名账户，这是一种需要多个授权签名者批准操作才能执行的智能合约账户。文章详细讲解了 ERC-7913 标准及其在 OpenZeppelin 中的实现，包括 SignerERC7913、MultiSignerERC7913 和 MultiSignerERC7913Weighted 合约，以及如何具有不同类型签名者和权重的多重签名账户。
多重签名  智能合约  ERC-7913  OpenZeppelin  签名验证  阈值签名  权重签名 

理解智能合约：区块链应用背后的智慧

本文介绍了智能合约的概念，它是一种在区块链上运行的自动执行程序。文章对比了普通账户和智能合约账户的区别，解释了在以太坊和Solana等区块链上使用gas或lamports的原因，并说明了为什么比特币不使用智能合约而Solana使用。此外，文章还讨论了智能合约与Web2应用部署的区别，以及智能合约存储数据的机制，并列举了主要的智能合约平台。
智能合约  区块链  Solana  以太坊  Lamports  Gas  账户 

智能合约【简介】

智能合约是一种旨在以信息化方式传播、验证或执行合同的计算机协议。区块链是实现智能合约的一种重要方式，为其提供了去中心化的可信执行环境。但智能合约并非只有区块链这一种实现方式。本文将围绕区块链上的智能合约进行阐述。
智能合约 

钱包业务层 - 1. 实现业务接口及对接签名、链上 rpc

in  交易所钱包开发业务拆解

在前面两篇帖子中，我们实现了signature-machine离线签名机项目和chains-union-rpc多链统一rpc服务。在这一篇帖子中，我们正式来开始实现一个钱包的业务层。
钱包  交易所开发  离线签名  RPC  go 

Web3 新体验：Blink 一键解锁 Monad 未来

in  Web3

Web3新体验：Blink一键解锁Monad未来Web3时代，区块链交互正在变得前所未有的简单！Blink作为一种“一键式”操作神器，让用户无需复杂步骤，就能轻松体验转账、捐赠等链上操作。结合高性能区块链Monad，这款技术组合正开启Web3的无限可能。本文将带你从零开始，通过
Web3  Monad  Blink 

深入浅出 Rust：函数、控制流与所有权核心特性解析

in  Rust

深入浅出Rust：函数、控制流与所有权核心特性解析Rust作为一门现代系统编程语言，以其内存安全、高性能和并发能力而备受推崇。本文深入探讨Rust的核心概念，包括函数的定义与使用、控制流的灵活运用，以及所有权机制的独特设计。通过代码示例和详细解析，带你快速掌握Rust的精髓，无论是初学
Rust 

钱包业务层 - 2. 实现交易所扫链区块同步器

in  交易所钱包开发业务拆解

扫链同步器是一个钱包业务的核心。无论是充值、提现、归集、还是热转冷、冷转热和回滚业务，都是需要和链上交易数据进行交互。而我们如何获取链上的交易数据呢，扫链同步器就是获取链上交易数据到本地环境上的一个核心组件。可以说，扫链同步器是一个交易所业务系统的核心驱动引擎。
扫链  同步器  钱包  交易所开发  go  以太坊 

EIP-1271 详解

EIP-1271（又名ERC-1271）是以太坊的一项改进，使智能合约能够验证签名，允许它们像传统的EOA钱包一样签署交易。EIP-1271 为智能合约解锁了大量功能，包括基于意图的交易、高级订单类型以及需要钱包签名的各种区块链交互，还介绍了EIP-1271 的原理和使用场景。
EIP-1271  ERC-1271  智能合约  签名验证  以太坊  CoW 协议 
  • CowSwap
  • 发布于 3天前
  • 阅读 ( 207 )
  • ( 19 )

钱包业务层 - 3. 实现交易所交易发现器、充值业务

in  交易所钱包开发业务拆解

在之前的开发步骤中，我们实现了交易的同步器，负责将区块链上的区块扫描下来，并解析交易筛选出与我们交易所内所有项目方有关的地址，放到一个同步管道中。（属于生产者的角色）在这步的开发中，我们将实现一个消费者角色，也就是交易的发现器。
钱包  交易所开发  充值  交易发现器  go  钱包业务 

Alloy 赋能 Web3：Rust 区块链实战

in  Web3

Alloy赋能Web3：Rust区块链实战想用Rust玩转Web3？Alloy高性能工具包为你助力！凭借60%更快的U256操作和10倍ABI编码速度，Alloy让以太坊开发更高效、直观。结合Rust的安全与性能，本文带你实战区块链开发，从搭建项目到实现ETH
Web3  Rust  Ethereum  Alloy 

web2转行web3需要知道的那些事

web2转行web3需要的前置知识。
Web3 

保护Uniswap v4：形式化验证和恶意Hook保护

本文介绍了Certora如何利用形式化验证来保护Uniswap v4免受恶意hook的攻击。通过Certora Prover工具，可以精确定义和证明正确性规则，从而确保智能合约的强大安全性。文章还展示了如何使用CVL编写规则，并利用Certora Prover进行验证，以检测通用hook的不当行为，从而保证资金处理的正确性。
形式化验证  Certora Prover  uniswap v4  智能合约  CVL  恶意hook 
  • Certora
  • 发布于 5天前
  • 阅读 ( 176 )
  • ( 16 )

SP1 Helios 代码审计报告

这是一份OpenZeppelin对SP1 Helios的代码审计报告，该报告详细分析了SP1 Helios代码中存在的安全问题、代码质量问题以及潜在的改进建议。报告发现了一个客户端报告的问题，可能导致无效的最终性更新，并提出了修复建议。此外，报告还指出了代码中存在的低危漏洞、拼写错误、文档缺失、冗余操作等问题。
SP1 Helios  ZK light client  代码审计  以太坊  storage slot proofs  finality updates  OpenZeppelin 

安全 - Across 审计

本次审核了across-protocol/contracts代码仓库，主要关注L3支持、ZkStack支持、可预测的中继哈希、支持最新版本的ERC-7683以及World Chain支持。发现了多个安全问题，包括缺少访问控制、错误的函数调用、不正确的ETH传输处理，以及潜在的重放攻击等。建议改进代码，增加测试，并确保代码符合最新的ERC-7683标准。
跨链桥  智能合约  安全审计  以太坊  ERC-7683  ZkStack 

钱包业务层 - 4. 实现交易所提现业务

in  交易所钱包开发业务拆解

在交易所的业务中，有充值业务，那自然也会有提现业务。在上一讲中，我们在交易的发现器中处理了充值业务，而在这一讲中，我们将会来处理提现业务。
交易所开发  钱包业务  提现  go  以太坊 

OKX研究院 | 账户抽象10年演进终局之战，透过EIP-7702看过去与未来

为什么EIP-7702能被称为账户抽象“终极形态”？它到底解决了啥问题？Pectra 升级后对钱包、开发者和普通用户意味着什么？
eth  Vitalik  账号抽象 

CertiK荣获以太坊基金会两项资助，领跑zkEVM形式化验证

近日，以太坊基金会公布了2025年第一季度研究资助名单，CertiK荣获两项研究资助。
形式化验证  以太坊  Web3 
  • CertiK
  • 发布于 2天前
  • 阅读 ( 168 )
  • ( 9 )

密码学 - 奇妙的FN-DSA

本文介绍了FN-DSA（FIPS 206）这一新的数字签名标准，它使用快速傅里叶变换（FFT）优化了晶格结构中的变换过程，从而在后量子密码学（PQC）中实现了比ML-DSA更小、更高效的签名。文章提供了JavaScript代码示例和性能对比，展示了FN-DSA在密钥大小和签名大小方面的优势，并建议在区块链等应用中考虑使用。
FN-DSA  FIPS 206  后量子密码学  数字签名  FFT  晶格 

多元宇宙金融

本文介绍了 Multiverse Finance，它将金融系统分割成多个平行宇宙，允许用户在特定条件下进行交易，例如，只有当用户支持的候选人在下次选举中失败时，才能做空市场。Multiverse Finance 利用条件代币的概念，在 Aave 协议上实现，允许相同结果的条件代币相互借贷，从而构建一个具有无限组合性的金融生态系统，并产生关于世界的有用信息。
预测市场  平行宇宙  条件代币  预言机  verse  Multiverse Finance 
  • Paradigm
  • 发布于 5天前
  • 阅读 ( 164 )
  • ( 10 )

从零开始：用 Rust 和 Axum 打造高效 Web 服务

in  Rust

从零开始：用Rust和Axum打造高效Web服务Rust以其卓越的性能和内存安全性席卷编程世界，成为现代Web开发的热门选择。Axum作为Rust生态中的轻量级Web框架，结合Tokio异步运行时的强大能力，让开发者能轻松构建高效、可靠的Web服务。无论你是R
Rust  axum