The general setup is fairly simple. Proof of work mining you're essentially voting on blocks with your hash power. There's some cost to voting because you can only ideally vote on one of the histories at once and then you sort of end up with the same properties. Finality is in blockchain terms that so that's actually an interesting point in like a lot of the innovation quote unquote innovation in consensus algorithms.