量子计算即将到来，这对 Starknet 意味着什么？
原文：Quantum computing is coming. What does it mean for Starknet? 翻译及校对：Starknet 中文社区 📑 转载请注明出处 🕹️引言自 20 世纪 80 年代起，量子计算一直是人们讨论的热点。从那时起，它便被视为是一项颠覆性的技术，预计将彻底改变计算领域。量子计算能够在几分钟或几秒钟内解决某些复杂问题，而这些问题需要当今最强大的计算机花费数百甚至数千年的时间才能解决。 一方面，量子计算将帮助我们解决巨大的文明挑战，例如发现新药物以及应对气候变化。另一方面，它也有可能危及包括区块链在内的所有现有计算机网络。 继谷歌最近在量子计算领域取得突破之后，我们认为有必要且需要及时解释 STARK 证明的量子抗性。STARK 证明是 StarkWare 开发的核心技术，也是 Starknet 这一以太坊二层有效性 rollup 的基础技术。首先，让我们简要介绍一下量子计算到底是什么。什么是量子计算？量子计算利用叠加态、纠缠态和量子干涉等量子力学原理来处理信息。可以将其视为一种通过微小粒子（如原子）的行为规则，以极其智能的方式解...
量子计算即将到来，这对 Starknet 意味着什么？
原文：Quantum computing is coming. What does it mean for Starknet? 翻译及校对：Starknet 中文社区 📑 转载请注明出处 🕹️引言自 20 世纪 80 年代起，量子计算一直是人们讨论的热点。从那时起，它便被视为是一项颠覆性的技术，预计将彻底改变计算领域。量子计算能够在几分钟或几秒钟内解决某些复杂问题，而这些问题需要当今最强大的计算机花费数百甚至数千年的时间才能解决。 一方面，量子计算将帮助我们解决巨大的文明挑战，例如发现新药物以及应对气候变化。另一方面，它也有可能危及包括区块链在内的所有现有计算机网络。 继谷歌最近在量子计算领域取得突破之后，我们认为有必要且需要及时解释 STARK 证明的量子抗性。STARK 证明是 StarkWare 开发的核心技术，也是 Starknet 这一以太坊二层有效性 rollup 的基础技术。首先，让我们简要介绍一下量子计算到底是什么。什么是量子计算？量子计算利用叠加态、纠缠态和量子干涉等量子力学原理来处理信息。可以将其视为一种通过微小粒子（如原子）的行为规则，以极其智能的方式解...
比特币 DeFi 成真之路：OP_CAT 的替代方案来了！
原文：For Bitcoin DeFi to Become a Reality, There's Now an Alternative to Op_Cat 作者：Eli Ben-Sasson 翻译及校对：Starknet 中文社区 📑 转载请注明出处 🕹️ 精选速览ColliderScript 是一种无需重新引入 OP_CAT 代码，即可实现 DeFi 的方式ColliderScript 提供了一种连接验证和检查签名这两个世界的方式使得签名既可以在「大世界」中被验证，又可以在「小世界」中被检查比特币迎来了辉煌的 16 周岁生日，而其「婚礼」时刻也即将到来。 就在我们开始倒数比特币创世区块 16 周年纪念日的同时 — 实际上，这一时刻标志着整个加密世界的诞生 — 比特币突破了 10 万美元大关。下一个重大里程碑将不再是价格上的突破，而是关于功能性的里程碑。 当这个数字黄金、数字价值存储与 DeFi 领域结合时，这一里程碑将会到来。届时，将会出现许多当前无法实现的应用场景，但也绝不会牺牲比特币的原则和安全性。就像一段（美好的）婚姻，比特币保持其独特性的同时，能够实现更多...
比特币 DeFi 成真之路：OP_CAT 的替代方案来了！
原文：For Bitcoin DeFi to Become a Reality, There's Now an Alternative to Op_Cat 作者：Eli Ben-Sasson 翻译及校对：Starknet 中文社区 📑 转载请注明出处 🕹️ 精选速览ColliderScript 是一种无需重新引入 OP_CAT 代码，即可实现 DeFi 的方式ColliderScript 提供了一种连接验证和检查签名这两个世界的方式使得签名既可以在「大世界」中被验证，又可以在「小世界」中被检查比特币迎来了辉煌的 16 周岁生日，而其「婚礼」时刻也即将到来。 就在我们开始倒数比特币创世区块 16 周年纪念日的同时 — 实际上，这一时刻标志着整个加密世界的诞生 — 比特币突破了 10 万美元大关。下一个重大里程碑将不再是价格上的突破，而是关于功能性的里程碑。 当这个数字黄金、数字价值存储与 DeFi 领域结合时，这一里程碑将会到来。届时，将会出现许多当前无法实现的应用场景，但也绝不会牺牲比特币的原则和安全性。就像一段（美好的）婚姻，比特币保持其独特性的同时，能够实现更多...
Starknet 安全委员会的网络安全新框架
原文：Starknet Security Council’s New Framework for Network Security 翻译及校对：Starknet 中文社区 📑 转载请注明出处 🕹️Starknet 安全委员会 V1.0 已成立，旨在确保 Starknet 网络的安全性和完整性。 该委员会由 12 名成员组成，注重地理和组织多样性以及专业知识。委员会的初步使命是保障质押安全，未来将逐步扩展至 Starknet 核心基础设施的保护。委员会将通过评估和批准提议的升级、管理应急响应以及保持透明的报告来执行这一使命。 以下是 Starknet 安全委员会新网络安全框架的简要介绍。了解完整详情，请访问社区论坛帖子及其支持的 SNIP。核心职责委员会的职责是兼顾安全性和操作透明度，具体包括：安全风险评估 — 评估 Starknet 和新合约的拟议升级，识别潜在漏洞。应急响应 — 紧急情况下，通过委员会 75% 以上投票批准后，可迅速采取行动。审批流程 — 在经过充分的安全审查后授权升级，需至少 50% 委员会成员同意。透明度 — 发布批准、否决及应急决策的报告，以维护 St...
Starknet 安全委员会的网络安全新框架
原文：Starknet Security Council’s New Framework for Network Security 翻译及校对：Starknet 中文社区 📑 转载请注明出处 🕹️Starknet 安全委员会 V1.0 已成立，旨在确保 Starknet 网络的安全性和完整性。 该委员会由 12 名成员组成，注重地理和组织多样性以及专业知识。委员会的初步使命是保障质押安全，未来将逐步扩展至 Starknet 核心基础设施的保护。委员会将通过评估和批准提议的升级、管理应急响应以及保持透明的报告来执行这一使命。 以下是 Starknet 安全委员会新网络安全框架的简要介绍。了解完整详情，请访问社区论坛帖子及其支持的 SNIP。核心职责委员会的职责是兼顾安全性和操作透明度，具体包括：安全风险评估 — 评估 Starknet 和新合约的拟议升级，识别潜在漏洞。应急响应 — 紧急情况下，通过委员会 75% 以上投票批准后，可迅速采取行动。审批流程 — 在经过充分的安全审查后授权升级，需至少 50% 委员会成员同意。透明度 — 发布批准、否决及应急决策的报告，以维护 St...
在 Starknet 上隐私验证 zk-SNARK：零知识的低成本魔法
原文：Zero-Knowledge Magic for Cheap 翻译及校对：Starknet 中文社区 📑 转载请注明出处 🕹️你来到了俱乐部，但忘带了身份证，安保人员们正盯着你看。 如果你能在不透露太多信息的情况下证明自己的年龄就好了。 这正是零知识证明的作用所在。精选速览现在，你可以通过 Starknet 来验证 zk-SNARK 了。Starknet 是发布零知识证明的最经济的方式¹。赚取收益？这个「消息」由本文独家提供。零知识入门包 🎒我们需要三种关键成分。 Starknet 就像一条超级强大的高速公路，复杂的智能合约可以在这里以低成本的价格快速运行。你们可以把 Starknet 看作是以太坊的一个速度飞快的「亲戚」。 Circom² 是你所在社区的证明生成器。它允许开发者编写程序，隐藏部分输入信息。 Garaga 是 Starknet 的证明检查器。就像一个非常精密的安保人员，能够直接在 Starknet 上验证数学证明。整个过程是如何协同工作的 🔄首先，我们需要用一种支持零知识证明的编程语言编写我们想要检查的计算。这类语言允许指定私密输入，并能够编译成我们...
在 Starknet 上隐私验证 zk-SNARK：零知识的低成本魔法
原文：Zero-Knowledge Magic for Cheap 翻译及校对：Starknet 中文社区 📑 转载请注明出处 🕹️你来到了俱乐部，但忘带了身份证，安保人员们正盯着你看。 如果你能在不透露太多信息的情况下证明自己的年龄就好了。 这正是零知识证明的作用所在。精选速览现在，你可以通过 Starknet 来验证 zk-SNARK 了。Starknet 是发布零知识证明的最经济的方式¹。赚取收益？这个「消息」由本文独家提供。零知识入门包 🎒我们需要三种关键成分。 Starknet 就像一条超级强大的高速公路，复杂的智能合约可以在这里以低成本的价格快速运行。你们可以把 Starknet 看作是以太坊的一个速度飞快的「亲戚」。 Circom² 是你所在社区的证明生成器。它允许开发者编写程序，隐藏部分输入信息。 Garaga 是 Starknet 的证明检查器。就像一个非常精密的安保人员，能够直接在 Starknet 上验证数学证明。整个过程是如何协同工作的 🔄首先，我们需要用一种支持零知识证明的编程语言编写我们想要检查的计算。这类语言允许指定私密输入，并能够编译成我们...
比特币扩展概念验证：在支持 OP_CAT 的比特币上实现桥契约
原文：Implementing a Bridge Covenant on OP_CAT-Enabled Bitcoin: A Proof of Concept 翻译及校对：Starknet 中文社区 📑 转载请注明出处 🕹️ 精选速览深入探讨在比特币上构建 demo 桥契约，为 Starknet 的生产级桥奠定基础实施存取款聚合器、桥和取款扩展器四种智能合约利用递归契约和默克尔树有效地批量处理存款和取款请求，同时保持用户账户的完整性和安全性引言本文，我们深入探讨了 sCrypt 如何在比特币上构建一个 demo 桥契约。该概念验证实现旨在为 Starknet 二层（L2）网络的生产级桥奠定基础。该桥的设计允许将多个存款或取款请求交易合并为一个根交易，并将其并入主桥契约中，更新其状态，该状态由一组以默克尔树组织的账户组成。 由于桥契约脚本非常复杂，我们在 sCrypt 利用了 sCrypt 专属领域语言（DSL）来编写其实现方式。概览该桥由一个递归契约比特币脚本构成。在这里，「契约」意味着锁定脚本能够对支出交易施加条件，而「递归」则意味着上述规则足够强大，可以在链上实现持久的逻...
比特币扩展概念验证：在支持 OP_CAT 的比特币上实现桥契约
原文：Implementing a Bridge Covenant on OP_CAT-Enabled Bitcoin: A Proof of Concept 翻译及校对：Starknet 中文社区 📑 转载请注明出处 🕹️ 精选速览深入探讨在比特币上构建 demo 桥契约，为 Starknet 的生产级桥奠定基础实施存取款聚合器、桥和取款扩展器四种智能合约利用递归契约和默克尔树有效地批量处理存款和取款请求，同时保持用户账户的完整性和安全性引言本文，我们深入探讨了 sCrypt 如何在比特币上构建一个 demo 桥契约。该概念验证实现旨在为 Starknet 二层（L2）网络的生产级桥奠定基础。该桥的设计允许将多个存款或取款请求交易合并为一个根交易，并将其并入主桥契约中，更新其状态，该状态由一组以默克尔树组织的账户组成。 由于桥契约脚本非常复杂，我们在 sCrypt 利用了 sCrypt 专属领域语言（DSL）来编写其实现方式。概览该桥由一个递归契约比特币脚本构成。在这里，「契约」意味着锁定脚本能够对支出交易施加条件，而「递归」则意味着上述规则足够强大，可以在链上实现持久的逻...
