Starknet 中文Starknet 春季 DeFi 激励计划
原文：Starknet Foundation Introduces: The Start of DeFi Spring 翻译及校对：「Starknet 中文社区」 📑 转载请注明出处 🕹️精选速览「Starknet 春季 DeFi 激励计划」4000 万 STRK 奖励用户3 月 7 日开始领取激励生态任务获得专属 NFT引言2023 年 11 月 9 日，Starknet 基金会宣布 Starknet DeFi 委员会成立及其成员任命，该委员会的任务是促进 Starknet DeFi 增长。 经过两个月的内部和外部研究后，Starknet 基金会非常兴奋地宣布推出为实现这些目标而量身定做的计划。 Starknet 基金会与 OpenBlock Labs 的合作，推出「Starknet 春季 DeFi 激励计划」。本为期六到八个月的项目，在此期间将向参与 Starknet 上 DeFi 协议的参与者分发 4000 万 STRK。 这是 DeFi 委员会扩大 Starknet DeFi 规模系列举措的第一步。第一部分：STRK 分发DeFi 委员会计划在接下来的六到八个月内，D...
Starknet 中文Starknet 中文社区 2023 年终汇总
🎀 概述关注回顾 Starknet 在 2023 年的里程碑事件以及「Starknet 中文社区」的丰硕成果。 在网络生态中，Starknet 实现了一系列重要版本和重要事件更新，不仅在技术上取得了显著进展，而且扩展了众多核心开源技术栈。在生态系统中，推进发展 Starknet 优秀项目，在 TVL 和用户量等数据方面实现了可观增长。 「Starknet 中文社区」在过去一年中同样达成令人瞩目的进步，输入内容包括博客翻译、原创文章和视频、组织各类活动、合作 Cairo 训练营等各类活动，这些重要内容显示出社区成员的积极贡献和创造力，以及中文社区的独特魅力，为中国用户提供更多全面了解 Starknet 区块链的方式。 StarkWare 和 Starknet 团队和生态合作伙伴的共同努力实现 Cairo 1.0 成功升级，而 Cairo 开发者数量在过去一年中取得了巨大增长，这一成就让更多区块链开发者看到了 Starknet 背后团队的技术实力，也从侧面反映出 Starknet 生态系统中合作伙伴的紧密协作。 总而言之，Starknet 和「Starknet 中文社区」在生态、技...
Starknet 中文聚沙成塔：StarkWare 年度回顾
原文：From Milestones to Masterstrokes: StarkWare’s Year in Review 翻译及校对：「Starknet 中文社区」 📑 转载请注明出处 🕹️不论是现在还是将来，STARK 技术都被视为助力去中心化应用（dApps）在以太坊上实现扩展和繁荣的秘密武器。概要：Starknet 为复杂、高计算要求、创新型的 DeFi 平台、链上游戏、动态 NFT 等应用奠定了基础。Starknet 在所有 L2（以及一些 L1）中，持续拥有增长最快的开发者生态系统。StarkWare 在 2023 年开源了 Stone 证明器、Starknet 排序器和 Papyrus 全节点等关键元素。继续阅读，了解我们的亮点以及 2023 年 Starknet 生态系统的整体进展。去中心化和社区STARK 技术：达到新高度在以太坊上的创新开源时刻：为协议设定新标准Starknet 应用链社区参与和活动去中心化与社区扩展Starknet 上的游戏热潮由于 L1 在规模、用户体验和高成本等方面的限制，创建成功的链上游戏几乎是不可能实现的事情。但随着有效性 R...
「Starknet 中文」社区致力于 Starknet 在中文世界发展，提供最全生态资讯。
Starknet 中文Starknet 春季 DeFi 激励计划
原文：Starknet Foundation Introduces: The Start of DeFi Spring 翻译及校对：「Starknet 中文社区」 📑 转载请注明出处 🕹️精选速览「Starknet 春季 DeFi 激励计划」4000 万 STRK 奖励用户3 月 7 日开始领取激励生态任务获得专属 NFT引言2023 年 11 月 9 日，Starknet 基金会宣布 Starknet DeFi 委员会成立及其成员任命，该委员会的任务是促进 Starknet DeFi 增长。 经过两个月的内部和外部研究后，Starknet 基金会非常兴奋地宣布推出为实现这些目标而量身定做的计划。 Starknet 基金会与 OpenBlock Labs 的合作，推出「Starknet 春季 DeFi 激励计划」。本为期六到八个月的项目，在此期间将向参与 Starknet 上 DeFi 协议的参与者分发 4000 万 STRK。 这是 DeFi 委员会扩大 Starknet DeFi 规模系列举措的第一步。第一部分：STRK 分发DeFi 委员会计划在接下来的六到八个月内，D...
Starknet 中文Starknet 中文社区 2023 年终汇总
🎀 概述关注回顾 Starknet 在 2023 年的里程碑事件以及「Starknet 中文社区」的丰硕成果。 在网络生态中，Starknet 实现了一系列重要版本和重要事件更新，不仅在技术上取得了显著进展，而且扩展了众多核心开源技术栈。在生态系统中，推进发展 Starknet 优秀项目，在 TVL 和用户量等数据方面实现了可观增长。 「Starknet 中文社区」在过去一年中同样达成令人瞩目的进步，输入内容包括博客翻译、原创文章和视频、组织各类活动、合作 Cairo 训练营等各类活动，这些重要内容显示出社区成员的积极贡献和创造力，以及中文社区的独特魅力，为中国用户提供更多全面了解 Starknet 区块链的方式。 StarkWare 和 Starknet 团队和生态合作伙伴的共同努力实现 Cairo 1.0 成功升级，而 Cairo 开发者数量在过去一年中取得了巨大增长，这一成就让更多区块链开发者看到了 Starknet 背后团队的技术实力，也从侧面反映出 Starknet 生态系统中合作伙伴的紧密协作。 总而言之，Starknet 和「Starknet 中文社区」在生态、技...
Starknet 中文聚沙成塔：StarkWare 年度回顾
原文：From Milestones to Masterstrokes: StarkWare’s Year in Review 翻译及校对：「Starknet 中文社区」 📑 转载请注明出处 🕹️不论是现在还是将来，STARK 技术都被视为助力去中心化应用（dApps）在以太坊上实现扩展和繁荣的秘密武器。概要：Starknet 为复杂、高计算要求、创新型的 DeFi 平台、链上游戏、动态 NFT 等应用奠定了基础。Starknet 在所有 L2（以及一些 L1）中，持续拥有增长最快的开发者生态系统。StarkWare 在 2023 年开源了 Stone 证明器、Starknet 排序器和 Papyrus 全节点等关键元素。继续阅读，了解我们的亮点以及 2023 年 Starknet 生态系统的整体进展。去中心化和社区STARK 技术：达到新高度在以太坊上的创新开源时刻：为协议设定新标准Starknet 应用链社区参与和活动去中心化与社区扩展Starknet 上的游戏热潮由于 L1 在规模、用户体验和高成本等方面的限制，创建成功的链上游戏几乎是不可能实现的事情。但随着有效性 R...
「Starknet 中文」社区致力于 Starknet 在中文世界发展，提供最全生态资讯。
Subscribe to Starknet 中文
Subscribe to Starknet 中文
Share Dialog
Share Dialog
<100 subscribers
<100 subscribers
原文：Why I’m excited by Circle STARK and Stwo
翻译及校对：「Starknet 中文社区」
📑 转载请注明出处 🕹️
本文中间三段（如下）解释 Circle STARK 数学原理及公式，未翻译，详情请 阅读原文
STARK 效率意味着小数字
效率意味着优化乘法结构
走出思维定势（域）
Circle STARK 和 Stwo 为什么令人振奋？
自以太坊推出 STARK 以来，上个月发表的研究成果是最令人兴奋的扩容技术突破之一。这项研究的数学原理很复杂，但使用了经典的圆形 circle（见图 1），将 STARK 的证明能力提高了 100 倍甚至更多。
该研究是由 Polygon Labs 的 Ulrich Haböck 以及 StarkWare 的 David Levit 和 Shahar Papini 合作完成，并将被广泛应用。StarkWare 也很荣幸能通过构建和开源 Stwo 证明器，迅速将其投入实际应用。在本文中，我将尽我所能地以最简单的方式来解释其中的数学原理及其重要性。
我在 2017 年的斯坦福区块链会议上首次介绍了 STARK 一词。STARK 定义了一套确保计算完整性的协议，特别强调了可扩展性和透明性 — 分别对应 STARK 中的 S 和 T。可扩展性包括快速、低成本地生成和验证计算完整性证明，使公共使用无需依赖大量或昂贵的流程。这一特性对于在不同实体间应用完整性检查至关重要，并推动了 StarkWare 在区块链计算方面的改进。
STARK 的透明性意味着消除「可信设置」；所有程序都基于公开随机性，从而减少了信任假设。这对于维护计算的完整性至关重要，尤其针对那些可能利用系统参数的有影响力的实体。
可扩展性和透明性共同定义了 STARK 技术的核心，提供了安全、可扩展、透明且公开的验证方法。确保证明系统遵循这些原则对于维持有效、可靠的运行至关重要。无论你称呼你的系统为 STARK 还是其他名称，都请留意「可扩展性」和「透明性」双管齐下带来的显著优势，并询问你的本地证明提供者，其证明系统是否同时具备这两个特性。
Stwo（即 STARK Two）是 Starknet 新一代证明器，旨在增强、加速，并最终取代当前的证明器 — Stone（即 STARK One）。Stwo 的效率预计将是 Stone 的 100 倍，将会使用基于 M31 的 Circle STARK 技术（如上所述）以及更多其他技术。其他的创新还包括 log-up 和总求和检查协议（如 Haböck 和 Papini 的最新研究成果）、同时处理多个不同次数的多项式（「混合次数」）以及用于编码电路和虚拟机的新基础设施。因此，除了预期 STARK 证明规模将提升至 Stone 的 100 倍之外，我们还能期待 Stwo 带来的更多其他优势，如更灵活地采用新编译器和虚拟机，从而提高开发速度。点击了解有关 Stwo 的更多信息。
KZG 承诺是 Stone、Stwo 以及其他 STARK 使用的 FRI 协议的主要竞争对手，也是许多基于配对的 SNARK 的数学基础。其主要优势在于最终证明的极致简洁性，仅需要约 200 字节（而 FRI 和当前的 STARK 则需要好千字节）。其另一个优势是，通过针对特定 KZG 参数设置的预编译形式，在以太坊上获得优化支持，并通过 DankSharding 集成到核心以太坊协议中。这些优化支持解释了为什么许多 STARK 系统（如 Polygon、RiscZero 和 ZKsync 所使用的）最终会被封装在一个 SNARK 内部 — 目的是为了利用以太坊特定的预编译优化支持。只要对某些证明系统存在特定的优化支持，团队就会考虑将他们的 STARK 封装在 SNARK 内部，可以预期会有更多类似的情况发生。但是，与 KZG 安全素数相比（当前最佳实践要求这种素数超过 380 字节！），M31 的乘法运算速度要比其快 100 倍甚至更多，因此 KZG 和基于配对的系统在规模和吞吐量方面不太可能像 Stwo 那样高效。虽然椭圆曲线数学领域和基于配对的 SNARK 的创新范围之美令人叹为观止，但我们应该记住，这种 SNARK 不仅效率低下，而且需要可信设置，容易受到量子计算机的攻击。换句话说，就效率、安全性以及对未来的适应性方面，基于小型有限域的 STARK 是更好的选择。
Circle STARK 标志着 STARK 技术领域取得了激动人心的进步，已从理论走向实践。Circle STARK 也是日益复杂的 STARK 证明不断发展的最新里程碑。随着我们向前发展，这些证明将面临新的挑战，并将开启我们所未曾设想的应用领域。
看到深奥且魅力十足的数学被应用于系统中，为区块链的扩容带来指数级的增长，真是令人感到格外兴奋。区块链领域中的 ZK 技术不止一次地采用了前沿的「月亮数学」，并以此打造出创新产品。例如，Zcash 部署了首个为通用电路部署的 ZK-SNARK 系统，可在区块链上提供金融隐私；STARK 是以太坊上第一种最高效的未来证明扩容技术；Cairo 是用于编写可证明代码的新一代智能合约语言。因此，对于见证 Circle STARK 和 Stwo 还将解锁出哪些超出预期的奇妙应用和新颖数学，我感到非常期待！
原文：Why I’m excited by Circle STARK and Stwo
翻译及校对：「Starknet 中文社区」
📑 转载请注明出处 🕹️
本文中间三段（如下）解释 Circle STARK 数学原理及公式，未翻译，详情请 阅读原文
STARK 效率意味着小数字
效率意味着优化乘法结构
走出思维定势（域）
Circle STARK 和 Stwo 为什么令人振奋？
自以太坊推出 STARK 以来，上个月发表的研究成果是最令人兴奋的扩容技术突破之一。这项研究的数学原理很复杂，但使用了经典的圆形 circle（见图 1），将 STARK 的证明能力提高了 100 倍甚至更多。
该研究是由 Polygon Labs 的 Ulrich Haböck 以及 StarkWare 的 David Levit 和 Shahar Papini 合作完成，并将被广泛应用。StarkWare 也很荣幸能通过构建和开源 Stwo 证明器，迅速将其投入实际应用。在本文中，我将尽我所能地以最简单的方式来解释其中的数学原理及其重要性。
我在 2017 年的斯坦福区块链会议上首次介绍了 STARK 一词。STARK 定义了一套确保计算完整性的协议，特别强调了可扩展性和透明性 — 分别对应 STARK 中的 S 和 T。可扩展性包括快速、低成本地生成和验证计算完整性证明，使公共使用无需依赖大量或昂贵的流程。这一特性对于在不同实体间应用完整性检查至关重要，并推动了 StarkWare 在区块链计算方面的改进。
STARK 的透明性意味着消除「可信设置」；所有程序都基于公开随机性，从而减少了信任假设。这对于维护计算的完整性至关重要，尤其针对那些可能利用系统参数的有影响力的实体。
可扩展性和透明性共同定义了 STARK 技术的核心，提供了安全、可扩展、透明且公开的验证方法。确保证明系统遵循这些原则对于维持有效、可靠的运行至关重要。无论你称呼你的系统为 STARK 还是其他名称，都请留意「可扩展性」和「透明性」双管齐下带来的显著优势，并询问你的本地证明提供者，其证明系统是否同时具备这两个特性。
Stwo（即 STARK Two）是 Starknet 新一代证明器，旨在增强、加速，并最终取代当前的证明器 — Stone（即 STARK One）。Stwo 的效率预计将是 Stone 的 100 倍，将会使用基于 M31 的 Circle STARK 技术（如上所述）以及更多其他技术。其他的创新还包括 log-up 和总求和检查协议（如 Haböck 和 Papini 的最新研究成果）、同时处理多个不同次数的多项式（「混合次数」）以及用于编码电路和虚拟机的新基础设施。因此，除了预期 STARK 证明规模将提升至 Stone 的 100 倍之外，我们还能期待 Stwo 带来的更多其他优势，如更灵活地采用新编译器和虚拟机，从而提高开发速度。点击了解有关 Stwo 的更多信息。
KZG 承诺是 Stone、Stwo 以及其他 STARK 使用的 FRI 协议的主要竞争对手，也是许多基于配对的 SNARK 的数学基础。其主要优势在于最终证明的极致简洁性，仅需要约 200 字节（而 FRI 和当前的 STARK 则需要好千字节）。其另一个优势是，通过针对特定 KZG 参数设置的预编译形式，在以太坊上获得优化支持，并通过 DankSharding 集成到核心以太坊协议中。这些优化支持解释了为什么许多 STARK 系统（如 Polygon、RiscZero 和 ZKsync 所使用的）最终会被封装在一个 SNARK 内部 — 目的是为了利用以太坊特定的预编译优化支持。只要对某些证明系统存在特定的优化支持，团队就会考虑将他们的 STARK 封装在 SNARK 内部，可以预期会有更多类似的情况发生。但是，与 KZG 安全素数相比（当前最佳实践要求这种素数超过 380 字节！），M31 的乘法运算速度要比其快 100 倍甚至更多，因此 KZG 和基于配对的系统在规模和吞吐量方面不太可能像 Stwo 那样高效。虽然椭圆曲线数学领域和基于配对的 SNARK 的创新范围之美令人叹为观止，但我们应该记住，这种 SNARK 不仅效率低下，而且需要可信设置，容易受到量子计算机的攻击。换句话说，就效率、安全性以及对未来的适应性方面，基于小型有限域的 STARK 是更好的选择。
Circle STARK 标志着 STARK 技术领域取得了激动人心的进步，已从理论走向实践。Circle STARK 也是日益复杂的 STARK 证明不断发展的最新里程碑。随着我们向前发展，这些证明将面临新的挑战，并将开启我们所未曾设想的应用领域。
看到深奥且魅力十足的数学被应用于系统中，为区块链的扩容带来指数级的增长，真是令人感到格外兴奋。区块链领域中的 ZK 技术不止一次地采用了前沿的「月亮数学」，并以此打造出创新产品。例如，Zcash 部署了首个为通用电路部署的 ZK-SNARK 系统，可在区块链上提供金融隐私；STARK 是以太坊上第一种最高效的未来证明扩容技术；Cairo 是用于编写可证明代码的新一代智能合约语言。因此，对于见证 Circle STARK 和 Stwo 还将解锁出哪些超出预期的奇妙应用和新颖数学，我感到非常期待！
No activity yet