A Parte 5 de "De Zero Conhecimento a Zero Conhecimento" está no ar. Como é que o código se torna realmente provável? O que é um zkVM e por que é importante? 🧵

Os sistemas de prova ZK trabalham com equações matemáticas. Os desenvolvedores escrevem código. Preencher essa lacuna costumava exigir a escrita de circuitos aritméticos à mão. Poderoso, mas apenas especialistas conseguiam fazê-lo. Os zkVMs mudaram isso. Escreva Rust normal, obtenha provas. Nenhuma especialização em circuitos necessária.

Pense em como o desenvolvimento de IA evoluiu. Antes do TensorFlow, era necessário escrever código de GPU de baixo nível. Apenas especialistas podiam construir redes neurais. Os frameworks abstraíram a complexidade. Milhões de desenvolvedores seguiram. Os zkVMs estão fazendo o mesmo para o conhecimento zero.

Nem todos os zkVMs são iguais. Cada equipa faz escolhas arquitetónicas com base no que está a otimizar. Alguns priorizam a transparência. Alguns priorizam a verificação em cadeia a baixo custo. Alguns priorizam a velocidade de prova. Não se pode otimizar para tudo. Compromissos são inevitáveis.