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

Solidity 初学者常见的 20 个错误

Solidity 初学者常见的 20 个错误
Solidity  最佳实践 

零知识证明区块链的先进形式化验证

in  CertiK 安全知识分享
本文将介绍零知识证明以及其在零知识证明中应用的逻辑。
  • CertiK
  • 发布于 2024-10-10
  • 阅读 ( 2905 )
  • ( 51 )

Starknet开发指南：如何使用Cairo实现和测试存储合约

in  Starknet
Starknet开发指南：如何使用Cairo实现和测试存储合约在这篇文章中，我们将带领读者逐步完成在Starknet上开发一个简单存储合约的过程。通过使用Cairo语言进行编写，您将学习如何在区块链上存储和读取数据，掌握Starknet合约的基本开发流程，并使用Scarb进行项目构建和测试。本教程
Cairo  Starknet  Contract  Web3  智能合约  STARK 

为什么选择 Sui？通过 DeepBook 案例理解

本文深入探讨了 Sui 区块链上的 Deepbook 协议，Deepbook 旨在通过提供统一的流动性层，优化 DeFi 应用的互操作性和效率。
DeepBook  Sui  流动性  CLOB  DEEP 代币  去中心化金融 

一文介绍cosmos各组成模块

什么是CosmosCosmosSDK是一个用于构建多资产公告权益证明（POS）的开源工具包区块链，例如CosmosHub，以及许可的权威证明POA区块链。使用CosmosSDK构建的区块链通常被称为特定于应用程序的区块链。CosmosSDK的目标是让开发人员能够轻松地从头开始创建自
Cosmos  模块 
  • Leo
  • 发布于 2024-10-10
  • 阅读 ( 3381 )
  • ( 38 )

Go语言数组、切片、Map的使用和实现原理

in  Go语言开发基础到通关
数组切片SliceSlice实现原理MapMap实现原理数组Go数组特征数组：是同一种数据类型的固定长度的序列。数组定义：vara[len]int，比如：vara[5]int，数组长度必须是常量，且是类型的组成部分。一旦定义，长度不能变。长度是数组类型的一部
Go语言 

Go语言概念、基本数据类型、常量变量和运算符

in  Go语言开发基础到通关
目录go快速入门go基本概念基本数据类型常量变量运算符go快速入门Go语言简介Go语言，通常称为Golang，是由Google设计的一种静态类型、编译型的编程语言。它旨在提高开发者的生产力，简化并加速软件开发流程。Go语言具有以下特点：简洁性：Go语言语法简单，易于学习，没有
Go语言  go 

Solidity 0.8.28 发布公告

此最新版本的编译器全面支持值类型的瞬态存储状态变量，改进了通过 IR 加速编译并显著降低内存使用，修复一些错误等！
Solidity 
  • Solidity
  • 发布于 2024-10-10
  • 阅读 ( 1706 )
  • ( 10 )

MEV 是好是坏？- CoW DAO

本文探讨了MEV（最大可提取价值）的利弊，MEV是指在以太坊交易中，通过操纵交易顺序获取利润的行为。文章分析了MEV在提高市场效率、快速纠正价格方面的积极作用，同时也指出了MEV导致的不公平现象，并介绍了CoW DAO提出的MEV保护方法，包括链下批量结算、公平排序服务、最大滑点明确规范以及使用RPC端点等。
MEV  最大可提取价值  以太坊  frontrunning  套利  清算 
  • CowSwap
  • 发布于 2024-10-10
  • 阅读 ( 835 )

WE-KZG：加密到KZG - ZKSECURITY

本文介绍了一种基于KZG承诺的见证加密（Witness Encryption, WE）方案。该方案允许对KZG承诺和评估声明进行加密，只有掌握有效KZG opening proof π的解密者才能解密，即只有知道承诺中多项式在某点的值时才能解密。此外，还介绍了一个基于该WE方案的高效简洁的茫然传输（Laconic Oblivious Transfer, LOT）协议。
见证加密  KZG承诺  茫然传输  配对  opening proof 

