Do DeFi aos Rollups, a tecnologia que desbloqueia a computação blockchain escalável e verificável

por
Vitória d’Este

Publicado: 17 de dezembro de 2024 às 12h08 Atualizado: 17 de dezembro de 2024 às 12h08

por Ana

Editado e verificado: 17 de dezembro de 2024 às 12h08

Para melhorar a sua experiência no idioma local, às vezes empregamos um plugin de tradução automática. Observe que a tradução automática pode não ser precisa, então leia o artigo original para obter informações precisas.

E se os contratos inteligentes pudessem processar dados tão perfeitamente quanto os bancos de dados? Lagrange está transformando essa ideia em realidade com provas de conhecimento zero baseadas em SQL, oferecendo aos desenvolvedores uma maneira eficiente de executar cálculos verificáveis ​​na cadeia. Esta inovação está abrindo portas para possibilidades inteiramente novas em DeFi e escalabilidade de blockchain.

Conversamos com Ismael Hishon-Rezaizadeh, fundador e CEO da Lagrange, sobre sua jornada desde o investimento na Web2 até a construção de uma infraestrutura moderna da Web3. Veja como sua equipe está remodelando a experiência de desenvolvimento de blockchain.

Você poderia começar fazendo uma pequena introdução sobre sua jornada pessoal até a Web3?

Fui um investidor Web2 antes de fundar a Lagrange. Trabalhei para um pequeno fundo de risco com sede em São Francisco chamado Renegade Partners. Eles haviam arrecadado US$ 100 milhões e estavam em processo de arrecadar pela segunda vez, e acabou sendo cerca de US$ 110 milhões. Estive lá por cerca de dois anos, principalmente investindo em software B2B e infraestrutura de pagamento em estágio inicial. Antes disso, eu era engenheiro trabalhando em engenharia DeFi para uma grande seguradora. Depois de sair do empreendimento, fundei a Lagrange.

No início, estávamos analisando as limitações dos padrões de desenvolvedor que os engenheiros poderiam construir on-chain. Uma das áreas que identificamos foi a falta de ferramentas eficientes de conhecimento zero.

Como o processador ZK baseado em SQL da Lagrange difere dos sistemas tradicionais à prova de ZK em escalabilidade e funcionalidade?

É uma forma de provar a computação baseada em SQL sobre dados de blockchain. Se você quiser executar uma consulta que deseja consumir de forma verificável em seu contrato – como uma média móvel de preço ou volatilidade aplicada sobre dados históricos – você precisaria de uma solução de conhecimento zero que pudesse fazer isso de forma eficiente com uma boa experiência de desenvolvedor. Permitimos que você escreva seus cálculos em SQL, que é uma linguagem baseada em consultas comum para operações de banco de dados e cálculo de dados. Somos capazes de comprovar essas consultas com conhecimento zero para que seus contratos possam utilizá-las na rede.

Como essa interface de consulta SQL simplifica os fluxos de trabalho do desenvolvedor em comparação com a criação de circuitos personalizados?

Ele permite que você especifique seu cálculo em uma linguagem familiar e fácil de usar, em vez de escrever circuitos manualmente. Você escreve a consulta em SQL, que geralmente é muito mais simples de usar quando você deseja manipular dados em comparação com escrever em uma linguagem diferente.

Você pode explicar as outras soluções que Lagrange oferece?

Construímos duas coisas principais. A primeira é uma rede de provadores descentralizada e a segunda é um coprocessador. A rede de provadores descentralizada é uma rede onde podemos gerar provas de conhecimento zero de forma centralizada, utilizando um grande número de operadores participantes no processo de geração de provas.

Temos vários grandes operadores institucionais como Coinbase, Kraken, OKX, P2P, Figment, Luganodes, Infstones e Black Sand que participam emprestando recursos computacionais para a rede. Essas provas são então geradas e entregues aos usuários finais.

O grande anúncio que temos é sobre a utilização de nossa rede para geração de provas para roll-ups em plataformas como Caldera e Altair.

