🎊 Anuncio de subvención: ¡Marco de pruebas asistido por IA para detectar vulnerabilidades de sincronización por Tsinghua Cryptoeconomics Lab! Sistema de pruebas automatizado inteligente para descubrir inconsistencias y posibles ataques derivados de la naturaleza variada de las arquitecturas de clientes CL.