链资讯 链资讯
Ctrl+D收藏链资讯
首页 > Bitcoin > 正文

加密货币:Bankless合伙人David:火人节探秘——不可阻挡的DAO实验和世界上最大的网络国家_比特币

作者:

时间:

本文是Bankless普通合伙人David Hoffman撰写的一篇火人节现场笔记,作者感觉到加密货币人和火人节的燃烧者之间存在着某种联系。成为前者,就也有可能成为后者。反之亦然。

我刚从内华达州的黑岩沙漠回来,每年有一周的时间,成千上万的人聚集在那里参加一年一度的“火人节”。

在加密货币领域工作 6 年多后,我发现加密货币人和火人节的燃烧者之间存在着某种联系。成为前者,就也有可能成为后者。反之亦然。通过这些关系,我被告知加密人和火人之间有很强的相似性,但我从未具体理解其中的原因。

因此,十年来,连我自己的“火人之父”都对我说:“David,你一定要去火人节”。后来,我又与许多加密货币公民建立了关系,他们也对我说过同样的话——今年,我决定去看看到底是怎么回事。

Bankless国度——就像加密货币一样,火人节也是一个兔子洞。

就像加密货币一样,当你进入火人节的世界时,你同时也将旧世界抛在了身后。你穿上了新的角色……你选择了一个新的角色。你探索新领域。这些东西是有联系的!火人节和加密货币之间的联系不仅仅是隐喻。火人节和加密货币是具有共同目标和价值观的平行运动。

因此,对于所有阅读本文的加密货币人士,请像要求其他人对加密货币持开放态度一样敞开心扉。对于那些第一次接触 Bankless 的 Burners,欢迎! 我不期望我们成为同一群人,但我希望我们能够相互理解,因为如果我们的一个行动成功,另一个人就会更容易做同样的事情。

这篇文章很长——有很多话要说! 为了设置我想在这里展示的强有力的笑点,我们将从火人节 101 开始介绍 Bankless 宇宙中经常使用的主题和概念。到最后,你会注意到焦点转移到共同点上……

无银行国度,我们知道加密货币是未来的味道。你来这里是为了抢先抓住机会——为我们都知道不可避免的奇怪、古怪的未来做好准备。火人节也是一样。它的文化和价值观有一天会与你的生活发生冲突,而你的生活可能已经在很多方面发生了冲突。如果您继续阅读,您就会做好准备。您将知道如何识别它,并希望接受它的本来面目:一场想要改变世界的乐观社会运动。

火人节 101

首先,一些基础工作。

火人节是一年一度的活动,在美国内华达州黑石沙漠中部举行。这是在美国公共土地上举办的最大型活动,而且规模每年都在扩大。1987 年的活动最初只有几百人参加,后来逐渐扩大到去年约有 75,000 人参加。

ZA Bank成为HashKey Exchange首家结算银行,为用户提供法币提存服务:8月31日消息,香港众安银行(ZA Bank)宣布成为香港持牌虚拟资产零售交易所HashKey Exchange的第一间结算银行(settlement bank ),开始为持有ZA Bank账户的投资者提供法币提存服务。即日起,ZA Bank用户可通过ZA Bank App转账港元及美元到HashKey Exchange并在该平台进行交易,之后亦可从HashKey Exchange转出港元及美元到ZA Bank个人银行账户。

目前ZA Bank尚未提供虚拟资产零售交易服务。银行持有由证监会颁发的第1类受规管活动(证券交易)牌照,向用户提供基金投资服务。(DeThings)[2023/8/31 13:09:24]

“黑石城”是合法认可的城市(*配有邮局!),每年仅一周就会出现在黑石沙漠中部,并且很快就会被移除。需要明确的是,黑石城距离黑石沙漠周围的城镇并不近。最近的国际机场位于里诺,距离酒店有3小时车程。

黑岩城呈放射状,而“人”位于圆的绝对中心。最里面的街道 A 的直径约为 2 英里,留下了一片完全平坦、尘土飞扬的沙漠的广阔空地,供黑石城的居民们在上面活动。街道像时钟一样协调,从中心向外,每 30 分钟运行一次,每 15 度运行一次。可以通过“I'm at 8:30 and C”向其他 Black Rock 公民传达你的位置。这个组织的架构非常有利于火人节的新兴特性,我将在稍后讨论。

