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

Aptos Move 编程语言中的四大基础类型解析：UINT、STRING、BOOL 与 ADDRESS

in  Aptos
AptosMove编程语言中的四大基础类型解析：UINT、STRING、BOOL与ADDRESS在AptosMove编程语言中，基础数据类型是开发智能合约和链上应用的核心要素。本文将详细解析四种最常用的数据类型——UINT、STRING、BOOL与ADDRESS，并通过代码示例展
Aptos  Move  Move  Aptos  Web3  L1 

理解 Taproot Assets 协议

in  BTCStudy 精选
Taproot Assets 协议 是一种在比特币上表示基于 UTXO 的资产的协议。本文致力于解释 TAP 是如何创建和转移资产的。
Taproot Assets 
  • BTCStudy
  • 发布于 2024-09-11
  • 阅读 ( 3700 )
  • ( 14 )

多方共享的 UTXO：形式与特性

in  BTCStudy 精选
共享UTXO 让多个用户共享对一个UTXO的所有权、让他们的资金寄身于同一个UTXO中。
UTXO 
  • BTCStudy
  • 发布于 2024-09-11
  • 阅读 ( 3057 )
  • ( 9 )

可升级合约中可以使用 immutable 变量么

可升级合约中可以使用 immutable 变量么? 让我们深入探索一番
immutable  OpenZeppelin  可升级 
  • Ashton
  • 发布于 2024-09-11
  • 阅读 ( 2436 )
  • ( 39 )

EIP-7762和EIP-7691：让以太坊数据块再次辉煌

本文探讨了以太坊EIP-4844升级引入的blob新功能以及后续提案EIP-7762和EIP-7691，分析了blob在数据可用性（DA）中的重要性，提出了调整最低blob基础费用的必要性，以及增加每个区块最大blob数量的可行性。文章结构清晰，逻辑性强，涵盖了多个方面的讨论与分析。
EIP-4844  数据可用性  Blob  EIP-7762  EIP-7691  以太坊 

在ZKsync上Aave V3中发现的关键LLVM编译器漏洞

本文讲述了在Aave V3激活ZKsync时发现的LLVM编译器的关键优化漏洞，该漏洞可能导致资金被盗。文章详细分析了问题的根源，展示了如何通过手动检查和汇编代码来识别并解决编译器中的错误，强调了在代码校验过程中关注编译器的重要性。
Aave V3  zkSync  LLVM  编译器漏洞  汇编代码  UserConfigurationMap 
  • Certora
  • 发布于 2024-09-10
  • 阅读 ( 942 )

技术详解 | Divide and Conquer：ZK除法中隐藏的漏洞

ZK的崛起与演变曾几何时，零知识证明（以下简称ZK）仍然被认为是密码学教科书中的理论概念，至少在传统安全研究中很少被主流社群深入探索。然而在Web3.0领域，区块链技术的迅速发展，用短短几年时间实现了ZK从理论到实践的跨越式进展，一路蓬勃，高歌猛进。1985年诞生，2014年ZCash才用SN
  • CertiK
  • 发布于 2024-09-10
  • 阅读 ( 2055 )
  • ( 51 )

Snapshot 链上投票协议：Snapshot X 介绍

Snapshot Labs 推出了 Snapshot X，这是一个完全链上的投票协议，无缝集成到新推出的 Snapshot v2 界面中。Snapshot X 结合了链上投票的安全性和可验证性以及 Snapshot 的便捷性和模块化，DAO 社区使用 Snapshot X 既能享受最佳治理用户体验，又能增加安全保障，确保 Web3 的核心原则：弹性、抗审查和不变性。
链上投票  Snapshot X  DAO 治理  Starknet  存储证明  投票策略 

如何使用Foundry分叉以太坊区块链

本文详细讲解了如何使用Foundry和QuickNode对以太坊区块链进行fork，允许开发者在一个镜像真实链的环境中测试智能合约及其交互。包括Forking的原因、使用Foundry的优势、QuickNode的设置步骤以及如何进行基本的合约互动和账户模拟。文章结构清晰，有具体的步骤和代码示例，适合对以太坊开发有一定基础的开发者阅读。
Ethereum  Foundry  QuickNode  smart contracts  Forking  Solidity 

Gwyneth：技术设计

