Noncommutative determinant is hard: A simple proof using an extension of barrington's theoremCraig Gentry2014CCC 2014