At the end of the month, let's summarize the progress I have followed regarding zkVM and zk Coprocessor.
zkVM
@RiscZero: Launched zkVM1.2, and @boundless_xyz is likely the focus of RiscZero at this stage.
@SuccinctLabs: Released a white paper at the beginning of the month and secured @0xMantle, a heavyweight L2, continuing to expand.
@argumentxyz: No updates, I remember applying for the entry of RootData this month, not sure if it has been recorded.
@0xLita: Still updating their Valida zkVM, it is estimated that there is still some distance to application.
@powdr_labs: Looking to take a different path with zig? It seems they want to make a push for Beam chain.
@NexusLabs: Completed their testnet, feeling like they want to showcase their BD capabilities now.
@axiom_xyz: Launched OpenVM, intending to transition from zk Coprocessor to zkVM.
zk Coprocessor
@lagrangedev: Officially launched their own proof network, soon to be able to generate zk proofs for Rollup.
@thezkcloud: Underwent a brand upgrade and also launched their Firestarter proof network.
@brevis_zk: Announced collaboration with @ThenaFi_ and @MendiFinance.
In the future, @SpaceandTimeDB has been added as a new zk Coprocessor, I just noticed they also do Coprocessor along with @zerobasezk. Although @cysic_xyz is also a Coprocessor, I haven't followed up much, so I won't write about it.