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

[转] Web3 Frontline 专访登链社区创始人Tiny熊

转载一篇 Web3Frontline对我的访谈，算是登链简单总结和思考。
Tiny熊 
  • Tiny熊
  • 发布于 2025-03-05
  • 阅读 ( 1548 )
  • ( 8 )

AI Agent框架指南 [2]：实现类似DeepSeek R1的推理模型

该文将会引导用户一步一步实现AI Agent中有趣的功能，Thinking。
  • BoxChen
  • 发布于 2025-03-05
  • 阅读 ( 758 )
  • ( 22 )

合约测试 - 如何定义不变性

本文深入探讨了不变性（invariants）在智能合约安全中的重要性，特别是如何在ERC4626金库中定义不变性。作者详细阐述了不变性定义的过程，并介绍了四种属性类型，帮助开发者理解如何构建安全的智能合约。文章结构清晰，包含丰富的示例和图示，适合有一定基础的开发者阅读。
不变性  智能合约  ERC4626  安全性测试  属性定义  正式验证 
  • Recon
  • 发布于 2025-03-05
  • 阅读 ( 852 )
  • ( 39 )

通过Ethers.js 库进行合约交互

前言本文通过Ethersjs库实现和智能合约的交互全流程流程；工具前端项目引入ethersjs库给浏览器安装一个钱包插件例如：MetaMaskopenzeppelin库编写合约合约部分合约//SPDX-License-Identifier:MITpragmasolid
  • 木西
  • 发布于 2025-03-05
  • 阅读 ( 558 )
  • ( 10 )

Bybit 14 亿美元盗窃案：黑客如何利用 Safe 基础设施实施攻击

这篇文章详细分析了Bybit交易所创下的14亿美元黑客事件，揭示了Safe基础设施被攻击的过程。文章通过提供攻击细节、技术分析以及安全建议，强调了多签名钱包在安全验证中的重要性，以及在面对精明的攻击者时保持高标准的操作安全（OpSec）的必要性。
黑客  多签名  安全分析  Bybit  Safe  操作安全 
  • cyfrin
  • 发布于 2025-03-05
  • 阅读 ( 291 )
  • ( 11 )

Solana 钱包简介

本文介绍了Solana钱包的概念和功能，重点阐述了如何安全存储私钥、发送和接收Solana及SPL代币、与Solana去中心化应用互动等多种功能，此外还列举了一些常见的Solana钱包以及相关链接以供深入了解。
Solana  钱包  加密货币  私钥  去中心化应用  DeFi 

Solana笔记 09.详解 IDL

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

稳定币项目构建 (二）

基础测试编写，加深对该项目的理解 对应代码库：https://github.com/langjiyunmie/Defi-stablecoin/

move泛型个人理解

in  sui_从task到实战

个人对泛型概念的一点理解
  • obj3ct
  • 发布于 2025-03-04
  • 阅读 ( 489 )
  • ( 9 )

多标量乘法的带符号桶索引

本文介绍了带符号桶索引的多标量乘法（MSM）技术，也称为NAF方法。该方法通过将桶索引视为带符号整数，减少了桶的数量和内存使用。文章详细解释了如何将标量切片映射到新的范围，并提供了伪代码算法。同时讨论了处理最高切片溢出的问题，并提出了一种改进的技巧来避免最终进位。
多标量乘法  MSM  NAF方法  带符号桶索引  标量  桶 

Optimism 中文周刊 #51

in  Optimism 中文周刊

😎✨关键信息，唾手可得；最新动态，尽在掌握；英明决策，水到渠成！

【zkMIPS系列】zkVM 中的离线内存检查

in  zkMIPS解读

在 zkVM 中，离线内存检查用于验证内存读/写的正确性，而无需每次读取时立即验证。它通过构建读集合 (RS) 和写集合 (WS)，在所有操作完成后一次性检查一致性。 为此，本文提出 Multiset Hashing 和 LogUp 两种方法。
  • ZKM
  • 发布于 2025-03-04
  • 阅读 ( 519 )
  • ( 6 )

如何成为区块链开发者-7：复杂数据类型

本文介绍了Solidity中的两种复杂数据类型：结构体（Struct）和映射（Mapping）。结构体用于创建自定义数据类型，类似于面向对象编程中的类，而映射则类似于字典，用于存储键值对。文章通过代码示例详细解释了它们的用法，并结合一个账户管理的智能合约，展示了如何在实际应用中同时使用结构体和映射，最后还简单介绍了storage, memory, calldata。
Solidity  结构体  映射  智能合约  数据类型  storage  memory  Calldata 

EVM详解之memory

文章旨在记录过去所学知识，若文章内容存在不当，欢迎指出。EVM详解之memory
EVM  Memeory 
  • KEN
  • 发布于 2025-03-04
  • 阅读 ( 577 )
  • ( 11 )

如何成为区块链开发者-8：继承

本文介绍了Solidity中的继承概念，包括如何使用is关键字实现合约继承。文章详细讲解了virtual和override关键字在函数重写中的作用，以及internal关键字在控制函数可见性方面的应用。最后，通过OpenZeppelin的Ownable合约示例，展示了继承在实际开发中的应用，例如权限控制。
Solidity  继承  智能合约  OpenZeppelin  virtual  override  internal 

十大智能合约审计公司与服务

本文介绍了十大智能合约审计公司及其服务，详细说明了智能合约审计的重要性，以及如何选择适合的审计服务。文章涵盖了不同公司提供的技术和专业知识，体现了在区块链项目中进行审计的必要性和益处。
智能合约审计  区块链安全  DeFi  审计公司  漏洞检测  技术评估 
  • cyfrin
  • 发布于 2025-03-04
  • 阅读 ( 903 )
  • ( 36 )

Vyper编程语言指南：特性、安全性与应用场景

本文详细介绍了Vyper编程语言，在智能合约开发中的安全性和简洁性，强调了其设计原则与核心特性。通过比较Vyper和Solidity，指出Vyper在安全优先和易审计性方面的优势，同时提供了安装Vyper的步骤和最佳实践，适合需要高安全性的区块链项目开发者。
Vyper  智能合约  安全性  EVM  区块链  DeFi 
  • cyfrin
  • 发布于 2025-03-04
  • 阅读 ( 730 )
  • ( 23 )

Go 并发编程实战：从互斥锁到 Goroutine 的优雅之道

in  Go 语言

Go并发编程实战：从互斥锁到Goroutine的优雅之道你是否曾在并发编程中被数据竞争困扰？或者为如何优雅地实现长时间运行的任务而挠头？Go语言以其简洁的并发模型闻名，goroutine和通道让复杂的并发变得直观易懂。在这篇文章中，我们将从基础的互斥锁开始，逐步深入到Go如何替代事件

Web3 极客日报 #1689

  • rebase
  • 发布于 2025-03-04
  • 阅读 ( 481 )
  • ( 8 )

揭示zkTLS的现实：基准测试与密码分析报告

本文介绍了一种开源的基准测试框架，用于比较现有开源zkTLS库的性能。研究表明，Primus提出的garble-then-prove系统在速度上领先于其他MPC-TLS解决方案，同时发现一些Proxy-TLS实现存在安全缺陷。此外，文章详细探讨了zkTLS的TLS协议概述、两种主要方法（MPC-TLS和Proxy-TLS）的实现细节及其性能测试。
zkTLS  MPC-TLS  Proxy-TLS  基准测试  安全漏洞  加密技术