Post‐quantum protocol for computing set intersection cardinality with linear complexity. (1st November 2020)