Zhiyang Chen

Esse artigo explora como invariantes podem melhorar a segurança de contratos inteligentes contra ataques.

Surge uma ferramenta poderosa para análise detalhada de transações de contratos inteligentes.

Esse artigo fala sobre como melhorar as defesas dos contratos inteligentes contra ataques nas finanças descentralizadas.