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: Qual é o número total de contratos inteligentes com contagens de transações bem-sucedidas maiores que 1000, agrupados por suas respectivas plataformas?
 ###Tabelas: 
CREATE TABLE smart_contracts (platform VARCHAR(255), tx_count INT); INSERT INTO smart_contracts (platform, tx_count) VALUES ('Ethereum', 1200), ('Ethereum', 1500), ('Binance', 800), ('Solana', 1800), ('Polkadot', 900);
SELECT platform, COUNT(*) FROM smart_contracts WHERE tx_count > 1000 GROUP BY platform;