Ethereum está no processo de implementação do KZG, um esquema de compromisso polinomial, que poderia ajudar a escalar o Ethereum.
Fazer provas de conhecimento zero (ZKPs) “compreensíveis e acessíveis” às pessoas é necessário para manter o ecossistema Ethereum “aberto e acolhedor” às pessoas sem um diploma de matemática, o co-fundador Ethereum Vitalik Buterin tweeted Oct 26.
Os ZKPs são frequentemente referidos como “matemática da lua” devido à sua complexidade.
Estou tão feliz que o Ethereum tem uma cultura tão forte de se esforçar por tornar toda a nossa matemática lunar tão compreensível e acessível às pessoas quanto possível. https://t.co/o9n2Xms4Zw
— vitalik.eth (@VitalikButerin) 26 de Outubro de 2022
Buterin acrescentou que “a descentralização NÃO requer desistir e acenar com um doutoramento por aí dizendo “é uma caixa negra, somos espertos, confiem em nós”.
Scroll, uma solução de escala Ethereum de camada de conhecimento zero 2, explicou num blog como os esquemas de compromisso polinomial, uma parte crítica de vários ZKPs, funcionam e como podem ajudar a escalar o Ethereum.
Os polinómios são expressões matemáticas que representam mais de dois termos algébricos. De acordo com o blog Scroll, os polinómios podem ajudar a representar grandes dados de forma eficiente.
Um esquema de compromisso é um protocolo criptográfico em que se compromete com uma mensagem e a mantém escondida, mas que pode revelar a mensagem mais tarde. No entanto, o compromissado não pode alterar a mensagem depois de se ter comprometido com ela, o que torna os esquemas de compromisso obrigatórios.
Num esquema de compromisso polinomial, compromete-se a um polinómio em vez de uma mensagem. O esquema de compromisso polinomial cumpre todas as propriedades dos esquemas de compromisso normais. Mas tem uma característica adicional que permite ao compromissado provar que se comprometeu com um certo polinómio que satisfaz as propriedades exigidas sem revelar o próprio polinómio.
KZG em Escala Ethereum
Embora existam diferentes esquemas de compromisso polinomial, Kate-Zaverucha-Goldberg (KZG) é popular no espaço da cadeia de bloqueio e é utilizada pelos sistemas de prova Scroll. KZG deverá também ser integrado no Ethereum com Proto-Danksharding, a ser implementado através do EIP-4844, que foi proposto em Fevereiro de 2022.
O Proto-Danksharding é uma solução provisória até que o Danksharding, que poderia tornar mais barata a utilização de rollups, possa ser implementado. O Proto-Danksharding introduz um novo tipo de transacção chamada “transacção de transporte de bolhas”. Estas transacções transportam um blob de dados de 128kb, que não pode ser acedido a partir da camada de execução Ethereum. Em vez disso, apenas o compromisso com o blob de dados será acessível a partir do Ethereum.
O blob de dados é representado como um polinómio e o esquema de compromisso polinómio KZG é utilizado para criar um compromisso com os dados. Isto permite que as propriedades do blob de dados sejam verificadas sem revelar todo o blob de dados.
A utilização de KZG pode, portanto, permitir a amostragem da disponibilidade dos dados (DAS), que será implementada no caminho para o Danksharding completo. A DAS permite essencialmente aos validadores garantir que o blob de dados está disponível e correcto, sem ter de ler todo o blob de dados.
Isto, por sua vez, pode ajudar significativamente a melhorar a escalabilidade do Ethereum, uma vez que os validadores precisam de lidar com menos dados.
