Speaker anonymization protects against speaker identity inference, yet third parties cannot verify that released speech is authenticated and anonymized as predefined without revealing the original. We propose Verifiable Speaker Anonymization (VSA), a paradigm that enables public verification that a predefined anonymization has been applied while the original remains hidden. We instantiate this paradigm as ZK-VSA using zero-knowledge succinct non-interactive arguments of knowledge (ZK-SNARKs): we encode phase vocoder with time-scale modification (PV-TSM) as arithmetic constraints suitable for succinct proofs, complemented by SNARK-friendly phase handling, and integrate cryptographic commitments with digital signatures for authentication. We evaluate ZK-VSA on LibriSpeech, using automatic speech recognition (ASR) for intelligibility and automatic speaker verification (ASV) for anonymity. Our proof-constrained anonymization closely matches floating-point PV-TSM, while proofs add only a slight overhead and verify in milliseconds. These results demonstrate the practicality of VSA and open a path to proof-based guarantees for broader speech transformations.
Speech is a natural user interface for the Internet of Things system. However, the presence of noise affects severely the performance of such system. With the deployment of smart devices with microphones, one can form a powerful acoustic sensor network to enhance the speech via beamforming techniques. On the other hand, reliability of data transmission also determines the beamforming performance, since faulty data will drift the beamformer steering location randomly. Currently, there is no protection scheme for acoustic data transmitted over the wireless network in order to keep steady beamforming performance. In this article, we design a compound distributed beamformer, where nodes are grouped and the system is embedded with blockchain technology to protect the data integrity during transmission. It attempts to provide more possible reliable connections between groups. Simulated experiments show that the distributed beamformer with blockchain protection is able to maintain steady beamforming performance.