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

加强对白帽黑客的法律保护

文章讲述了马耳他几名大学生因负责任地披露了一个安全漏洞而被捕的事件，并探讨了现有网络犯罪法律对白帽子黑客的保护不足的问题。文章强调，白帽子黑客在发现安全漏洞后的披露行为可能被错误地解读为恶意行为，并呼吁立法者重新考虑网络安全方法，保护那些出于善意行动的道德黑客，文中还提到了Safe Harbor框架，为道德黑客提供法律保护。
白帽子黑客  安全漏洞  法律保护  网络安全  Safe Harbor框架  责任披露 
  • Dedaub
  • 发布于 2024-09-13
  • 阅读 ( 701 )

Aptos Move 模块的特性与实操指南：模块引用与作用域管理

in  Aptos
AptosMove模块的特性与实操指南：模块引用与作用域管理AptosMove是一门为区块链和智能合约设计的编程语言。它以其模块化、可升级性和灵活的安全性机制在Web3领域中越来越受欢迎。在开发过程中，如何正确导入模块、管理作用域以及理解不同的访问权限至关重要。本文旨在通过代码示例，详
Aptos  Aptos  Move  Web3  编程  模块 

AUCIL：一种基于拍卖的包含列表设计，用于增强以太坊权益证明的审查抗性 - 权益证明/区块提议者

本文介绍了一种基于拍卖的包含列表设计（AUCIL），该设计利用了由理性参与者组成的包含列表委员会中的竞争。该协议设计利用了两个关键组件：(i) 输入列表创建机制，允许委员会成员选择非重叠的交易，同时最大化他们的费用；(ii) 拍卖机制，允许各方确保大多数这些输入列表都包含在最终输出包含列表中。前者确保考虑包含许多被审查的交易，而后者采用竞争，激励尽可能多地包含输入列表以生成输出包含列表。
以太坊  审查抵抗  包含列表  拍卖  交易  共识 

审核依赖于 软分叉/限制条款 的 Layer 2 方案

本文深入探讨了比特币Layer2扩展方案，特别是依赖于限制条款的方案，分析了通道、虚拟UTXO等设计模式，以及闪电网络、Ark等具体实现。文章还讨论了交易池策略、软分叉提议（如OP_CAT、CTV、SIGHASH_ANYPREVOUT等）以及各种攻击向量，并对未来的发展方向提出了建议，例如优先激活共识清理和CTV软分叉。
Layer2  限制条款  闪电网络  OP_CAT  CTV  SIGHASH_ANYPREVOUT 

Aptos Move 控制流解析：IF、WHILE与LOOP的深入解读

in  Aptos
AptosMove控制流解析：IF、WHILE与LOOP的深入解读控制流语句是编程语言中至关重要的工具，用于决定程序在不同条件下的执行路径。AptosMove语言支持使用if语句、while循环以及loop无限循环，帮助开发者更灵活地管理代码逻辑。在Move智能合约开发中，这些控制流结构为合
Aptos  Aptos  Move  Web3  编程 

密码学基础一对称加密和非对称加密

对称加密既然说是对称加密，那么加密和解密的时候，使用相同的秘钥。DES算法深入在DES算法中，密钥固定长度为64位。明文按64位进行分组，分组后的明文组和密钥按位置换或交换的方法形成密文组，然后再把密文组拼装成密文。密钥的每个第八位设置为奇偶校验位，也就是第8、16、24、32、40、48
密码学 
  • Leo
  • 发布于 2024-09-12
  • 阅读 ( 2044 )
  • ( 17 )

Web3 极客日报 #1587

  • rebase
  • 发布于 2024-09-12
  • 阅读 ( 1045 )
  • ( 7 )

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

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

2024-09-01 zk-insights Weekly

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

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

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