MPC i huvudparadigmet förklarat av @mvenkita Här är en fullständig whiteboard-session om Ligero Proof System: