一览Starknet。
StarkNet 使用 STARK,这是一类无需可信设置的零知识证明,用于在 Ethereum 上验证成批的 交易。其 Cairo 编程语言从底层设计为可高效证明,为开发者提供了编写可验证程序的工具,而不仅限于简单的代币转账。
$158.6M
Starknet上DeFi协议中锁定的价值。更新于2026年9月19日。数据来源:DefiLlama。
STRK
用于支付手续费与保障网络安全。查看STRK实时价格。
Starknet的运作方式。
StarkNet 在链下的 Cairo VM 中执行交易,并生成发送至 Ethereum 上验证者合约的 STARK 证明。STARK 具备抗量子能力,且无需可信设置仪式,这使其区别于基于 SNARK 的系统。STRK 代币于 2024 年 2 月上线,与 ETH 一同用于支付交易手续费。
StarkNet 在链下的 Cairo VM 中执行交易,并生成发送至 Ethereum 上验证者合约的 STARK 证明。STARK 具备抗量子能力,且无需可信设置仪式,这使其区别于基于 SNARK 的系统。STRK 代币于 2024 年 2 月上线,与 ETH 一同用于支付交易手续费。
Cairo 编程语言
Cairo 是一种图灵完备的语言,旨在编写其执行可用 STARK 高效证明的程序。它不同于 Solidity,需要学习新的范式,但能实现 Solidity 无法表达的可证明计算。
STARK 证明
STARK 证明是透明的(无需可信设置)、抗量子且高度可扩展的。证明大小和验证成本随计算规模呈对数增长,使得超大批量的处理十分高效。
账户抽象
与 zkSync Era 一样,StarkNet 上的每个账户都是一个智能合约。这内建于协议之中,而非作为扩展添加,从而默认启用高级钱包功能。
STRK 代币
STRK 于 2024 年初分发给早期社区成员和贡献者。它用于支付 Gas 费,并用于 StarkWare(斯塔克沃尔) 正在构建的去中心化 排序器 模型中的质押。
Starknet的用途。
StarkNet 拥有不断壮大的 DeFi 生态,主要以 Cairo 合约构建,包括 DEX、借贷市场,以及利用可证明计算实现新颖用例的应用。
带密码学证明的 DeFi
在 StarkNet 上兑换、借贷并赚取收益。手续费低于 Ethereum 主网,且每一次状态变更都由 Ethereum 上的 STARK 证明进行验证。
可证明的游戏
Cairo 使链上游戏能够证明其游戏逻辑的正确性,从而实现乐观执行无法做到的完全可验证的游戏机制。
身份与凭证
StarkNet 的证明系统能够在不泄露底层数据的情况下验证凭证和身份声明,适用于保护隐私的应用。
大规模计算
STARK 证明随批量大小良好扩展,因此 StarkNet 非常适合需要在 Ethereum 上验证大量计算的应用。
持有、兑换并消费STRK。
常见问题。
什么是 Cairo,使用 StarkNet 需要学习它吗?
STARK 与 SNARK 有什么区别?
什么是 STRK?
StarkNet 提现需要多长时间?
我能在 Zypto App(Zypto 应用) 中持有 STRK 吗?
相关网络。
从学习到实践。
在一个自托管应用中,在 20+ 条 区块链 上持有、兑换和消费加密货币,配套真实 Visa 卡供现实使用。
自托管 · 您的私钥,您的资产。
