The Aleo co-founder and Provable CEO has spent years turning zero-knowledge research into working software. His next test is making financial privacy feel ordinary.