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

审核依赖于 软分叉/限制条款 的 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
  • 阅读 ( 2129 )
  • ( 17 )

Web3 极客日报 #1587

  • rebase
  • 发布于 2024-09-12
  • 阅读 ( 1059 )
  • ( 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
  • 阅读 ( 317 )

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

2024-09-01 zk-insights Weekly

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