LaMS: A p-adic Layered Modulus Switching for Provable Dual Attacks on LWE | AIChainDay