A Unified Analytical model for proof-of-X schemes. Issue 96 (September 2020)