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

技术详解 | 如何对Cosmos SDK标准模块进行形式化验证

in  Web3.0安全开发实践
CertiK完成了针对CosmosSDK形式化验证。形式化验证是一项运用数学逻辑来确保系统符合规范，使其在所有可能的输入和条件下都如预期表现的技术。本文将介绍形式化验证CosmosSDKBank模块的具体步骤，以及一些验证结果。
形式化验证 
  • CertiK
  • 发布于 2024-12-03
  • 阅读 ( 1019 )
  • ( 16 )

连续只读内存约束：一个使用Lambdaworks的实现

本文深入探讨了STARKs中约束的概念，并通过Lambdaworks库，以Cairo的非确定性连续只读内存的约束实现为例，详细解释了如何使用多项式来总结trace values之间的高度复杂关系。文章详细介绍了连续只读内存的定义，以及如何通过引入排序和辅助列，将验证内存属性简化为验证连续性约束、单值约束和排列约束。
STARKs  约束  Cairo  只读内存  多项式  Lambdaworks  密码学  零知识证明 

SOL链网络参数是什么？SOL链网络配置?

SOL链已经从FTX暴雷影响中逐步回温，其生态仍然繁荣，尤其是PoH的应用，让SOL链领跑高性能公链，基本触及了无分片公链可长期维持的TPS瓶颈。另外，SOL链还推出了一系列技术更新，对部分安全问题提供了针对性的修复方案，显示出良好的安全意识、发展性的技术能力和较强的可持续性，从种种迹象表明，SOL
  • 想样
  • 发布于 2024-12-03
  • 阅读 ( 1381 )
  • ( 34 )

Sui Move 调试Debugging和test_scenario单测工具使用

熟练掌握 debug 和 test_scenario 这两个工具包，开发者在 Move 开发中遇到问题时，便能够高效地进行调试与模拟测试，极大提升开发效率与代码质量。
Sui Move 

区块链基础

文章介绍了区块链技术的起源、基本原理及其对社会的潜在影响，包括去中心化、数据不可篡改和消除中间人等特性。
区块链  去中心化  共识机制  比特币  以太坊  智能合约 

汇编回滚

in  代理模式与 Delegatecall 规范手册
本文详细介绍了如何通过内联汇编更高效地实现 Solidity 中的回滚操作，深入探讨了 `mstore` 和 `mstore8` 操作码的使用方式，并通过示例代码展示了如何在汇编中实现无消息回滚、自定义错误回滚以及带有原因字符串的回滚。
Solidity  回滚  汇编  mStore  mstore8  gas优化 

Solidity语言 - Yul是什么？ - Quicknode

这篇文章详细介绍了Yul语言，作为以太坊上智能合约的低级语言，具有更高的代码执行效率。文章包括Yul的语法、数据类型、控制流、函数以及Yul和Solidity的对比，并提供了一些示例代码和编译工具的推荐，以帮助开发者理解和应用Yul语言。文章结构清晰，内容丰富，有助于熟悉低级编程概念的开发者进行智能合约优化。
Yul  智能合约  以太坊  低级编程  代码优化  代币 

每周以太坊进展 2024/11/30

Tornado Cash 合约在现行法律下无法被制裁，Pectra 升级中的 blob 增加，以及以太坊协议攻防赛
每周以太坊 
  • EthWeekly
  • 发布于 2024-12-02
  • 阅读 ( 1446 )
  • ( 55 )

使用 OpenZeppelin Defender 自动化智能合约交易以实现每小时活动

本文介绍了如何使用 OpenZeppelin Defender 自动化智能合约的交易。通过创建一个每小时执行一次的 Action，该 Action 会向指定合约发送交易，从而实现自动向 Box 合约中添加对象并增加对象数量的功能。
OpenZeppelin Defender  自动化  智能合约  交易  定时任务  Relayer  Action 

Solana集群和公共 RPC 端点

Solanablockchain有几个不同的验证组，被称为[Clusters]。每个集群在整体生态系统中担任不同的目的，并包含专用的api节点来满足其各自集群的JSON-RPC请求。集群中的各个节点由第三方拥有和运营，每个都有一个公共端点可用。Solana公共RPC
  • 想样
  • 发布于 2024-12-02
  • 阅读 ( 1974 )
  • ( 54 )

MEV机器人：如何保护自己 - CoW DAO

