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

Solidity编程语言完整指南

Solidity是一种高阶编程语言，用于在以太坊和许多EVM兼容区块链上编写智能合约。本文深入探讨了Solidity的背景、工作原理以及其关键特性、应用和开发工具，旨在帮助开发者掌握Solidity编程技能，并指出学习资源以支持他们的学习。
Solidity  智能合约  以太坊  EVM  去中心化应用  区块链 
  • Cyfrin
  • 发布于 2024-08-23
  • 阅读 ( 4315 )

OP Labs｜游戏开始了：为 OP Stack 的故障证明系统设计模块化争议游戏

in  Optimism 中文力量
译者的话这篇文章详细介绍了OPStack中的争议游戏和故障证明系统，这些技术对于加强区块链的安全和可靠性至关重要。通过争议游戏，我们不仅可以更深入地理解区块链技术如何通过各种算法和协议保护数据的完整性，还能看到开发者如何在这一领域实验新的解决方案。我希望这篇翻译不仅能帮助读者理解OPS
#OP  OP Stack  故障证明 

java用headlong构建请求体

java用headlong构建请求体
Java  Solidity 

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

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

极其简化的多元哲学

本文探讨了加密空间中的治理问题，特别是区块链技术和去中心化自治组织（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
  • 阅读 ( 2655 )
  • ( 14 )

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

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

我们为何收购Code4rena

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

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

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

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

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

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

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

Web3 极客日报 #1574

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

Dencun升级后150天

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

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

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

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

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

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

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

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

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

GitHub - RareSkills/零知识谜题

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

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

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