一座 100 英尺高的木雕“The Man”矗立在海滩中央的时钟中央。正如你可能已经猜到的那样,每年的火人节的结束都以人的燃烧为标志 。

“你为什么要烧死这个人?”“这样我们就可以再次建造他!”

黑石城的中央规划也应该告诉读者,火人节并不是无政府状态。虽然 TradSociety 可能会看到火人节并想到无规则的无政府状态,但这与事实相去甚远。火人节是一个高度协调的现象,由 200 多名常年工作人员、数千名志愿者以及一套体现文化和维护和平的最低可行规则推动。

在活动期间,火人节的工作人员在重新调整火人节“营地”的位置方面发挥着微妙但重要的作用,以帮助维持和扩大火人节的力量,为明年的扩大做好准备。我将进一步描述这一点。

LBank蓝贝壳于5月21日21:00上线AGE,开放USDT交易:据官方公告,5月21日21:00,LBank蓝贝壳(LBank.me)上线AGE(AGENOR),开放BTC和USDT交易,5月20日21:00开放充值,5月22日21:00开放提现。资料显示,Agenor旨在推动人们期待已久的加密货币的大规模采用,为每个业务运营带来效率,安全性,透明度和可靠性。在加密货币生态系统中,Agenor将成为由我们提供支持的实现加密货币大规模采用的平台,确保世界上每个人在日常生活中进行交互并使用加密货币的项目。[2021/5/20 22:24:41]

营地又名 DAO

火人节“营地”是建立起来的,每年都会有一群人定期来到火人节。拥有超过 1,500 个已建立的营地,这个坚定的燃烧者基地的一致性为 Burners 运动的发展奠定了基础和稳定性。

每个营地都是独一无二的,有其起源故事、营地成员以及它为海滩带来的东西。虽然营地成员和营地领导人可以来来去去,但营地本身仍然存在。像所有生物一样,营地会随着时间的推移而适应。它们生长、缩小、变化并对环境做出反应。营地的大小不一,可以有重要、复杂的生活和娱乐结构,也可以是一圈房车。

随着营地发展到一定规模,集中的资源共享变得至关重要且经济合理。较大的营地拥有全年维护的实物财产,等待下一次燃烧——发电机、冰箱、冰柜、炉灶、烤箱、淋浴和遮阳伞都是中型和大型营地经常拥有和运营的实物物品,使各个营地成员能够使用以具有挑战性的物流换取每年的营地费用。

营地通常是集中开始的,通常是在一位积极主动的领导者召集他们的朋友和家人“来火人节一次”之后,随着营地的发展和壮大,他们的领导团队也在不断发展和壮大。通常,营地领导人会离开,营地也会延长自己的生命。即使营地领导层更替,营地财产仍由不断变化的营地成员维护。

DAO 中的任何人都应该熟悉这样一个事实:一小部分 DAO 工作人员将整个组织凝聚在一起,并且营地费用经常向所有参加成员收取,以帮助维护营地的完整性和资源。

火人之国的这种自下而上的组织是其最大的优势之一。每个营地都是一个自治管理区。每个阵营都可以自由支配自己的内部运作、社会契约、行为准则和成员。营地可以选择支付或不支付工资。他们可以驱逐不尊重的成员,也可以不驱逐。营地可以做任何他们想做的事情,这种自由使得营地能够随着时间的推移不断成长、改进和适应。每年火人节到来时,每个营地所做的个人改进都会为火人节的净总能量做出贡献,也是火人节运动对数增长的核心驱动力之一。

LBank将于9月11日20:00启动等值200万USDT的CPH专场售卖:据官方消息,LBank将于9月11日20:00-?9月14日 20:00开启CPH专场售卖。本次售卖额度等值200万USDT的CPH。认购后的释放机制:上交易所前释放20%,上所后第一个月、第二个月、每个月释放10%。上所后第三、第四、第五、第六个月每个月释放15%。

(CPH)Cypherium 是一个采用混合共识机制(POW+ HotStuff-BFT)的公有链,支持 Java 虚拟机及编程语言的智能合约,降低智能合约开发门槛并对接庞大而完善的 Java 生态。Cypherium 的愿景是将区块链技术带入大规模商用时代。通过搭建了 POW+HotStuff 的双层架构,分离智能合约执行与验证,从而达到更好地解决区块链的可扩展性问题,并保持完全无需许可去中心化。[2020/9/11]

营地提供服务和娱乐

不是每个营地,但大多数营地都为黑石城的 Burners 提供了 一些参观的理由。每个阵营带来什么激励是完全开放的。 这是火人节最突出、最有趣的部分之一——从一个营地走到另一个营地,发现他们提供什么、你可以见到谁以及你可以做什么。它是火人节体验的核心组成部分。

典型的营地设有一个酒吧,任何燃烧者都可以走到那里喝一杯,但从那里只会变得更加古怪。

我参加了一个品酒营,侍酒师带我和我的朋友品尝了 3 种不同类型的希腊葡萄酒。

有一个烤奶酪营地 ,你可以坐在桌子旁,享用 3 种不同的烤奶酪。

有一个“谷物惊悚片” 营地,这是一个你可以坐在里面的酒吧,提供大约 20 种不同的谷物早餐,你可以一边吃一边听迈克尔·杰克逊的 Thriller 和背景音乐。

炸玉米饼、泡菜和泡菜汁、石油摔跤、俱乐部、音乐场所、迷你推杆、瑜伽、教育讲座、蹦床、自行车修理……营地可以提供任何东西。

火人节营地为您提供黑岩沙漠中部的体验。火人节的营地太多,无法全部体验——再次强调,营地数量超过 1,500 个!

营地的重组

这就是事情变得有趣的地方。每年,在火人节进行期间,火人节工作人员都会四处走动并参观营地,亲眼目睹每个营地所提供的服务并评估营地在黑石城内的定位。

和所有城市一样,黑石沙漠的房地产也有好有坏。 有抱负的营地想要最多的人流量。谁不想拥有最好的派对? 最里面的街道和放射线的中心是火人节最繁忙的大道,而更远的街道是更偏僻的郊区。

根据营地的质量、所提供服务的价值和性质以及整体氛围,火人节中央组织将“赞成”或“反对”您营地的定位。

“LBank和他的朋友们-2020百城计划”西安站完美收官:据官方消息,2020年9月6日,由LBank和金色财经联合主办,AVF、PDF、ESC、ODIN、FOUR、CCXX、TT、TokenBuster、Token War、八宝饭财经等多家机构支持的“LBank和他的朋友们-2020百城计划”在西安举行并完美收官。LBank Jody、AVF理事长Martin、梧桐资本联合创始人PDF投资人索斗、雷神Thor联合创始人米拉、ESC早期步道者 Tony、Token War 社区联合创始人良哥、八宝饭联合创始人王实等出席会议并发表演讲。 “百城计划”会议的宗旨是提供区块链行业当地资源的交流、分享以及裂变的机遇。希望通过本次西安的活动,可以带来更多项目启发与合作机会。[2020/9/6]

您是否承诺在一周内参加一系列由营地协调的社交活动,但您只完成了其中的一半?预计明年会进一步推迟。您是否每周都举办受欢迎的活动或提供有价值的服务?你会被提升!你们根本不提供任何服务,或者你们根本就不是一个营地吗?没关系!你将生活在边缘,让已建立的营地向中心移动。

除了一些常识性的平衡(将音乐场地放在郊区、设置自行车维修营地等)之外,每年营地的重新调整也使得火人节得以不断优化,使该活动成为一个适应性强、灵活的有机体可以对其条件做出反应。这个简单的协议,加上每个营地有机增长的复杂性,使得一个自然的 混乱 组织随着时间的推移而出现和加强。

DAO 的一个反脆弱 DAO

营地发展是火人节每年增长 5-10% 的原因。这一属性使火人节的结构具有天然的弹性。

营地可能会消失并被取代。营地规模过大可能会分裂成更小、更和谐的社会群体。具有强有力的领导力、协调性和复杂性的营地可以随心所欲地发展。最大的营地可以最大程度地减少营地费用,并为其居民提供更多的基础设施,同时也改善为黑岩普通民众提供的服务。

工人们利用火人节的这一新兴财产,用更好的火人节房地产奖励更强大的营地,并通过为他们提供更多的曝光来感谢他们的服务。

但我们要问: 为什么阵营想要曝光?提供服务的动机是什么?更多的人流量真的是一种激励吗?

火人节的一个极其重要的规则和原则是 不花钱 、 不商业化。在火人节上,钱唯一有用的就是冰。您可以购买冰块来保持凉爽并防止食物变质。除此之外,如果你想要什么东西,就必须以物易物。而且,如果你想要什么,人们可能就会给你。当然,在合理范围内。

也许让公众消费你的食物、酒精和产品并不是 TradSociety 的理性激励, 但火人节不是 TradSociety。火人节遵循奉献和服务的原则。当然,并不是每个人都愿意为他人花费资源,但火人节规模已超过 70,000 人,这一事实表明,有足够多的人愿意提供足够的价值和服务来支持 70,000 人持续 7 天, 甚至当这样做在经济上不合理时。

德克萨斯州对数字货币银行平台AriseBank禁令正式生效:美国德克萨斯州银行部门表示,对数字货币银行平台AriseBank颁发的禁令已经生效。该部门的银行专员Charles G. Cooper表示,AriseBank没有在该州获得经营银行业务的授权许可。1月26日美国证券交易委员会和联邦调查局于对AriseBank的办公室进行了突击检查。[2018/1/29]

火人节的这一元素赋予了它如此强大的力量。从经济和资本主义角度来看,火人节没有意义。每个人离开火人节时所带的金钱和资源都比参加时少。火人节是不可持续的。但它确实有效。每年都有更多的人回来。每次都提供更多更好的服务。城市在发展!

那么,如果火人节不是建立在经济理性之上的,而是一座不断发展、运转良好的城市,那么它是靠什么支撑的呢?火人节的根基是什么?火人节的能量正在增长,但为什么呢?如果不是资本主义,火人节的基础是什么?

我无法为你回答这个问题。这个答案以人们在活动中获得的经历的形式出现。我有我的,但你需要得到你的。这就是为什么你认识的每个参加火人节的人可能都会对你说:“你至少需要去一次”。

夜间火人节

一年中的 51 个星期,黑岩沙漠都是一片黑暗的景象,星星是最亮的光源。但一年中的某一周,人们的身体、自行车、营地和艺术汽车上安装了数以百万计的 LED 灯,海滩变得生机勃勃。

晚餐结束后,太阳落山,火人节的居民们拿起他们的 LED 自行车,打开他们的艺术车,来到中央海滩——火人节的竞技场。

虽然这些玩家在白天也都在场,但在夜间,整个普拉亚的表现大于其各个部分的总和。

火人节艺术车是围绕汽车底盘建造的移动艺术装置。它们是可驾驶、可骑乘、发光的艺术品,每一件都与上一件一样独特。有些只能容纳一个司机,比如我今年看到的漫游 Roomba 艺术推车,而另一些则可以容纳整个舞台,人们在 DJ 后面跳舞,为周围的环境表演。

艺术家来到火人节并竖立固定艺术结构供所有火人欣赏。如果这些艺术装置没有内置灯光和 LED,那么它们就会有外部泛光灯指向它们,以确保没有人在漆黑的夜晚撞到它们。

每个 雕塑都以某种方式被点亮。

一些艺术家选择在火人节上焚烧他们的创作,花费数月的时间创作艺术品,然后解构它,将其运送到海滩,为火人节重建它,然后点燃它。

我不太明白为什么,但我想这比把它带回家容易。

每个人在火人节都有一辆自行车。每个人。普拉亚太大了,无法步行体验!

每个人都用 LED 灯来装饰他们的自行车!事实上,不这样做是非常危险的。虽然这主要是为了安全,但这并不是这种社交协议出现的唯一原因。当成千上万的人穿着 LED 服装,骑着 LED 自行车,在 Black Rock 海滩上巡游,躲避 LED 装饰的艺术车,停下来观看闪亮的 LED 艺术装置时,令人惊奇的事情发生了。

LED 就这么多。火人节的原则之一就是参与,晚上佩戴 LED 灯在海滩上跳来跳去是火人节最基本、最简单的参与形式之一。只要穿着 LED 服装参加这个节日,您就为普拉亚举办的灯光节做出了贡献。

大于各部分之和

当超过 10,000 名特工与其他友好而开放的人类一起在一个开放的沙漠海滩周围奔跑时,有 LED、现场音乐和有趣的艺术,某种魔力就会出现。

