织梦CMS - 轻松建站从此开始!

我的网站

当前位置: 主页 > 区块链

一文读懂 StarkWare:dYdX 和 Immutable 背后的 L2 方案(6)

时间:2021-11-02 14:02来源:未知 作者:admin 点击:
SHARP —— 共享证明器 (由 StarkWare 专门为应用定制):SHARP 是 Cairo 语言的共享证明服务。 它接收来自不同应用程序的证明请求并输出证明以证明 Cairo 代码执

  •   SHARP —— 共享证明器 (由 StarkWare 专门为应用定制):SHARP 是 Cairo 语言的共享证明服务。 它接收来自不同应用程序的证明请求并输出证明以证明 Cairo 代码执行的有效性。 输出证明可以在多个证明请求之间共享。这个组件此前的名字叫 Generic Prover Service. 所以组件本质上是一个后端服务器,包含了一些特定服务。 推测是部署在 StarkWare 的中心化服务器上。

  •   StarkEx 合约 ( Verifier 合约) —— 状态更新、存款和取款:该合约有两个主要功能。 第一个功能是在验证满足有效性条件后更新系统的状态,第二个功能是以非托管方式管理进出 StarkEx 的存款和取款 (任何情况下,用户都可以提取他们的资金)。这个组件是以太坊上的一个智能合约。

  •   Starkswap 的业务逻辑如下:

      1. 处理请求:

      淡蓝色方框内的 StarkWare 应用程序处理客户请求,将这些交易转换为可证明的陈述,并将这些发送给深蓝色方框内的 SHARP. 所有请求发送与处理都通过图中第一步的 API 以及第二步中的批处理语句发送 (一个批次可以编译多个请求)。

      2. SHARP 证明:

      深蓝色的 SHARP 构造证明。

      3. 登记证明:

      SHARP 将证明传输到粉色框中的第三步的链上验证者智能合约。

      4. 注册状态转换:

      第四步中,StarkWare 应用程序在 Starkswap 智能合约上进行应用状态转换。

      第五步中,为确保转换的有效性 (SHARP 的验证), Starkswap 的智能合约确认转换语句已在 Verifier 智能合约中注册。

    功能与加密算法

      https://docs.starkware.co/starkex-v3/crypto/stark-Curve

      功能细节:

    •   链下状态:余额树和顺序树。 通过默克尔树,保证了资金状态的安全和可信,以及避免了双花问题。

    •   flow Description:

      •   链上账户 (账户的余额在链外存储和管理,除非资金移入 / 移出链上账户。 从 L1 的角度来看,这些账户的资金都存储在 StarkEx 智能合约下。)

      •   链下账户 (所有余额指令作为 L1 交易到达。 链上账户的一个特殊属性是它不需要私钥 (stark 的私钥), 所以智能合约是此类账户的 “ 所有者 ”. 因此,L1 用户和应用程序可以通过 StarkEx 进行交易并与任何挂单匹配。 链上交易模式实现了 StarkEx 应用程序和 L1 应用程序之间的互操作性,可用于 DEFI Pooling 或由流动性聚合器使用).

    •   StarkEx 特定概念:在 StarkEx 中有很多概念 与以太坊不同,因此开发需要额外的学习。

    •   除此之外,StarkEx 还有信息加密、批量闪电贷、DeFi pooling 等的特定操作。

    •   加密算法:STARK Elliptic Curve、Pedersen HASH Function、KDF。通过使用以上的加密算法以及 参考 实例,第三方钱包可以集成 StarkEx。 (责任编辑:admin)

    织梦二维码生成器
    顶一下
    (0)
    0%
    踩一下
    (0)
    0%
    ------分隔线----------------------------
    发表评论
    请自觉遵守互联网相关的政策法规,严禁发布色情、暴力、反动的言论。
    评价:
    表情:
    用户名: 验证码:点击我更换图片
    栏目列表
    推荐内容