Interprete a nova ideia de ponte ZKP: use o modelo de separação solicitante-provador ZKP para criar uma ponte de cadeia cruzada descentralizada mais segura

PANews

2023-11-04 03:33:36

原文标题:ZKP Requester-Prover Modelo de separação para suportar ZK completo e ZK otimista

Autor original: 0x3d18, ZKPool

Compilador: Qianwen, ChainCatcher

Há muitos casos de uso para provas de conhecimento zero, incluindo rollups, pontes e oráculos. Isso levou ao desenvolvimento de projetos como ZK-Rollup, ZK-bridge e ZK-oracle.

Projetos híbridos e otimistas foram recentemente aplicados à tecnologia ZKP. Por exemplo, a Orbiter Finance propôs o protocolo de ponte Optimistic ZK, enquanto a Taiko propôs uma solução de rollup híbrido progressivo.

ZK otimista assume que todas as transições de estado estão corretas e não exigem prova imediata de validade. Mas estabelece uma janela de desafio pré-determinada durante a qual qualquer participante pode contestar a atividade fraudulenta, apresentando uma prova de validade ou prova de fraude.

Este projeto reduz o custo total de prova para projetos ZKP, garantindo a segurança, incentivando um sistema de monitoramento desafiante descentralizado e desafiando fraudes.

Protocolo de Ponte ZK Otimista

O Orbiter Finance é um dos projetos de cross-rollup mais conhecidos. Propõe “Orbiter Cross-Rollup Protocol: Optimistic About the Compliant Majority, Tough Arbitration for the Malicious Minority”.

! [Interpretando a nova ideia de ponte ZKP: usando o modelo de separação solicitante-provador ZKP para criar uma ponte de cadeia cruzada descentralizada mais segura] (https://cdn-img.panewslab.com//panews/2022/11/3/images/840b113311223b1c65f29c4e385c0f81.png)

Processo de Rollup Optimistic Cross Trading (da Orbiter Finance)

Ele define um design de cross-rollup descentralizado, seguro e econômico, suportado pela tecnologia ZKP.

Design descentralizado da Orbiter

Existem vários fatores importantes a considerar para tal design:

Em primeiro lugar, o projeto da ponte no passado passou por vários problemas de segurança, que causaram perdas significativas aos usuários. A centralização também traz riscos de segurança. Portanto, a descentralização é essencial para a ponte.

Em segundo lugar, é necessário que haja um mecanismo para garantir a precisão do fluxo de transações entre a origem/rollup e a cadeia/rollup de destino.

Além disso, é essencial encontrar uma forma rentável de gerar essas provas. Em comparação com as árvores Merkle on-chain, ZKP é uma opção viável com menos taxas de gás.

Em particular, para pontes cross-rollup, o custo é uma consideração primária, e o objetivo de todo o projeto é minimizar as despesas. Isso significa que é fundamental reduzir as transações on-chain e minimizar a quantidade de gás por transação on-chain.

No projeto da Orbiter, além do esquema de pagamento de ponte, há outro esquema que requer ZKP. Nesse cenário, uma função chamada “transmitente” agrega informações de transações cruzadas e as envia para L1 para garantir que o dealer descentralizado receba recompensas precisas.

Design de committer descentralizado da Orbiter

O protocolo da Orbiter assume que a maioria dos participantes é infalível e lida com otimismo com eventos de cross-rollup para garantir a execução oportuna. Se fossem necessárias provas para cada transação de cross-rollup, a execução de toda a transação de ponte seria lenta. Como resultado, não há necessidade de gerar provas na ausência de comportamento malicioso, economizando custos. No entanto, se um comportamento malicioso for detetado pelo fabricante ou transmitente, o desafiante pode gerar uma prova, e o transmitente contestado também deve enviar a prova.

Orbiter Optimistic zk bridge design

Modelo de separação ZKPool Requester Prover

Quando se trata de usar a tecnologia ZKP, existem diferentes modos disponíveis:

Full zk: Neste modo, é necessário um ZKP para cada conversão. Isto pode ser conseguido através de projetos como ZK-bridge (por exemplo, Polyhedra) ou ZK-Rollup (por exemplo, Scroll).
zk otimista: Neste modo, o ZKP só é necessário quando a conversão é contestada. Taiko e Orbiter são um exemplo desse padrão.

zk completo e zk otimista

Ao definir modelos abstratos, fica claro que ZK-bridge e ZK-Rollup compartilham algumas semelhanças. Especificamente, essa diferença é refletida na relação entre o solicitante ZKP e o provador ZKP, conforme mostrado no diagrama a seguir. Aqui, o solicitante ZKP faz referência a um módulo que tem a necessidade de gerar um ZKP.

O cenário é o seguinte:

No projeto ZK-Rollup:

No modo zk completo, o sequenciador funciona como um solicitante ZKP.
No modo Optimistic zk, o desafiante atua como o solicitante ZKP.

No projeto ZK-bridge:

No modo all-zk, o fabricante atua como o solicitante ZKP.
No modo zk otimista, o desafiante atua como um solicitante ZKP.

Solicitante ZKP e ZKP Prover

Como mencionado anteriormente, em um zk otimista, nem sempre pode haver uma tarefa de prova. Como resultado, se os solicitantes ZKP e o provador ZKP forem combinados no mesmo módulo, o provador pode estar ocioso e seu poder de computação pode não ser totalmente utilizado.

Se projetarmos um modelo de separação solicitante-provador e fizermos do provador um pool compartilhado, podemos aumentar a utilização do provador. Quando o cenário otimista não é desafiado, o provador pode assumir a tarefa de prova de outros projetos ZKP. Isso significa que o ZKPool desempenha um papel importante no projeto zk-bridge, especialmente quando combina o Optimistic com outros.

ZKPool compartilha o papel de provador ZKP entre os solicitantes ZKP

O modelo de separação suplicante-provador ZKP aplica-se não apenas a rollups e bridges, mas também a oráculos e todos os outros projetos ZKP.

Resumo

Com base nas informações fornecidas, podemos tirar as seguintes conclusões:

A tecnologia ZKP é essencial para o projeto ZKP, incluindo rollups, bridges, oracles e outros projetos relacionados.
ZKPool nos permite tratar o criador / transmitente de ZK-bridge e o sequenciador de ZK-Rollup como o mesmo papel, coletivamente referido como solicitante ZKP
Usando o modelo de separação solicitante-provador ZKPool da ZKPool, você pode melhorar a taxa de utilização do seu provador. Este modelo também promove a descentralização de todos os projetos ZKP.

Ver original

Esta página pode conter conteúdos de terceiros, que são fornecidos apenas para fins informativos (sem representações/garantias) e não devem ser considerados como uma aprovação dos seus pontos de vista pela Gate, nem como aconselhamento financeiro ou profissional. Consulte a Declaração de exoneração de responsabilidade para obter mais informações.

1 gostos