.@alicelingl desafia @FormallyJon: Os futuros desenvolvedores vão depender de zkVMs ou escrever circuitos ZK à mão? Descubra as nuances no podcast @HouseofZK.

Anunciando a Cimeira ZK/AI durante a semana do @token2049, co-organizada pelo @HouseofZK e @googlecloud. Este evento exclusivo de um dia irá explorar a fronteira das provas de conhecimento zero e da inteligência artificial, e o ponto de convergência entre eles: AI Verificável. 🗓️ 29 de setembro, 11h-17h 📍 Caldwell House, Singapura Candidate-se para participar, falar ou patrocinar em

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

Execute a sua App como faria com as suas apps web2 Vá Chainless 🚀

E se as dApps não precisassem viver dentro de uma blockchain? Essa é a ideia explorada por @BrianSeong99 (@0xPolygon) e @paulgebheim (@SeiNetwork) nesta sessão do SBC @WPReadingClub sobre Chainless - uma estrutura para construir aplicações verificáveis que funcionam com a velocidade do Web2 enquanto ancoram sua confiança no Web3. Em vez de forçar a computação para dentro do Solidity ou de um zkVM, o Chainless permite que as aplicações funcionem offchain em qualquer ambiente, enquanto submetem provas onchain para liquidação e interoperabilidade. A discussão aborda por que a experiência atual dos desenvolvedores é limitada, como aplicações verificáveis poderiam desbloquear novas categorias como motores de negociação ou aplicações privadas por padrão, e quais são os trade-offs que 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 poderiam 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 conselheiro da @GOATRollup: • Por que L2s: Adicionam programabilidade e capacidade sem mudar o Bitcoin L1. Exemplos: sistemas baseados em BitVM2, rollups. • Modelo de segurança: Prefira designs que se liquidam on-chain; evite pontes custodiais. A validade do L2 deve ancorar-se ao Bitcoin. • Casos de uso: Bridging minimizado em confiança, stablecoins lastreadas em BTC, trilhos DeFi, novos fluxos de pagamento. • Impacto macro: Fortalece a dominância do BTC; complementa a tese de reserva de valor em vez de a substituir. • Caminho de adoção: A inovação muitas vezes aparece primeiro em outras cadeias; se for escalar, é portado para o Bitcoin via L2s. • Visão do ciclo: Os L2s do Bitcoin são uma narrativa chave neste ciclo, mas não o único motor de preço. Ouça a discussão completa com Michael - insights sobre BitVM2, liquidação on-chain, e onde os L2s se encaixam no roadmap do Bitcoin:

House of ZK Radio #67: Ming Guo, Co-fundador e Cientista Chefe na ZKM - disponível agora no Spotify e YouTube 🔳 Neste episódio, @alicelingl conversa com @DacEconomy - Co-fundador e Cientista Chefe de Pesquisa na @ProjectZKM - para mapear como o zero-knowledge se deslocou do @ethereum para o Bitcoin, e como é realmente uma economia Bitcoin assegurada por computação verificável. Spotify: YouTube: O que há dentro: • A progressão do ZK: privacidade de transações → circuitos gerais → zkVMs com prova 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 é a rota segura para programabilidade • “Liquidação universal”: computação verificável como base para aplicações descentralizadas • Responsabilidade programável e incentivos vs. modelos legados de “confiar em uma parte” • UX do desenvolvedor: de zkDSLs para escrever código normal e provar execução em um zkVM • Além de “reserva de valor”: rendimento, ativos estáveis e atividade on-chain ancorada ao Bitcoin sem comprometer a segurança do L1 Se você constrói sobre Bitcoin ou ZK, este episódio fornece uma estrutura clara para a pilha, compensações e o que é necessário para passar de meramente manter BTC para uma economia funcional e verificável.

Aqui reportamos sobre 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 na @anza_xyz/@ETH_en) nesta sessão de leitura do @WPReadingClub. Baseando-se tanto em pesquisas acadêmicas de consenso quanto no design único da Solana, @TheWattenhofer apresenta Alpenveil, uma nova proposta de protocolo de consenso que combina: • Finalidade ultra-rápida - resultados simulados mostram a finalização de blocos em ~150ms, com caminhos do mundo real se aproximando de ~500ms de confirmação a nível de usuário. • Votação paralelizada - um mecanismo inovador que executa votação de uma rodada (80%) e duas rodadas (60%→compromisso) em paralelo, permitindo que o que completar mais rápido finalize o bloco. • Provas de segurança formais - um modelo rigoroso que se afasta das suposições tradicionais de 33% de Byzantine, argumentando por modelos de falha mais realistas (20% Byzantine, 40% tolerante a falhas de queda) dado o cenário atual dos validadores. • Compromissos de design do sistema - desde codificação de apagamento para disseminação de dados até por que a penalização é evitada (pelo menos inicialmente), e como a distribuição geográfica de participação afeta a latência. Esta incrível sessão é uma reavaliação fundamental do consenso para blockchains de alto desempenho, misturando teoria, prática e as restrições do mundo real da Solana. Resumo: Papel: Também disponível no YouTube:

Aqui reportamos sobre o progresso dos principais construtores no ecossistema do 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 ⬇️