Zero-Knowledge Cryptographic Attestation for Autonomous Edge Swarms Under Byzantine Faults
By Dr. Marcus Thorne , Prof. Alistair Vance
Autonomous decentralized swarm robotics operating in hostile tactical environments require trustless state consensus without exposing internal sensory data or communication topology. We construct a succinct non-interactive argument of knowledge (zk-SNARK) verification circuit optimized for low-power ARM Cortex-M microcontrollers. The proposed protocol achieves cryptographic identity attestation and kinematic path consensus in under 18ms per peer hop while tolerating up to 33% malicious Byzantine nodes.