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

学术研究：我们零知识研究的发现

本文介绍了Veridise在零知识安全方面的研究，重点分析了四篇相关论文。这些研究探讨了零知识电路的认证、自动检测不完全约束电路、零知识证明电路的实用安全分析以及分割Gröbner基的方法，展示了各自的创新工具和技术如何提高零知识系统的安全性和可靠性。
零知识证明  电路认证  安全性分析  Gröbner基  自动检测工具 

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

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

2024-09-08 zk-insights Weekly

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

2024-09-01 zk-insights Weekly

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

深度解析：Solana DeFi - 2024年8月

该报告分析了Solana DeFi生态在2024年8月的发展情况，涵盖了DEX、Perp DEX、借贷、稳定币和流动性质押等多个方面。报告指出，DeFi协议中锁定的SOL数量达到历史新高，DEX交易量有所下降，memecoin热度降低，Jupiter Perps交易量创新高，借贷TVL也达到新高，Solana稳定币市值恢复到FTX事件前水平。此外，报告还介绍了值得关注的DeFi项目。
Solana  DeFi  DEX  稳定币  流动性质押  借贷 
  • syndica
  • 发布于 2024-09-11
  • 阅读 ( 98 )

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

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

Multicall 原理

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

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

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

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

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

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

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