Starknet 由 StarkWare 开发,是一种先进的第 2 层 (L2) 扩展解决方案,旨在通过提供更快、更便宜的交易来增强以太坊网络。Starknet 通常被称为“有效性汇总”而不是“零知识”(ZK) 汇总,它优先考虑确保交易的有效性而不是隐私。
starknet 的独特之处总结如下:
1.专用虚拟机:Cairo VM
#Starknet 采用 Cairo VM,这是一种与以太坊 EVM 截然不同的独特虚拟机。Cairo 的语法受 Rust 启发,旨在方便开发人员编写可证明的程序。这款专用 VM 展示了第 2 层解决方案可用的灵活设计空间,凸显了超越传统以太坊开发环境的创新潜力。
![](https://public.bnbstatic.com/image/pgc/202407/d6dd9fac9d18d00d053e47743f8498a8.png)
2. 高级加密证明:STARK
Starknet 使用可扩展透明知识论证 (STARK) 来提供出色的安全性和低廉的交易成本。STARK 是确保网络完整性和效率的高级加密证明。这些证明不仅可以提高安全性,还可以大大降低计算开销,使交易更具成本效益和可扩展性。
![](https://public.bnbstatic.com/image/pgc/202407/5606955db407b2b93b8f4ce7778e9e54.png)
3. 账户抽象(AA)
Starknet 的账户抽象功能通过实现多因素身份验证、社交恢复和无 gas 交易来改善用户体验。这改善了去中心化应用程序 (dApp) 的用户体验,使主流用户更容易访问它们。账户抽象简化了与区块链技术的交互,减少了最终用户和开发人员的摩擦。
运作机制
交易生命周期
![](https://public.bnbstatic.com/image/pgc/202407/41503bab33294b3220b8090b757d199d.png)
排序器:在 Starknet 上发起的交易首先由排序器接收,排序器负责在链下收集和排序这些交易。排序器充当初始守门人,确保交易得到正确的排队和处理。
批处理:排序器批量处理这些交易,一起执行并将结果汇总为单个证明。批处理优化了资源使用率并提高了网络的吞吐量。
证明者:证明者使用 Cairo 编程语言生成 STARK 证明,然后在以太坊主网上进行验证。验证后,网络状态将在以太坊上更新,确保交易的安全性和完整性。此过程可确保所有链下活动准确反映在主网上,从而保持信任和透明度。
成本效益
随着用户和交易数量的增加,批次变得更大、更频繁,从而优化了成本分配,使 Starknet 的成本效益越来越高。这种效率使 Starknet 成为大规模应用程序和高交易环境的实用解决方案,与传统的以太坊交易相比,可节省大量成本。
![](https://public.bnbstatic.com/image/pgc/202407/0e97e58d5011b51649d82f564365a80d.png)
未来:权益质押和高级证明者
Starknet 上的质押
Starknet 计划在 2024 年底前推出其 STRK 代币的质押。用户可以通过锁定其 STRK 代币至少三周来成为质押者,并获得与质押金额成比例的奖励。该质押机制将分阶段推出,最终让质押者参与实时证明和网络安全流程。
Stwo Prover:下一代
StarkWare 正在开发 Stwo,这是一款实现 Circle STARK 协议的新证明器。Stwo 将利用梅森素数域 M31 实现前所未有的证明性能,并将在 Apache 2.0 下开源。
Circle STARK 协议
Circle STARK 协议由 Polygon Labs 开发,可以实现高效计算,不受经典 STARK 协议的限制,从而实现更快、更高效的 STARK 证明。这一创新代表了密码学研究和实际应用的重大飞跃。
Stwo 的优势
Stwo 将增强扩展性、降低延迟和费用,并与高级 Cairo 代码完全兼容。它将提高 Starknet 的性能,而无需开发人员修改现有应用程序。这种无缝集成确保可以在不破坏现有开发工作流程的情况下实现 Stwo 的优势。
![](https://public.bnbstatic.com/image/pgc/202407/00d7eee15c8b402c83c6fd3b53924077.jpg)
比特币整合:拓展视野
StarkWare 通过在 #Bitcoin Signet 网络上验证第一个 ZK 证明取得了里程碑式的进展。“OP_CAT”提案将智能合约功能引入比特币,标志着将私有 L2 集成到比特币生态系统中迈出了关键一步。
![](https://public.bnbstatic.com/image/pgc/202407/c4614e917c71e90530e25a0df54dfa36.png)
比特币扩容的好处
增强可扩展性:通过扩展比特币,Starknet 的目标是每秒处理数百万笔交易,而比特币目前的处理能力约为每秒 13 笔交易。这种可扩展性对于比特币支持更广泛的应用和更高的交易量至关重要。
金融包容性:改进的可扩展性可以为全球 15 亿无法获得传统银行服务的人提供金融服务。这符合比特币最初的愿景,即为没有银行账户和银行账户不足的人群提供金融服务。
隐私:使用 STARK 增强交易隐私可以显著提高比特币交易的隐私性,这是许多用户关注的关键问题。
金融创新:使用 Starknet 扩展比特币可以支持比特币上的高级金融工具,包括可编程保险库、风险管理工具和衍生品。这项创新可以推动比特币的新用例和应用,从而增强其实用性和采用率。
补助金和社区支持
![](https://public.bnbstatic.com/image/pgc/202407/3bdda22f8b7751e5fe279f2463d88043.jpg)
种子资助计划
种子基金计划为具有最小可行产品 (MVP) 或概念验证的项目提供高达 25,000 美元的 USDC,以促进早期创新。这笔资金对于希望对 Starknet 生态系统产生重大影响的新项目至关重要。
申请流程
种子基金计划的申请流程简化,通常在提交申请后两周内即可做出决定。这一快速周转时间有助于项目获得所需的支持,避免不必要的延误。
社区活动
Provisions 计划和 Ambassadors 计划等计划吸引和支持开发人员、爱好者和其他利益相关者,围绕 Starknet 建立强大的社区。这些计划促进了协作和创新,推动了 Starknet 生态系统的发展和成功。
Eli Ben-Sasson:有远见的领袖
![](https://public.bnbstatic.com/image/pgc/202407/99ee014056a26e02c09fd00106580949.png)
StarkWare 联合创始人兼首席执行官 Eli Ben-Sasson 在学术界和区块链技术开发方面拥有丰富的经验。他获得了希伯来大学的理论计算机科学博士学位,并曾在哈佛大学、麻省理工学院和普林斯顿高等研究院担任研究职位。作为以色列理工学院的教授,Eli 专攻计算复杂性和零知识证明,这些领域对区块链技术至关重要。
Eli 的工作为开发可扩展且安全的加密协议奠定了基础。他是 STARK、FRI 和 Zerocash 协议的共同发明人,也是 Zcash Company 的创始科学家。他在 StarkWare 的领导推动了突破性技术的开发,这些技术解决了区块链中最具挑战性的问题,例如隐私和可扩展性。在他的指导下,StarkWare 继续开拓创新,以提高区块链系统的效率和安全性。
结论:未来之路
作为以太坊的顶级第 2 层解决方案,Starknet 为开发人员提供了自由、安全性和可扩展性。随着 Stwo 证明器的引入和持续升级,Starknet 承诺进一步提高性能并降低费用。随着不断发展,Starknet 有可能彻底改变数字金融和去中心化应用行业,为消费者和开发人员提供前所未有的可能性。