Analysis and Construction of Zero-Knowledge Proofs for the MinRank Problem