作者：Crypto Ann  编译：白泽研究院尽管比特币、以太坊和流行的山寨币等主要加密货币的形势严峻,但在链上世界深处,情况并没有那么的“血腥”.

在本文中,我们将介绍形式化验证Cosmos SDK Bank模块的具体步骤,以及一些验证结果。CertiK最近发布了一份关于Cosmos SDK Bank模块的先进形式化验证报告,据我们所知,这.

原文作者： sacha 原文编译：倩雯, ChainCatcher本文是对 Danny Ryan 一些观点（后文会具体呈现）的回应.

作者：Jason Choi,BlockCrunch 创始人；前 Spartan 合伙人；编译：Leo、Joyce.

两周前,DappRadar的一份报告显示比特币序数NFT销量从5月到8月下降了97%,引发了一场辩论.

几乎科技界的每个人都同意,对于我们可以用软件做什么以及我们可以用软件自动化做什么来说,生成式人工智能、大语言模型以及 ChatGPT 属于代际变化.

作者：Paul Veradittakit,Pantera Capital合伙人；翻译：金色财经xiaozou2017年,麻省理工Media Lab的一组研究人员在Wired杂志上声称.

撰文：Jamie Coutts CMT,Bloomberg Intelligence 加密货币分析师 编译：Luffy.

作者：TOM BLACKSTONE,COINTELEGRAPH；编译：松雪,金色财经Web3 游戏平台 Immutable 已开始与 Polygon Labs 合作对其 Immutable zk.

众所周知,Web3钱包是区块链用户的关键,但目前大多数钱包的用户体验并不是很好,这也是它获得大规模采用的最大障碍之一.

在过去的一周因为Curve的事占据了行业头条,Web3这个“黑暗森林”再次印证了它的属性,一旦被“点亮”就会引来更大的关注,而这种关注又会带来一种“反身性”——关注越高受到的冲击越大.

原文来源：Filecoin Network Filecoin 存储市场在 2023 年二季度持续增长,活跃交易量环比增长 64% .

“香港身份证要不要？” 各位知道这句话我是在哪听见的么,正是在我下班时地铁站的入口早就听说今年香港各种给政策抢人才,没想到现在关于香港落户的消息都渗透到上海地铁站了于是我赶忙去查了下资料.

2023年,投资机构与股民们,正向AI芯片领域的上市公司,发起夺命三连问： 你做存算一体芯片了吗？ （投资者向澜起科技提问 图源：同花顺财经） 存算一体芯片进度如何？ （投资者向东芯股份提问 图.

来源：bitcoinist；编译：区块链骑士彭博行业研究（Bloomberg Intelligence）分析师James Seyffart和Eric Balchunas根据近期的行业动态.

想象在热火朝天的牛市,你所有的加密货币都被盗了……这就是科罗拉多州的 Andrew Schober 的真实遭遇.

作者：Leon Han 元宇宙是一个关乎人类未来的网络空间。在本文中,我们引入了一个新概念：Meta-Enterprise（Meta-Enterprise）,一种高效、低成本的元宇宙公司架构.

原文作者：David 编译：深潮 TechFlow前几个月,关于账户抽象和智能合约钱包的讨论显得十分火热。随着以太坊生态的快速发展,实现统一和无缝的用户体验变得愈发重要.

作者：Ben Wee,medium 编译：金色财经,善欧巴今天,我们将探索以LSD支持的稳定币,这些稳定币为持有者提供了避免损失成本和赚取收益的机会,同时也保留了稳定币的关键属性.

7月27日,元宇宙平台「The Sandbox」宣布与「大英博物馆」达成合作,将为其自1753年创立以来的馆藏物品创建数字藏品（digital collectibles）.

作者：Crypto Ape Club 来源：medium 翻译：金色财经,善欧巴 介绍 EigenLayer已成为以太坊生态系统中的一个突破性概念.

随着 LSD 叙事的起势,LSD 赛道创新机制也是层出不穷,比如 frxETH V2,比如 Pendle,但今天给大家介绍一个新的 LSD 协议.

作者：lesley@footprint.network5 月 13 日,Line 旗下 NFT 子公司计划将于 2023 年发布五款 NFT 游戏.

Maker 正从一个古典 DeFi 协议转向 RWA（现实世界资产）方向.

作者：Yogita Khatri,THE BLOCK；编译：松雪,金色财经瑞士信贷与瑞士足协合作推出基于以太坊的 NFT 系列,以支持瑞士女足.

LSDfi协议为寻求收益的LSD持有者开启了新的机会。通过为流动性质押代币提供额外的使用案例,LSDfi激励了质押参与,并有可能加速流动性质押的增长.

金色财经 区块链6月22日 Arbitrum开发团队Offchain Labs今日发布Arbitrum Orbit开发工具、快速入门指南、以及Orbit DevNet链上工具.

据区块链安全审计公司Beosin旗下Beosin EagleEye安全风险监控、预警与阻断平台监测显示,7月2日,Poly Network跨链桥项目疑似遭受私钥泄露或多签服务被攻击.

直到今天,区块链技术依旧可以说是个新兴的技术,尽管区块链相关的基本概念（密码学、去中心化、点对点网络和交易）已经被研究了数十年,但直到 2008 年比特币诞生之后.

作者：MIX, MixWeb3 发起人Restaking 协议让 Eigenlayer 成为以太坊当下风头最劲的基础设施项目,核心团队 EigenLabs 获得 5000 万美元融资.

作者：Michael Zhu  编译：Lynn,MarsBit所有无论以何种有意义的方式运作的投票系统都依赖于完整性和透明度.

近期,在网络上火必裁员的文章和言论引发行业热议,根据火必员工维权群里流出的截图显示,一些在火必任职技术岗位的员工扬言要通过“删库”、“植入恶意代码”等偏激方式来向公司索赔.

作者： @whaleswoosh,编译：星球日报本文着重探讨了 Moonbirds 如何从备受期待的下一个 BAYC “沦为”了 Web3 中被炒作最终严重.

作者：金色财经cryptonaitiveTVL高达14亿美元的Multichain近期屋漏偏逢连夜雨.

Convex持有超过50%的veCRV,但cvxCRV的负溢价最高,Convex未来将向cvxCRV分配更多权益.

核心提示 “AI 换脸 10 分钟狂 430 万”新闻中直接利用 AI 换脸取钱款的行为人构成罪,若 AI 换脸技术的提供方与行为人共谋.