Web3 极客日报 #1603

  • rebase
  • 发布于 2024-10-09
  • 阅读 ( 1091 )
  • ( 8 )

全面解析模糊测试和不变量测试

本文探讨了模糊测试在智能合约安全中的重要性，包括无状态模糊测试和有状态模糊测试的基本概念及应用。通过验证不变量，开发者能有效识别潜在漏洞，从而提升智能合约的安全性。文章强调模糊测试并非替代手动审查的灵丹妙药，而是与其他安全措施相结合的必要步骤。
模糊测试  智能合约  不变量  安全性  状态测试  审计 
  • Cyfrin
  • 发布于 2024-10-09
  • 阅读 ( 1013 )

为什么需要Monad?

Monad 是兼容以太坊的高性能 L1。Monad 在去中心化和可扩展性之间的权衡中实质性地提高了TPS，预期实现每秒 10,000 笔交易的区块链吞吐量！
Monad  Web3  EVM兼容 
  • 小符
  • 发布于 2024-10-09
  • 阅读 ( 3414 )
  • ( 25 )

Rust 中的 HashMap 实战指南：理解与优化技巧

in  Rust
Rust中的HashMap实战指南：理解与优化技巧在Rust编程中，HashMap是一个强大的键值对数据结构，广泛应用于数据统计、信息存储等场景。在本文中，我们将通过三个实际的代码示例，详细讲解HashMap的基本用法以及如何在真实项目中充分利用它。此外，我们还将探讨Rust的
Rust  Rust语法基础  编程 

跨链查询（CCQ）

本文档描述了跨链查询（CCQ）的设计方案，旨在提供一种机制，让集成者可以请求信息并从守护者那里获得关于他们所连接链的证明。CCQ 允许链上和链下发起信息请求，支持 EVM 链和 Solana 链，通过 REST API 接收和执行请求，并提供 Typescript 库和 EVM 响应解析库来辅助集成。同时，文章还讨论了安全性和部署方面的考虑。
跨链查询  CCQ  Wormhole  守护者  EVM  Solana  P2P gossip 

Concrete ML v1.7：Transformer 模型微调与 DNA 祖源应用

Concrete ML v1.7 版本发布，引入了多项新功能，包括在加密数据上微调 LLM 模型和神经网络，利用 GPU 加速提升加密推理的性能（最高可达 1-2 倍），以及展示了一个通过加密 DNA 预测祖源的 Hugging Face space 示例。此外，该版本还支持 Python 3.11 和 PyTorch 2。
Concrete ML  同态加密  LLM  GPU加速  DNA祖源分析  加密推理 
  • ZamaFHE
  • 发布于 2024-10-09
  • 阅读 ( 911 )

remix部署合约报错解决

in  Web3
remix部署合约部分问题报错解决
Remix 

【Uniswap V2】| 回顾 Uniswap V2 之详解手续费

使用多种推导方式，一篇文章，讲清交易费、协议费。
Solidity  DeFi  Uniswap V2 
  • 0xE
  • 发布于 2024-10-09
  • 阅读 ( 3988 )
  • ( 42 )

Masamune：智能合约安全搜索工具

本文介绍了Masamune，一个为智能合约开发者和安全研究员设计的开源工具，旨在从审核报告和技术文档中搜索安全信息。Masamune有两个版本：V1使用简单的正则表达式，提供精准查询；V2则结合AI技术，提供更上下文相关的搜索结果，助力开发者提高代码安全性。文章还讨论了该工具的使用方法及其优势。
Masamune  智能合约  安全工具  AI  正则表达式  开源 
  • zellic
  • 发布于 2024-10-09
  • 阅读 ( 1125 )

Optimism 徽章持有者链上活动分析

in  Optimism 中文力量
Optimism 徽章持有者是 Optimism Collective 的重要组成部分，在 Optimism 治理中扮演重要角色。通过链上数据分析，我们大致还原了 Optimism 徽章持有者的画像：跨 DAO 治理参与、 在 Farcaster 等社交平台上更加活跃、参与 NFT创建，以及智能合约
链上数据