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

智能合约形式化验证

形式化验证方法是智能合约进行确定性验证的有效手段，通过形式化语言把智能合约中的概念，判断和推理转化成智能合约模型，可以消除自然语言的歧义性和不通用性，进而采用形式化工具对智能合约建模、分析和验证，进行语义一致性测试，最后自动生成验证过的合约代码.如图2所示，本节将近年来基于形式化验证智能
  • 阿呆
  • 发布于 2023-10-12
  • 阅读 ( 2070 )

关于Solana上的压缩，你需要了解的一切

这篇文章深入探讨了Solana上的状态压缩和压缩NFT（cNFTs）的概念，阐明了其原理、实现方式及应用。它详细解释了如何利用并发Merkle树优化存储，提高成本效益，同时维持安全性与去中心化。文章还提供了创建和传输压缩NFT的实用示例代码，适合希望在Solana生态上进行开发的读者。
Solana  压缩NFT  Merkle树  区块链  状态压缩  Bubblegum SDK 
  • Helius
  • 发布于 2023-10-12
  • 阅读 ( 772 )

Web3 极客日报 #1338

Web3 极客日报 #1338
  • rebase
  • 发布于 2023-10-11
  • 阅读 ( 1215 )
  • ( 2 )

闪电节点的备份形式简介

本文介绍了闪电网络中三种主要的备份类型：静态通道备份（SCB）、动态通道备份（DCB）和瞭望塔备份。SCB涉及将通道状态存储在硬盘上，DCB在每次通道状态更新时进行备份，而瞭望塔备份则依赖于监控通道的第三方服务，以防止欺诈。文章总结了每种备份方法的优缺点，并建议节点运营者根据自身需求进行选择。
闪电网络  备份  静态通道备份  动态通道备份  瞭望塔  通道状态 

互操作性报告（2023年9月）

本月重点是“意图”和“全链应用”。Essential 正在创建一个以太坊标准来操作意图，类似于 ERC-4337；全链应用方面，Layerzero 的 OFT-20 获得了更多采用，Catalyst 也宣布了其全功能测试网，旨在以链无关的方式创建流动性。此外，Interchain Foundation 宣布了“Interchain Stack”计划。
意图  全链应用  ERC-4337  LayerZero  跨链  Cosmos-SDK 

Asia Urban Action · 上海站开启报名：聚焦 TON 生态与流量，迈向 Web3 大规模采用

为了挖掘更多有想法的开发者和初创团队，Web 3.0 加速器 Starbase 于 9 月启动了系列线下活动——生态伙伴计划城市行动。10 月 14 日，城市行动第二站将在上海开启，聚焦 TON 生态与流量，迈向 Web3 大规模采用。
Web3 

科层制的出走，DAO 的非马基雅维利主义

相比马基雅维利的积极有为，如果强调 DAO 的无政府主义倾向似乎并不合时宜，因为无论何种名义的组织，都会诞生出成文的、不成文的管理规定，形成法定的、习惯性的领导或积极人群...

什么是 Solana？

本文介绍了 Solana 区块链的特性、优势和应用。Solana 通过 Proof of History 共识机制实现高吞吐量和低延迟，具有可扩展性强、交易成本低、确认时间快等特点。文章还对比 Solana 与其他区块链的区别，并列举了 Star Atlas、Sniper 和 Audius 等在 Solana 上运行的知名项目。
Solana  Proof of History  区块链  可扩展性  交易速度  Solana虚拟机 
  • syndica
  • 发布于 2023-10-11
  • 阅读 ( 311 )

智能合约审计终极指南

本文探讨了智能合约审计的重要性，包括以太坊虚拟机（EVM）、Solidity编程概念以及测试和识别安全漏洞的最佳实践。通过理解EVM的工作原理、Solidity的基础和高级概念、Foundry的使用以及Web3协议的交互，读者可以掌握智能合约审计的关键技能，并了解常见的攻击向量和安全报告，从而提高智能合约的安全性。
智能合约审计  以太坊虚拟机  EVM  Solidity  安全漏洞  Foundry 

Web3 极客日报 #1337

Web3 极客日报 #1337
极客日报  Web3 
  • rebase
  • 发布于 2023-10-10
  • 阅读 ( 1895 )
  • ( 5 )

