https://medium.com/@PharaohUFOGinger/step-into-the-world-of-coq-inu-coq-staking-a-complete-how-to-guide-ab2647229189