Como a tecnologia da Lagrange permite que os aplicativos sejam escalonados em vários blockchains?

Na verdade, não nos concentramos muito no trabalho entre cadeias. Temos um produto mais antigo que construímos para provas estaduais e que vendemos em vários protocolos, mas não é um foco principal nosso em todas as cadeias.

Quais são as implicações do coprocessador de Lagrange na escalabilidade de longo prazo do Ethereum?

Ele realmente abre espaço de design para desenvolvedores, fornecendo acesso a computação verificável em grande escala. Quando você pode calcular extensivamente os dados históricos, isso permite construir coisas na cadeia que antes eram impossíveis. No DeFi, contamos com feeds de preço e volatilidade, mas com um coprocessador como o nosso, você pode remover muitas dessas dependências e simplesmente usar os dados da rede.

O que inspirou o foco em consultas ultraescaláveis ​​e que oportunidades únicas isso abre?

O que o inspirou foram as limitações no desenvolvimento de contratos inteligentes em cadeia. Não há realmente uma maneira de seu contrato acessar dados históricos. Anteriormente, os desenvolvedores tinham que usar padrões de design ineficientes para acumular coisas no estado, o que era caro, ineficiente em termos de gás e não necessariamente seguro. Ser capaz de consultar dados históricos de um contrato de maneira verificável realmente abre o espaço de design do que você pode construir.

Você trabalha principalmente com desenvolvedores nos EUA, Europa ou região APAC?

Somos bastante globais. Estou baseado nos EUA e grande parte da nossa equipe está baseada na Europa, então há obviamente uma tendência regional em relação a essas geografias. Mas nós realmente tentamos ser o mais globais possível. Participei da DevCon em Bangkok, por exemplo, que foi uma ótima conferência.

Como seu sistema gerencia possíveis problemas de latência na geração distribuída de provas?

Somos capazes de gerar provas de uma forma altamente paralelizável. Temos uma grande rede de operadores onde podemos distribuir a computação de forma eficaz e depois reuni-la novamente. Isso nos permite ir cada vez mais em paralelo para reduzir o tempo de geração de provas. Além disso, a tecnologia ZK está ficando mais rápida e nossa prova está melhorando, o que reduzirá naturalmente a latência.

Você pode compartilhar ideias sobre parcerias com protocolos como Arbitrum, BASE e outros projetos?

Gostamos de pensar que somos uma empresa credivelmente neutra. Não recusamos pessoas que queiram usar as provas que geramos. Adoramos trabalhar com o maior número possível de sistemas e produtos. Integramos nosso coprocessador com BASE, Arbitrum e outros. Também estamos trabalhando ativamente com rollups ZK para gerar provas de validade e anunciaremos parcerias com ecossistemas de serviços rollup Caldera e Altair Layer 2.

O que vem por aí para Lagrange após o lançamento da mainnet e como você planeja manter a inovação?

Temos uma grande equipe de pesquisa liderada por nosso cientista-chefe, Charalampos (Babis) Papamanthou, que preside o departamento de criptografia em Yale. Outro pesquisador, Dimitris Papadopoulo, é professor da HKUST. Planejamos alterar nosso sistema de verificação subjacente à medida que o estado da arte avança. Estamos explorando a aceleração de hardware, incluindo chips ASIC, GPUs e VPUs da Fabric.

Que inovações você prevê na tecnologia à prova de ZK e na indústria de blockchain mais ampla?

O ZK está ficando mais rápido em todos os aspectos, com melhorias na aceleração de hardware e nos sistemas de prova subjacentes. Estamos entusiasmados em trabalhar com campos pequenos como Mersenne 31 e Goldilocks, que tornaram os STARKs mais rápidos. Estamos vendo quedas no tempo de recursão, trabalho de aceleração de hardware com grupos como Fabric e Ingonyama e inovações em recursão de maior raridade que permitem computação mais paralela.