本页概述了以太坊生态中的形式化验证（及相关分析）项目。它是对 pirapira/ethereum-formal-verification-overview 的扩展和更新。 重点是智能合约的形式化验证和其他类型的分析，同时也收集了协议和编译...
Remix 是一个丰富的工具集，任何知识水平的用户都可以用它完成合约开发的整个流程，也是一个用于教学和实验 Web3 技术的实验室。 重大消息 为智能合约命名 从 Circom 电路生成前端 集成 zkVerify 用于验...
一、 引言 随着生成式人工智能（Generative AI）的爆发式增长，传统的知识产权（IP）保护与流转体系正面临前所未有的范式危机。大模型（LLM）在公网上无偿抓取创作者的作品进行训练，而创作者难以确权与获益；同时，AI 代理（...
在公链上，每个地址在协议看来都一样：一串带有余额的字符。基础网络中没有内置“认证投资者”或“受制裁实体”这样的字段。处理代币化资产的金融机构正在自行构建这一层，使用链上身份和访问控制机制，同时不破坏那种让网络从一开始就具备价值的开放性。...
引言 在人工智能（AI）呈指数级爆发的今天，AI Agent（智能体）正在从单纯的工具演变为具有独立经济行为的数字实体。然而，传统的 AI 开发与运营高度中心化，普通用户只能作为消费者，无法分享 AI 商业化带来的红利。 Vir...
即将到来的 Glamsterdam 升级包含 Gas 重新定价，可能会影响少量智能合约。 TL;DR 即将到来的 Glamsterdam 升级包含一组 Gas 重新定价。两项 EIP（均已计划纳入）调整了创建和访问状态的成本，...
想在Solidity里搞定动态数组，写出牛逼的智能合约？别慌，今天咱就来个硬核拆解，从底层存储到代码实现，带你把动态数组的每个细节掰开揉碎！动态数组在Solidity里可是个大杀器，灵活得一批，能存一堆数据，还能随时扩容缩容，简直是写合约的...
Solidity的动态数组，乍一看就是个能伸能缩的列表，简单得不行，但你真以为它就这么好搞定？别天真！这玩意儿在以太坊虚拟机（EVM）里藏着无数玄机，从存储布局到gas消耗，从数组操作到字节码细节，稍不留神就可能写出个天价gas的合约！...
前言 当Polymarket在2024年美国大选周期创下33亿美元的单月交易量，当Kalshi与Polymarket在体育博彩与政治预测领域展开白热化竞争，预测市场已从加密实验进化为新一代信息金融基础设施。特别提示：本文仅对相关项目...
我最近参加了 Real World Crypto（这里的 crypto 指的是密码学）及其相关的周边活动，其中一件事让我深受启发，那就是它让我更清晰地理解了区块链的用途。我们这些区块链从业者（包括我自己）常常倾向于从“我们是 Ethereu...
鸿途知科网
