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

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

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

为什么需要Monad?

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

remix部署合约报错解决

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

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

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

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

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

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

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

MEV技能

请问有从事MEV工作的大佬吗？我对这方面很感兴趣，想了解一下从事MEV工作的具体需求和职责都有哪些。这个领域需要具备哪些技能呢？主要的工作内容又是什么？请问有从事MEV工作的大佬吗？我对这方面很感兴趣，想了解一下从事MEV工作的具体需求和职责都有哪些。这个领域需要具备哪些技能呢？主要的工作内容又是
MEV 

Concrete v2.8：与TFHE-rs的互操作性及自动模块追踪

Concrete v2.8版本发布，主要更新包括： Concrete与TFHE-rs的互操作性，允许开发者在两者之间转换整数，利用各自的优势；自动模块追踪功能，简化了模块编译的流程；以及新增了多个教程，展示了FHE和Concrete在实际应用中的用例。此外，新版本还包括各种优化和错误修复，尤其是在Concrete GPU运行时，提高了FHE评估的速度。
全同态加密  FHE  Concrete  TFHE-rs  互操作性  模块编译 
  • ZamaFHE
  • 发布于 2024-10-09
  • 阅读 ( 279 )

Zama 产品发布 - 2024 年 10 月

Zama 发布了 TFHE-rs (v0.8)、Concrete (v2.8) 和 Concrete ML (v1.7) 的新版本。
同态加密  TFHE-rs  Concrete  Concrete ML  fhEVM  GPU加速 
  • ZamaFHE
  • 发布于 2024-10-09
  • 阅读 ( 228 )

如何拆除 Relay - 提高构建者与提议者之间的安全性

本文提出了一种新颖的协议架构，以取代以太坊中的MEV-Boost，旨在通过直接的密码学隐私通信来提高构建者与提议者之间的安全性。文章详细讨论了如何使用无交互的阈值加密技术来保护构建者隐私，并探讨了与现有机制的结合及其对以太坊去中心化和抗审查性的潜在影响。
mev-boost  阈值加密  以太坊  提议者  构建者  密码学 

NFT Market Plus——使用 ERC20Permit 和 EIP-712 构建高效的 NFT 市场

NFT市场虽然很火，但高昂的gas费用和繁琐的操作步骤一直让用户头疼。每次交易都得授权，gas费蹭蹭往上涨，体验不太好。为了解决这些问题，我写了一个NFT市场应用：“NFTMarketPlus”，使用了ERC20Permit和EIP-712来优化gas消耗，还让操作更简单
DeFi  NFT  permit  EIP712 
  • Yiming
  • 发布于 2024-10-09
  • 阅读 ( 1238 )
  • ( 44 )

零知识证明的先进形式化验证：两个ZK漏洞的深度剖析

in  CertiK 安全知识分享
我们曾经讨论了零知识证明的先进形式化验证：如何验证一条ZK指令。通过形式化验证每条zkWasm指令，我们能够完全验证整个zkWasm电路的技术安全性和正确性。在本文中，我们将关注发现漏洞的视角，分析在审计和验证过程中发现的具体漏洞，以及从中得到的经验和教训。如要了解有关零知识证明（ZKP）区块链的
  • CertiK
  • 发布于 2024-10-09
  • 阅读 ( 1357 )
  • ( 25 )

探索Liquity V2：去中心化借贷

这篇文章详细探讨了 Liquity V2 的去中心化借贷机制，介绍了多种新特性，包括用户设定利率、多抵押品系统以及流动性池的奖励分配等。文章涵盖了 Liquity V2 的架构、功能与安全性视角，对于想要了解去中心化借贷的用户来说，提供了深刻的见解和理论基础。
Liquity V2  去中心化借贷  用户设定利率  稳定池  抵押品  经济模型 

TFHE-rs v0.8：加密数组与增强的多GPU支持

TFHE-rs v0.8版本发布，引入了加密数组类型，并增强了多GPU计算能力，开发者可以更轻松地处理向量和张量，同时大幅缩短GPU上算术运算的计算时间，此外，新版本还引入了诸多新特性，包括后同态计算密文压缩、更多基于GPU的同态运算、以及CPU运算的改进等。
同态加密  TFHE-rs  GPU加速  多GPU  加密数组  NVLink 
  • ZamaFHE
  • 发布于 2024-10-09
  • 阅读 ( 233 )

如何成为Web3开发者路线图

本文为Web3开发入门指南，详细介绍了从零开始学习Web3开发的步骤，包括区块链基础概念、开发环境搭建、智能合约开发、dApp构建等内容，并提供了丰富的学习资源。
Web3  区块链  智能合约  EVM  SVM  DApp 

使用 Jest 和 Bankrun 加速 Solana 程序测试

本指南将带你了解如何使用Bankrun测试你的Solana程序
Bankrun  Solana  测试 

活跃投票者的链上行为指标是什么？

in  Optimism 中文力量
摘要在治理活动中，投票频率排名前25%的治理选民可以算得上是活跃的治理参与者。我们可以把几项链上行为作为筛选指标，投票频率、投票次数和Delegate数量都是比较重要的指标。其他指标还包括是否注册ENS、近60天的去中心化交易所（DEX）交易和NFT相关活动等。简介本研究聚焦
治理