A Theory of Justice for Web3