User blog comment:Alemagno12/Huge Ordinal Analysis/@comment-11227630-20180203000827/@comment-30118230-20180203141931

No. ZFC can optimizes the use of power sets,which KP can not use,so for any large ordinal assumption,ZFC will always prove a "larger" sentence.