#可验证计算 - Entrevista com o Podcast do CEO da RiscZero O rápido desenvolvimento da IA aumentou a produtividade, mas também reduziu o custo da falsificação/fraude. Mais RWA na cadeia, mas se os ativos na cadeia são verificados e auditados programaticamente, se não houver garantia de verificação, esses ativos RWA estão enfrentando grandes riscos, lembro que houve uma onda de auditoria ZK de ativos CEX em 23-24 anos, mas no futuro, mais RWA na cadeia, mais verificação de ativos e auditoria de rastreamento são necessários. No futuro, a verificabilidade e a transparência processual da Internet serão características fundamentais. Há um grande potencial para o blockchain ser combinado com AI/RWA, e a computação verificável é uma das principais infraestruturas aqui. Na computação verificável, os projetos zk @RiscZero e @boundless_xyz implementam computação verificável por meio de RISC-V e ZK VM. Atenção de 2003 O RiscZero vem evoluindo do zkvm para o concreto zk L1. Aqui está uma entrevista em podcast @zeroknowledgefm com seus fundadores para saber mais sobre a equipe e as escolhas técnicas do projeto, visão de negócios e muito mais. Esta entrevista foi feita antes do lançamento de @boundless_xyz, mas entrevistas anteriores revelaram os planos para L1. Como você ouve bem em inglês? Ouça diretamente o original: Resumo da entrevista: A tecnologia principal da Risc0 ZK VM e RISC-V: A Risc0 construiu uma VM ZK executando código RISC-V, que suporta programas compilados em C, C++, Rust e outras linguagens, semelhantes a microcontroladores virtuais, com propriedades de conhecimento zero (entrada e programas ocultos). O RISC-V foi escolhido: é adequado para implementação em circuitos ZK porque é de código aberto, livre de restrições de propriedade intelectual, simples e eficiente, e possui testes de conformidade e suporte formal ao modelo. Privacidade e extensibilidade: suporte à prova de conhecimento zero da execução do programa e do próprio programa, concentre-se inicialmente na extensibilidade para dar suporte à ecologia de aplicativos complexos e na privacidade (como a identidade ZK) como a direção futura. Memória vs. não determinística: a memória é representada como um número de 32 bits, codificando o estado inicial por meio de uma estrutura Merkle; Há suporte para solicitações de dados não determinísticas e o convidado (ZK VM) solicita dados do host e verifica se mantém a privacidade. Tecnologia para implementar e acelerar a aplicação de STARKs: Use STARKs para provar estruturas de repetição, como etapas de tempo do processador, que se ajustam ao modelo de execução de tempo da VM. Suporte recursivo: Em desenvolvimento, o validador Rust pode ser executado na VM ZK para verificar provas e implementar provas incrementais (por exemplo, de blocos de gênese para blocos N+1). Aceleração de hardware: atualmente até 30.000 ciclos/s no M1 Pro, 1 milhão de ciclos/s para Metal/CUDA e cerca de 10 milhões de ciclos/s para a GPU 3090. Circuitos aceleradores como SHA-256 são suportados, e aceleradores analógicos de domínio finito e inteiros grandes estão planejados para serem adicionados no futuro. Paralelização: os processos de prova podem ser paralelizados, adequados para aceleração de GPU, reduzir a latência e oferecer suporte à computação em larga escala (por exemplo, execução do compilador). Visão e Nuvem de Aplicativos 2.0: O objetivo é construir uma nuvem pública descentralizada que suporte DeFi, jogos, NFTs e aplicativos complexos (como bancos de dados SQL, mídias sociais) e alcance "os custos de transação são tão baixos que nenhuma medição é necessária". Blockchain L1: Desenvolva L1 e use ZK para otimizar o mecanismo de consenso ("Proof of Transaction"), que usa a quantidade de computação em vez do número de transações para determinar a cadeia mais longa, suportando bilhões de transações por segundo. Casos de uso: incluem segurança da cadeia de suprimentos (provando que os binários vêm do código-fonte auditado), rastreamento de ativos físicos e muito mais. Ecologia e Conexão Ecologia Futura: Está planejado para integração com outros blockchains, como Ethereum, por meio de pontes ou validadores para suportar a verificação de provas Risc0 ou a execução de EVMs no Ethereum. Roteiro: A versão atual é de código aberto e a próxima versão (incluindo aceleração recursiva e de GPU) será de código aberto em breve. O DevNet está planejado para ser lançado no final de 2022 ou início de 2023, com registros beta lançados via Twitter e outros. O Risc0 existe como L1, ele se conectará a outras redes ou clusters de rede? Algo como eth de @VitalikButerin, @Polkadot de @gavinwood, Cosmos? Brian diz que quase certamente se conectará. A tecnologia Risc0 é considerada uma ferramenta amplamente aplicável. Embora tenha sua própria visão L1, também quer que essa tecnologia atenda a outros ecossistemas. Desafios e reflexões sobre a facilidade de programação: Reduza a barreira de entrada para desenvolvedores com linguagens e cadeias de ferramentas existentes sem precisar aprender novas linguagens ou circuitos aritméticos. Perspectivas de aceleração de hardware: No curto prazo, as GPUs são dominantes, devido à matemática imatura e aos longos ciclos de desenvolvimento ASIC. FPGAs e ASICs podem ser usados em circuitos SNARK específicos. Competição e Posicionamento: Ao contrário de outros projetos ZK VM/EVM, o Risc0 enfatiza a versatilidade e o dimensionamento em nível de nuvem, levando em consideração o ecossistema Ethereum e outras redes. O Risc0 aproveita o RISC-V e os STARKs para criar VMs ZK para resolver o problema de escalabilidade de sistemas distribuídos, com o objetivo de descentralizar a nuvem pública e oferecer suporte à computação em larga escala que preserva a privacidade. A versão atual de código aberto está disponível, o suporte à aceleração e recursão da GPU estará disponível em breve, e está planejado construir L1 e integrar-se a outros ecossistemas, adequados para DeFi, segurança da cadeia de suprimentos e outros cenários Entrevista completa: Imagem de texto longa