A recente chamada @eth_proofs #4 focou na proposta de consagrar o RISC-V no @ethereum L1, mergulhando nas implicações técnicas, arquitetónicas e filosóficas de usar uma ISA padrão para zkVMs e clientes Ethereum. A sessão de duas horas contou com atualizações de equipas que estão a construir zkVMs, fornecedores de hardware, investigadores em verificação formal e liderança do Ethereum, incluindo @VitalikButerin. Gravação completa: Resumos das palestras ⬇️