Aave Labs has outlined new security for V4 commitments including formal verification, layered security reviews and a bug bounty program.