Chasing waves and verifiable computations | privacy and zero-knowledge propaganda at Aztec