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

Polygon ZkEvm 项目架构解读

Polygon ZkEvm 项目架构解读
Polygon  zkEVM 

Sui move单测从入门到精通

本教程详细的阐述了 Sui Move 单元测试的相关知识与实践方法。在合约模块发布到链上之前通过单元测试不仅能保障代码指令，也能减少gas成本。
Sui Move 

Web3 极客日报 #1631

  • rebase
  • 发布于 2024-11-30
  • 阅读 ( 889 )
  • ( 10 )

使用 Certora 形式化验证在外部审计师之前发现高危漏洞

本文作者分享了使用 Certora Verification Language (CVL) 进行智能合约形式化验证的经验，通过将模糊测试中的不变量思想应用于 CVL，解决了之前在模糊测试中发现的真实漏洞的简化版本。文章详细对比了模糊测试与形式化验证的异同，并展示了使用 Certora 解决各种漏洞的实例，强调了 Certora 在漏洞检测方面的有效性和简洁性。
形式化验证  Certora  智能合约  CVL  模糊测试  安全漏洞 
  • Dacian
  • 发布于 2024-11-30
  • 阅读 ( 615 )

掌握时间加权平均价格（TWAP）订单 - CoW DAO

本文介绍了时间加权平均价格（TWAP）订单的概念、优势以及如何在CoW Swap上使用TWAP订单，TWAP订单允许交易者在一段时间内分散交易，降低价格冲击和简化定投策略，同时提供价格保护等功能。CoW Swap的TWAP订单还具有MEV保护和gasless交易等优势。
TWAP  时间加权平均价格  CoW Swap  DCA  定投  价格保护 
  • CowSwap
  • 发布于 2024-11-30
  • 阅读 ( 630 )

Solana跨程序调用 (CPI)

跨程序调用（CPI）是指一个程序调用另一个程序的指令（instruction）。这种机制允许Solana程序的可组合性。这种机制允许Solana程序的可组合性。你可以将指令视为程序向网络公开的API端点，而CPI则是一个API内部调用另一个API。当一个程序发起对
Solana 
  • 想样
  • 发布于 2024-11-30
  • 阅读 ( 1414 )
  • ( 20 )

Zengo 的安全多方计算 ECDSA GG18 和 GG20 代码详解

Zengo的安全多方计算ECDSAGG18和GG20代码详解
MPC 

Ondo Finance如何重新定义代币化以引领RWA市场

本文深入探讨了代币化现实世界资产(RWA)的复兴，重点介绍了收益型代币化资产的快速增长，并深入分析了Ondo Finance如何在代币化美国国债产品领域占据领先地位，通过战略合作和创新技术，旨在构建一个全球性的、互联互通的、具有机构级投资者保护的公共证券交易平台，展示了代币化不仅仅是将现实资产上链，更是扩展其可用性，使其成为更有价值的资产。
代币化现实世界资产  RWA  Ondo Finance  稳定币  收益币  区块链 

让智能账户为EIP-7702做好准备

本文介绍了EIP-7702如何使EOA能够拥有智能账户的功能，以及为了安全地将现有智能账户与EIP-7702结合使用，需要进行哪些修改。主要集中在两个方面：一是确保存储命名空间，避免不同账户实现之间的冲突；二是保护初始化过程，防止恶意行为者抢先控制账户。通过对ERC-7579参考实现的修改，展示了如何安全地使用EIP-7702，同时保持与现有智能账户流程的兼容性。
EIP-7702  智能账户  账户抽象  ERC-4337  ERC-7579  存储命名空间 

SuperScalar：筑梯法超时树结构的 Decker-Wattenhofer 通道工厂

在本文中我会提出一种叫做 “SuperScalar” 的构造，实际上，是一种分层超时树结构的 Decker-Wattenhofer 通道工厂。
LSP  通道工厂 

区块链预言机综合指南

本文深入探讨了区块链预言机的概念、必要性以及不同类型的预言机，重点介绍了 UMA 协议的乐观预言机及其在验证主观数据方面的重要性。区块链预言机作为现实世界与区块链生态系统之间的桥梁，解决了区块链与外部数据隔离的问题，为 DeFi、预测市场、保险、游戏等应用提供了关键支持。
区块链预言机  预言机  UMA协议  乐观预言机  链上数据  智能合约 
  • uma_xyz
  • 发布于 2024-11-29
  • 阅读 ( 861 )

