Deixe-me contar uma história. Meados de 2023. Eu tinha acabado de decidir começar Fermah. Entrei em uma ligação com algumas pessoas em quem confio profundamente, incluindo Amit Sahai, um criptógrafo de renome mundial com contribuições fundamentais para o espaço ZK. Eu compartilhei a visão: ZK deve ser fácil para os desenvolvedores. Ninguém deveria ter que lutar contra a criação de infraestrutura de teste e otimizá-la; eles devem ser capazes de apenas delegar a prova a uma plataforma que o faça. Amit: "E os dados das testemunhas? Como se pode confiar em GPUs aleatórias com dados confidenciais de testemunhas?" Me: "A maioria dos aplicativos em produção hoje nem está usando a parte de conhecimento zero dos ZKPs - apenas a sucinta." Amit riu: "Então é como ZK sem o ZK! Então, o que os aplicativos que se preocupam com a privacidade fazem para gerar provas?" Me:... Após a ligação, tive muitas reuniões e fiquei inquieto o dia todo. Escrevi para Amit algo como: "A tecnologia ZK não ser acessível às próprias pessoas que foi inicialmente projetada para proteger é selvagem. Mas não tenho certeza se é o momento certo para construir uma solução. Vou ter que fazer alguma pesquisa de mercado." Então comecei com uma abordagem simples: Passo 1. Faça uma lista de aplicativos que estão começando a mostrar a promessa de se tornarem enormes Etapa 2. Veja quais deles precisam de ZK com privacidade Com certeza, dois dos principais aplicativos eram ZK-identity e zkTLS. Deixe-me dizer rapidamente por que eu estava otimista com eles antes de continuarmos com a história. Fiquei surpreso com o quão convincente é a prova de personalidade para garantir um futuro orientado por IA - e como Sam Altman, liderando o caminho em IA, enfatizou a necessidade de identidade ZK com @worldcoin. zkTLS é uma história mais pessoal. Eu entrei nessa onda quando havia praticamente apenas algumas pessoas nele. Isso foi há uns bons 5 anos. Liderei o produto e a implementação de um projeto zkTLS na @MinaProtocol. Eu entendi mesmo naquela época que chegaria o momento em que a adoção de criptomoedas seria alimentada explorando onde a adoção já existe - Web2. E essa ponte é zkTLS. Eu estava convencido de que tínhamos que resolver isso. Ficou claro que precisávamos seguir a rota do MPC - a FHE ainda está muito otimista para esse tipo de trabalho pesado. Pesquisei artigos de pesquisa e me deparei com o artigo colaborativo SNARKs de Dan Boneh e Alex Ozdemir e a linha de trabalho que se seguiu. A ideia é que várias máquinas realizem a geração de provas por meio de um protocolo MPC, garantindo que nenhuma máquina tenha acesso aos dados confidenciais. Avançando para outubro/novembro de 2023, eu estava executando toda a visão de Fermah por Dan. Foi lindo receber suas bênçãos sobre Fermah e sua visão. A partir daí, segui em frente com nosso cultivo inicial, com uma tese central: construir o que a Fermah é conhecida hoje - um mercado de provas universal - e colocar uma cereja dourada no topo: o MPC-zkVM. Minha visão é construir um ZKVM que seja compatível com MPC e venha com delegação de prova confidencial incorporada. A ideia é: R. Os desenvolvedores podem escrever computação em linguagens populares como Rust B. Eles não precisam se preocupar com UX - não há mais provas do lado do cliente Eles não precisam gerenciar a infra-estrutura de provas. Seus clientes simplesmente enviam uma transação "prove isso com privacidade" para a Fermah - e sai uma prova, gerada confidencialmente Esse é o coração do nosso protocolo de Delegação de Prova Confidencial (CPD). Estou animado para compartilhar nossos primeiros passos em direção a essa visão: CPD para provas Groth16 - ainda um dos sistemas de prova mais usados por aí. Estamos de pé sobre os ombros de gigantes: - @Ingo_zk 's Icicle, que turbina a prova em GPUs - Taceo, que trouxe o MPC para a Circom - Boneh-Ozdemir, que adicionou MPC ao Arkworks Nosso protocolo CPD funciona lado a lado com a camada de matchmaking do Fermah para oferecer uma solução completa para qualquer pessoa que esteja construindo com ZK e privacidade em mente. Também somos incrivelmente gratos a @worldcoin por acreditar nessa visão desde o início. Eles nos deram uma bolsa para explorar o CPD para o sistema de prova de resto, o que foi extremamente significativo, dado o quão otimistas nós da Fermah estamos com a identidade ZK. Muito obrigado a @recmo e @DCbuild3r por seu apoio e confiança. Também somos gratos ao incrível @nico_mnbl, Ryan e Daniel do ex-Modulus Labs e agora do World por ser uma caixa de ressonância! Já estamos trabalhando com alguns clientes fenomenais e adoraríamos ajudar todos os outros que compartilham a visão do ZK com privacidade. Avante!