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

圣杯 - 形式化验证提升 DeFi 协议的安全性

本文讨论了Certora如何对Euler V2 Vault的关键属性进行形式验证，从而提高DeFi协议的安全性。具体介绍了形式验证如何帮助发现开发者未发现的罕见漏洞，以及如何确保用户账户的健康性和协议的偿付能力。作者提供了详细的实例和实现细节，强调了良好的规范设计在形式验证中的重要性。
形式验证  DeFiSecurity  Euler V2  贷款协议  账户健康  偿付能力 
  • Certora
  • 发布于 2024-08-23
  • 阅读 ( 627 )

极其简化的多元哲学

本文探讨了加密空间中的治理问题，特别是区块链技术和去中心化自治组织（DAO）的内在治理需求。作者强调了数学研究和开源软件在这些系统持续生存中的关键作用，并讨论了协调与自由之间的复杂关系。
治理  DAO  区块链  加密技术  去中心化 

安全 - 解析器

本文深入探讨了Symbiotic协议中Resolvers的角色和功能。Resolvers负责处理slashing事件，具备否决权，维护系统安全和公平性。文章还介绍了不同类型的Resolvers，包括智能合约型、委员会型和集成现有框架型，并阐述了veto过程和未来的发展方向。
共享安全  Symbiotic  Resolvers  Slashing  否决权  风险管理 

【Solidity Yul Assembly】2.3 | Dangers of Memory Misuse

in  Solidity Yul Assembly 内联汇编
一些内存使用的注意事项。
Yul  Solidity合约  内联汇编  assembly 
  • 0xE
  • 发布于 2024-08-23
  • 阅读 ( 1618 )
  • ( 14 )

以太坊 - 如何创建一个Web3 Chrome扩展程序 - Quicknode

这篇文章介绍了如何创建一个Web3支持的Chrome扩展，允许用户在区块链上查看以太坊地址的余额。文章详细说明了所需的工具、步骤以及代码实现，包括Chrome扩展的背景知识和如何使用QuickNode访问以太坊网络。最后，文中强调了用户隐私和安全的必要性。
Web3  Chrome扩展  以太坊  QuickNode  JavaScript  区块链 

我们为何收购Code4rena

本文讨论了Zellic收购Code4rena的影响，强调这一举措将改善客户的安全审计体验。文章介绍了两种审计方法—咨询审计和竞争审计，强调结合这两种方法能为客户提供更全面、更有效的安全保障。
网络安全  审计  Web3  代码审计  竞争审计  咨询审计 
  • zellic
  • 发布于 2024-08-23
  • 阅读 ( 738 )

以太坊开发入门-深度解析ERC20标准

本文深入解析了ERC-20标准，这是以太坊区块链上用于创建和管理代币的核心标准。文章详细介绍了ERC-20标准的主要功能、关键函数及其实现方式，同时探讨了在代币开发中可能遇到的挑战和安全问题
ERC20  以太坊  智能合约 
  • EimJacky
  • 发布于 2024-08-23
  • 阅读 ( 4340 )
  • ( 83 )

零知识证明：基础知识简介

本文深入探讨了零知识证明的理论基础、数学原理和加密技术，旨在帮助读者理解这一复杂的概念及其在Solana等网络上的应用。文章结构清晰，模块化设计，适合各个知识层次的读者，尤其是对加密技术有一定了解的人士。
零知识证明  加密技术  Solana  数学原理  区块链  NP完全 
  • Helius
  • 发布于 2024-08-22
  • 阅读 ( 1566 )

Mechan-stein：一种新型以太坊区块构建框架

本文提出了一个名为"Mechan-stein"的以太坊区块构建框架，旨在通过结合多种机制，在鼓励构建者竞争、限制验证者复杂性和保护区块空间中立性之间取得平衡。该框架结合了Enshrined PBS & MEV-burn via PTC、Execution Auctions和FOCIL三种机制，通过双重拍卖设计，力求实现更完善的区块构建方案。
MEV  区块构建  验证者  审查抵抗  PBS  FOCIL 

Web3 极客日报 #1574

  • rebase
  • 发布于 2024-08-22
  • 阅读 ( 1102 )
  • ( 10 )

Dencun升级后150天

