Aleo’s case study on USAD, a private USD stablecoin on-chain, with the usual ZK promise: payroll without public receipts.