Formal Protocol Security vs Qohash Qostodian (2026)