Polygon has made a $1 billion commitment to zk scaling. Although the four scaling solutions are all based on zk technology, each has its own strengths and different strategies. So, what are the specific technical characteristics and development progress of these four solutions?