Miden Ships a Private-Finance Stack and a Wallet That Proves Transactions on the User's Device · Polylog