Avanços recentes na pesquisa sobre ZK/FHE (também envolvendo alguns projetos de criptografia) No episódio mais recente do podcast, Anna conversa com Dan Boneh, professor de Ciência da Computação e Engenharia Elétrica da Universidade de Stanford, sobre os avanços na pesquisa de zk. Resumo da entrevista: Alguns cenários promissores para ZK: 1) ZKML, o problema do ZKML é provar a execução correta de um modelo em dados fornecidos, que é também a direção de pesquisa que a equipe da boundless @boundless_xyz @boundless_cn (@risczero) tem explorado há dois anos. 2) Rastreabilidade e autenticidade do conteúdo: O padrão C2PA (rastreamento e autenticidade do conteúdo) permite que câmeras assinem imagens com chaves embutidas, provando a origem, o tempo e a configuração da imagem. Agora, a IA generativa (como DALL·E) também começou a adicionar provas C2PA às imagens, indicando que foram geradas por IA. Baseado em redes, SNARK, FHE: - SNARK baseado em redes (a vantagem das redes é a segurança pós-quântica). - O artigo do Greyhound propôs um esquema de compromisso polinomial (PCS) baseado em redes. - A pesquisa descobriu que as redes se saem muito bem em esquemas de dobragem, e em colaboração com Binyi Chen (fundador/pesquisador da Espresso @EspressoSys) desenvolveram o LatticeFold: um esquema de dobragem baseado em redes. - No campo do FHE, estão sendo desenvolvidos chips ASIC dedicados, que devem melhorar significativamente o desempenho do FHE até 2025 (possivelmente de 10 a 100 vezes mais rápido). - A empresa Zama @zama_fhe está explorando a execução de SNARK em cálculos FHE, e a estrutura de anel do LatticeFold é compatível com FHE, adequada para esse cenário. Versão em chinês da entrevista: Texto original do podcast: