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

ERC-7512：通过链上审计增强智能合约安全性

文章讨论了以太坊历史上最大的威胁事件——DAO黑客攻击，并深入分析了智能合约安全审计的重要性及ERC-7512提案，旨在通过链上验证审计报告来提升智能合约的透明度和安全性。
DAO黑客攻击  智能合约安全  ERC-7512  链上审计  以太坊 

2024-09-08 zk-insights Weekly

如果你重视零知识证明技术信息的实效性和信息源质量的意义，不想娱乐至死、短视投机、无关广告、推荐算法、劣币驱逐良币的泥沙裹挟迷失，请多支持我们（包括给予赞助支持），让这一汨清流继续流淌～
  • Coset
  • 发布于 2024-09-11
  • 阅读 ( 1021 )
  • ( 14 )

2024-09-01 zk-insights Weekly

如果你重视零知识证明技术信息的实效性和信息源质量的意义，不想娱乐至死、短视投机、无关广告、推荐算法、劣币驱逐良币的泥沙裹挟迷失，请多支持我们（包括给予赞助支持），让这一汨清流继续流淌～
  • Coset
  • 发布于 2024-09-11
  • 阅读 ( 1100 )
  • ( 7 )

深入理解APTOS-MOVE中的函数修饰符：核心概念与应用

in  Aptos

深入理解APTOS-MOVE中的函数修饰符：核心概念与应用在区块链智能合约开发中，Aptos-MOVE编程语言提供了一套独特的函数修饰符，这些修饰符为开发者提供了更强的控制力，使其可以定义函数的可见性、资源访问权限以及与链下交互的能力。本文旨在详细解析APTOS-MOVE中的函数修饰符，帮助开发者
Aptos  Aptos  Move  Web3  合约  编程 

Proof Of Space算法解析

1.Table格式会生成7个table，每个table包含2^K个entry，现在K取值20，所以每个table有1M个entry；每个entry的格式如下：pub(super)enumTable<constK:u8,constTABLE_NUMBER:u8>where
Autonomys  Subspace 

【Solidity Yul Assembly】4.3 | What We Didn't Cover

in  Solidity Yul Assembly 内联汇编

在这最后一节，我们将看一些 Yul 中相对较少使用的指令。
Yul  Solidity合约  内联汇编  assembly 
  • 0xE
  • 发布于 2024-09-11
  • 阅读 ( 1505 )
  • ( 8 )

Multicall 原理

以太坊的Multicall是一种通过一次区块链请求来批量查询多个智能合约数据的技术。这种方法可以有效减少链上的读取操作，提高效率，并节省gas费用。
multicall 
  • martin
  • 发布于 2024-09-11
  • 阅读 ( 2545 )
  • ( 85 )

Go 语言之在 Gin 框架中使用 Zap 实现高效日志管理

in  Go 语言

Go语言之在Gin框架中使用Zap实现高效日志管理在现代Web开发中，日志管理是确保应用程序性能、稳定性和可维护性的关键因素之一。Gin作为轻量级的GoWeb框架，自带了简单的日志功能。然而，对于追求高性能和灵活性的开发者来说，Zap日志库是一个理想的选择。本文将深入探讨如
golang  go  编程语言  日志  Gin 

Taiko - 真正的以太坊L2

本文深入探讨了以太坊Layer2的演进，分析了现有L2方案中存在的问题，如与以太坊连接性降低、中心化趋势以及对开发者需求考虑不足。
以太坊Layer2  Taiko  zkEVM  Based Rollup  去中心化  EVM  扩容 

Python NFT构建API实战指南

您好！携手一同走进一个极具吸引力的数字化领域——NFT的丰富多彩世界！您是否曾经设想过以Python语言快速创作出独特的NFT收藏卡，以此作为送给自己或亲朋好友的珍贵数字资产？若对此类话题充满好奇，那么恭喜您找到了理想的阅读之地！在此篇文章中，我们将探讨如何运用NFT构建API，这是由幂简集成精心

深入解读 APTOS-MOVE 中的 Vector 向量核心特性与操作

in  Aptos

深入解读APTOS-MOVE中的Vector向量核心特性与操作在区块链智能合约开发中，数据结构是处理复杂操作的关键组件之一。在AptosMove语言中，Vector是一种重要的数据结构，它类似于其他编程语言中的数组，支持对相同类型数据的高效存储和操作。本篇文章将深入探讨Aptos
Aptos  Aptos  Move  Move  Web3  L1 

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
  • 阅读 ( 2450 )
  • ( 14 )

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

in  BTCStudy 精选

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

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

可升级合约中可以使用 immutable 变量么? 让我们深入探索一番
immutable  OpenZeppelin  可升级 
  • Ashton
  • 发布于 2024-09-11
  • 阅读 ( 1618 )
  • ( 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
  • 阅读 ( 243 )

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

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