Tornar as provas de conhecimento zero (ZKPs) “compreensíveis e acessíveis” para as pessoas é necessário para manter o ecossistema Ethereum “aberto e acolhedor” para pessoas sem diploma de matemática, twittou o cofundador da Ethereum, Vitalik Buterin, em 26 de outubro.
ZKPs são muitas vezes referidos como “matemática da lua” devido à sua complexidade.
Estou tão feliz que o Ethereum tenha uma cultura tão forte de se esforçar para tornar toda a nossa matemática lunar o mais compreensível e acessível possível para as pessoas. https://t.co/o9n2Xms4Zw
- vitalik.eth (@VitalikButerin) 26 de outubro de 2022
Buterin acrescentou que “a descentralização requer NÃO desistir e acenar com um PhD dizendo “é uma caixa preta, somos inteligentes, confie em nós””.
Scroll, uma solução de escalonamento Ethereum de camada 2 de conhecimento zero, explicada em um blog como os esquemas de compromisso polinomial, uma parte crítica de vários ZKPs, funcionam e como eles podem ajudar a escalar o Ethereum.
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 com eficiência.
Um esquema de comprometimento é um protocolo criptográfico no qual se compromete com uma mensagem e a mantém oculta, mas pode revelar a mensagem posteriormente. No entanto, o committer não pode alterar a mensagem depois de se comprometer com ela, o que torna os esquemas de commit obrigatórios.
Em um esquema de comprometimento polinomial, um se compromete com um polinômio em vez de uma mensagem. O esquema de comprometimento polinomial atende a todas as propriedades dos esquemas de comprometimento normais. Mas tem um recurso adicional que permite ao committer provar que ele se comprometeu com um determinado polinômio que satisfaz as propriedades exigidas sem revelar o próprio polinômio.
KZG no dimensionamento do Ethereum
Embora existam diferentes esquemas de comprometimento polinomial, Kate-Zaverucha-Goldberg (KZG) é popular no espaço blockchain e é usado pelos sistemas de prova da Scroll. O KZG também deve ser integrado ao Ethereum com Proto-Danksharding, a ser implementado por meio de EIP-4844, que foi proposto em fevereiro de 2022.
O Proto-Danksharding é uma solução temporária até que o Danksharding, que poderia tornar mais barato o uso de rollups, possa ser implementado. O Proto-Danksharding introduz um novo tipo de transação chamado “transação de transporte de blob”. Essas transações carregam um blob de dados de 128kb, que não pode ser acessado a partir da camada de execução do Ethereum. Em vez disso, apenas o compromisso com o blob de dados estará acessível no Ethereum.
O blob de dados é representado como um polinômio e o esquema de compromisso polinomial KZG é usado para criar um compromisso com os dados. Isso permite que as propriedades do blob de dados sejam verificadas sem revelar todo o blob de dados.
O uso do KZG pode, portanto, permitir a amostragem de disponibilidade de dados (DAS), que será implementada no caminho para o Danksharding completo. O DAS essencialmente permite que os validadores garantam que o blob de dados esteja disponível e correto, sem ter que ler todo o blob de dados.
Isso, por sua vez, pode ajudar significativamente a melhorar a escalabilidade do Ethereum, pois os validadores precisam lidar com menos dados.
Fonte: https://cryptoslate.com/vitalik-says-making-zk-proofs-understandable-is-necessary-for-ethereum/