Add horizontal federated learning implementation with zero-knowledge proof check

[lemonviv]

We shall add the horizontal FL training implementation and include the RiseFL technique based on zero-knowledge proof and verifiable secret sharing to ensure both input privacy and integrity.