Formalizing Multi-Resource Weight Functions Secures Next Generation Nakamoto Consensus
Researchers formalized secure resource weighting for longest-chain consensus, enabling new hybrid proofs to counter centralization and enhance security models.
