
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 中文社区 2023 年终汇总
🎀 概述关注回顾 Starknet 在 2023 年的里程碑事件以及「Starknet 中文社区」的丰硕成果。 在网络生态中,Starknet 实现了一系列重要版本和重要事件更新,不仅在技术上取得了显著进展,而且扩展了众多核心开源技术栈。在生态系统中,推进发展 Starknet 优秀项目,在 TVL 和用户量等数据方面实现了可观增长。 「Starknet 中文社区」在过去一年中同样达成令人瞩目的进步,输入内容包括博客翻译、原创文章和视频、组织各类活动、合作 Cairo 训练营等各类活动,这些重要内容显示出社区成员的积极贡献和创造力,以及中文社区的独特魅力,为中国用户提供更多全面了解 Starknet 区块链的方式。 StarkWare 和 Starknet 团队和生态合作伙伴的共同努力实现 Cairo 1.0 成功升级,而 Cairo 开发者数量在过去一年中取得了巨大增长,这一成就让更多区块链开发者看到了 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 春季 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 中文社区 2023 年终汇总
🎀 概述关注回顾 Starknet 在 2023 年的里程碑事件以及「Starknet 中文社区」的丰硕成果。 在网络生态中,Starknet 实现了一系列重要版本和重要事件更新,不仅在技术上取得了显著进展,而且扩展了众多核心开源技术栈。在生态系统中,推进发展 Starknet 优秀项目,在 TVL 和用户量等数据方面实现了可观增长。 「Starknet 中文社区」在过去一年中同样达成令人瞩目的进步,输入内容包括博客翻译、原创文章和视频、组织各类活动、合作 Cairo 训练营等各类活动,这些重要内容显示出社区成员的积极贡献和创造力,以及中文社区的独特魅力,为中国用户提供更多全面了解 Starknet 区块链的方式。 StarkWare 和 Starknet 团队和生态合作伙伴的共同努力实现 Cairo 1.0 成功升级,而 Cairo 开发者数量在过去一年中取得了巨大增长,这一成就让更多区块链开发者看到了 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