Security Research — Circle / Arc Network

Descrição:

Pesquisa de segurança no programa HackerOne da Circle/Arc, via revisão de código-fonte dos repositórios malachite (consenso BFT em Rust) e arc-node. Metodologia focada em execução prática direta, sem gastar ciclos em recon extenso.

Achado principal:

Precompile pós-quântico (PQ) do arc-node registrado sem gate de hardfork — crates/precompiles/src/precompile_provider.rs e pq.rs recebem o parâmetro _hardfork_flags (ativação do hardfork Zero6) mas nunca o usam, deixando o precompile run_pq chamável antes da ativação planejada. PoC funcional (não apenas análise estática): teste poc_pq_precompile_callable_before_zero6_activation executa verificação de assinatura SLH-DSA real (~378k gas) num chain spec sem Zero6 ativado, confirmando a execução do código fora da janela prevista.

Report fechado como "Informative" pelo analista — alegou que o precompile "funciona corretamente, sem impacto de segurança real" — mas o achado demonstra controle de ativação de hardfork quebrado, validado com execução real de criptografia pós-quântica, não suposição teórica.

Trabalho adicional no engajamento:

PoC ao vivo confirmado de Sign() sem autenticação no arc-remote-signer (qualquer cliente de rede podia assinar mensagens de consenso arbitrárias) — fechado como duplicate Revisão full-depth de malachite (votekeeper, sync, validator-proof, proposal_keeper) e dos precompiles nativos do arc-node (native coin authority/control, system accounting) — auth gates e aritmética segura confirmados, sem brecha adicional Análise de política KMS do enclave attestation do arc-remote-signer — hipótese de bypass por permissão incondicional no IAM sobrepondo a condição de atestação, ainda não testada em ambiente AWS próprio

Stack/skills: Rust, blockchain consensus (BFT), criptografia pós-quântica (SLH-DSA), hardfork/versioning logic, remote signing security, source-code review.