ZK-proofs could change the internet, not just Web3 — Aleo exec