@mvenkita 解释的头部范式中的 MPC 这是关于 Ligero 证明系统的完整白板会议: