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

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

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

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

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

Solana跨程序调用 (CPI)

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

EVM 内存重新定价

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

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

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

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

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

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

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

Solidity合约开发小贴士

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

使用devnets理解以太坊网络限制

本文介绍了使用devnets理解以太坊网络限制的实验。通过模拟不同网络条件（如带宽限制和非最终性），分析了以太坊客户端在数据同步和对等连接方面的瓶颈。实验结果表明，客户端性能不仅受带宽限制，还受到批量获取、速率限制和对等连接等因素的影响，提示需要进一步优化以提高同步效率。
以太坊  devnets  Dencun升级  Blob  网络限制  数据同步 

如何使用QuickNode运行交易助手机器人

本文介绍了如何运行Trade Butler Bot，这是一个安全且流行的自动交易机器人，依赖于QuickNode基础设施。文章详细探讨了交易机器人及Trade Butler Bot的功能，并提供了如何设置和运行该机器人所需的步骤和代码示例，适合希望通过自动化交易来增加收益的用户。
Trade Butler Bot  QuickNode  交易机器人  Uniswap  自动化交易  以太坊 

加密货币质押奖励的成功策略

本文介绍了加密货币质押的基本概念，包括其运作方式、优势以及入门方法。文章还深入探讨了最大化质押收益的策略，例如分散投资、选择可靠的验证者、利用质押池、监控市场趋势以及考虑长期复利。同时，文章也提醒读者注意质押的风险，如市场波动、罚没机制和锁定期等。
加密货币质押  PoS  staking  收益最大化  验证者  staking池 
  • GPTPlus
  • 发布于 2024-11-28
  • 阅读 ( 147 )

四、能力（Ability）

本篇文章学习四种能力，这在move语言中很重要
Sui Move 
  • Ch1hiro
  • 发布于 2024-11-28
  • 阅读 ( 941 )
  • ( 16 )

跨链互操作性的完整指南

该文章提供了关于跨链互操作性的全面指南，探讨其定义、重要性、机制、挑战及未来发展。文章强调了跨链技术在减少区块链生态系统碎片化、增强流动性和改善用户体验方面的重要作用，并详细介绍了多种互操作性解决方案及其优势。
跨链互操作性  区块链  流动性  原子交换  ERC-7683  跨链桥 
  • across
  • 发布于 2024-11-28
  • 阅读 ( 837 )