Парадигма MPC в голове, объясненная @mvenkita Вот полная сессия на белой доске по системе доказательства Ligero: