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: Quem são os desenvolvedores dos contratos inteligentes implantados em '2023'?
 ###Tabelas: 
CREATE TABLE smart_contracts (id INT, name TEXT, developer INT, deployment_date DATE); INSERT INTO smart_contracts (id, name, developer, deployment_date) VALUES (1, 'Contract1', 1, '2023-01-01'), (2, 'Contract2', 2, '2023-03-01'); CREATE TABLE developers (id INT, name TEXT); INSERT INTO developers (id, name) VALUES (1, 'Developer1'), (2, 'Developer2'), (3, 'Developer3');
SELECT developers.name FROM developers INNER JOIN smart_contracts ON developers.id = smart_contracts.developer WHERE YEAR(smart_contracts.deployment_date) = 2023;