MPC i hodeparadigmet forklart av @mvenkita Her er en full whiteboard-økt om Ligero Proof System: