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 contratos inteligentes associados a um usuário específico '0x123...'.
 ###Tabelas: 
CREATE TABLE smart_contracts (contract_address VARCHAR(64), user_address VARCHAR(64));
SELECT contract_address FROM smart_contracts WHERE user_address = '0x123...';