How does proof of stake mining process works? Please kindly give a simple code example for slasher algorithm. Which coin using Slasher algorithm for Proof of Stake process?