OpenAI y Paradigm lanzan EVMbench para automatizar la seguridad de los contratos inteligentes