MPC trong Mô Hình Đầu được giải thích bởi @mvenkita Đây là một buổi thảo luận đầy đủ trên bảng trắng về Hệ Thống Chứng Minh Ligero: