Estamos avançando mais fundo. Ao longo desta série, mencionamos a “Zero-Knowledge Proof” (ZK proof) todos os dias. Este é o “puzzle criptográfico” fundamental – a plataforma que garante todas as atividades na rede. Hoje, dedique um dia inteiro para entender melhor esta tecnologia maravilhosa e por que ela é um elemento essencial na arquitetura da @lagrangedev.
O que é a Zero-Knowledge Proof?
Provar um segredo sem revelar esse segredo
Zero-Knowledge Proof (ZKP) é um método que permite a uma parte (chamada de Provedor – Prover) provar a outra parte (chamada de Verificador – Verifier) que uma proposição é verdadeira, sem revelar qualquer informação além da veracidade dessa proposição.
Haja uma situação onde:
Você tem um amigo daltônico e à sua frente estão duas bolinhas, que para ele parecem idênticas, mas você sabe que uma é vermelha e a outra é verde. Como você pode provar que as duas bolinhas são de cores diferentes, sem revelar qual é a vermelha e qual é a verde?
Como fazer:
O amigo daltónico esconde duas bolinhas atrás das costas e depois apresenta uma. Você memoriza a cor da bolinha apresentada. Em seguida, eles podem trocar de lugar ou manter a posição das duas bolinhas e apresentar outra. Com base na cor, você sabe imediatamente se eles trocaram ou não.
Se você acertar uma vez, pode ser apenas sorte (50/50). Mas se repetir 10, 20 ou 50 vezes e você estiver sempre certo, a probabilidade de ser apenas sorte é quase 0. Assim, você já provou que sabe o segredo (cor da ) sem revelar esse segredo. Isso é o que chamamos de “Zero-Knowledge Proof” – prova que não revela informações.
Como a Lagrange aplica o ZKP?
No ecossistema #lagrange, ZKP é o motor do ZK coprocessor. Quando uma dApp solicita que Lagrange execute um cálculo complexo – por exemplo, calcular o preço médio de um ativo a partir de milhares de transações – os State Committees desempenharão o papel de Prover (Provedor).
- Realizar cálculos – O “segredo” do sistema
Os Comités de Estado irão realizar todo este pesado processo de cálculo off-chain. Este é o “segredo” - a forma como os resultados são gerados.
- Nascer ZK Proof – Prova criptográfica
Em vez de apenas enviar o resultado final, Lagrange cria uma ZK proof – uma prova criptográfica compacta, garantindo que todo o cálculo foi realizado corretamente de acordo com as regras.
- Verificação – Rápida, simples, absolutamente segura
Esta prova é enviada para o smart contract on-chain, atuando como Verificador (Verificador). A verificação da ZK proof é muito rápida, levando apenas alguns milissegundos, mas garante precisão absoluta. A Blockchain não precisa realizar novamente aquele cálculo pesado – ela apenas precisa confiar na matemática inviolável.
Por que isso é importante?
Graças a este mecanismo, Lagrange traz:
Escalabilidade (: Cálculos complexos são processados off-chain, mantendo a integridade. Segurança absoluta ): A confiança não vem do servidor, mas da matemática pura. Eficiência (: Redução significativa dos custos e do tempo de verificação na blockchain.
Esta é a força central do Lagrange $LA ZK Coprocessor – a confiança que é construída não pela confiança em pessoas ou máquinas, mas sim pelas leis invariáveis da matemática.
Isenção de responsabilidade: As informações contidas nesta página podem ser provenientes de terceiros e não representam os pontos de vista ou opiniões da Gate. O conteúdo apresentado nesta página é apenas para referência e não constitui qualquer aconselhamento financeiro, de investimento ou jurídico. A Gate não garante a exatidão ou o carácter exaustivo das informações e não poderá ser responsabilizada por quaisquer perdas resultantes da utilização destas informações. Os investimentos em ativos virtuais implicam riscos elevados e estão sujeitos a uma volatilidade de preços significativa. Pode perder todo o seu capital investido. Compreenda plenamente os riscos relevantes e tome decisões prudentes com base na sua própria situação financeira e tolerância ao risco. Para mais informações, consulte a
Isenção de responsabilidade.