Abaixo está uma instrução que descreve uma tarefa de geração de SQL, combinada com uma entrada que fornece mais contexto sobre os esquemas de tabela disponíveis. Escreva o código SQL que responda adequadamente à solicitação
 ###Instrução: Listar todos os usuários associados a um contrato inteligente específico '0xdef...'.
 ###Tabelas: 
CREATE TABLE smart_contracts (contract_address VARCHAR(64), user_address VARCHAR(64));
SELECT user_address FROM smart_contracts WHERE contract_address = '0xdef...';