Miden Ships a Self-Custodial Wallet That Proves Transactions on the User's Device · Polylog