在30分钟后，加入@roth_edgar和@0xesli，深入探讨ZK证明和可编程质押。