行业

/ Web3完整软件栈先进形式化验证/CertiK最近发布了一份关于Cosmos SDK Bank模块的先进形式化验证报告，据我们所知，这是针对Cosmos SDK形式化验证的首次成功尝试。形式化验证是一项运用数学逻辑来确保系统符合规范，使其在所有可能的输入和条件下都如预期表现的技术。在本文中，我们将介绍形式化验证Cosmos SDK Bank模块的具体步骤...

原创 | Odaily星球日报作者 | 0xAyABase  生态基金于今天公布了生态基金的首批投资项目，基金会从超过八百多份的申请中通过了六份，这些项目分别是： Avantis 、BSX、Onboard、OpenCover、Paragraph 和 Truflation。Base 表示将与相关团队合作推动 Base 生态系统的发展，并将更多的构建者和用户引入...

Variant 合伙人曾在一篇文章中讨论过构建成功Web3社交网络的方法是资产优先，而不是意识形态优先。概述nofriend.tech是一个致力于将用户的社交变成资产的平台。nofriend.tech相信没有永恒的朋友，也没有永恒的敌人，只有利益是永恒和永久的。在nofriend.tech的X上，其宣称可以将友谊转化为代币奖励（$FT），并具有独特的代币分配...

原文链接：https://medium.com/@gryphsisacademy/recursive-inscription-the-cornerstone-of-btc-lego-and-complex-logical-products-e08bfd458b54撰文：@JellyZhouishere, @GryphsisAcademyTL;DR递归铭文作为...

综编：Felix, 加密货币交易所FTX前高管Ryan Salame已就涉及FTX创始人Sam Bankman-Fried（SBF）大规模欺诈案的相关刑事指控认罪。而不到一个月后的10月3日，法院将进行FTX创始人SBF的审判，这次认罪无疑会对SBF不利。30岁的Salame是FTX交易所位于巴哈马的子公司FTX Digital Markets的联席CEO，...

TL;DR递归铭文作为 Ordinals 最近的一次重大更新，为 Ordinals 协议的可组合性发展打开了广阔的想象空间。递归铭文是一种铭文解析标准，创建 PFP 合集铭文可通过上传对应的元素特征，可以进行组合拼接，无需上传或下载实际图片。递归铭文有增强互操作性、降低成本、让铭文大小突破 4MB 限制等特点。基于递归铭文的创意方向有：铭文拆解与组合、比特币...

作者: Solaire, YBB Capital前言稳定币一直是加密世界中最关键的一环，它们占据着整个区块链总市值的8.6%（约1245亿美元）。其中以美元和美债为抵押物的中心化稳定币一直占据主导地位，如USDT和USDC，但中心化稳定币始终受中心控制，比如Tether完全有能力冻结任何一个地址中的USDT，并且它们的安全由中心化实体保证。这显然不符合区块链...

Alex Blania 是 Worldcoin 的联合创始人，并将出席于2023年9月13日由 ScalingX 和 aelf 主办的 “Beyond Scaling” Token 2049 Afterparty。他将与 Worldcoin 的产品与工程主管Akarsh Sanghi一同亮相。在此活动中，他将揭示 Worldcoin 协议背后的愿景，并解答围...

今年，以太坊 L2 迎来了爆发增长，如同之前的公链爆发，大量项目方开始布局Layer2赛道。而 Arbitrum 作为 Optimistic Rollup 赛道的扩容选手，在今年 2 月随着Airdrop活动逐渐脱颖而出。我们采访了 Arbitrum 背后的团队Offchain Labs 亚太区负责人Nina、Offchain Labs 亚太区工程师 Jas...

TL;DR我们针对 EigenLayer 的商业模型进行了深入研究。在研究过相关数据和资料后，我们得出了以下结论：EigenLayer 可吸引的业务需求方（即中小型应用链）的数量并不会太多，且有很大可能会在未来逐步递减。早期，EigenLayer 业务的主要供给方 AVS（即节点运营商）有很大可能性会因为收益被吸引入场。但考虑到随之而来的安全性风险，AVS...