ZKCross

初步分析 20221010

💡

一句话介绍：基于ZK-WASM的多链 ZK Layer2

the 1st #zkWasm-based execution layer for multichain scaling

F: Fundamental

现状

目前没有一个安全的高效的区块链互操作性解决方案

跨链桥不安全

链间操作成本高，可拓展性低

不能覆盖多条区块链

ZKP → Security，链下计算的验证

解决方案

最安全的跨链执行层（一笔交易，2+区块链互动）

执行和结算层分离

端到端 ZKP

zkWASM（性能+多种语言支持）

基于ZKP的跨链协议：ZKCross作为一个协议，通过建立一个无所不在的层，作为一个跨链层，来跟踪和同步几个区块链的全局状态变化。它通过验证计算和使用zk-snark证明执行多链Rollup来解决跨链第三方的可靠性问题。

竞争对手

Gas Fee

Alexar

https://www.chaincatcher.com/article/2072866

机制

一个去中心化的网络：首先是去中心化网络本身，由一组负责维护网络和执行交易的验证器所支持。验证器运行跨链网关协议，该协议是位于L1区块链之上的多方加密覆盖层。其负责对部署在所连接外部链上的网关智能合约执行读写操作，并对这些链上的事件进行投票和认证。

网关智能合约：第二个是网关——提供 Axelar 网络与其互连的L1区块链之间连接性的智能合约。验证器监控网关以获取验证器读取的传入交易。然后其就该交易的有效性达成共识；一旦达成一致，验证器就会写入目标链的网关以执行跨链交易。验证器和网关构成核心基础设施层。

开发者工具：位于验证器和网关之上的是 API 和 SDK（使开发人员能够轻松访问 Axelar 网络的库和工具）。这是应用程序开发层，这是应用程序开发层，开发人员将使用它在一次“跳跃”中跨越任何两个链进行组合，从而为其区块链和应用程序增加通用互操作性。借助 Axelar，他们可以在任意两个区块链平台上的任意两个地址之间锁定、解锁和转移资产，执行跨链应用程序触发器，以及更广泛地处理任何跨链请求。

https://blog.zkcross.org/dive-into-the-cross-chain-dex-market-5022a6e0b53c

P: Product

OmniSwap

zk电路版本的多链AMM DEX

zk版本LP挖矿

native token swap (roposten, bsctest, syscoin and cro)

Add/remove liquidity pool

A recursive ZK (Zero-Knowledge) circuit was custom coded for the multichain deposit logic as well as one for the state transition logic for highly efficient transactionality and safety when dealing with value entering and exiting multiple blockchains from one ZK system.

步骤

将ZKC代币存入Layer2，激活你的Layer2账户。

将BSC测试网或Rapsten测试网的测试代币（例如USDC/USDT）存入Layer2。

在Layer2中进行代币交换（例如：交换USDC-ropsten -> USDT-BSC）。

从Layer2提取测试代币（例如USDT/USDT）回到bsc testnet或ropsten testnet。

详情

发展路线图

PoC已经有了，Demo可以问

Alpha testnet, 几乎都以完成

多链Txs zk-SNARK proof 生成

链上zk 验证合约

zkRelayers & zkMiners

Layer2 chain nodes & explorer

生态

omniswap:

https://twitter.com/zhengphou/status/1581724556330663936?s=20&t=73ZY7yxreIFDhLFEkX5ZWw

T: Technology

假设：

首先，被锁定的代币的保管需要诚实的行为（只执行来自L2的指令的交易）。

其次，L2需要根据公布的算法真诚地交付交易。

第一个假设在多链的zkRollup跨链解决方案中通过在第一层区块链上的智能合约中添加交易签名检查来实现。

第二个假设是通过在peg和source区块链之间执行zksnark证明和验证方案来执行的。

Layer2 记账 → POA

End-to-end ZKP

证明每个步骤的正确性（不止结果）

ZKWASM

支持多种语言

能够支持更复杂的应用（web, gaming, office, social）

T: Team

主创都是外国人，外包给国内一个团队

职位

经历

Untitled

ZKCross

Untitled