.@alicelingl desafios @FormallyJon: os futuros desenvolvedores se apoiarão em zkVMs ou escreverão circuitos ZK manualmente? Descubra as nuances no podcast @HouseofZK.

Anunciando o ZK/AI Summit durante @token2049 semana, co-organizado pela @HouseofZK & @googlecloud. Este evento exclusivo de um dia explorará a fronteira das provas de conhecimento zero e da inteligência artificial, e o ponto de convergência entre elas: IA verificável. 🗓️ 29 de setembro, das 11h às 17h 📍 Caldwell House, Cingapura Inscreva-se para participar, falar ou patrocinar em

Honestamente, essas sessões de grupo de leitura de white paper são algumas das melhores coisas que já fiz em uma conferência.

Execute seu aplicativo da mesma forma que você executaria seus aplicativos web2 Vá sem 🚀 corrente

E se os dApps não precisassem viver dentro de um blockchain? Essa é a ideia explorada por @BrianSeong99 (@0xPolygon) e @paulgebheim (@SeiNetwork) nesta sessão de @WPReadingClub da SBC sobre Chainless - uma estrutura para criar aplicativos verificáveis que rodam com a velocidade da Web2 enquanto ancoram sua confiança na Web3. Em vez de forçar a computação no Solidity ou em um zkVM, o Chainless permite que os aplicativos sejam executados offchain em qualquer ambiente, enquanto enviam provas onchain para liquidação e interoperabilidade. A discussão analisa por que a experiência atual do desenvolvedor é limitada, como os aplicativos verificáveis podem desbloquear novas categorias, como mecanismos de negociação ou aplicativos privados por padrão, e quais compensações vêm com a separação da execução da liquidação. Brian e Paul também mergulham nos desafios práticos: custos de prova, reprodutibilidade e quais sinais de demanda podem finalmente impulsionar a adoção. Resumo: Papel: Também disponível no YouTube:

Bitcoin L2s - opiniões de especialistas de @michaelterpin, fundador da @TransformVC21, @BitAngels e consultor da @GOATRollup: • Por que L2s: Adicione programabilidade e taxa de transferência sem alterar o Bitcoin L1. Exemplos: sistemas baseados em BitVM2, rollups. • Modelo de segurança: Prefira designs que se estabeleçam on-chain; evite pontes de custódia. A validade L2 deve ancorar no Bitcoin. • Casos de uso: ponte minimizada pela confiança, stablecoins lastreadas em BTC, trilhos DeFi, novos fluxos de pagamento. • Impacto macro: Fortalece o domínio do BTC; complementa a tese da reserva de valor em vez de substituí-la. • Caminho de adoção: a inovação geralmente aparece primeiro em outras cadeias; se for escalar, é portado para o Bitcoin via L2s. • Visão do ciclo: Bitcoin L2s são uma narrativa chave neste ciclo, mas não o único impulsionador do preço. Ouça a discussão completa com Michael - insights sobre BitVM2, liquidação on-chain e onde os L2s se encaixam no roteiro do Bitcoin:

House of ZK Radio #67: Ming Guo, co-fundador e cientista-chefe da ZKM - disponível agora no Spotify e YouTube 🔳 Neste episódio, @alicelingl se senta com @DacEconomy - cofundador e cientista-chefe de pesquisa da @ProjectZKM - para mapear como o conhecimento zero mudou do @ethereum para o Bitcoin e como é realmente uma economia Bitcoin garantida por computação verificável. Spotify: YouTube: O que está dentro: • A progressão ZK: privacidade de transações → circuitos gerais → zkVMs com comprovação quase em tempo real • Por que o design zkVM baseado em MIPS da ZKM é importante para desempenho, estabilidade e verificação • Arquiteturas Bitcoin L2 baseadas em BitVM2, como @GOATRollup, e por que L2 é o caminho seguro para a programabilidade • "Liquidação universal": computação verificável como base para aplicativos descentralizados • Responsabilidade e incentivos programáveis versus modelos legados de "confiar em uma parte" • Developer UX: de zkDSLs a escrever código normal e comprovar a execução em um zkVM • Além da "reserva de valor": rendimento, ativos estáveis e atividade on-chain ancorada ao Bitcoin sem comprometer a segurança L1 Se você construir em Bitcoin ou ZK, este episódio fornece uma estrutura clara para a pilha, compensações e o que é necessário para passar de apenas manter BTC para uma economia funcional e verificável.

Aqui, relatamos o progresso dos principais construtores no ecossistema zkVM, documentando lançamentos significativos recentes, avanços técnicos e atualizações gerais. Apresentando: @SuccinctLabs, @ProjectZKM, @NexusLabs, @RiscZero, Jolt (@a16zcrypto), @ziskvm, & @ligero_inc 👇

E se @solana pudesse finalizar blocos em menos de meio segundo? Essa é a visão delineada por Roger Wattenhofer (Chefe de Pesquisa da @anza_xyz/@ETH_en) nesta sessão de leitura @WPReadingClub. Com base na pesquisa de consenso acadêmico e no design exclusivo da Solana, @TheWattenhofer apresenta o Alpenveil, uma nova proposta de protocolo de consenso que combina: • Finalidade ultrarrápida - os resultados simulados mostram a finalização do bloco em ~ 150 ms, com caminhos do mundo real se aproximando de ~ 500 ms de confirmação no nível do usuário. • Votação paralelizada - um novo mecanismo que executa a votação de um turno (80%) e dois turnos (60% → commit) em paralelo, permitindo que o que for concluído mais rapidamente finalize o bloqueio. • Provas de segurança formais - um modelo rigoroso que se afasta das suposições tradicionais de 33% bizantinas, defendendo modelos de falha mais realistas (20% bizantinos, 40% tolerantes a falhas de colisão) dado o cenário atual do validador. • Compensações de design de sistema - desde a codificação de eliminação para disseminação de dados até por que o corte é evitado (pelo menos inicialmente) e como a distribuição geográfica de stake afeta a latência. Esta sessão incrível é fundamental para repensar o consenso para blockchains de alto desempenho, combinando teoria, prática e as restrições do mundo real da Solana. Resumo: Papel: Também disponível no YouTube:

Aqui, relatamos o progresso dos principais construtores no ecossistema Proving Service, documentando lançamentos significativos recentes, avanços técnicos e atualizações gerais. Apresentando: @fermah_xyz, @Ingo_zk, @brevis_zk, @zan_team, & @vlayer_xyz ⬇️