Kaspa vs Alephium: Two Very Different Visions of Proof-of-Work