EVM 内存重新定价

该项目旨在重新评估EVM内存的gas成本，以优化以太坊的性能和可扩展性。通过分析内存访问的gas成本，并考虑硬件和客户端代码的效率提升，该项目旨在为EVM内存的重新定价提供数据支持，从而降低内存密集型操作的成本，使更多应用成为可能。
EVM  内存  Gas成本  重新定价  以太坊虚拟机  性能优化 

从‘我不会’到‘我会了’，一起玩 Move 合约开发

随着区块链技术的飞速发展，越来越多的开发者开始寻求更高效、更安全的区块链平台，以支持去中心化应用（DApps）的快速发展。Sui 链和Move 编程语言作为新兴的区块链解决方案，以其创新的设计理念和技术优势，正在成为开发高性能区块链应用的理想选择。本文将介绍Sui 链和Move 编程语言的基本概念、
  • huahua
  • 发布于 2024-11-29
  • 阅读 ( 1499 )
  • ( 15 )

SuperScalar：筑梯法超时树结构的 Decker-Wattenhofer 通道工厂

本文提出了一种名为 “SuperScalar” 的新型闪电网络（LN）流动性解决方案，它本质上是一种分层超时树结构的 Decker-Wattenhofer 通道工厂。
闪电网络  流动性  DECKER-WATTENHOFER  超时树  通道工厂  多签名  nSequence 

Milkman是什么？CoW Swap针对延迟执行交易的解决方案 - CoW DAO

本文介绍了Milkman，它是CoW Swap为解决延迟执行交易问题而提出的解决方案。Milkman通过允许智能合约指定链上数据源（如预言机）作为最小输出的参考，从而将最小输出变成动态价格后盾。这对于需要延迟执行交易的DAO等智能合约钱包用户尤为有用，可以有效应对价格波动，确保交易以合理的价格执行。
CoW Swap  Milkman  延迟执行交易  预言机  最小输出  DAO 
  • CowSwap
  • 发布于 2024-11-29
  • 阅读 ( 519 )

如何在 Ruby 中生成一个新的以太坊地址

本文介绍了如何使用Ruby创建以太坊地址，详细解释了以太坊地址的生成过程，包括私钥和公钥的创建，以及使用ruby-eth库的步骤。文章结构清晰、内容丰富，并提供了相关代码示例和附图，适合对以太坊和Ruby编程有基础知识的读者。
Ruby  以太坊地址  私钥  公钥  ruby-eth  ECDSA 

Solidity合约开发小贴士

以太坊是一个公共网络，在设计合约的接口时，除了考虑己方的交互外，还应该考虑公众是否方便获取到合约中的数据。
以太坊  Solidity  最佳实践 
  • 卡卡
  • 发布于 2024-11-29
  • 阅读 ( 1578 )
  • ( 22 )

Mina Learning - Signature

Mina 采用 [Schnorr signature](https://github.com/o1-labs/proof-systems/blob/403763e2c824b030b3de5c25950c116984311d9b/signer/src/schnorr.rs) 生成签名.
OpenBuild  Mina  zk 
  • longerd
  • 发布于 2024-11-29
  • 阅读 ( 1186 )
  • ( 29 )

move入门之集合(二)

move入门之集合(二):Vector数据衍生类型VecSet深度分析🧑‍💻作者：gracecampo概述VecSet是Move语言中的一种vector数据类型衍生出的集合类型，可以看作是Vector数据类型变种。特点唯一性：VecSet不允许重复项，确保集合中的每个元素
Sui Move 

move入门之集合(一) : Vector数据类型深度分析

in  MOVE教程
move入门之集合(一):Vector数据类型深度分析🧑‍💻作者：gracecampo概述在之前的文章中，我们对基本数据类型有了基本的认识，在move中，定义了多种集合类型。集合类型的数据结构主要包括以下几种：Vector:用于存储同一类型的元素集合，类似于动态数组。T
Sui Move