递归 STARK
第一个通用计算的递归证明现已在以太坊主网上发布长话短说递归证明在主网上上线，通过单一证明扩展 StarkEx 应用程序和 StarkNet它提高了规模，并在成本和延迟方面带来了好处（规模和延迟同时发生是一种罕见且令人兴奋的情况，而不是一种权衡）它为 L3 和其他好处奠定了基础请阅读有关递归证明的博客文章 。这是很酷的东西😉扩大！由开罗通用计算提供支持的递归证明现已投入生产。这标志着 STARK 的 L2 扩展能力得到了重大提升。它将通过单一证明写入以太坊的交易数量迅速增加数倍。 到目前为止，STARK 扩展的工作原理是将数十甚至数十万笔交易“汇总”到一个单一的证明中，然后写入以太坊。通过递归，许多这样的证明可以“汇总”成单个证明。 这种方法现已在许多基于开罗的应用程序的生产中使用：在 StarkEx（StarkWare 的 SaaS 扩展引擎）和 StarkNet（无需许可的汇总）上运行的应用程序。到目前为止的故事自 2020 年 3 月在主网上首次证明以来，以下发展影响了 STARK 的使用方式。基于 STARK 的扩展2020 年 6 月，第一个基于 STARK 的扩展解决...
递归 STARK
第一个通用计算的递归证明现已在以太坊主网上发布长话短说递归证明在主网上上线，通过单一证明扩展 StarkEx 应用程序和 StarkNet它提高了规模，并在成本和延迟方面带来了好处（规模和延迟同时发生是一种罕见且令人兴奋的情况，而不是一种权衡）它为 L3 和其他好处奠定了基础请阅读有关递归证明的博客文章 。这是很酷的东西😉扩大！由开罗通用计算提供支持的递归证明现已投入生产。这标志着 STARK 的 L2 扩展能力得到了重大提升。它将通过单一证明写入以太坊的交易数量迅速增加数倍。 到目前为止，STARK 扩展的工作原理是将数十甚至数十万笔交易“汇总”到一个单一的证明中，然后写入以太坊。通过递归，许多这样的证明可以“汇总”成单个证明。 这种方法现已在许多基于开罗的应用程序的生产中使用：在 StarkEx（StarkWare 的 SaaS 扩展引擎）和 StarkNet（无需许可的汇总）上运行的应用程序。到目前为止的故事自 2020 年 3 月在主网上首次证明以来，以下发展影响了 STARK 的使用方式。基于 STARK 的扩展2020 年 6 月，第一个基于 STARK 的扩展解决...
会话密钥：解锁更好的用户体验
迈向更流畅的区块链用户体验以太坊彻底改变了去中心化应用程序 (dApp) 的世界，提供了一种安全、透明的在线交互方式。然而，像以太坊这样的早期区块链网络提供了一种对大多数用户来说不直观的基本帐户模型，称为外部拥有帐户（EOA）。 在最近一篇有关本机帐户抽象的博客文章中，我们深入探讨了 EOA 带来的主要挑战：区块链用户体验不佳。与私钥持有者完全控制相关的安全风险。由于 EOA 与以太坊协议的严格联系而缺乏灵活性。为了解决这些问题，引入了账户抽象。账户抽象重新定义了账户的运作方式，通过可定制的“账户合约”为开发人员提供了灵活性。这些合约充当智能合约，采用账户抽象的三大支柱：自定义权限的签名抽象、多功能支付的费用抽象以及增强便利性的随机数抽象。 要更深入地了解与 EOA 相关的挑战以及 Starknet 如何克服这些挑战，请访问本机帐户抽象：开启区块链新的可能性。会话密钥帐户抽象的一个特别有前途的应用在于“会话密钥”的概念。传统上，去中心化应用程序 (dApp) 要求用户通过钱包单独签署每笔交易，这会带来摩擦，尤其是在会话中的多个交易期间。账户抽象引入了生成“会话密钥”的创新，使 d...
会话密钥：解锁更好的用户体验
迈向更流畅的区块链用户体验以太坊彻底改变了去中心化应用程序 (dApp) 的世界，提供了一种安全、透明的在线交互方式。然而，像以太坊这样的早期区块链网络提供了一种对大多数用户来说不直观的基本帐户模型，称为外部拥有帐户（EOA）。 在最近一篇有关本机帐户抽象的博客文章中，我们深入探讨了 EOA 带来的主要挑战：区块链用户体验不佳。与私钥持有者完全控制相关的安全风险。由于 EOA 与以太坊协议的严格联系而缺乏灵活性。为了解决这些问题，引入了账户抽象。账户抽象重新定义了账户的运作方式，通过可定制的“账户合约”为开发人员提供了灵活性。这些合约充当智能合约，采用账户抽象的三大支柱：自定义权限的签名抽象、多功能支付的费用抽象以及增强便利性的随机数抽象。 要更深入地了解与 EOA 相关的挑战以及 Starknet 如何克服这些挑战，请访问本机帐户抽象：开启区块链新的可能性。会话密钥帐户抽象的一个特别有前途的应用在于“会话密钥”的概念。传统上，去中心化应用程序 (dApp) 要求用户通过钱包单独签署每笔交易，这会带来摩擦，尤其是在会话中的多个交易期间。账户抽象引入了生成“会话密钥”的创新，使 d...
开源开罗 1.0！
长话短说开罗1.0开源了！这只是 StarkNet 堆栈开源的第一步。现在我们 首先介绍 一下 Cairo 1.0 编译器。您现在可以开始尝试基本的 Cairo 1.0 代码Cairo 1.0 的核心与 Rust 非常相似将其视为初体验，而不是发布。更多改进正在进行中。该编译器的第一个版本计划于明年第一季度初发布。StarkNet 尚不支持 Cairo 1.0。明年第一季度将在 StarkNet 上得到支持。介绍2020 年，我们发布了 Cairo，这是一种支持可验证计算的图灵完备编程语言。Cairo 最初是一种汇编语言，后来逐渐变得更具表现力。两个月前，我们发布了 Cairo 1.0，它解决了当前情况下的一些主要问题：虽然 Cairo 的语法自诞生以来已经有了显着的改进，但开发人员的体验始终可以改善。Cairo 1.0 是一种受 Rust 启发的完全类型化语言，使编写相同的逻辑变得更加容易且不易出错。现有的编译器是在与 StarkNet 本身相同的存储库中开发的，这使得跟踪语言更改变得更加困难。Cairo 1.0 编译器是从头开始编写的，可以实现更快的功能开发和更多的社区参与。...
开源开罗 1.0！
长话短说开罗1.0开源了！这只是 StarkNet 堆栈开源的第一步。现在我们 首先介绍 一下 Cairo 1.0 编译器。您现在可以开始尝试基本的 Cairo 1.0 代码Cairo 1.0 的核心与 Rust 非常相似将其视为初体验，而不是发布。更多改进正在进行中。该编译器的第一个版本计划于明年第一季度初发布。StarkNet 尚不支持 Cairo 1.0。明年第一季度将在 StarkNet 上得到支持。介绍2020 年，我们发布了 Cairo，这是一种支持可验证计算的图灵完备编程语言。Cairo 最初是一种汇编语言，后来逐渐变得更具表现力。两个月前，我们发布了 Cairo 1.0，它解决了当前情况下的一些主要问题：虽然 Cairo 的语法自诞生以来已经有了显着的改进，但开发人员的体验始终可以改善。Cairo 1.0 是一种受 Rust 启发的完全类型化语言，使编写相同的逻辑变得更加容易且不易出错。现有的编译器是在与 StarkNet 本身相同的存储库中开发的，这使得跟踪语言更改变得更加困难。Cairo 1.0 编译器是从头开始编写的，可以实现更快的功能开发和更多的社区参与。...
开罗 1.0 来了
或者，正如古埃及人所说，“象形文字变得更加容易”长话短说Cairo 1.0 第一个版本来了！开发者可以开始编写和测试 Cairo 1.0 程序未来几周内将达到与旧版 Cairo 相同的功能即将推出的 StarkNet Alpha 版本将添加对 StarkNet 合约的支持背景我们很高兴地宣布 Cairo 1.0 的第一个公共版本现已推出。这标志着 Cairo 发展的一个重要里程碑，Cairo 于 2020 年首次推出，作为图灵完备的编程语言，用于高效编写 STARK 可证明的程序。Cairo 1.0 是一种类似 Rust 的高级语言。与 Rust 一样，它旨在让开发人员轻松编写高效且安全的代码。 自成立以来，Cairo 一直用于构建 Layer-2 应用程序，已 处理 价值超过 7900 亿美元的交易，处理超过 3 亿笔交易并铸造超过 9000 万个 NFT，所有这些都在链外执行并以数学完整性在以太坊上结算由 STARK 证明保证。Cairo 成为整个区块链生态系统中第四大最常用的编程语言 。随着 Cairo 1.0 的发布，我们的目标是使该语言更加易于访问和用户友好，同时引入增...
开罗 1.0 来了
或者，正如古埃及人所说，“象形文字变得更加容易”长话短说Cairo 1.0 第一个版本来了！开发者可以开始编写和测试 Cairo 1.0 程序未来几周内将达到与旧版 Cairo 相同的功能即将推出的 StarkNet Alpha 版本将添加对 StarkNet 合约的支持背景我们很高兴地宣布 Cairo 1.0 的第一个公共版本现已推出。这标志着 Cairo 发展的一个重要里程碑，Cairo 于 2020 年首次推出，作为图灵完备的编程语言，用于高效编写 STARK 可证明的程序。Cairo 1.0 是一种类似 Rust 的高级语言。与 Rust 一样，它旨在让开发人员轻松编写高效且安全的代码。 自成立以来，Cairo 一直用于构建 Layer-2 应用程序，已 处理 价值超过 7900 亿美元的交易，处理超过 3 亿笔交易并铸造超过 9000 万个 NFT，所有这些都在链外执行并以数学完整性在以太坊上结算由 STARK 证明保证。Cairo 成为整个区块链生态系统中第四大最常用的编程语言 。随着 Cairo 1.0 的发布，我们的目标是使该语言更加易于访问和用户友好，同时引入增...
Cairo 1.0-Alpha.2 — 新版本即将发布
Cairo 1.0-Alpha.2 — 新版本即将发布长话短说我们正在发布 Cairo 1.0-alpha.2，它为该语言带来了许多新功能现在可以实施 ERC20 合约这些新的语言功能将适用于即将推出的 StarkNet-v0.11.0 版本全新功能！Cairo 1.0 正在继续快速改进。今天的版本介绍了编写 ERC-20 合约的所有必要功能等。 提及一些新功能：词典合同中的事件映射存储变量特质支持类型推断方法请参阅 GitHub存储库中的完整列表 。 让我们看一下 ERC20 合约的示例（当然，完整的具体示例位于 GitHub上），以演示事件和存储中的映射的用例：跳入水中我们继续研究两个平行向量：全速发展 Cairo 1.0，以实现与旧 Cairo 的全功能兼容性。开发 Starknet v0.11.0，支持 Cairo 1.0 编写的合约同时，我们鼓励开发人员开始使用 Cairo 1.0 进行编写并熟悉它。 如有任何问题 - 您可以使用 Cairo 1.0 Discord 频道。 对于任何建议或反馈 - 请随时 在 Cairo 存储库中提出问题。
Cairo 1.0-Alpha.2 — 新版本即将发布
Cairo 1.0-Alpha.2 — 新版本即将发布长话短说我们正在发布 Cairo 1.0-alpha.2，它为该语言带来了许多新功能现在可以实施 ERC20 合约这些新的语言功能将适用于即将推出的 StarkNet-v0.11.0 版本全新功能！Cairo 1.0 正在继续快速改进。今天的版本介绍了编写 ERC-20 合约的所有必要功能等。 提及一些新功能：词典合同中的事件映射存储变量特质支持类型推断方法请参阅 GitHub存储库中的完整列表 。 让我们看一下 ERC20 合约的示例（当然，完整的具体示例位于 GitHub上），以演示事件和存储中的映射的用例：跳入水中我们继续研究两个平行向量：全速发展 Cairo 1.0，以实现与旧 Cairo 的全功能兼容性。开发 Starknet v0.11.0，支持 Cairo 1.0 编写的合约同时，我们鼓励开发人员开始使用 Cairo 1.0 进行编写并熟悉它。 如有任何问题 - 您可以使用 Cairo 1.0 Discord 频道。 对于任何建议或反馈 - 请随时 在 Cairo 存储库中提出问题。
