On: Major crypto lender Celsius freezes withdrawals as...

[vesinisa]

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.