时间被遗忘了。此时此地已被提升。友谊是可以培养的,即使它们只有几个小时或几分钟。在世界上任何其他地方,您都无法在永无休止的 LED 森林中航行,同时又远离 TradSociety,以至于做任何工作、家务或差事的概念永远不会进入您的大脑。您被允许在场,并具备这样做的完美环境。

这种背景在夜间和白天都会出现,因为火人节的一切都是谢林点。

火人节没有强迫。你没有被迫做任何事情。虽然火人节的原则之一是“参与”,也就是说,你应该做某事,但那件事是什么完全取决于你。无论您是晚上在普拉亚骑自行车,寻找艺术装置来捕捉您的目光,还是白天在城市中漫步,寻找一个营地做点什么,火人节的一切都在竞相捕捉你的注意力。

火人节的每个人都是飞蛾和火焰。

火人节的飞蛾选择在哪里以及如何聚集在一起取决于宇宙的命运,并且最终也是火人节本身的体验如何体现的。

由于您没有被迫做任何事情,因此在火人节上出现的活动和行为都是自愿发生的。火人节上看重的人物和事物取决于每件事物的吸引力大小。随着火人节最强谢林点的中心性每年略有调整,火人节的总亮度每年都在增加,其意义也随之增加。火人节运动的目的和目的有机地找到了它的舵。

下议院节日

在我第一次体验海滩上的 LED 灯时,我想起了 Andreas Antonopolous 的“公地节日”概念,这个想法与公地悲剧相对立。

火人节是一个公共场所,像所有公共场所一样,它需要受到关注和照顾。但由于火人节的基础不是资本主义,其公地的性质得到了不同的表达。虽然 TradSociety 的公共资源需要政府保护免受剥削,但火人节的公共资源自然会发现自己每年都在增长,而没有任何军队强制保护。指导火人节社会的原则和社会协议有利于安德烈亚斯·安东诺普洛斯的“公地节”,参与的人越多,公地的质量和供应自然会增长和改善。

当白天变成夜晚时,只需参观 LED 灯下的海滩,您的存在就会为城市中心举办的大型灯光节做出贡献。看到数以万计的 LED 物体在沙漠中随机移动是一种壮观的景象,只要身临其境,你就为这一切做出了贡献。

通过将您的营地从一组帐篷发展为带有酒吧或活动的结构,您可以增加火人节提供的服务的总价值。

在我看来,这是加密货币和火人节之间最显着的重叠。最小可行的规则集,能够出现不可预测的行为和活动,这些行为和活动自然而有机地指向扩展支持运动的基础的数量和质量的同一方向。

新的社会结构

火人节并不是社会。

火人节是一个门户网站。你走进去,然后从另一边出来。你进入了一个新的存在平面,其中经济是非理性的,组织是新兴的,表现力是无限的。现代社会对普通人施加的限制在火人节中找不到。

就像加密货币一样,火人节也是狂野的西部。

当你进入加密货币时,你就选择了新的生活。你选择一个新角色。你定居在一个新的风景。当进入黑石城时,你也会做同样的事情。

火人节是一个另类社会,其新文化基于特定原则,有助于扩大其所建立的价值观。当社会的束缚和压力解除后,你会成为谁?你会选择如何行动?你会怎么做?

在火人节上可以做的事情比一个人一生所能经历的还要多,这可能就是为什么每年都有如此多的燃烧者像发条一样回来,以及为什么许多人选择在这一年的剩余时间里仍然与其他燃烧者一起生活,在其他燃烧者身边或周围生活。

势不可挡的运动

迄今为止,火人节是世界上最大的网络国家。我在这里非常广泛地使用网络状态的定义,但由于它还没有正式定义,所以我认为我完全符合这里的规则。

火人节的主要中心是 8 月最后一周在黑岩沙漠举行的可容纳 7 万人的活动。但由于世界各地举办了数百场地区性衍生活动,火人节运动可以在公民选择的时间和地点进行。燃烧人之国无国界、无国界,是现有增长最快的新兴市场之一……

人们聚集在一起创建营地。营地组合在一起形成街道,黑石城的街道合并在一起形成火人节。但现在,各个火人节衍生品已成为一场更大的、去中心化的社会运动的一部分,该运动的基础是扩大火人节的文化和价值观。

