Yep, effectively! That is what is great about these fuels (H2 and CH4) vs something like RP-1. First you get hydrogen by electrolyzing water. Then you can go H2 + CO2 → CH4 via the Sabatier process[1].

[1] https://en.wikipedia.org/wiki/Sabatier_reaction