Deixe-me contar-lhe uma história. Meados de 2023. Eu tinha acabado de decidir começar Fermah. Liguei para 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 desenvolvedores. Ninguém deveria ter de lutar contra a criação de infraestruturas de prova e a sua otimização; eles devem ser capazes de simplesmente delegar provas a uma plataforma que o faça. Amit: "E os dados das testemunhas? Como confiar em GPUs aleatórias com dados confidenciais de testemunhas?" Eu: "A maioria dos aplicativos em produção hoje nem sequer 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?" Eu: ... Depois da chamada, tive muitas reuniões e fiquei inquieto o dia todo. Eu escrevi para Amit algo como: "A tecnologia ZK, não sendo acessível às 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 uma pesquisa de mercado." Então eu comecei com uma abordagem simples: Passo 1. Faça uma lista de aplicativos que estão começando a mostrar promessa de se tornar enorme Passo 2. Veja quais deles precisam do 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 chocado com o quão convincente é a prova de personalidade para garantir um futuro impulsionado pela IA - e como Sam Altman, liderando o caminho na IA, enfatizou a necessidade da identidade ZK com @worldcoin. zkTLS é uma história mais pessoal. Eu pulei nesta onda quando havia praticamente apenas um par de pessoas nele. Isto foi um bom 5 anos atrás. Liderei o produto e 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 por explorar onde a adoção já existe – Web2. E essa ponte é zkTLS. Estava convencido de que tínhamos de resolver esta questão. Ficou claro que precisávamos seguir a rota do MPC -- a FHE ainda está otimista demais para esse tipo de trabalho pesado. Mergulhei em 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 Fermah por Dan. Foi lindo receber suas bênçãos sobre Fermah e sua visão. A partir daí, avancei com nosso levantamento de sementes, com uma tese central: construir o que Fermah é conhecido hoje – um mercado de prova universal – e colocar uma cereja dourada no topo: o MPC-zkVM. Minha visão é construir um ZKVM que seja amigável ao MPC e venha com delegação confidencial de comprovação. 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 C. Eles não têm que gerenciar infra de prova Seus clientes simplesmente enviam uma transação "prove isso com privacidade" para 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 sobre os ombros de gigantes: - @Ingo_zk 's Icicle, que turbina a prova em GPUs - Taceo, que trouxe o MPC para o Circom - Boneh-Ozdemir, que adicionou MPC à Arkworks Nosso protocolo CPD trabalha lado a lado com a camada de matchmaking da Fermah para oferecer uma solução completa para qualquer pessoa que construa com ZK e privacidade em mente. Também somos incrivelmente gratos a @worldcoin por acreditarem nesta visão desde cedo. Eles nos deram uma bolsa para explorar o CPD para o sistema de prova Restante, o que foi extra significativo dado o quão otimistas nós na Fermah estamos em relação à identidade ZK. Muito obrigado a @recmo e @DCbuild3r pelo seu apoio e confiança. Também somos gratos ao incrível @nico_mnbl, Ryan ou Daniel da ex-Modulus Labs e agora no 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 da ZK com privacidade. Avante!