Opex specifically because we don't have a predicative algorithm for proving capex. The only predicative value-proof algorithm we have is PoW, which works on opex. PoS is completely impredicative.