在30分鐘後，加入@roth_edgar和@0xesli，深入探討ZK證明和可編程質押。