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

深入理解TON智能合约：利用dict和list实现高效的验证者选举

摘要：在TON（TheOpenNetwork）区块链平台中，智能合约扮演着举足轻重的角色。本文将通过分析一段TON智能合约代码，带领读者学习dict（字典）和list（列表）在FunC语言中的用法，以及如何在实际场景中实现高效的验证者选举。一、引言TON区块链平台的智能合约采用FunC语
FunC  TON 
  • King
  • 发布于 2024-09-13
  • 阅读 ( 1936 )
  • ( 51 )

深入解读 Uniswap V2 白皮书 【全网最详细】

in  Learn about DeFi
深入解读UniswapV2白皮书【全网最详细】引言本文主要记录我个人对uniswapv2白皮书的解读，水平有限难免有错误之处，欢迎斧正。旨在深入理解其中的数学原理，从而帮助进一步理解代码的实现。文章按照白皮书的目录进行解读，其中会加入一些个人的理解和思考。
  • 0xSecYou
  • 发布于 2024-09-13
  • 阅读 ( 4150 )
  • ( 112 )

首个可互操作、可组合的链抽象会话密钥模块

Rhinestone 与 Biconomy 合作构建 Smart Session Manager，这是一种链上权限系统，可在任何 ERC-7579 智能账户中实现完全可组合和互操作。Smart Session Manager 将策略和验证器分开，以提高可组合性，并支持广泛的签名机制，例如 passkeys、多重签名和 ECDSA 验证器，同时实现链抽象会话。
智能账户  ERC-7579  Session Keys  权限管理  链抽象  Biconomy  Rhinestone 

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

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

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

Web3 极客日报 #1587

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

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

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

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

2024-09-01 zk-insights Weekly

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