Li

@LIJeck6

Hello

Joined September 2021

102 Following

9 Followers

11 Posts

LIJeck6 retweeted

Cartesi @cartesiproject

2 months ago

Why Linux onchain matters? It already runs underneath most of what's built. That's likely how blockchains get integrated going forward too: invisibly, as infra we don't realize we're using. Plus, it gives all devs access to blockchain capabilities they couldn't tap into before.

Li @LIJeck6

9 months ago

新的一年希望cartesi技术突破，业务增长，带我回到巅峰

Cartesi 中文

@CartesiCN

9 months ago

✨✨元旦福利来啦！✨✨#Cartesi 为大家准备了一份暖心元旦礼物。参与方式： 1️⃣关注 @cartesiproject @CartesiCN 2️⃣ 转发+评论你对 Cartesi 的新年祝福 🎁 抽取两位幸运粉丝送出专属 Cartesi 周边，快来赢取吧

CartesiCN's tweet photo. ✨✨元旦福利来啦！✨✨#Cartesi 为大家准备了一份暖心元旦礼物。

参与方式：
1️⃣关注 @cartesiproject @CartesiCN

2️⃣ 转发+评论你对 Cartesi 的新年祝福

🎁 抽取两位幸运粉丝送出专属 Cartesi 周边，快来赢取吧 https://t.co/QC1UVKNK9b

LIJeck6 retweeted

Cartesi 中文

@CartesiCN

over 1 year ago

Dave：不是我们想要的英雄，而是我们需要的英雄安全一直是加密领域的一个关键词。如果没有复杂的系统、算法和流程来顽强抵御攻击，这个行业就不可能在不到二十年的时间里成长为一个市值超过3万亿美元的庞然大物。沿着第一道防线漫步，你不可避免地会遇到防欺诈系统，这些机制通过允许任何人挑战并证明不诚实行为来防止无效状态转换。在 Layer-2 rollup 的情况下，它们将数千个链下交易打包成一个链上记录，防欺诈证明本质上就像是“禁卫军”。由于 Layer-2 rollup 定期将状态提交到主网，这些状态要么通过防欺诈证明被正式认可，要么被乐观地假定为合法（之后可以提出挑战并使用防欺诈证明），这样的算法必须非常健壮。特别是现在有超过300亿美元的价值被锁定在其中。然而，防欺诈证明的漏洞众多，使其成为L2生态中名副其实的定时炸弹。因此，Cartesi 设计了一个新的无许可、交互式防欺诈系统，名为 Dave。尽管它的名字听起来像是一个不起眼的普通人站在酒吧里，Dave 实际上可能是保护这300亿美元总锁定价值（TVL）安全的答案。 Optimistic Rollups：扩展以太坊，但代价是什么？让我们深入探讨 Optimistic Rollups (简称ORs），这是以太坊扩展生态中的宠儿。它们之所以得名，是因为它们预先假定链下交易是有效的（无需提前进行防欺诈证明），这些 L2 协议以将以太坊的吞吐量提升高达 100 倍而自豪。通过将安全性与以太坊的基础层绑定，ORs 将交易结果发布到链上，同时在链下处理批量交易。当然，必须有一个后盾来确保所有人的诚实，这个后盾以挑战系统的形式存在——在规定的时间内可以通过防欺诈证明对批量交易提出质疑。这样，安全性得以维持，而无需持续的链上验证。但问题在于：传统的防欺诈算法存在缺陷。事实上，缺陷还不少。参与争议解决不仅成本高昂，而且“女巫攻击”（Sybil attacks）——攻击者用虚假身份淹没系统——可能会压倒这些机制。此外，整个过程极其冗长，这意味着一个资金雄厚的对手在长时间的资源消耗战后可能获胜。成功的女巫攻击就像战场上邪恶势力压倒高尚但寡不敌众的英雄。 Cartesi 的防欺诈游戏改变者模块化区块链协议 Cartesi 的智囊团无法坐视不管，忽视 Optimism 的 OPFP 和 Arbitrum 的 BoLD 可能致命的缺陷。相反，其聪明才智开发了 Dave，旨在作为以太坊生态系统的“公共产品”。Dave 基于 Cartesi 的无许可裁判锦标赛（Permissionless Refereed Tournaments，简称PRT）原语设计，平衡了去中心化、安全性和活跃性，是抵御恶意行为者的坚固防线，几乎不受女巫攻击的影响，因为即使只有一个诚实验证者也能在链上强制执行正确状态——无论有多少对手发起攻击。 Dave 的秘诀是什么？一种分而治之的策略，让女巫攻击者互相内斗，迫使它们自毁，而诚实验证者遇到的阻力微乎其微。该算法的设计使得对它发起女巫攻击对攻击者的延迟和资源成本呈指数级增长，而诚实参与者所需花费的成本则微不足道。最近一篇 https://t.co/VvTpEVZfju 的帖子展示了 Dave 如何仅用诚实验证者的 7 ETH 就能挫败价值 100 万 ETH 的女巫攻击。该系统的另一个巧妙特性是争议解决的速度；对于任何现实的女巫攻击数量，争议在 2-5 个挑战周期内就能解决，让网络保持顺畅运行。与 OPFP 或 BoLD 不同，Dave 允许（但不强制）诚实验证者无需信任地合作，作为一个无需集中信任的集体行动。因为你不必是加密巨鲸也能对抗欺诈，它赋予了小玩家保护 Rollups 完整性的能力，无论对手是谁。简而言之，欺诈者试图操控 ORs 的企图注定失败：Dave 的数学原理让操纵成为一场必输的赌局。关键时刻到来，Dave 挺身而出卷叠并非加密世界的一个无关紧要的分支，它们如今已成为其支柱。随着更多价值堆积在 L2 和 ORs 上，传统的防欺诈证明需要重新设计，就像一支强大的军队必须拥抱新技术并通过吸引新鲜血液来为未来增强实力。 Dave 可能是最佳解决方案，它提供了抗女巫攻击能力、快速争议解决以及对诚实验证者的最小资源需求。Cartesi 专注于特定应用的 Rollups，使 Dave 成为自然选择，在保持 L2 精简高效的同时扩展以太坊的安全性。