作者:@MsKikiUrRT
来自:@AW_Research
Cafe Cosmos是一款全链上的大亨游戏,在2022年完成了由 Animoca Brands 和 Spartan Group 领投的 220 万美元种子轮融资。玩家通过在咖啡馆中收获资源、耕种、制作和经营来赚取代币。这款游戏部署在StarkNet上,使用Cairo构建智能合约,并采用Stark Play经济模型,目前只披露了游戏Demo。Cafe Cosmos专注于代币化和社交游戏的重新出现,画风休闲可爱。
关于为什么选择STARK 和Cairo,Cafe Cosmos给出了自己的理由。通过将 STARK 和 SNARK 对比分析,认为STARK在量子抗力、可信设置、证明生成上更具优势。其次Cairo上,分析了其在证明上更显著的优势,提供的构建智能合约的能力适用于复杂的计算任务。
‘Power to the individual, and power to the STARK!’
“权力归个人,权力归于STARK ✊”
2023年5月,Cafe Cosmos 宣布了 All in StarkNet 的决心。从技术上来说,Cafe Cosmos 认为在未来,Starknet 是全连游戏包罗万象的最好选择。
首先需要了解的是,Cafe Cosmos 是个怎样的游戏呢?
Cafe Cosmos 是一款边玩边赚的大亨游戏,玩家通过收获资源、耕种、制作、创建和经营咖啡馆,并最终通过烹饪美味的食谱来赚取代币。游戏是部署在StarkNet上的全链上模拟游戏,使用Cairo构建智能合约,使用Stark Play经济模型。
Cafe Cosmos 专注于代币化和社交游戏的重新出现,画风休闲可爱。在经济模型上,初期Cafe Cosmos 采用的是 P2E 模型,考虑到 Crypto 行业的变迁和Gamefi 赛道的逐步发展,如今,Stark Play 成为了Cafe Cosmos 更好的经济模型。
Cafe Cosmos 由 MetaVision 实验室打造,在最开始的时候,由 Alliance 合作推出。Alliance 是一个领先的 Web3 加速器和创始人社区。
2022 年 2 月 4 日 ,多伦多。由 MetaVision 实验室打造的 CafeCosmos 自豪地宣布,它已经筹集了由 Animoca Brands 和 Spartan Group 领投的 220 万美元种子轮融资,关键战略人士参与其中。
MetaVision Labs是一家研究游戏工作室,扩展了“游戏即协议”的概念,它认为,链上行动空间与互操作性相结合是推动游戏发展边界的关键因素。
MetaVision Labs 得到了John Lilic,Trent McConaghy 和 Bruce Pon的 天使支持; Ocean Protocol 和 BigChainDB 的创始人。ConsenSys 的前运营人员和 Polygon 的早期投资者John Lilic 加入MetaVision Labs,提供战略支持和资金。代币工程的先驱Trent McConaghy也将作为天使投资者加入。Trent领导了许多创新项目,并在区块链,人工智能和芯片设计领域发表了广泛的研究。特伦特还开创了 Web3 可持续性循环,这对再分配机制产生了重大影响。Bruce 是一位技术先驱,凭借其广泛的知识和强大的数据经济发展推动技术。
找到了John Lilic 的Linkedin 😺
John Lilic 和 Nico Rodriguez 关于游戏设计的讨论。
Alliance 的成员 Will Robinson 早在2021年,针对 Cafe Cosmos 上就提到了Fully-Onchain Game 这个理念,Will 通过和好友深入体验Dark Forest,获得了许多有关全链游戏的深刻观点,尽管这是2021年底写好的文章,现在来看仍然不过时。
文章链接,可以点击查看。
2022年6月至2023年4月,游戏似乎停下了运营动作。
沉寂了将近一年,2023年5月,Cafe Cosmos 引来了新的进展,拥抱 StarkNet生态,开启了全链游戏的新叙事。
官方披露了一段Demo,展示了游戏的一些操作画面。
Louis Guthmann, StarkNet 的生态系统负责人,表达了对Cafe Cosmos的期待。
Cafe Cosmos 的Token 是 StarkPlay。由于目前游戏还没有可以试玩的版本,只能从官方的推特内容来了解游戏如何操作,以及经济模型的设置。
指游戏赚了多少钱。当玩家认领一块土地或扩建自己的土地时,玩家必须通过 StarkPlay 付款来实现。这些资金会被立即发送到算法归属控制器,该控制器不断地将资金注入再分配机制中。游戏和归属控制器没有代币分配。
R.M. 将资金分散在3个类别中:主菜、饮料和甜点。
它们三个在总资金中都有各自的份额,以通常菜单上看到的价格百分比为模型。
在这些节点中,会发生一些重新分配。 每个类别将资金放入各自的池中,并将其重新分配到自己的子池中。
现在菜谱已经装满资金并准备就绪。那么玩家该如何赚钱呢?
玩家需要解锁土地。土地是一片丛林,充满了宝贵的资源,等待开发。
玩家可以从中找到矿石、矿物质、水晶、种子和动物。使用种子来种植农作物,使用矿石和矿物来建造电器和机械,使用动物来产生不同的产品。
当玩家通过制作、培养并拥有正确的原料和适当的工具(比如沙拉和砧板)之后,还可以把沙拉放在砧板上,进入重新分配机制。
当玩家已经把沙拉放在砧板上时,沙拉会为自动为玩家购买沙拉池的一份份额,玩家可以在 24 小时内领取。
所以玩家需要注意的是:当更多的人开始制作沙拉时,那么玩家自己将处于与其他人共享的食谱池中。
这就是为什么用户会被激励去寻找使用人数最少的食谱。
从食谱中,我们了解到了每个人都在每个食谱中,玩家只能选择争夺配方池当空间。 那么什么决定了池份额的数量呢?
一个简单的方程:池份额 = 玩家有多少张桌子 * 1 / sqrt(有多少人在使用玩家拥有的炊具)
所以此时,玩家可以通过寻找最稀有的炊具来竞争。炊具是游戏中任何可以做饭的东西,包括但不仅限于:
搅拌机、烤箱、切菜板、咖啡机
Cafe Cosmos 致力于创造一款没有通货膨胀的游戏。
通货膨胀有哪些?
树上的果实、动物副产品、农作物
水以气候的形式引入游戏中。有时天气会变热,玩家需要给植物浇水(确保有足够的储备),有时水会持续数月之久,直到玩家认为不再需要它。
通过将气候系统(也是通货紧缩系统)与 Uniswap 上的 ETH 价格联系起来。
ETH 上涨,下雨,甚至倾盆大雨。
ETH 下跌,变得枯竭, ETH 不断下跌,变得越来越干燥,最终达到顶峰。
了解完 Cafe Cosmos是个什么游戏后,我们来谈谈,为什么选择StarkNet,为什么选择Cario呢?
“Starknet 是链上游戏的唯一未来。”
“STARKs 是优越的。更强大、更强大、更快、更可靠。”
Cafe Cosmos 对自己的选择坚信不疑。那么,为什么是 STARK 而不是 SNARK 呢?
先看下数据:
Cafe Cosmos 给出的理由:
Starknet 使用哈希函数而不是椭圆曲线。
尽管一些 SNARK 允许从人群中随机抽取的公开仪式,但它确实存在其自身的效率缺陷。
SNARKs在某些情况下可以进行开放仪式,从众多人中获取随机性,但这会带来一些效率上的缺陷。而STARKs则没有这个问题,它们有一个公开的参考字符串,不需要依赖开放仪式来获取随机性。这使得STARKs在某些方面更加高效。
STARK 有一个对数验证器和证明器。
这个对数复杂性证明器和验证器是什么意思? 具体来说,ZK-SNARKs是一种用于生成和验证零知识证明的密码学构造。当应用于大型电路时,生成证明的时间通常与电路的规模成线性关系。也就是说,随着电路规模的增加,证明的生成时间会线性增长。这意味着在某些时候它们会变得非常重且生成速度慢,以至于它们根本无法为大型程序提供强大的计算能力。
鉴于PC游戏在推动计算机处理技术的进步和竞争中起了重要作用,使用SNARK,用户无法创建像 Starknet 上 Cairo 能够创建的庞然大物。
创建大规模分布式应用程序,在处理证明生成复杂性时,SNARK 中的 O(N) 与 STARK 中的 O(log N) ,毫无疑问谁会脱颖而出。
STARK 的验证时间确实更长,计算成本也更高,但这并不重要。许多交易可以在 L1 上进行验证之前打包放入一个证明中。证明还可以递归地相互证明,从多个证明中创建一个证明。
STARK 的生成量通常比 SNARK 重。这部分是由于 STARK 生成涉及的许多过程通常依赖于 FFT 等较繁重的算术运算。
STARK 以 20 秒的领先优势击败了 SNARK 。
从音乐创作软件到生物研究,FFT 几乎无处不在。它们是世界上被充分利用的功能之一。 它们不仅在软件和硬件上都进行了极大的优化,而且还具有极高的并行性能。
FFT 的计算复杂度为 O(N log N),但给定的核数量为 P。这个公式的正确设置不考虑负载平衡和其他高级操作,可以将复杂度降低到O(N log N/P)。哇!这是一个相当大的量。
许多这些技术尚未应用于该领域,但很快会被引入。硬件加速和 FFT 并行化将成为摩尔斯定律的加速器,使 Starknet 面向未来。
随着从以太坊迁移到 Starknet,Cafe Cosmos 0.3 将使用 Cairo 和 Dojo 引擎构建。
参与@cartridge_gg 、@dojostarknet 和 @thedopewars 的建设者—— @tarrenceva
在推文中是这样讲述 DoJo 和 Cairo 优越性的。
首先,Dojo 是第一个可验证的游戏引擎,它利用 Cairo 来确保游戏执行逻辑的完整性,使开发人员能够轻松构建复杂的、可验证的游戏和自治世界。
其次,Cairo 是一种图灵完备语言,用于创建用于一般计算的可证明程序。它是一种现代的、类似 rust 的语言,提供高级抽象和功能,如 traits 、impls、宏和类型安全。
Cairo 证明复杂度为 O(log^2 n),它实现了链上计算指数级可扩展性的基本属性。相比之下,在以太坊上,每个计算都需要由网络中的每个节点运行和验证。
Cairo 证明可以递归,这意味着开发者可以证明“证明的可验证性”。一个令人难以置信的特性是无限量的计算可以有效地压缩为单个恒定大小的证明。开发者可以在恒定时间内验证所有执行。
Cairo 可以增量证明,这意味着单个执行可以分解为独立的部分并证明。例如,执行可以在客户端上进行部分证明,输入是不可见的,然后在证明基础设施上使用更多资源进行证明。
Cairo 是通用的。它不仅适用于 Starknet 的合约开发,也可以适用于其他需要的场景。程序可以在大型服务器或个人消费设备上进行验证,提供不同的特性和交易。
Cairo 可以被高效地证明,并且围绕可证明程序的约束进行优化,而不是与现有范式的兼容。它可能会比那些,为了实现兼容性而引入更大的开销的方法更复杂。它采用了现代架构,利用多表示编译流水线(Multi-representation compilation pipeline),可以在更简单的表示前提下实现更复杂的工具和优化,从而使 MLIR 之类的事情变得容易。借助 MILR,Cairo 可以在本机运行。
Cairo 的一个特性是使用状态差异。当 Cairo 程序执行证明时,会产生两类文件——执行跟踪和状态差异。状态差异描述了由于计算而发生的状态转换。状态差异描述了执行的“输出”,并构成了数据可用性层(例如以太坊)上的大部分内容。与Optimism(以及一些 zk)相反,其中执行的“输入”,是数据可用性层上的内容。
Cairo 支持分形缩放,以 Starknet 作为强大的、去中心化的(最终)基础;快速、特定领域的排序器位于顶部,例如MadaraStarknet ;以及带有客户端证明的私有计算。分形缩放是将世界计算带到链上的核心。
Cafe Cosmos 和它的那些技术合作伙伴们—— Herodotus、Giza。
总结来说,借助Cairo 1.0,我们可以创建大量的计算程序,包括物理引擎到人工智能。
@HerodotusDev 提供了强大的存储功能。
理论上,借助 Herodotus,区块链开发人员可以超越所有区块链的时空限制,访问任何区块链上任何时间的数据。Herodotus 将允许智能合约开发人员在任何地方回顾过去,同时快速、可验证地处理数据。
当然,这些功能还只是理论上。
@gizatechxyz 提供了AI 技术来帮助开发者团队。
Giza 正在构建一个无需信任的协议,以分散机器学习推理计算,同时为开源AI提供为开放经济提供护栏。