该文章分析了以太坊Dencun升级后150天内，Blob技术对以太坊和Rollup经济的影响。文章指出，Blob的引入显著降低了Rollup的运营成本，提高了Rollup的利润率，但也导致以太坊收入和ETH燃烧量下降。同时，Rollup上的交易活动增加，但交易失败率也有所上升，这可能与机器人活动有关；文章还分析了Blob的成本、使用率以及对验证者和ETH供应的影响。
EIP-4844  Dencun升级  Blob  Rollup  以太坊  Layer2 
  • Galaxy
  • 发布于 2024-08-22
  • 阅读 ( 513 )

深入理解以太坊改进提案（EIPs）

本文介绍了以太坊改进提案（EIPs），涵盖了其定义、目的及开发流程。文章详细阐述了EIP的类型和功能，特别强调了社区参与和透明度的重要性，提供了关于历史背景和实施过程的深入分析。
以太坊改进提案  EIP  标准化  社区参与  开发流程  以太坊 
  • Cyfrin
  • 发布于 2024-08-22
  • 阅读 ( 1044 )

Sui Move Bucket 稳定币协议合约初探

SuiMoveBucket稳定币协议合约初探Bucket协议SUI上的基于抵押资产的稳定币协议，通过抵押SUI等加密资产，用户可以借出对应的稳定币BUCK核心组件Bucket协议中有不少名字有趣的核心组件，它们有这样的关系图表Bucket可以理解为桶是一个容器，它管理着同类
Move  Bucket  稳定币 
  • justin
  • 发布于 2024-08-22
  • 阅读 ( 2160 )
  • ( 36 )

Mechan-stein（或 Franken-ism）- 权益证明/区块提议者

本文提出了一个以鼓励构建者竞争、限制验证者能力价值、并保持区块空间中立性为中心的高层次以太坊区块构建框架。文章探讨了三种提议的机制，以及它们如何与既定的目标相互作用，并探索结合这些设计成一个名为“Mechan-stein”的流程的潜在协同效应，旨在创建一个更平衡和稳健的区块生产系统。
MEV  区块构建  Proposer-Builder分离  审查抵抗  FOCIL  PTC 

从零开始：使用FunC编写TON智能合约之计数器篇

在区块链技术的广泛应用中，智能合约无疑是最具前景的领域之一。智能合约允许我们在去中心化的环境中执行可信的交易和协议。TON（TheOpenNetwork）作为新兴的区块链平台，以其高效、可扩展的特性吸引了众多开发者的关注。本文将带你入门TON智能合约的编写，通过实现一个简单的计数器合约，让你掌
TON  FunC 
  • King
  • 发布于 2024-08-22
  • 阅读 ( 2676 )
  • ( 68 )

GitHub - RareSkills/零知识谜题

该项目提供了一系列练习以帮助用户学习Circom语法，并创建与以太坊虚拟机（EVM）兼容的零知识程序。它包含了多种零知识难题和使用文档，能有效支持学习和测试各类算法和程序。项目提供结构清晰，步骤明确的安装和使用说明，适合加密技术与区块链技术的学习者使用。
零知识证明  circom  以太坊  区块链  编程练习  算法 
  • GitHub
  • 发布于 2024-08-22
  • 阅读 ( 667 )

“YOLO”不是一种有效的哈希构造

本文批判了几种常见的密码学误用，即所谓的“YOLO”构造，包括 YoloMultiHash、YoloMAC 和 YoloPBKDF。
密码学  哈希函数  消息认证码  密钥派生函数  YOLO构造  安全漏洞 

【Solidity Yul Assembly】2.2 | How Solidity Uses Memory

in  Solidity Yul Assembly 内联汇编
Solidity 是如何使用内存的？
Yul  Solidity合约  内联汇编  assembly 
  • 0xE
  • 发布于 2024-08-22
  • 阅读 ( 1836 )
  • ( 19 )

预售代币经济学：项目方指南

本文为项目方提供了一份全面的预售代币经济学指南，内容涵盖选择合适的启动板、区块链，以及理解基本的代币经济学原理。强调了预售阶段的有效管理对于加密货币项目的成功至关重要，包括如何通过代币分配、激励机制和社群互动来促进项目的长期发展。
预售  代币经济学  区块链  启动板  代币分配  代币激励 

从上层的视角看看 OP Chain 的架构和工作流程

in  Optimism 中文力量
按照先看整体，再究细节的思路，这篇文章将从上层的视角向大家介绍一条由OPStack创建的Layer2chain的架构。方便大家对OPChain的整体工作流程建立一个直观的印象，为后续深入源码打下基础。要理解OPChain的工作流程并不复杂，只需要弄明白几张图即可。这几张图合
#OP  超级链  以太坊