Lagrange

Hoje, a Lagrange expandiu sua ZK Prover Network para alimentar a geração de provas para ZK rollups, adicionando às ofertas existentes da Lagrange de ZK Coprocessor e State Committee. Com esta nova adição, a Lagrange agora desbloqueia provas para qualquer coisa – para rollups, aplicativos, coprocessadores e interoperabilidade – como uma camada de prova infinita que permite que qualquer pessoa prove tudo em escala de internet. Anteriormente, a Lagrange lançou a primeira ZK prover network pronta para produção na indústria, operada por operadores de topo incluindo Coinbase, Kraken, OKX e outros. Agora, a ZK Prover Network da Lagrange está se expandindo para enfrentar os principais desafios enfrentados pelos rollups e avançar na adoção e utilidade de ZK. O ZK Coprocessor pode gerar uma prova de computação correta sobre slots de armazenamento arbitrários para intervalos de blocos arbitrários. Por exemplo, considere uma aplicação que deseja calcular a média no Ethereum para precificação de ETH / USDC. Um desenvolvedor deve primeiro especificar os slots de memória e o intervalo de blocos (~50.400) que deseja incluir no conjunto de dados. Em seguida, o desenvolvedor escreve as computações que devem ser executadas nos slots de armazenamento ao longo dos diferentes blocos em paralelo. Uma vez que a prova é gerada, ela provará tanto a inclusão do armazenamento quanto a computação agregada como válidas em relação a um cabeçalho de bloco derivado de informações do smart contract.