Zero-Knowledge Cryptographic Attestation for Autonomous Edge Swarms Under Byzantine Faults
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.