circuits and constraint systems 839858