Muito Barulho Sobre =Nenhum;

O problema:

As empresas de blockchain estão adotando a Tecnologia de conhecimento zero (ZK) para tudo, desde dimensionamento até segurança – tornando o campo de criptografia em rápido avanço a maior palavra da moda em Cripto. À medida que as empresas correm para introduzir produtos baseados em ZK no mercado, no entanto, elas podem encontrar desafios decorrentes das altas despesas e expertise necessárias para construir e operar sistemas ZK. À medida que o ZK se torna mais popular, uma nova infraestrutura será necessária para integrar desenvolvedores e inicializar novos projetos.

A ideia: =nil;

Se “Seinfeld” fosse “um programa sobre nada”, a =nil; Foundation é uma empresa de Cripto com legendas enigmáticas nascida do mesmo ethos. Como a irreverente sitcom dos anos 1990, o exterior modesto da =nil; esconde ideias que exigem atenção. No entanto, você pode achar essas ideias difíceis de decifrar.

Para começar, há esse nome: “=nil;” Foundation. Estilizado para parecer um código de computador, “=nil;” traduz-se literalmente como linguagem de programador para “nada”. Não tão revelador, em outras palavras, e um pesadelo sintático para um jornalista encarregado de escrever uma história sobre algo (e uma dor de cabeça ainda maior para a equipe de SEO de seu site, ele é informado).

E então há o fato de que a Fundação =nil; não é realmente uma “fundação” – pelo menos não no sentido tradicional. Capitalistas de risco, tomem nota: esta fundação é com fins lucrativos, e seus fundadores dizem que planejam abandonar formalmente o rótulo de “fundação” em breve. (=nil; começou como uma organização sem fins lucrativos em 2018, masarrecadou notáveis 22 milhões de dólaresde investidores este ano.)

Leia os perfis de todos os Projetos a serem observados em 2023:Recuperando o Propósito na Cripto

Em seu site, =nil; descreve a si mesmo como provedor de “acessibilidade de dados sem confiança” – um slogan impenetrável para todos, exceto para os nativos de Cripto , mas decididamente não para nada. De acordo com o site, =nil; foi estabelecido para “facilitar e dar suporte à pesquisa e desenvolvimento em sistemas de gerenciamento de banco de dados e criptografia aplicada”. Para aqueles equipados para analisar o jargão, é aqui que as coisas podem começar a fazer sentido: =nil; visa ajudar a gerenciar bancos de dados (leia-se: blockchains) por meio de sua expertise em criptografia avançada.

Ainda confuso? Talvez seja esse o ponto. Em uma entrevista com a CoinDesk, o cofundador da =nil; Mikhail Komarov pareceu ter prazer na elusividade de sua empresa. “Tudo a que dou um nome é sobre 'nada', 'ninguém', ' ONE', tipo 'f**k off' e todas essas coisas”, disse Komarov, que acrescentou que seu apelido de infância era “Nobody the Nobody”. Komarov T está preocupado que a nomenclatura não padronizada da =nil; a coloque abaixo do radar, no entanto. A tecnologia pode falar.

Definindo =nil;

Komarov, um russo de cabelos ralos transplantado que mora no Chipre, é o que alguns na Cripto chamariam de OG. Com uma propensão para roupas pretas e um sorriso irônico aparentemente colado permanentemente em seu rosto, Komarov tem a disposição tímida e conhecedora de um hacker de hackers — um personagem somente em criptografia que pode muito bem ter sido arrancado do set de "Mr. Robot".

Komarov estudou Topologia Algébrica na Universidade de Moscou e diz que =nulo; começou como um grupo heterogêneo de programadores ansiosos para consultar e implementar suas habilidades em projetos no universo criptográfico.

A tese motriz de Komarov é que os blockchains são apenas bancos de dados glorificados, e ele descreve o =nil; dos primeiros dias como um “think tank” sem fins lucrativos movido por uma única questão: “E se essa indústria não tivesse sido inventada por um criptógrafo, mas por alguém que faz sistemas de gerenciamento de banco de dados?”

Da outrora badalada blockchain EOS ao gigante do staking de Ethereum Lido (que Komarov ajudou a arquitetar), as impressões digitais da equipe podem ser encontradas em alguns dos projetos de Cripto mais comentados dos últimos anos.

“No começo, era na verdade uma fundação. Era só tentar provar que essa coisa vale alguma coisa, que pode ser feita”, explicou Komarov. “Não se sabia realmente se era possível unir essas indústrias”, gerenciamento de banco de dados e criptografia.

Komarov começou a mexer com blockchains em 2013, mas ele diz que seu interesse em gerenciamento de banco de dados surgiu de desafios que ele enfrentou em 2017 como diretor de Tecnologia da Golos, uma spin-off em russo da rede social baseada em blockchain Steemit. Komarov descreve a Golos como um Reddit “descentralizado” – um tipo de site de fórum com seu próprio token integrado. À medida que a plataforma se tornou mais popular – inclusive na Ucrânia, onde, diz Komarov, as pessoas a usavam para espalhar artigos políticos antirrussos – ela começou a crescer mais do que seu blockchain subjacente.

“A quantidade de dados que foi colocada dentro dessa coisa ficou muito grande”, Komarov lembrou. “Virou uma grande pilha de problemas. Era tão grande que as exchanges não estavam dispostas a listar o token GLS porque sabiam que T seriam capazes de suportar e manter os depósitos e saques.”

