Blockchain Capital: Por que lideramos a rodada de financiamento de US$ 40 milhões da empresa de infraestrutura ZK RISC Zero?

Textos originais: Bart Stephens, Ryan Sproule e Yuan Han Li,

《Democratizando a Computação de Conhecimento Zero: O Poder da Rede Bonsai do RISC Zero》

Editor: Zen, PANews

Em 19 de julho, a RISC Zero, uma empresa de infraestrutura projetada para ajudar desenvolvedores a desenvolver software à prova de zero, anunciou a conclusão de uma rodada de financiamento da Série A de US$ 40 milhões, liderada pela Blockchain Capital, com participação da Galaxy Digital, IOSG e outras. Como principal investidor, a Blockchain Capital escreveu um artigo analisando o desenvolvimento da computação de conhecimento zero, as características e vantagens do RISC Zero, e o PANews o compilou.

Imagine um mundo onde a privacidade, segurança e confiança dos dados não sejam mais preocupações, onde as cadeias de suprimentos de software sejam transparentes e verificáveis e onde uma nova geração de aplicativos possa aproveitar o poder da computação de conhecimento zero para resolver alguns dos desafios mais prementes da a era digital. Essa é a promessa da computação de conhecimento zero (ZK) e por que investimos na RISC Zero, uma empresa pioneira que visa democratizar o acesso ao ZK por meio de sua rede Bonsai.

A computação de conhecimento zero é um primitivo revolucionário que permite que aplicativos e protocolos explorem as três propriedades principais de simplicidade, correção e conhecimento zero. Isso significa que, ao verificar uma prova ZK (correção), um verificador pode saber com uma garantia quase exata que um cálculo foi executado corretamente.

Além disso, a prova verificada será muito mais concisa do que a computação original, e a propriedade de conhecimento zero da prova também pode ser explorada para garantir que o verificador não saiba nada sobre a própria computação. Essa combinação exclusiva de propriedades tem implicações de longo alcance e fornece uma nova maneira de verificar as informações. Juntas, essas propriedades equilibram a necessidade de privacidade, segurança e confiança, oferecendo o potencial para um mundo digital mais seguro e privado. Mas ainda existem alguns obstáculos antes que o ZK possa atingir todo o seu potencial.

Primeiro, a execução de cálculos no ZK é muito demorada e cara. Os tempos e custos de prova precisam cair drasticamente para permitir cálculos complexos em ZK. A boa notícia é que eles estão diminuindo drasticamente: as trajetórias dos tempos e custos da prova ZK seguiram tendências familiares na história da tecnologia - seja a Lei de Moore (o custo da computação cai pela metade a cada dois anos), a Lei de Flatley (o custo da sequenciando a lenta taxa humana de declínio) ou a Lei de Clyde (a densidade do disco dobra aproximadamente a cada 13 meses). Avanços arquitetônicos recentes em sistemas de prova (Plonky2, Hyperplonk, STARK) e avanços na criptografia subjacente (Poseidon) reduzem a sobrecarga necessária para criar provas ZK de qualquer computação. E o progresso nessas áreas continuará acontecendo em um ritmo semelhante (especialmente o recente influxo de talentos para o ZK), provando que a sobrecarga também se beneficiará dos avanços na aceleração de hardware (MSM, NTT), algo que até agora foi subexplorado.

Outro grande obstáculo para a adoção em massa do ZK é a matemática e a criptografia altamente complexas inerentes aos sistemas ZK. A profundidade e o nível de especialização necessários para impulsionar a inovação da ZK estão disponíveis apenas para um pequeno grupo de desenvolvedores de tecnologia altamente qualificados.

Idealmente, os desenvolvedores estariam livres para escrever programas em sua linguagem favorita e, ao mesmo tempo, serem capazes de provar cálculos com conhecimento zero sem ter que escrever à mão e projetar circuitos em uma linguagem de programação específica do ZK de baixo nível. É aqui que a plataforma Bonsai do RISC Zero é um divisor de águas para desenvolvedores em todo o mundo e porque investimos no RISC Zero.

Ao criar uma máquina virtual de conhecimento zero (zkVM) que emula a arquitetura do conjunto de instruções RISC-V (ISA), o RISC Zero construiu um sistema capaz de provar a execução de código de baixo nível. Como o ISA é uma ponte entre o código legível por humanos e as instruções interpretáveis por máquina, essa conquista significa que a rede Bonsai pode provar que qualquer programa de alto nível pode ser compilado para essa arquitetura. Como a maioria das linguagens de programação modernas são compatíveis com RISC-V, o Bonsai do RISC Zero é capaz de executar praticamente qualquer programa de computador arbitrário com conhecimento zero.

Em um futuro em que a computação de conhecimento zero (ZK) se tornará comum, muitos aplicativos anteriormente impossíveis se tornarão possíveis. Isso inclui não apenas aplicativos baseados em Ethereum que utilizam a rede Bonsai da RISC Zero como um coprocessador (realizando trabalho off-chain intensivo em recursos antes de validar os resultados on-chain), mas também se estenderá além das criptomoedas. O Bonsai, por exemplo, permite que hackers de chapéu branco provem a existência de falhas de segurança e bugs sem divulgá-los diretamente. Ele também pode impedir futuros ataques da cadeia de suprimentos ao software, permitindo que os usuários baixem e verifiquem as provas do ZK para garantir que o código executado seja pré-auditado no Bonsai. O mais empolgante é que a ampla adoção do Bonsai pode levar a casos de uso totalmente novos, ainda não imaginados.

Além do impressionante avanço tecnológico, há uma equipe forte e única por trás do RISC Zero. **Os três cofundadores, Brian Retford, Jeremy Bruestle e Frank Laub, se conhecem há mais de 20 anos. Sua experiência compartilhada inclui a cofundação de várias empresas, mais recentemente uma aventura em otimização e compilação de IA que acabou sendo adquirida pela Intel. **

Cada membro do trio traz uma vasta experiência para o RISC Zero: Brian trabalhou em sistemas de medição e preços no Google Cloud Platform; Jeremy é um entusiasta da matemática que trabalha com aceleração de GPU para sequenciamento genético e com experiência em criptografia, alto desempenho computação (HPC) e segurança; Frank tem uma sólida experiência em compiladores e construiu várias bases de código. Com uma história compartilhada e diversos conjuntos de habilidades, a equipe RISC Zero está posicionada de maneira única para levar a computação de conhecimento zero para as massas, remodelando potencialmente o cenário digital no processo.

À medida que olhamos para um futuro onde a computação de conhecimento zero está amplamente disponível, as possibilidades de inovação são infinitas. Capaz de suportar uma ampla gama de linguagens de programação, a rede Bonsai do RISC Zero democratizará a computação ZK e permitirá que os desenvolvedores criem aplicativos seguros, privados e sem confiança em vários domínios. Desde o fortalecimento das medidas de segurança cibernética até o aumento da confiança nas cadeias de suprimentos de software e o aumento drástico do poder computacional disponível para aplicativos on-chain, o impacto potencial da computação de conhecimento zero é enorme. O rápido declínio dos tempos e custos da prova ZK, a equipe leal do RISC Zero e o surgimento do Bonsai como uma plataforma de computação versátil anunciam uma nova era da computação - com privacidade, segurança e confiança incorporadas ao tecido do nosso mundo digital.