Indeed, here is an explanation of the proof protocol used: https://spec.filecoin.io/algorithms/pos/post/

I wonder if that has ever been tested by bad actors. For Bitcoin, the proof of how the network is resilient against sub-50% attacks is simple enough.