Light Client & Sharding: Techniques and Related Cryptographic Primitives