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

Certora技术白皮书

Certora提供了一种解决智能合约安全问题的工具套件，通过其自动化验证技术，帮助开发者检测合约中的漏洞，并确保其安全性。文章详细介绍了Certora Prover的工作原理、与传统审计和测试方法的比较，以及其在多个实际案例中检测到的严重漏洞，展现了其在智能合约安全领域的重要价值。
智能合约  安全性  证实技术  漏洞检测  验证工具  CVL 

Gear 月度更新｜9 月

大家好！本月更新来啦！截至8月份，Gear月度更新分享已经一周年了，我们也稍稍调整了文章格式，一起来看看9月份的重要内容吧！

Solidity 非权威开发指南（4）： OpenGSN

OpenZepplin 虽然提供了支持元交易的工具类（metatx 目录下），但并未对元交易场景提供完整的支持，甚至在其 MinimalForwarder.sol 的源代码的注释中都建议采用别的框架。这个框架就是本文主题：OpenGSN。
OpenGSN  指南  Solidity 
  • 胡键
  • 发布于 2022-12-12
  • 阅读 ( 3592 )

MEV的新篇章：超越以太坊的边界

这篇文章讨论了最大可提取价值（MEV）在以太坊及其边界之外的新发展，特别关注Flashbots的SUAVE计划，旨在建立一个去中心化的网络，减少MEV问题并改善交易排序。文中分析了MEV对以太坊生态系统的影响，以及CoW Protocol等其他项目的对抗策略，提供了丰富的技术背景和解决方案。
MEV  Flashbots  SUAVE  CoW Protocol  去中心化网络  以太坊 

EVM字节码和逆向基础

EVM字节码和逆向基础
EVM  逆向  EVM字节码 
  • learnerL
  • 发布于 2022-12-10
  • 阅读 ( 4617 )
  • ( 9 )

DFX-Finance-attack

DFX-Finance-attack
安全事件分析  DeFi 
  • learnerL
  • 发布于 2022-12-10
  • 阅读 ( 2437 )
  • ( 2 )

默克尔准备金证明

默克尔准备金证明,读者可以使用浏览器翻译，本人写的，我就不机翻了。
准备金 
  • learnerL
  • 发布于 2022-12-10
  • 阅读 ( 2456 )
  • ( 3 )

如何正确地、合理地看待 PoW 能耗高的问题？

如何正确地、合理地看待 PoW 能耗高的问题？
PoW 
  • CKBFans
  • 发布于 2022-12-10
  • 阅读 ( 1243 )

Leetcode 问题和题目 - 最佳 50 个

本文讨论了在编程面试中掌握数据结构和算法的重要性，特别是在使用 Leetcode、HackerRank 等平台时，如何选择合适的入门题目。文章提供了针对数组、字符串和哈希表等基本数据结构的选题建议，强调应先熟悉基础逻辑和解决问题的能力，然后再逐步过渡到复杂算法。此外，文章还包含了一些实践问题的链接，以帮助开发者在编程面试中取得优势。
数据结构  算法  Leetcode  编程面试  问题解决  编程基础 

Cancun（坎昆）网络升级 Meta EIP

本文是关于以太坊坎昆升级的元线程，用于讨论升级的主要优先级、大致时间以及纳入或排除各种EIP的权衡。最终确定 Cancun 升级的范围，其中包括EIP-1153、EIP-4788、EIP-4844、EIP-5656和EIP-6780。
坎昆升级  EIP  以太坊  网络升级  信标链  分片 

最大可提取价值 (MEV) 的运作方式？

本文介绍了以太坊网络中的最大可提取价值（MEV）的概念、其工作原理以及一些常见的MEV攻击方式，如抢跑交易、三明治攻击和交易所套利。同时，文章还探讨了针对MEV问题的解决方案，包括MEV-Geth、MEV Boost和提议者-构建者分离（PBS）。
最大可提取价值  MEV  抢跑交易  三明治攻击  MEV-Geth  MEV Boost  提议者-构建者分离 

Solidity RSA签名在空投和预售中的应用：在Gas效率上击败ECDSA和Merkle树

本文讨论了在以太坊智能合约中使用 RSA 算法替代 ECDSA 来实现地址白名单的方法，并详细介绍了 RSA 的工作原理、实现细节及其在区块链应用中的优势。
RSA  ECDSA  智能合约  以太坊  gas优化 

坎昆网络升级 Meta 讨论帖 - 魔法师 / 流程改进

本文是关于以太坊坎昆升级的讨论，确定了 Cancun 升级中包含的 EIP，包括 EIP-1153、EIP-4788、EIP-4844、EIP-5656 和 EIP-6780。同时，文章提出了未来升级的主要优先级、大致时间以及在多次升级中拆分功能的影响。
坎昆升级  EIP  EVM  selfdestruct  分片 

基础设施 NFTScan 正式发布 Cronos 网络 NFT 浏览器

2022年12月8号，NFTScan团队正式对外发布cronos.nftscan.com浏览器，为Cronos生态的NFT开发者和用户提供高效的NFT数据搜索查询服务。

Oasis如何在TEE的弱点面前保护隐私

本文探讨了Oasis Network如何通过受信执行环境(TEE)保护隐私，尽管面临一些安全漏洞，如Æpic攻击。Oasis Network旨在确保数据完整性和安全性，即使在TEE的脆弱情况下，也能避免数据泄露问题。通过独特的安全设计和持续的技术创新，Oasis提供了一个高效且灵活的隐私保护解决方案，吸引了开发者的关注和参与。
Oasis Network  TEE  隐私保护  区块链  智能合约  数据安全 

了解什么是SBT-Auth，并学习如何创建你自己的系统

本文介绍了Soul Bound Token（SBT）的概念及其在身份验证中的应用，重点讨论了如何构建一个基于SBT的身份认证系统。文章详细介绍了项目的动机、应用场景以及代码的实现步骤。最终，作者提供了关于如何在BuildBear平台上创建和部署智能合约的详细指南。
Soul Bound Token  SBT  智能合约  身份验证  区块链  BuildBear 

更新我的博客：一个快速的GPT聊天机器人编码实验

作者分享了使用GPT-3聊天机器人进行编码实验的经历，特别是如何通过GPT-3生成代码来自动更新ENS记录中的IPFS哈希。尽管GPT-3在某些方面表现不错，但在处理特定编码任务时仍存在许多错误，最终作者通过手动修正实现了目标。
GPT-3  ENS  IPFS  JavaScript  以太坊 

代币太多了吗？

本文分析了加密货币领域 ICO 模式的弊端，指出其通过发行新代币并强制用户使用该代币购买服务的方式，增加了用户体验的摩擦和成本。文章提出了改进代币模式的三个关键方向：分阶段进行融资、将支付与投资分离、以及认识到代币是价值转移的手段而非价值的来源，从而推动区块链行业的可持续发展。
ICO  代币  区块链  融资  价值转移  加密货币 

什么是通证标准?

在这篇文章中，我们将探讨为什么标准对于提高加密通证的采用、使用和价值很重要。我们还将探讨以太坊标准是如何开发的，还将简要讨论 Solana 标准。
Token 
  • Chainlink
  • 发布于 2022-12-08
  • 阅读 ( 3393 )
  • ( 2 )

如何部署和使用可升级的智能合约

在这篇博客中，我们将学习开发可升级智能合约背后的基本设计原则。最后，你会更清楚为什么要升级智能合约，如何升级智能合约，以及升级时需要考虑的问题。本文章主要关注以太坊和基于EVM的智能合约。
合约升级 
  • Chainlink
  • 发布于 2022-12-08
  • 阅读 ( 4182 )
  • ( 6 )