Electrum Wallet is a popular lightweight bitcoin wallet that verifies bitcoin transaction information based on the SPV principle proposed by Satoshi Nakamoto. It is feature-rich, open source and security-focused.