Vitalik：应对两层质押风险，这些改变可能提高去中心化并减少共识开销

in  Vitalik博客精选
当前以太坊网络双层质押（节点运营商和代理商），存在着中心化风险和不必要的共识层负担。本文介绍了解决这些问题的可能方案。
质押  共识  去中心化  Vitalik 

[论文] BitVM：在比特币上计算任何东西

BitVM 是一种计算范式，用于表达图灵完备的比特币合约。这不需要对比特币网络的共识规则进行任何更改。与在比特币上执行计算不同，它们仅仅是被验证，类似于乐观 Rollups。证明者声明某个给定的函数对某些特定的输入求值得到了特定的输出。 使用这种机制，任何可计算的函数都可以在比特币上进行验证。
BitVM  欺诈证明  比特币 

2023 年智能合约审计完整路线图

本文为智能合约审计师的入门指南，概述了成为一名智能合约审计师的步骤，包括学习编程基础、Web3 概念、Solidity 语言、Defi 原理，并通过 Secureum 平台学习安全知识。
智能合约审计  Solidity  Web3  DeFi  安全漏洞  Code4rena 

什么是 selfdestruct

该文章详细介绍了Solidity中的selfdestruct关键字，包括其定义、工作原理、用途以及相关示例。文章回顾了selfdestruct的历史及其在以太坊智能合约中的重要性，同时讨论了使用该功能的安全性问题与潜在风险。尽管功能已在以太坊的上海升级中被弃用，但文章提供的背景与实例仍具有参考价值。
selfdestruct  Solidity  智能合约  区块链  以太坊  安全性 
  • Alchemy
  • 发布于 2023-10-10
  • 阅读 ( 566 )

Polygon 生态系统综述（2023 年 9 月）

本文是Polygon在2023年9月的生态报告。报告指出，由于市场环境不佳，Polygon PoS和zkEVM的关键指标有所下降。但Polygon PoS与其他网络相比，情况并未明显恶化。Polygon zkEVM的指标在迅速增长后也迅速下降，需要吸引更多真实用户。此外，Polygon 2.0的实施正式开始，发布了首批PIP草案，包括POL代币的升级。
Polygon  zkEVM  Polygon PoS  POL代币  Layer2  Astar zkEVM 

了解 Wei 和 Gwei：以太坊最小面额解释

in  Web3 探索-新手必看宝典
在以太坊世界中，Wei 是一个关键概念，它是这个区块链网络中最小的以太单位。随着加密货币的普及，理解各种面值变得至关重要。
数据分析  以太坊 
  • Chainbase
  • 发布于 2023-10-10
  • 阅读 ( 6631 )
  • ( 16 )

Solidity语言 - 什么是Solidity？

这篇文章介绍了Solidity作为以太坊智能合约编程语言的背景、优势和使用方法，详细阐述了其历史、与其他语言的相似性、在以太坊及其他兼容区块链上的应用，以及学习资源，提供了丰富的内容和实际案例，是学习Solidity的良好资料。
Solidity  智能合约  以太坊  编译器  区块链开发  EVM 
  • Alchemy
  • 发布于 2023-10-10
  • 阅读 ( 946 )

如何获取 stargate 跨链数据

in  Web3 探索-新手必看宝典
在本教程中，我们将深入探讨Stargate Finance的世界，探索其复杂的功能、特性以及通过 Chainbase 提供的宝贵数据集。特别是这个DeFi数据集使我们能够无缝地获取交易数据。
跨链  数据分析  DeFi 
  • Chainbase
  • 发布于 2023-10-10
  • 阅读 ( 3176 )
  • ( 4 )

如何通过合约获取ERC20元数据

in  Web3 探索-新手必看宝典
本文中，我们讨论了如何使用 Chainbase API 获取 ERC20 元数据。
ERC20  数据分析 
  • Chainbase
  • 发布于 2023-10-10
  • 阅读 ( 3062 )
  • ( 4 )

扩展链上历史：从比特币到 Arweave

所以今天，我们将讨论如何扩展 Arweave 以及比特币到 Arweave 的链上历史扩展。为此，我们将深入探讨在区块链上存储人类历史的过程，解锁链上数据，并探索我们接下来的发展方向。