CESC '22: Notas de Campo da Oficina de Conhecimento Zero

Nota do Editor: Notas de campo é uma série em que relatamos no local eventos importantes da indústria, pesquisa e outros. Nesta edição, Valeria Nikolaenko, parceira de pesquisa de criptomoedas da a16z, compartilha seus destaques rápidos do Workshop de Prova de Conhecimento Zero afiliado ao Conferência de Segurança em Criptoeconomia (CESC), que ocorreu em 30 de outubro na Universidade da Califórnia em Berkeley. o programa teve como objetivo reunir pesquisadores e profissionais para mostrar e discutir os desenvolvimentos mais recentes em blockchain e web3. Você pode assistir às gravações das apresentações SUA PARTICIPAÇÃO FAZ A DIFERENÇA.

• Canção Dawn (UC Berkeley) anunciou um novo MOOC para a primavera de 2023 em provas de conhecimento zero, que está programada para começam em 17 de janeiro de 2023 e lembram os MOOCs que já estão em execução no outono de 2022:

• Yupeng Zhang (Texas A&M University) apresentou um tutorial sobre o desenvolvimento recente de sistemas ZKP, uma visão geral excepcional de diferentes abordagens para a construção de sistemas à prova de zk, mapeando-os em 4 eixos: concisão, eficiência de provador e verificador e configuração transparente versus confiável.

• Dan Boneh (Universidade de Stanford) apresentado uma visão geral de abstração de IOPs em geral e Plonk polynomial-IOP em particular.

Dan também explicou um novo sistema chamado HiperPlonk, que pode eliminar FFTs caras no lado do provador e lida com portas de alto grau com muito mais eficiência, reduzindo o tempo do provador e o tamanho da prova. O parâmetro interessante a ser lembrado é que as FFTs dominam o tempo do provador quando o número de portas está acima de 2²⁰.

• TianchengXie (UC Berkeley) apresentado no zkBridge (leia o artigo SUA PARTICIPAÇÃO FAZ A DIFERENÇA), destacando a importância de um melhor design para pontes à luz de vários hacks recentes (Exploração da ponte Ronin, hack de buraco de minhoca, Dreno da ponte nômade, e assim por diante). O zkBridge minimiza a confiança e melhora o desempenho com o sistema à prova de conhecimento zero deVirgo.
• Canção Dawn (UC Berkeley) anunciou o zkCollective — uma base para interoperabilidade segura entre cadeias. O formulário para participar do esforço pode ser preenchido SUA PARTICIPAÇÃO FAZ A DIFERENÇA.
• Torcedor Leão (Císica) destacaram seus resultados para acelerar a multiplicação multiescalar (MSM) em FPGA para zk-provers, onde o MSM geralmente responde por mais de 50% do tempo do provador. Estima-se que sejam mais rápidos do que esforços comparáveis ​​(Tubo MSM e CicloneMSM). Seu objetivo final é construir um ASIC.
• Marek Olszewski (Zelo) fez uma ótima demonstração sobre a execução do cliente leve da Celo, o Plumo, que está há 2 anos em desenvolvimento e lançado este ano. O cliente é desenvolvido como um circuito massivo com 2²⁷ portões, e alimentado por um otimista poderes-de-tau cerimônia que pode ser útil para outros projetos. Os membros da comunidade estão gerando provas SNARK diariamente (após cada mudança de época), uma prova leva cerca de 1 hora em uma máquina de 256 núcleos. Sua biblioteca WASM permite a verificação das provas de aplicativos da web.
• Howard Wu (aleão) apresentou as ideias por trás do design do Aleo, que constrói uma blockchain para transações privadas que permite simultaneidade e atualizações de estado eficientes.
• Jeremy Bruestle (Risco0) explicou a lógica do projeto por trás da construção de um conjunto de instruções zkVM para RISC-V implementado com zkSTARKs. O RISC-V possui um conjunto de instruções muito pequeno (<40), bem suportado por diferentes compiladores, totalmente aberto. E, mais importante, ele foi projetado para implementações de hardware eficientes, o que implica um design de circuito eficiente para provas zk.
• Uma Roy (Laboratórios sucintos) deu uma visão geral de uma maneira de verificar sucintamente o consenso do Ethereum com zkSNARKs com tempo de prova de apenas 1 minuto.

Valéria Nikolaenko é um parceiro de pesquisa na criptomoeda a16z. Sua pesquisa se concentra em criptografia e segurança blockchain. Ela também trabalhou em tópicos como ataques de longo alcance em protocolos de consenso PoS, esquemas de assinatura, segurança pós-quântica e computação multipartidária. Ela é PhD em Criptografia pela Universidade de Stanford e trabalhou no blockchain Diem como parte da equipe principal de pesquisa.

-

As opiniões expressas aqui são as do pessoal individual da AH Capital Management, LLC (“a16z”) citadas e não são as opiniões da a16z ou de suas afiliadas. Certas informações aqui contidas foram obtidas de fontes de terceiros, inclusive de empresas do portfólio de fundos administrados pela a16z. Embora retiradas de fontes consideradas confiáveis, a16z não verificou essas informações de forma independente e não faz representações sobre a precisão duradoura das informações ou sua adequação a uma determinada situação. Além disso, esse conteúdo pode incluir anúncios de terceiros; a16z não revisou tais anúncios e não endossa nenhum conteúdo de publicidade neles contido.

Este conteúdo é fornecido apenas para fins informativos e não deve ser considerado como aconselhamento jurídico, comercial, de investimento ou fiscal. Você deve consultar seus próprios conselheiros sobre esses assuntos. As referências a quaisquer valores mobiliários ou ativos digitais são apenas para fins ilustrativos e não constituem uma recomendação de investimento ou oferta para fornecer serviços de consultoria de investimento. Além disso, este conteúdo não é direcionado nem destinado ao uso por quaisquer investidores ou potenciais investidores, e não pode, em nenhuma circunstância, ser invocado ao tomar uma decisão de investir em qualquer fundo administrado pela a16z. (Uma oferta para investir em um fundo a16z será feita apenas pelo memorando de colocação privada, contrato de subscrição e outra documentação relevante de tal fundo e deve ser lida na íntegra.) Quaisquer investimentos ou empresas de portfólio mencionados, referidos ou descritos não são representativos de todos os investimentos em veículos administrados pela a16z, e não pode haver garantia de que os investimentos serão rentáveis ​​ou que outros investimentos realizados no futuro terão características ou resultados semelhantes. Uma lista de investimentos feitos por fundos administrados por Andreessen Horowitz (excluindo investimentos para os quais o emissor não deu permissão para a a16z divulgar publicamente, bem como investimentos não anunciados em ativos digitais negociados publicamente) está disponível em https://a16z.com/investments /.

Os gráficos e gráficos fornecidos são apenas para fins informativos e não devem ser considerados ao tomar qualquer decisão de investimento. O desempenho passado não é indicativo de resultados futuros. O conteúdo fala apenas a partir da data indicada. Quaisquer projeções, estimativas, previsões, metas, perspectivas e/ou opiniões expressas nestes materiais estão sujeitas a alterações sem aviso prévio e podem diferir ou ser contrárias às opiniões expressas por outros. Consulte https://a16z.com/disclosures para obter informações adicionais importantes.