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

作者：Marcel Pechman,Cointelegraph；编译：松雪,金色财经3 月 10 日至 18 日,以太坊价格飙升 31.3%.

去中心化稳定币的黄金时代来临了吗？不要被稳定币总市值从1800多亿美元下跌至1250亿美元（DeFi稳定币仅占9%）所误导.

作者：Russian DeFi,编译：Block unicorn模块化区块链可能会使传统区块链变得过时.

摘要 数字加密生态与传统金融互为需要。虽然在基础设施不完备的情况下,结合面并不完全契合。两者结合,目前还是能够解决实际问题。单纯区块链技术的引入无法解决司法权的割裂.

撰文：Viktor DeFi,DeFi 研究员编译：0×11,Foresight NewsFantom 生态正在快速发展,出现了许多令人兴奋的机会。如果你正在读这篇文章,你仍然是早期探索者之一.

以太坊的质押从2020年11月开始,直至最近的上海升级才开通赎回功能,随着质押率的上升,质押收益率也在不断下降.

核心观点： Cosmos：当前版本的 ICS 将在 2023 年陷入困境Cosmos：网状安全性将导致验证者中心化问题Celestia：数据可用性采样（DAS）将彻底改变区块链的发展2023 年.

来源：Fred Wilson、Katie Haun本文的发现有点巧,笔者在11月13日,针对FTX和目前加密市场的情况,在推特上AT了USV的合伙人Fred Wilson.

摘要 作为第三代区块链,Cosmos SDK和Tendermint BFT降低了开发和运行公链的门槛.

Cosmos和Polkadot被称为“跨链双雄”,这两者其实一直在拼力追赶以太坊。但前段时间两者生态都遭遇了不同程度上的打击：Cosmos上的Terra暴雷,带崩市场；波卡上Acala出现铸币错.

合并,Surge,Splurge……融合？Cosmos和以太坊的链间终局4.2亿年前的志留纪末期,有颌鱼类分化为软骨鲨鱼(和鳐鱼)和它们更为坚硬的表亲硬骨鱼.

本文来自 Medium,原文作者：Andre Cronje。近期,Yearn.finance 创始人 Andre Cronje 在其社交平台晒图暗示或将复出.

我们正进入这样一个时代,一个诸国秩序将发生变化的时代,一个随时可能点燃战火的时代。在这个时代,军事需求将不断挤压民用需求,全球性通胀在这样的背景下难以停止.

金色财经报道,8月12日消息,Cosmos开发团队informal发布了Cosmos跨链安全的链间安全代码v0.1,该版本为链间安全代码v1的预发布版本.

作者：Yogita Khatri   翻译：Penny作为一个为期一年的试验的一部分,加拿大的一个市政局将在下个月开始接受比特币支付房产税.

概览 经过StaFi核心开发团队及社区贡献者的彻夜努力,解决Cosmos质押流动性的rATOM产品经过多方测试已成功上线主网.

Gatling Finance V2复合矿池今晚20:00点正式开启。DeFi流动性挖矿火爆一时,吸引了大量投资者参与.

原文作者：红军大叔 译者按 1、作者对Cosmos的理解侧重在于消费链的个性化以及staking这一层面, 对IBC的价值,以及基于此的互操作性阐述较少.

Evmos 连接了两个最重要的公链生态,即具备互操作性的 Cosmos 生态和拥有庞大开发资源和用户群体的 EVM 生态,不仅仅是以太坊.

今年3月,2022年全国两会在北京召开,各代表委员积极建言献策。会上,全国政协委员孙洁关于聚焦利用区块链技术推动新就业形态劳务人员社保共治共享的议案引发人们关注.

澳大利亚已加入计划监管加密货币行业的国家之列,政府宣布了对支付系统进行重大改革的计划,该改革也将针对数字货币.

随着Kava 9主网对Cosmos IBC的成功整合及知名公链Terra、Binance Chain等在Cosmos生态上的部署,Cosmos生态得到了越来越广泛的关注.

有传言称,Opensea的智能合约被一名黑客利用,该黑客目前已从32名交易者那里抽走了超过170万美元的资金和数十个有价值的NFT.

金融研究公司FSInsight在一份新报告中预测,到2022年底,比特币可能达到22.2万美元,以太坊可能达到1.2万美元.

历史告诉我们,人类总是依靠某些外在物质来彰显自己的身份和个性。从早期文明城市挖出的独特文物证明了这一点。我们渴望得到关注和脱颖而出.

Cosmos是Tendermint团队推出的一个支持跨链交互的异构网络,它是一个使用IBC（区块链间通信）协议交换数字资产和数据的应用程序和服务生态系统。 Cosmos 被誉为「区块链的互联网」,也被认为是区块链的 3.0 版本,旨在解决区块链交互操作和可扩展性问题,其区块链间通讯协议可以实现区块链的互联,支持不同区块链之间的资产转移。

2021年被称之为“元宇宙元年”,也迎来了元宇宙商标注册的热潮,2021年全年,注册的元宇宙商标数量占目前元宇宙商标总数的99.9%.

渴望成为“区块链互联网”的 Cosmos 在 2021 年已经产生了巨大的增长,拥有超过 260 个区块链项目.

上期我们介绍了公链大战中争夺铁王座势头正猛的两名竞争者Cardano与Solona,本期我们接着来聊聊其他几名种子选手.

金色财经获悉,4月21日,隐私AI计算网络PlatON正式公布其主网上线的社区验收流程,并即将于4月25日中午12时29分完成主网预部署的第一阶段工作.

对本就一无所有的人,动荡才意味着希望。芬兰赫尔辛基的冬天冰冷漫长。12 年前的严冬,在赫尔辛基的一台小型服务器上,中本聪生成了创世区块和第一批 50 个比特币.

未来的艺术将由 NFT 赋能。 而这就是为什么在将来的某一天拍卖行和博物馆会像过去处理实物作品一样定期处理 NFT。这些数字资产定会成为新的常态,虽然这将是一个缓慢的过程。 虽然我们离这个「未来」还有一段距离,但我们已经开始看到通向未来的无限可能。

2020年6月5日,北京环境交易所、微众银行及北京绿普惠网络科技有限公司（简称绿普惠）于“世界环境日”在北京联合举行 “绿色出行·科技普惠”线上发布会.

本文,将定期梳理固定时间内,为行业用户带来重大期待的主流项目技术的细节进程。目前包含比特币网络、以太坊网络、EOS、波卡、COSMOS、超级账本、Filecoin,消息源来源于各公告发布处.

5月12日,加密行业最令人期待的事件之一即将到来。2月8日,距离比特币第三次减半仅剩91天,之后,比特币网络的挖矿奖励将从12.5BTC减至6.25BTC.