kimchi_msm::test::proof_system