Polygon 為zk 擴容做出了10 億美元的重金承諾，四種擴容方案雖都建立在zk 技術之上，但各有千秋，策略不同。那麼，這四種方案具體技術特性與開發進度如何？