非脂多糖 使用CiMPG的NSLPK身份验证协议的形式验证 proof_scores目录：所有17个不变式的证明分数 proof_scores_with_cimpg目录：所有17个不变量的带注释的证明得分，用于CiMPG的输入 cimpg_genic_scr ipts目录：通过将带注释的证明分数输入CiMPG生成的证明脚本 cimpa目录：所有17个不变式的CiMPA证明脚本（手动编写） 依赖：不变量之间的依赖 nslpk.cafe：NSLPK的CafeObj规范