On May 22, Lumoz announced the launch of zkProver and zkVerifier based on EigenLayer, which not only significantly enhances the efficiency of computation and verification but also effectively ensures the security and profitability of the entire service process through EigenLayer's restaking mechanism.