火人节的几何增长不容小觑。在加密货币中,我们很幸运只需要关心移动比特。加密货币存在于互联网上,而加密货币的成功与原子状态无关。这是加密货币最乐观的事情之一:比特比原子更容易操纵。

火人节是原子的运动。这是困难模式下的一场运动,但它仍然取得了胜利。火人节运动每年说服数十万人花费资源,转移他们的身体、汽车和生命,参与社会的替代规则集,而且它确实 有效。

目前尚不清楚火人节运动的规模能达到多大,但经过 36 年至少 10% 的同比增长后,火人节的规模尚未找到极限。最终,无论你是否知道,火人节很可能会找到进入你生活的方式。从很多方面来说,它可能已经做到了。

在加密货币中,我们说,“这里有适合每个人的东西”,在火人节上也是如此。与加密货币一样,火人节的早期也是由不适合 TradSociety 的社会激进分子定义的。与加密货币一样,火人节正变得更加主流。加密货币和火人节正在适应变得更加温和,而社会也在成长……有点狂野?

和加密货币一样,火人节也是未来的尝试。未来神经分歧将正常化,老化的机构将被忽视。火人节和加密货币都表示,“让我们从头开始重建社会,看看会发生什么。” 我们都是社会结构和协调方面有机的、反脆弱的、去中心化的实验。火人节和加密货币是超越民族国家的不可阻挡的运动。我们都是想法。我们都是瓶子里的精灵。我们的社会拥有我们所信仰的价值观,并且由积极进取的实干家组成,他们将在努力践行我们所坚持的原则的过程中死去。

结论

我不知道我是否会成为终生的 Burner。虽然参加 2023 年的火人节是一次令人大开眼界、改变生活的活动,但我不确定是否每年都适合我。但我现在明白为什么每个人都说“你至少需要去一次”,尤其是我自己的父亲,他今年终于说服我和他一起去。

但我确实知道我写这篇文章的目的是发送给我的朋友们,让他们了解火人节的魔力。我没有说“伙计们,相信我……我们需要去”,而是写这篇文章来帮助说服他们需要去火人节……至少一次。

对于那些同意的朋友,我将自愿作为营地负责人来协调我们的营地。也许这就是一切的开始。

2024 年火人节见

MarsBit

媒体专栏

阅读更多

白话区块链

神译局

Gryphsis Academy

CertiK中文社区

新浪科技

元宇宙之心

金色早8点

Web3小律

ForesightNews

吴说区块链

标签:加密货币VITLBank比特币加密货币市场行情TAVITT价格lbank交易所怎么样比特币美元最新价格

Bitcoin热门资讯
VIT:晚间必读 | 灰度胜诉业内人士怎么看?_比特币sv今日最新价格

尽管美国证券交易委员会主席加里·根斯勒 (Gary Gensler) 等美国监管机构不怀好意地声称,在加密货币方面“多年来一直很明确”,但欧盟在 4 月份通过了加密资产市场法案(MiCA).

RAM:Vitalik Buterin南洋理工大学演讲实录:“以太坊的过去与现在”_ramp币和leverfi币

演讲:Vitalik Buterin 编译:fanfan,DeThings编注:本文是9月6日以太坊联合创始人Vitalik Buterin于新加坡南洋理工大学所发表的主题演讲.

FTX:FTX钱包转移千万美元代币 抛售潮或将开始?_加密货币

市场目前还未摆脱ETF延期的阴霾,FTX钱包近期却动作频频,是雪上加霜还是虚惊一场?与FTX相关的大量资金转移一直在进行,市场开始担心这些代币以及FTX持有的更多代币可能即将被抛售.

FTX:Blockworks:从区块链不可能三角到大合流_Solareum

作者:Mike Ippolito,Blockworks Newsletter;翻译:金色财经0xjs“我们的晚餐并不来自屠夫、酿酒师或面包师的善意,而来自于他们对自己利益的关注.

LAYER:zkSync半年闷声赚2000多万美金 Layer 2到底是如何盈利的_zksync币与zks币

作者:Day,白话区块链今年,以太坊Layer2迎来了爆发增长,如同之前的公链爆发,大量项目方开始布局Layer2赛道,有枣没枣,先打一杆子.

LAYER:详解对Cosmos SDK标准模块的形式化验证_SEC

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