https://cryptoshitcompra.com/stellar-se-asocia-con-certora-para-controles-de-seguridad-en-contratos-inteligentes-de-soroban