本文深入探讨了Gwyneth的技术设计，Gwyneth是一个以太坊水平扩展方案，通过多条等效L2网络实现并行处理和存储，支持L2与L2、L2与L1之间的同步组合，引入Booster Rollup概念，并采用实时多证明者机制来保障安全性。文章还讨论了区块提议、价值捕获、基础设施以及与其他Rollup的互操作等实际问题。
Gwyneth  L2  同步组合  Booster Rollup  多证明者  预确认 

通过 Commit-Boost 实现的链外包含列表

本文介绍了一个基于 Commit-Boost 的链外包含列表模块，它允许区块提议者创建一个包含指定交易的列表，并将其传递给中继（relay），后者负责在区块构建过程中强制执行该列表。提议者为包含列表中的交易被纳入区块设置特定价值，从而在链外实现包含列表的功能。
Commit-Boost  mev-boost  包含列表  中继  区块提议者  交易 

数据分析师如何分析合约代码

数据分析师如何分析合约代码
数据分析  Dune 

解锁跨链互操作性：跨链智能合约概述

概述跨链智能合约运行
跨链  CCIP  LayerZero 

如何使用Typescript创建Websocket订阅以连接Solana区块链

本文介绍了如何使用Solana的Websocket订阅功能来监听区块链上的实时变化，并详细讲解了如何设置环境、创建订阅、取消订阅以及优化订阅的方法。
Solana  WebSocket  订阅  实时数据  Typescript  QuickNode 

Aptos Move 语言中的变量管理与内存所有权机制详解

in  Aptos
AptosMove语言中的变量管理与内存所有权机制详解在Move语言中，变量不仅仅是简单的存储单元，它们通过所有权机制管理内存的使用和回收。这种独特的设计使得Move能够在编译阶段优化内存分配，避免内存泄漏并提高代码的安全性和可维护性。本文将深入探讨Move语言中的变量类型、值类型与引用类型的
Aptos  Aptos  Move  Web3 

理解Solana RPC：开发者综合指南

本文介绍了Solana RPC的核心概念、JSON-RPC的使用方法，以及HTTP和WebSocket方法的区别。同时，详细讲解了请求参数、响应结构、解析响应和筛选标准等关键要素，并探讨了错误处理、公共与私有RPC端点，最后提供了丰富的开发者资源。
Solana  RPC  json-rpc  HTTP  WebSocket  区块链 
  • syndica
  • 发布于 2024-09-10
  • 阅读 ( 1711 )

配对技术入门（一）：寻找 G1 和 G2

本文是作者关于椭圆曲线配对技术学习的记录，重点介绍了在有限域扩展上理解椭圆曲线配对的基础概念，特别是 Frobenius 自同态和迹映射在识别子群 G1 和 G2 中的应用。文章通过“Tiny JubJub”曲线的例子，详细解释了如何找到具有相同素数阶的不同子群，以及如何确定嵌入度。
椭圆曲线配对  有限域  Frobenius自同态  迹映射  Tiny JubJub曲线  嵌入度 

EIP-3529: Gas 退款机制

EIP-3529 "Reduction in refunds"（降低退款）提案，是伦敦硬分叉的一部分。EIP-3529由Vitalik Buterin和Martin Swende于2021年4月22日提出
EIP3529  EIP 
  • Aze
  • 发布于 2024-09-10
  • 阅读 ( 1903 )
  • ( 11 )

【Solidity Yul Assembly】4.2 | 100% Yul ERC20 Example

in  Solidity Yul Assembly 内联汇编
在本节中，我们将详细讲解官方文档中的 100% Yul 实现的 ERC20 合约。
Yul  Solidity合约  内联汇编  assembly 
  • 0xE
  • 发布于 2024-09-10
  • 阅读 ( 2285 )
  • ( 17 )

零知识证明

零知识证明的概念：零知识证明技术可以[模拟]出一个第三方，保证某一个论断是可信的。举一个例子，我已经年满18岁已经成年了，我只要给出我的身份证（假设身份证上没有我的出生年月）。验证方也可以凭借此来判断我确实已经成年。而无需真实的知道我真实的出生年月零知识证明的使用场景:●数据的隐私保护
零知识证明 
  • Leo
  • 发布于 2024-09-09
  • 阅读 ( 2106 )
  • ( 9 )