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 功能细节:
|