O Blog ZKM é um recurso técnico para qualquer pessoa que esteja construindo ou pesquisando zkVMs de uso geral: https://t.co/QY6bg008dy

Se você está explorando as vantagens e desvantagens do conjunto de instruções, a otimização do sistema de restrição ou os backends do sistema de prova, o Blog ZKM destila as principais descobertas de P&D do mundo real.

As entradas recentes incluem:

🔸 Visão geral do zkVM: https://t.co/jnwPDkUCSL
Uma explicação fundamental que abrange arquitetura, aplicações e garantias de verificação.

🔸 Argumentos de pesquisa em ZKPs: https://t.co/I3VtNeaiTP
Um mergulho profundo em como as pesquisas reduzem a complexidade do circuito em aplicações ZK.

🔸 Verificação de memória offline em zkVMs: https://t.co/TKR77ARLIG
Explica como o acesso verificável à memória é tratado quando a RAM é descarregada do circuito.

🔸 MIPS vs RISC-V: https://t.co/dfUYLWee9s
Compara dois ISAs RISC de uma perspectiva de eficiência de circuito.

🔸 ZKM Prover - STARK to SNARK: https://t.co/VdaagV12cO
Detalha nosso pipeline de provador híbrido da geração baseada em STARK à compressão baseada em SNARK.

À medida que continuamos a mudar da pesquisa para a infraestrutura real, o Blog ZKM serve como um ponto de referência para escolhas de design baseadas na implementação prática 🟠