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
原文：STARK: Endgame 翻译及校对：「Starknet 中文」社区
本篇博客内容基于 StarkWare 联合创始人兼执行总裁 Eli Ben-Sasson 教授在以色列举办的 StarkWare 2023 大会上的演讲。
STARK 技术基于证明，更准确地说是完整性证明。C.S.Lewis 教授曾将完整性定义为「即使无人监督也会做正确的事情」。完整性是目标，而证明则是达成目标的方式。STARK 利用数学保证完整性，即使在无人监督的情况下，也能确保计算能以正确的方式进行。
László Babai、Lance Fortnow、Leonid Levin 和 Mario Szegedy 在 1991 年的一篇文章中提出，用一台可靠的计算机去监控一组不可靠的超级计算机。这种「概率可检验证明」（Probabilistically Checkable Proofs，简称 PCP）技术利用数学来监控和确保大型计算的完整性，下文将阐述它的运行模式。
计算声明可以转化为数独式的谜题，其约束条件通过各种方式交错重叠。每个声明都会导致一个独特的谜题，提出声明的实体称为证明器，它所提交的证明相当于一个已填好的数独题（如下图所示）。正确声明所提交的解决方案需要满足与谜题相关的各种约束条件，而 PCP 最神奇的一个特点（也是在数学上最难确定的部分），即对于错误的计算声明，任何提交的解决方案都将违反至少 99% 的数独谜题约束条件。验证器是一台可靠但计算能力较弱的计算机，它知道需要解决的难题，以便证明一个声明的真实性。但验证器不会完整读取证明器提交的解决方案，而是会随机「抽样」一个约束条件，并检查该条件是否被满足，从而决定接受或拒绝该解决方案。鉴于真实声明（满足所有条件）和错误声明（无法满足超过 1% 的条件）之间的明显差异，可以利用统计和抽样的原理来进行验证。例如，验证器可以随机抽取 6 个约束条件并检查是否被满足。这样验证器就几乎可以确定计算是否完整（出错概率控制在万亿分之一）。可扩展性所需的最后一个神奇的特质是，即使数独谜题与计算中的步骤数量巨大，验证器也可以非常快速地抽样、读取并检查随机约束。事实上，这些所需的计算量远小于数独谜题的大小！
PCP 技术于 20 世纪 90 年代开发，而 STARK 是其调整版本。两者的一个关键区别是，STARK 不是单纯的生成和填写数独谜题，而是在生成数独谜题和验证器填写完成的过程中，重复了数次。然后验证器从这个多维数独挑战中抽样一个约束条件，判断并决定是否接受或拒绝该声明。通过采用 STARK 技术，普通人也能检查并确保一些大公司、垄断企业或政府的正常运作。
这里的重点是这项技术将来可以在哪些实际场景中应用。在传统的情况下，很难找到这样一种情景：需要一台可靠但计算能力低的电脑来监控一组不可靠且不可信的超级电脑。我们在哪里可以找到可靠的低计算能力、每个人都信任的电脑情景呢？
一种超越加密学和计算机的创新范畴在 2008 年横空出世：中本聪在 2008 年发表的《比特币，一种点对点的电子现金系统》论文彻底革新区块链领域。
横贯历史进程，交易曾经采用现金对商品的点对点方式，现如今交易则是依靠 Apple Pay、Visa、Swift 等中心化平台完成。用户需要信赖这些平台会透明公开的处理交易。
比特币消除对中间人的信任，恢复货币交易的点对点本质。以太坊进而推动该概念，允许构建社会经济结构的通用程序。
两条创新技术路线不断融会贯通。一方面，我们采用单个低计算但可靠的计算机实现大规模计算完整性的 PCP（STARK 技术）；另一方面，将区块链作为高度可靠的计算机，依靠数学验证大规模计算。并深刻认识到：区块链和数学实现完整性的完美结合。
在 2018 年 StarkWare 率先提出采用 SATRK 有效性证明解决以太坊可扩展性难题。链下证明器和链上验证器计算差异，实现解锁大规模可扩展性。链下证明器处理批量交易并生成 STARK 证明，验证器则使用最小化计算检查链上证明。支持在链下处理大规模计算的同时用最低费用确保链上完整性。
从那以后，StarkWare 实现一个又一个里程碑：
StarkEx，基于 SaaS 商业模型，自 2020 年 6 月起投入生产，成为以太坊上最大的 L2 规模。
Cairo 诞生的原因：需要一种用于编写程序的通用型（图灵完备）编程语言，不仅满足开发者安全性和高效性，还能为程序的执行引入高效 STARK 证明。Cairo 作为最高效的有效性证明编程语言，它对可扩展性的重要程度不言而喻。
Starknet 类似于以太坊，是首个投入生产，允许编写自定义逻辑的去中心化网络。
脚踏黄土，面朝蓝天：我们采用双管齐下的方式。StarkWare 团队热爱技术、数学、创新，深耕于产品精益求精。
卓越成就卓越：StarekWare 首要成就是其深厚的人才基础。
卓越能容大度：我们欢迎并支持其他团队共同推动以太坊或 STARK 极限。
「一人行速，众人行远」：最初 StarkEx、Cairo 甚至 Starknet 都在内部完成，快速迈开脚步。下一步，我们将努力实现产品开源和去中心化，致力于将 STARK 技术打造成公共产品。
Starknet 生态建设快速扩张，拥有约 1000 位开发者和超 400 个 Github 代码资源库。
StarkWare 将贯彻「一人行速，众人行远」主旨：
让 Starknet 成为由 Starknet 基金会管理的无需许可、去中心化有效性扩容方案。
专注于 Starknet 去中心化各类型组件，如证明器、排序器和治理。
对 STARK 强大功能和可扩展性感兴趣的用户，欢迎学习开源 Cairo 语言，体验编写程序乐趣。
原文：STARK: Endgame 翻译及校对：「Starknet 中文」社区
本篇博客内容基于 StarkWare 联合创始人兼执行总裁 Eli Ben-Sasson 教授在以色列举办的 StarkWare 2023 大会上的演讲。
STARK 技术基于证明，更准确地说是完整性证明。C.S.Lewis 教授曾将完整性定义为「即使无人监督也会做正确的事情」。完整性是目标，而证明则是达成目标的方式。STARK 利用数学保证完整性，即使在无人监督的情况下，也能确保计算能以正确的方式进行。
László Babai、Lance Fortnow、Leonid Levin 和 Mario Szegedy 在 1991 年的一篇文章中提出，用一台可靠的计算机去监控一组不可靠的超级计算机。这种「概率可检验证明」（Probabilistically Checkable Proofs，简称 PCP）技术利用数学来监控和确保大型计算的完整性，下文将阐述它的运行模式。
计算声明可以转化为数独式的谜题，其约束条件通过各种方式交错重叠。每个声明都会导致一个独特的谜题，提出声明的实体称为证明器，它所提交的证明相当于一个已填好的数独题（如下图所示）。正确声明所提交的解决方案需要满足与谜题相关的各种约束条件，而 PCP 最神奇的一个特点（也是在数学上最难确定的部分），即对于错误的计算声明，任何提交的解决方案都将违反至少 99% 的数独谜题约束条件。验证器是一台可靠但计算能力较弱的计算机，它知道需要解决的难题，以便证明一个声明的真实性。但验证器不会完整读取证明器提交的解决方案，而是会随机「抽样」一个约束条件，并检查该条件是否被满足，从而决定接受或拒绝该解决方案。鉴于真实声明（满足所有条件）和错误声明（无法满足超过 1% 的条件）之间的明显差异，可以利用统计和抽样的原理来进行验证。例如，验证器可以随机抽取 6 个约束条件并检查是否被满足。这样验证器就几乎可以确定计算是否完整（出错概率控制在万亿分之一）。可扩展性所需的最后一个神奇的特质是，即使数独谜题与计算中的步骤数量巨大，验证器也可以非常快速地抽样、读取并检查随机约束。事实上，这些所需的计算量远小于数独谜题的大小！
PCP 技术于 20 世纪 90 年代开发，而 STARK 是其调整版本。两者的一个关键区别是，STARK 不是单纯的生成和填写数独谜题，而是在生成数独谜题和验证器填写完成的过程中，重复了数次。然后验证器从这个多维数独挑战中抽样一个约束条件，判断并决定是否接受或拒绝该声明。通过采用 STARK 技术，普通人也能检查并确保一些大公司、垄断企业或政府的正常运作。
这里的重点是这项技术将来可以在哪些实际场景中应用。在传统的情况下，很难找到这样一种情景：需要一台可靠但计算能力低的电脑来监控一组不可靠且不可信的超级电脑。我们在哪里可以找到可靠的低计算能力、每个人都信任的电脑情景呢？
一种超越加密学和计算机的创新范畴在 2008 年横空出世：中本聪在 2008 年发表的《比特币，一种点对点的电子现金系统》论文彻底革新区块链领域。
横贯历史进程，交易曾经采用现金对商品的点对点方式，现如今交易则是依靠 Apple Pay、Visa、Swift 等中心化平台完成。用户需要信赖这些平台会透明公开的处理交易。
比特币消除对中间人的信任，恢复货币交易的点对点本质。以太坊进而推动该概念，允许构建社会经济结构的通用程序。
两条创新技术路线不断融会贯通。一方面，我们采用单个低计算但可靠的计算机实现大规模计算完整性的 PCP（STARK 技术）；另一方面，将区块链作为高度可靠的计算机，依靠数学验证大规模计算。并深刻认识到：区块链和数学实现完整性的完美结合。
在 2018 年 StarkWare 率先提出采用 SATRK 有效性证明解决以太坊可扩展性难题。链下证明器和链上验证器计算差异，实现解锁大规模可扩展性。链下证明器处理批量交易并生成 STARK 证明，验证器则使用最小化计算检查链上证明。支持在链下处理大规模计算的同时用最低费用确保链上完整性。
从那以后，StarkWare 实现一个又一个里程碑：
StarkEx，基于 SaaS 商业模型，自 2020 年 6 月起投入生产，成为以太坊上最大的 L2 规模。
Cairo 诞生的原因：需要一种用于编写程序的通用型（图灵完备）编程语言，不仅满足开发者安全性和高效性，还能为程序的执行引入高效 STARK 证明。Cairo 作为最高效的有效性证明编程语言，它对可扩展性的重要程度不言而喻。
Starknet 类似于以太坊，是首个投入生产，允许编写自定义逻辑的去中心化网络。
脚踏黄土，面朝蓝天：我们采用双管齐下的方式。StarkWare 团队热爱技术、数学、创新，深耕于产品精益求精。
卓越成就卓越：StarekWare 首要成就是其深厚的人才基础。
卓越能容大度：我们欢迎并支持其他团队共同推动以太坊或 STARK 极限。
「一人行速，众人行远」：最初 StarkEx、Cairo 甚至 Starknet 都在内部完成，快速迈开脚步。下一步，我们将努力实现产品开源和去中心化，致力于将 STARK 技术打造成公共产品。
Starknet 生态建设快速扩张，拥有约 1000 位开发者和超 400 个 Github 代码资源库。
StarkWare 将贯彻「一人行速，众人行远」主旨：
让 Starknet 成为由 Starknet 基金会管理的无需许可、去中心化有效性扩容方案。
专注于 Starknet 去中心化各类型组件，如证明器、排序器和治理。
对 STARK 强大功能和可扩展性感兴趣的用户，欢迎学习开源 Cairo 语言，体验编写程序乐趣。
No activity yet