Make portions of the Filecoin state proof friendly ❓

If we want to be able to access Filecoin state into other chains, we first must be able to efficiently generate proof about it. One way to do so is to replace non-SNARK friendly merkle trees with Vector Commitments.