简介StarkEx 是 StarkWare 创立的,为项目方定制 ZKR 的企业服务,它可以帮助项目定制应用专有的 ZKR,目前使用 StarkEx 的客户包括 dYdX 、Sorare、ImmutableX、DeversiFi 等。 与通用 ZKR 不同,在通过 StarkEx 定制的 ZKR 中,项目方往往具有超级管理员的权限,可以决定交易是否通过与排序,外部开发者不能免许可地部署应用,网络较为中心化,但优点是性能极高。工作原理StarkEx工作流如下:打包交易:链下服务器(往往由项目方中心化运行)处理客户请求,将多个交易组合成一个“批次”,供 StarkEx 处理。确认交易和更新状态:链下服务器确认交易合法,并以被压缩后的哈希形式更新系统状态。为交易生成证明:SHARP 会为交易生成 STARK 证明以确认交易有效性,然后将证明和更新发送到链上 Verifier 智能合约,以确保交易的完整性。链上验证证明:一旦 STARK 证明被验证,状态更新被提交并结算回以太坊主网。所有交易都是在链外处理和验证的,而其完整性的证明是在链上验证的。SHARP 是一个共享证明者,它同时为多个...