MPC у головній парадигмі, поясненої @mvenkita Ось повна сесія білої дошки про систему доказів Ligero: