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...
Share Dialog
Share Dialog
「Starknet 中文」社区致力于 Starknet 在中文世界发展，提供最全生态资讯。
Subscribe to Starknet 中文
Subscribe to Starknet 中文
原文：Cairo 1.0 翻译：「StarkNet 中文」社区
自两年前 Cairo 推出后，Cairo 1.0 是第一个重大版本更新
Cairo 1.0 将为开发者提供一种更安全、更简单、更实用的编程语言
Cairo 1.0 的核心是 Sierra，这是个中间表示层，承诺为 Cairo 程序提供更大的长期稳定性
Sierra 提升 Cairo，推进无需许可网络：
保护网络：更稳固的 DoS 防护
保护用户：继承以太坊的抗审查性
Cairo 1.0 在许多方面都将影响 StarkNet，也会影响到网络重置。我们将在几周内发布更多关于重置的信息。
我们在 2020 年发布了图灵完备编程语言 Cairo，向 STARK 可验证计算迈出了一大步。今天，我们宣布 Cairo 1.0，这是迄今为止 Cairo 最大的改进。Cairo 1.0 将引入一种改进语言，其功能可以提高可用性、安全性和便捷性。Cairo 1.0 旨在支持 StarkNet 作为一个无需许可网络的要求，让协议变得更简洁、更安全。
开发工作已在进行中，我们预计第一个版本很快就会出来。
在这篇文章中，我们将讲述迄今为止 Cairo 的发展历程，以及即将推出的功能细节。
2020 年以前，建立 STARK 通用计算可验证程序需要专项知识。只有那些了解 STARK 背后复杂数学原理的人才有可能做到这点。具体来说，对于每一个业务逻辑，即每一次计算，都需要生成一个代数中间数表示 (AIR)，这是一组代表特定计算的多项式约束。
可验证计算应该让世界各地的开发者都能使用，Cairo 正是出于这样的想法而诞生了。Cairo 让开发者可以随心驾驭 STARK 的力量。
自此开发者社区就对 Cairo 充满热情。今日 StarkNet 生态系统中的一切繁荣都建立在 Cairo 之上。在 StarkNet 和 StarkEx 之间，由 Cairo 驱动的应用程序已处理超过 2.2 亿笔交易，铸造了超过 6500 万个 NFT，处理交易总价值超过 7000 亿美元，所有的这些都在以太坊上结算。
虽然 Cairo 让 STARK 变得可用，但最初是作为汇编语言而设计，因此就写成了一种低级语言。
在开发者的反馈和 StarkNet 兴起的推动下，我们逐渐改进 Cairo，让它变得更具表现力，对开发者更友好。
但很快我们就确定，需要向前更进一步，与其对 Cairo 做渐进式的改进，不如来一次更大胆的转型。
从 Cairo 1.0 开始，我们从头开始构建了一个全新的编译器，为开发者提供安全功能，且允许以更简单、更具表现力的方式编写合约。
Cairo 1.0 主要新增 Sierra（Safe Intermediate Representation，安全中间表示）。Sierra 构成 Cairo 1.0 和 Cairo 字节码之间的一个新的中间表示层。Sierra 的目标是确保每一次 Cairo 的运行（即一个 Cairo 程序和它的输入）都能得到证明（见下文）。
Sierra 保证 Cairo 开发者的代码未来一定可用。底层系统改进的情况下，StarkNet 合约不需要重新编译（例如，改变 CPU AIR 架构，改进 Sierra 到 Cairo 字节码的最终转译），这进一步带来稳定性。
证明每一次 Cairo 运行。 在之前的 Cairo 版本中，Cairo 运行可能导致三种情况：TRUE、FALSE 或失败。 失败的运行无法证明。 Sierra 能确保 Cairo 运行永远不会失败，并且只会得到 TRUE 或者 FALSE 的结果。 同时反过来又确保了每次 Cairo 的运行都可以被证明。
Sierra 的引入对于 StarkNet 作为一个无需许可的网络来说具有重要意义。 Sierra 确保即使是撤回的交易也可以包含在 StarkNet 块中。 此属性将允许 StarkNet 协议无需添加复杂的加密经济机制仍旧保持精简。
两个形象的例子：
排序器会对撤回交易收取费用，从而使 StarkNet 能够以既定的方式防范排序器 DoS 攻击。
可以实现强制 L1 交易，让 StarkNet 继承以太坊的全面抗审查性。
Cairo 1.0 将对编程语言自身提供很多改进。 下面所示内容并非在第一个版本一次更新，会按路线图逐渐更新。
不再有 local 和 tempvar，只用 let 来处理所有变量
改进 if 命题语法
Oldif cond != 0 {
tempvar x = x+1;
} else {
tempvar x = x;
}__________________________________Newif cond { x = x + 1; }
编译器将使用强类型化来提高代码的安全性。比如：
指针将总是指向初始化的内存
默认压缩 dictionaries，而不需要程序员调用 squash_dict
例如：
循环
let sum = 0
for x in iter {
sum = sum + x;
}
布尔表达式
整数（常规整数除法 👯）
相关类型的溢出保护
布尔条件
抽象数据类型（即类似 Rust 的枚举）
enum Option<T> {
Some: T,
None,
}match result {
Some(r) => {..},
None => {..},
}
特征
trait Add<Uint256> {
fn add(…) { … }
}
let a: Uint256 = 1;
let b: Uint256 = 4;
a + b; // Evaluated to 5 of type Uint256.
(e.g. dict, arrays)
Dict<Uint256, MyStruct>;
Array;
进一步优化的代码
自动检测并自动完成局部变量分配，无需明确说明。
启用更好的 IDE 支持、软件包管理以及更好地促进社区贡献。
Cairo 首次发布并应用两年的同时，我们也在开发 Cairo 1.0，将大幅提升可表达性、安全性和语法。这是 StarkNet 向前迈出的一大步，更方便开发人员编写 StarkNet 合约。
在即将发布的文章中，我们将详述 Cairo1.0 对 StarkNet 网络重置影响，以及开发人员应如何为其发布做好准备。
原文：Cairo 1.0 翻译：「StarkNet 中文」社区
自两年前 Cairo 推出后，Cairo 1.0 是第一个重大版本更新
Cairo 1.0 将为开发者提供一种更安全、更简单、更实用的编程语言
Cairo 1.0 的核心是 Sierra，这是个中间表示层，承诺为 Cairo 程序提供更大的长期稳定性
Sierra 提升 Cairo，推进无需许可网络：
保护网络：更稳固的 DoS 防护
保护用户：继承以太坊的抗审查性
Cairo 1.0 在许多方面都将影响 StarkNet，也会影响到网络重置。我们将在几周内发布更多关于重置的信息。
我们在 2020 年发布了图灵完备编程语言 Cairo，向 STARK 可验证计算迈出了一大步。今天，我们宣布 Cairo 1.0，这是迄今为止 Cairo 最大的改进。Cairo 1.0 将引入一种改进语言，其功能可以提高可用性、安全性和便捷性。Cairo 1.0 旨在支持 StarkNet 作为一个无需许可网络的要求，让协议变得更简洁、更安全。
开发工作已在进行中，我们预计第一个版本很快就会出来。
在这篇文章中，我们将讲述迄今为止 Cairo 的发展历程，以及即将推出的功能细节。
2020 年以前，建立 STARK 通用计算可验证程序需要专项知识。只有那些了解 STARK 背后复杂数学原理的人才有可能做到这点。具体来说，对于每一个业务逻辑，即每一次计算，都需要生成一个代数中间数表示 (AIR)，这是一组代表特定计算的多项式约束。
可验证计算应该让世界各地的开发者都能使用，Cairo 正是出于这样的想法而诞生了。Cairo 让开发者可以随心驾驭 STARK 的力量。
自此开发者社区就对 Cairo 充满热情。今日 StarkNet 生态系统中的一切繁荣都建立在 Cairo 之上。在 StarkNet 和 StarkEx 之间，由 Cairo 驱动的应用程序已处理超过 2.2 亿笔交易，铸造了超过 6500 万个 NFT，处理交易总价值超过 7000 亿美元，所有的这些都在以太坊上结算。
虽然 Cairo 让 STARK 变得可用，但最初是作为汇编语言而设计，因此就写成了一种低级语言。
在开发者的反馈和 StarkNet 兴起的推动下，我们逐渐改进 Cairo，让它变得更具表现力，对开发者更友好。
但很快我们就确定，需要向前更进一步，与其对 Cairo 做渐进式的改进，不如来一次更大胆的转型。
从 Cairo 1.0 开始，我们从头开始构建了一个全新的编译器，为开发者提供安全功能，且允许以更简单、更具表现力的方式编写合约。
Cairo 1.0 主要新增 Sierra（Safe Intermediate Representation，安全中间表示）。Sierra 构成 Cairo 1.0 和 Cairo 字节码之间的一个新的中间表示层。Sierra 的目标是确保每一次 Cairo 的运行（即一个 Cairo 程序和它的输入）都能得到证明（见下文）。
Sierra 保证 Cairo 开发者的代码未来一定可用。底层系统改进的情况下，StarkNet 合约不需要重新编译（例如，改变 CPU AIR 架构，改进 Sierra 到 Cairo 字节码的最终转译），这进一步带来稳定性。
证明每一次 Cairo 运行。 在之前的 Cairo 版本中，Cairo 运行可能导致三种情况：TRUE、FALSE 或失败。 失败的运行无法证明。 Sierra 能确保 Cairo 运行永远不会失败，并且只会得到 TRUE 或者 FALSE 的结果。 同时反过来又确保了每次 Cairo 的运行都可以被证明。
Sierra 的引入对于 StarkNet 作为一个无需许可的网络来说具有重要意义。 Sierra 确保即使是撤回的交易也可以包含在 StarkNet 块中。 此属性将允许 StarkNet 协议无需添加复杂的加密经济机制仍旧保持精简。
两个形象的例子：
排序器会对撤回交易收取费用，从而使 StarkNet 能够以既定的方式防范排序器 DoS 攻击。
可以实现强制 L1 交易，让 StarkNet 继承以太坊的全面抗审查性。
Cairo 1.0 将对编程语言自身提供很多改进。 下面所示内容并非在第一个版本一次更新，会按路线图逐渐更新。
不再有 local 和 tempvar，只用 let 来处理所有变量
改进 if 命题语法
Oldif cond != 0 {
tempvar x = x+1;
} else {
tempvar x = x;
}__________________________________Newif cond { x = x + 1; }
编译器将使用强类型化来提高代码的安全性。比如：
指针将总是指向初始化的内存
默认压缩 dictionaries，而不需要程序员调用 squash_dict
例如：
循环
let sum = 0
for x in iter {
sum = sum + x;
}
布尔表达式
整数（常规整数除法 👯）
相关类型的溢出保护
布尔条件
抽象数据类型（即类似 Rust 的枚举）
enum Option<T> {
Some: T,
None,
}match result {
Some(r) => {..},
None => {..},
}
特征
trait Add<Uint256> {
fn add(…) { … }
}
let a: Uint256 = 1;
let b: Uint256 = 4;
a + b; // Evaluated to 5 of type Uint256.
(e.g. dict, arrays)
Dict<Uint256, MyStruct>;
Array;
进一步优化的代码
自动检测并自动完成局部变量分配，无需明确说明。
启用更好的 IDE 支持、软件包管理以及更好地促进社区贡献。
Cairo 首次发布并应用两年的同时，我们也在开发 Cairo 1.0，将大幅提升可表达性、安全性和语法。这是 StarkNet 向前迈出的一大步，更方便开发人员编写 StarkNet 合约。
在即将发布的文章中，我们将详述 Cairo1.0 对 StarkNet 网络重置影响，以及开发人员应如何为其发布做好准备。
<100 subscribers
<100 subscribers
No activity yet