Formal paper defines and calculates "Global Systematically Important Protocol" (G-SIP), a systemic risk measure for DeFi protocols based on the BIS framework