stdlib, non-deterministic function and circ

noname stdlib noname needs a solid stdlib for the users to build their projects. Building a stdlib itself is also a proof of the usability of the language itself. To port the circomlib, one obvious hurdle we are facing is its lack of non-deterministic functions, aka hint. We were trying to create builtins instead to avoid the under-constraint bugs from hints. Builtins are faster and safer, but…