La reciente llamada @eth_proofs #4 se centró en la propuesta de consagrar RISC-V en @ethereum L1, profundizando en las implicaciones técnicas, arquitectónicas y filosóficas de utilizar un ISA estándar para zkVMs y clientes de Ethereum. La sesión de dos horas incluyó actualizaciones de equipos que construyen zkVMs, proveedores de hardware, investigadores en verificación formal y liderazgo de Ethereum, incluyendo a @VitalikButerin. Grabación completa: Resúmenes de las charlas ⬇️