Frustrado com sua experiência em Golos e ciente de que os problemas de dimensionamento de blockchain não eram exclusivos dele, o primeiro grande impulso de produto de Komarov com =nil; foi construir um sistema de gerenciamento de banco de dados – uma ferramenta comomySQLque visava ajudar projetos de blockchain a armazenar, visualizar e editar seus dados de forma conveniente.

À medida que a empresa se expandiu para 40 funcionários em todo o mundo, ela ampliou seu foco para atender ao crescente mercado de empresas de Cripto que usam provas de conhecimento zero (ZK), um tipo de criptografia que pode ajudar a dimensionar blockchains.

Então o que é ZK? É um tipo de Tecnologia que permite ONE que uma afirmação é verdadeira sem mostrar a afirmação em si. Sem entrar na mecânica de como tudo isso funciona (a Ethereum Foundation tem uma explicador útil), o principal diferencial da tecnologia ZK é permitir que duas partes transmitam dados de um lado para o FORTH em formato compactado e com certos recursos de preservação de privacidade.

A utilidade do ZK pode ser difícil de entender em abstrato, mas a tecnologia tem sido vista como uma solução essencial para o dimensionamento do blockchain – permitindo que o Ethereum, principalmente, mas teoricamente qualquer blockchain, descarregue o tráfego para cadeias baseadas em ZK que podem processar dados de forma segura e barata em seu nome. (O ZK pode ajudar a resolver, em outras palavras, alguns dos principais problemas que Komarov enfrentou ao construir o Golos, que é pesado em dados.)

=nil;’s jogo ZK

=nil; está cortejando investidores com planos de lançar dois produtos ZK emblemáticos, cada um com o objetivo de ajudar equipes de desenvolvimento de conhecimento zero a desenvolver sua tecnologia.

O primeiro produto novo,=nil;’s “zkLLVM,” é orientado para ajudar desenvolvedores a construir aplicativos Cripto ZK mais rapidamente. Ele faz isso por meio de um conjunto de ferramentas de compilador – bibliotecas de software que ajudarão os programadores a escrever aplicativos ZK complexos usando linguagens de programação familiares (em vez de linguagens arcanas específicas do ZK).

O próximo produto, um “mercado de provas”, aborda um dos maiores gargalos para colocar os aplicativos ZK em funcionamento quando eles entram no ar: os altos custos de computação dos sistemas ZK.

Os aplicativos de Cripto ZK são construídos em torno da falta de confiança, a ideia de que uma rede distante de pessoas – em vez de uma empresa central – deve ser capaz de contribuir para KEEP um determinado sistema vivo e responsável. Mas construir organicamente uma rede de pessoas para operar um serviço ZK é difícil. Essa dificuldade decorre em parte da complexidade de gerar provas ZK – os problemas matemáticos famintos por computação que alimentam os sistemas ZK.

As provas ZK são melhor geradas por máquinas especializadas. Devido aos grandes requisitos para geração de provas, muitos aplicativos ZK são forçados a gerar provas inteiramente internamente em vez de terceirizar o trabalho para uma comunidade. Embora conveniente, esse tipo de integração vertical dificilmente é "confiável" e pode se tornar inviável caso um determinado sistema ZK aumente e exija mais recursos do que uma única empresa pode fornecer.

O mercado de provas da =nil; visa dar aos novatos em ZK acesso mais fácil a empresas e indivíduos com bens geradores de provas de ZK – construindo uma plataforma que conecta geradores de provas de ZK capazes com projetos que precisam de provas.

Se =nil; tiver sucesso, ele pode atingir o tipo de status de algo como Flashbots – o construtor de software Ethereum cujo middleware “MEV-boost” (um mercado de blocos) agora é usado por praticamente todos os validadores que operam a rede. Não é coincidência que =nil; conte com Hasu, chefe de estratégia da Flashbots, como um investidor líder.

O sucesso de =nil; não é garantido, no entanto. O mercado de provas de ZK terá dificuldades para decolar, a menos que consiga atrair uma comunidade aceitavelmente grande e confiável de geradores de provas. Isso pode ser difícil: ainda não se sabe se a comunidade de ZK pode assar nos sistemas de incentivo/modelo econômico necessários para dar suporte ao mercado de =nil.

Também há potenciais fraquezas com o compilador zkLLVM do =nil;. Mais obviamente, o =nil; precisará construir confiança antes que as equipes de desenvolvedores usem prontamente seu código para criar aplicativos que garantam milhões de dólares em Cripto.

Apesar das grandes questões, a grande investida de =nil; na tecnologia ZK é oportuna. O campo da criptografia ZK é agora para a indústria de blockchain o que a inteligência artificial (IA) é para o resto da indústria de Tecnologia : onipresente, movimentada e provavelmente importante para o longo prazo. Se =nil; for bem-sucedido, é difícil imaginar que ele permanecerá furtivo por muito mais tempo.

CORREÇÃO (19 de abril de 2023 19:40 UTC):Uma versão anterior deste artigo se referiu a Mikhail Komarov como um "cofundador" do Lido. De acordo com um porta-voz do =Nil;, "a descrição tecnicamente precisa seria que Mikhail 'foi coautor do protocolo e sua implementação.'"