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

OP Succinct 介绍：OP Stack 上的完整有效性证明

OP Succinct 结合了 OP Stack 和 SP1 zkVM，旨在将现有的 Optimistic Rollup 链升级为 ZK Rollup，实现快速最终性、低成本证明和良好的开发者体验。通过利用 OP Stack 的模块化设计和 SP1 的高性能，OP Succinct 能够以较低的成本实现EVM等效的链。
ZK Rollup  OP Stack  SP1  zkEVM  Optimistic Rollup  零知识证明 

深度解析：Solana DAO与治理 - 2024年8月

该报告深入探讨了Solana生态系统中的DAO和治理情况，分析了SPL Governance、Realms和MetaDAO三种模式下的DAO活动。
DAO  治理  Solana  SPL Governance  Realms  MetaDAO  去中心化自治组织 
  • syndica
  • 发布于 2024-09-12
  • 阅读 ( 279 )

Solidity 中的存储槽：存储分配和低级汇编存储操作

in  代理模式与 Delegatecall 规范手册

EIP-4844 是什么？解析 Proto-Danksharding 和 blob 交易

什么是 EIP-4844？了解 proto-danksharding 和 blobs 是什么，它们如何工作，以及如何使用新的以太坊改进提案发送你的第一个 blob 交易
EIP4844 

解耦的SVM 对比 Forked 的 SVM

文章介绍了SOON项目的技术特点，特别是其独有的解耦SVM（Solana虚拟机）技术，与传统的Forked SVM相比，具有更高的性能和安全性。通过解耦交易处理单元（TPU）和历史证明服务（PoH），SOON实现了更高效的交易处理和原生欺诈证明支持。
SVM  Rollup  Decoupled SVM  Fraud Proofs  TPU  Solana 

深入解读 Aptos Move 的 Struct 特性与四大能力

in  Aptos
深入解读AptosMove的Struct特性与四大能力在AptosMove编程语言中，struct是一种用于存储和组织数据的核心结构。它不仅可以嵌套使用，还能赋予特定的能力，从而增强其在不同场景中的使用效率。在本文中，我们将详细讲解AptosMove中的struct特性
Aptos  Move  Web3  编程 

EIP-4844 的 Proof of Equivalence 機制介紹

本文介紹了Validity Rollup如何利用Proof of Equivalence機制來驗證Blob中的交易真實性。隨著EIP-4844的實施，Validty Rollup需要確認存儲在Blob中的交易資料與Validity Proof的一致性，並探討了Proof of Equivalence的應用來解決這一挑戰，從而以較低的成本進行資料驗證。
Validity Rollup  Proof of Equivalence  EIP-4844  Blob  ZK電路  polynomial commitment 

可证明的水印提取

本文介绍了 zkDL++ 框架，该框架旨在为可证明的 AI 提供支持。zkDL++ 解决了生成式 AI 水印技术中的关键问题：如何在保护隐私的同时确保可证明性。通过改进 Meta 开发的水印系统，zkDL++ 解决了需要对水印提取器进行保密以避免攻击的问题，并提供了一种更安全的解决方案。此外，zkDL++ 能够高效地证明任何深度神经网络（DNN）的完整性。
零知识证明  深度神经网络  水印技术  zkDL++  密码学  卷积神经网络 

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

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

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

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

2024-09-08 zk-insights Weekly

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

2024-09-01 zk-insights Weekly

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

未来发行曲线的形态 - 经济学

本文深入分析了以太坊发行曲线对验证者集去中心化的影响，探讨了有效收益和实际收益的概念，提出了优化发行曲线以减少中心化风险的建议，并通过引入负发行（stake burn）和非相关性激励机制来改进发行模型，旨在实现更健康、更去中心化的以太坊网络。
以太坊  发行曲线  去中心化  验证者  实际收益  非相关性激励 

深入理解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
  • 阅读 ( 365 )

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

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

Multicall 原理

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