Protocol audits and formal models for the MultiversX blockchain - View it on GitHub