本文介绍了MEV（最大可提取价值）及其对以太坊交易者的影响，特别是MEV机器人如何通过利用价格差异和交易机制来获取利润。文章还提供了多种保护措施，包括使用低滑点、在高流动性池中交易、安装MEV保护RPC（如MEV Blocker）以及使用基于意图的交易解决方案（如CoW Swap），以最大限度地减少MEV机器人的负面影响。
MEV  MEV 机器人  三明治攻击  前置交易  后置交易  滑点 
  • CowSwap
  • 发布于 2024-12-02
  • 阅读 ( 253 )

FLock.io：人工智能民主化的基础层

文章探讨了当前AI行业缺乏透明度和信任，以及高准入门槛限制了AI应用扩展的问题。为了解决这些挑战，文章介绍了FLock.io，一个旨在通过将区块链元素与联邦学习方法相结合，实现AI模型生命周期民主化的平台，目标是创建一个更具创造性和可信赖的AI行业。
联邦学习  区块链  人工智能  数据隐私  模型训练  FLock.io 

Rust循环引用与多线程并发

in  Rust语言开发基础到通关
目录循环引用与自引用Weak与循环引用结构体中的自引用多线程并发并发和并行使用多线程线程同步：消息传递线程同步：锁、Condvar和信号量线程同步：Atomic原子操作与内存顺序基于Send和Sync的线程安全循环引用与自引用循环引用的概念循环引用指的是两
Rust  rust基础 

Mina 上的 STO 和现实世界资产

RWA和STO连接传统金融和区块链，在1860亿美元的市场中实现有形资产和金融工具的代币化所有权，并增强流动性、透明度和监管合规性。什么是STO和RWA？现实世界资产代币（RWAs）和证券型代币发行（STOs）将传统金融与区块链技术相结合。RWAs是代表有形资产（
Mina  OpenBuild 
  • King
  • 发布于 2024-12-02
  • 阅读 ( 1512 )
  • ( 9 )

ERC-7512：通过链上审计增强智能合约安全性

本文探讨了Ethereum的ERC-7512提案，该提案旨在通过在区块链上提供审计报告的标准化表示，增强智能合约的安全性和透明度。文章回顾了历史上对以太坊构成威胁的事件，尤其是DAO黑客事件，并讲述了围绕智能合约审计的重要性及目前存在的问题。通过介绍ERC-7512，文章强调了如何通过链上验证来解决审计信息的数据中心化和人工验证的繁琐这一关键问题，最终推动区块链上的信任构建。
Ethereum  ERC-7512  智能合约  区块链安全  审计  DAO黑客 

如何运行一个Nethermind节点

本文详细介绍了如何运行Nethermind以太坊节点，包括硬件要求、防火墙配置、同步模式选择以及在不同操作系统上的安装步骤。
Nethermind  以太坊  节点  同步模式  硬件要求  防火墙配置 

Solana 指南与教程

该文章提供了Solana开发的多种资源，包括指南、教程、API、工具和示例代码，帮助开发者提升Solana开发技能。
Solana  API  WebSockets  Typescript  Jupiter API  Jito Bundles 

Retro Funding 2025

in  Optimism 中文力量
译者的话在Web3领域，公共产品的资助和奖励机制一直是一个备受关注的话题。OptimismCollective的这篇文章详细阐述了他们在2025年改进和发展RetroactivePublicGoodsFunding（RPGF）计划的愿景和策略。作为一名从业者，我深感这一计划在推
retro funding  Optimism 

Erc7786 跨链消息传递示例

这篇文章详细介绍了如何使用 ERC7786 标准和 Axelar 适配器进行跨链消息传递，包括理论和实际的步骤，如适配器的设置、链等价关系的注册、消息的发送和执行。整篇文章围绕技术实施进行了系统性分析，适合开发者学习跨链技术的集成。
ERC7786  Axelar  跨链消息  链等价关系  适配器配置  消息发送 
  • erc7786
  • 发布于 2024-12-01
  • 阅读 ( 369 )

如何开始使用 Solana Web3.js 2.0 SDK 进行构建

本文介绍了Solana Web3.js SDK 2.0的重大更新，包括性能改进、应用程序包体积减小和增强的灵活性，提供了代码示例和迁移指南，并强调了新SDK对开发者的帮助。文章最后介绍了最佳实践和如何发送交易的具体步骤，适合有一定技术基础的开发者阅读。
Solana  Web3.js  Typescript  JavaScript  区块链开发  SDK 
  • Helius
  • 发布于 2024-12-01
  • 阅读 ( 741 )