La reciente convocatoria de @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 del uso de una ISA estándar para zkVM y clientes de Ethereum. La sesión de dos horas contó con actualizaciones de los equipos que construyen zkVM, proveedores de hardware, investigadores de verificación formal y liderazgo de Ethereum, incluido @VitalikButerin. Grabación completa: Resúmenes de las conversaciones ⬇️