作者：王浩雄,北京青年报记者 8月31日,北京互联网法院召开新闻发布会,北京青年报记者在发布会上了解到,北京互联网法院院长姜颖在会上介绍了5年来法院的改革创新工作.

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

作者：Matthew Green,编译：火火/白话区块链最近,一位读者写信问我是否愿意看看 Sam Altman 的Worldcoin,大概是从隐私的角度来思考它.

作者：Uniera,medium 翻译：善欧巴,金色财经技术进步带来了一种新的金融处理方式：基于区块链技术的 DeFi（去中心化金融）协议.

作者：DAOrayaki科技巨头正在展开一场高风险的战斗,以创建结合数字身份、信息传递、支付和人工智能服务的主导“一切应用程序”.

作者：林克,《极客Web3》导语：自Solana逐步衰落和OP发行Token以来,Layer2和Rollup似乎成为了无数Web3从业者新的港湾.

Arweave 最近推出了通用数据许可证（UDL）,这是一个新功能,旨在为 Web3 中的创作者提供更大的内容控制权。这是通过允许创作者定义其内容被他人使用的许可证来实现的.

作者：金色财经cryptonaitive美国SEC起诉Ripple代币XRP是证券案近三年后,终于有了部分结果。但从法官判决看,Ripple代币XRP到底是不是证券仍热处于“薛定谔”状态.

作者：Daniel LiSEC对币安的起诉风波是过去一个月内加密行业最大的事件,受此事件影响,绝大部分的加密资产在过去的几周内价格都出现腰斩的情况,刚刚进入小阳春的加密市场又再次陷入熊市的阴霾.

作者：Emperor Osmo,加密KOL；翻译：金色财经xiaozouBinance Labs今年一直在大举投资。这家价值90亿美元的风投巨头以200倍的回报率而闻名.

作者：0x1987 摘要 近期美国SEC起诉币安,并将多个代币认定为证券,引发市场对于山寨币的抛售,恐慌情绪蔓延.

2023年6月12日,基于区块链的AGI算力市场协议Gensyn宣布完成4300万美元A轮融资,a16z 领投.

在以太坊主网上的每一个操作都要花费一定的 Gas,如果我们把跑基础应用所需的计算量都放在链上,要么 App 会崩溃,要么用户会破产.

作者：Vitalik,以太坊创始人；翻译：金色财经cryptonaitive 在《以太坊生态系统需要三个技术转型》一文中,我概述了为什么明确考虑L1 +跨L2支持、钱包安全性和隐私作为以太坊生态系统堆栈的必要基本功能,而不是作为可以由单独的钱包单独设计的附加组件的关键原因。

链上数据显示,由于近期 CRV 价格的再次下跌,Curve 创始人 Michael Egorov 于昨日再度把 3800 万枚 CRV（ 2450 万美元）存入 Aave.

大家好,我是 everVision 的创始人 outprog。今天非常高兴能参与 Arweave 5 周年庆典.

据rootdata数据显示,2022年,加密行业筹款金额为267.7 亿美元,融资笔数为1528 笔,而在2023年上半年,加密行业的筹款金额大幅下降,近半年来.

随着全球金融格局的转变,去中心化金融 (DeFi) 正在展露头脚,成为更多传统机构的替代方案。 在充满活力的 Cosmos 生态系统中,Hover 正在成为满足借贷需求的领先协议.

作者：Nikhilesh De, Jesse Hamilton,CoinDesk；编译：松雪,金色财经负责监督美国证券交易委员会对 Binance 和 Binance.US 案件的联邦法官拒绝下.

在现有的主流区块链网络中,由于自身吞吐量的限制,在使用量激增的情况下,使用户不得不支付相当多的 Gas 费用,同时共识机制带来的高延迟,也大大影响了应用的响应速度.

来源：Go2 Mars Capital Vertex Protocol是建立在Arbitrum上的垂直整合应用程序,即跨合约的去中心化交易所（DEX）协议,它可以为用户提供现货、永久合约和一体化的货币市场。Vertex致力于打造全新的垂直继承交易所,该交易所能够将DeFi的安全优势与CEX便利的优势结合起来。

作者：forkast；编译：松雪,金色财经据彭博社报道,摩根大通公司已与印度顶级私人银行启动了一项试点项目,通过其区块链平台 Onyx 进行银行间美元交易结算.

作者：Jacob Oliver ,CryptoSlate；编译：松雪,金色财经当美国努力应对数字资产分裂且动荡的监管环境时,加拿大的一些立法者正在尝试采取更全面的做法.

https://inftnews.com/最近埃隆·马斯克（Elon Musk）收购推特的举动引发了热议。一方面,一些用户认为这位特立独行、做事说一不二的亿万富翁可以真正充分发挥平台的巨大潜力.

原文：《MEV: The Next Five Years》by James Prestwich编译：aididiaojp.eth.

原文：《Account abstraction, the new shiny object in crypto》作者：Dana J. WrightAccount Abstraction（账户抽象.

作者: Ian Xu@Foresight Ventures目前AI + Crypto结合的点主要有2个比较大的方向：分布式算力和ZKML；关于ZKML可以参考我之前的一篇文章.

以太坊很快将迎来上海升级,这将使ETH质押用户能够解除自信标链启动以来质押的ETH。同样,那些提供ETH质押服务的DeFi也必须即时升级.

编译：Karen,Foresight News香港要监管什么？哪些主体会被监管？下一步是什么？香港金管局今日发布长达 36 页的《关于加密资产和稳定币的讨论?件结论》.

▌1月份加密衍生品交易量环比增幅76.1%,达到2.04万亿美元金色财经报道,据CryptoCompare的数据,1 月份交易活动全面强劲增长,但衍生品交易量增长快于现货市场.

2 月 9 日,SEC 宣布与加密交易平台 Kraken 达成和解,Kraken 同意「立即」停止为美国客户提供链上质押服务.

作者：Jiawei, IOSG Ventures本文为IOSG原创内容,仅做行业学习交流之用,不构成任何投资参考。如需引用,请注明来源,转载请联系IOSG团队获取授权及转载须知.

2 月 9 日上午,社区传言称美国 SEC 计划禁掉所有散户进入加密市场的通道,切断银行和加密行业之间的出入金业务,类似于”美国版 9?4",这个传言立马引发了加密市场的雪崩.

作者：Eric | Puzzle Ventures(@ericych2)如果看?下最近3个?的NFT交易量市场流量排名,不难发现Blur的总交易量超过了OpenSea.

图片来源：由Maze AI工具生成北京时间 2 月 2 日一早,Facebook 母公司 Meta 发布了 2022 年第四季度（Q4）和全年财报,数据显示,Meta 的营收和利润「双降」.

ChatGPT的爆火引爆了AI行业,全球科技巨头争相杀入这一领域展开混战。周五,Meta也宣布推出大型语言模型LLaMA,加入到由微软、谷歌等科技巨头主导的AI“军备竞赛”中.