A Fundação =nil; diz que seu novo software é combustível de foguete para desenvolvedores de conhecimento zero

A Fundação =nil;, astartup de infraestrutura de blockchain com nome brincalhão, apresentou um kit de ferramentas na quinta-feira que, segundo ele, diminuirá radicalmente o tempo que os desenvolvedores levarão para construir plataformas que usam criptografia de conhecimento zero.

O novo projeto da =nil; chamado zkLLVM, tem como objetivo atuar como um compilador para desenvolvedores que criam circuitos de conhecimento zero – algoritmos sofisticados que permitem que alguém garanta que algo é verdadeiro sem passar pelas etapas para prová-lo.

A Tecnologia ZK existe há muito tempo desde a década de 1980, mas sua aplicabilidade à Cripto – que varia da Política de Privacidade de transações ao dimensionamento de blockchain – alimentou uma espécie de renascimento do ZK nos últimos anos. Avanços na pesquisa do ZK geraram centenas de milhões em financiamento para startups como Laboratórios de Matéria,StarkWare e Mina que desenvolvem infraestrutura de blockchain baseada em ZK, e a CoinDesk relatou na semana passada que =nil; tinha arrecadou US$ 22 milhõespara construir seu próprio conjunto de produtos de conhecimento zero.

Komarov diz =nil; criou o zkLLVM para reduzir drasticamente as cargas de trabalho dos desenvolvedores do ZK, tornando possível que eles transformem facilmente códigos escritos em linguagens de programação conhecidas – como C++ e Rust – em circuitos de conhecimento zero totalmente funcionais.

Escrever um circuito de conhecimento zero tende a ser um esforço complicado e demorado para desenvolvedores. Geralmente envolve familiarizar-se com linguagens de programação de nicho e bibliotecas de software específicas de domínio e exigentes.

LLVM, que significa “low-level virtual machine” (máquina virtual de baixo nível), refere-se a um conjunto de bibliotecas de código de código aberto que os desenvolvedores usam para “compilar” seu código legível por humanos em um formato que pode ser interpretado por um computador. Com base no projeto LLVM, “nós construímos um compilador a partir de linguagens tradicionais que já são conhecidas por todos” =nil; o fundador Mikhail Komarov disse ao CoinDesk.

O projeto zkLLVM também será conectado automaticamente ao =nil;anunciado recentementeMercado de provas ZK, criado para ajudar as equipes ZK a descentralizar suas operações e terceirizar certos tipos de computação para terceiros.

Leia Mais: A Fundação =nil; arrecada US$ 22 milhões para construir um mercado para provas de conhecimento zero

A Fundação =nil; lançou o projeto na quinta-feira no Github sob uma licença de código aberto, o que significa que qualquer desenvolvedor pode usar ou modificar livremente o código zkLLVM.

A Fundação =nil; diz que sua Tecnologia será particularmente útil para as inúmeras empresas que correm para construir os chamados zkEVMs, um tipo de solução de dimensionamento Ethereum que usa a Tecnologia ZK para reduzir as taxas e os tempos de espera do blockchain.

Usando a plataforma zkEVM Scroll como exemplo, Komarov explicou que “eles construíram seus circuitos manualmente” usando uma biblioteca de software especial desenvolvida para a linguagem de programação Rust. “Eles gastaram cerca de um ano e meio nisso e muito dinheiro também”, disse Komarov. “Se eles tivessem acesso ao que fizemos um BIT antes, talvez pudessem ter gasto apenas alguns meses apenas para construir e depurar coisas.”

Leia Mais: A ascensão repentina de rollups ZK compatíveis com EVM

Os circuitos ZK são cada vez mais usados ​​para proteger o FLOW de ativos digitais valiosos, o que significa que erros de programação podem ser extremamente caros. Komarov reconheceu ao CoinDesk que o zkLLVM precisará provar seu valor antes de ganhar a confiança dos desenvolvedores. Quando uma versão anterior da base de código do zkLLVM vazou online, alguns os desenvolvedores disserameles teriam receio de confiar nas capacidades de geração de circuitos do =nil;, dada a complexidade do código.

Komarov também observou que o zkLLVM atualmente tem limitações quando se trata de lidar com circuitos particularmente grandes – programas que são mais complicados de traduzir para a forma de conhecimento zero. Ele espera, no entanto, que a base de código do zkLLVM amadureça a um ponto em que os desenvolvedores possam finalmente parar de pensar nos detalhes da construção do circuito ZK e se concentrar em outras partes do software.