perf/feature: new serialization format for constraint systems (#1119)

* step1: start to explore using intcomp

* perf: partial binary serialization for constraint system

* test: regenerate test circuits

* perf: make it parallel

* style: cosmetics edit

* feat: use uvarint for call data and regenerate regression test scs

* build: clean go.mod

* test: add fuzztest for intcomp

* test: add fuzzing seed corpus

---------

Co-authored-by: Ivo Kubjas <ivo.kubjas@consensys.net>

.github/workflows/pr.yml

@@ -74,6 +74,7 @@ jobs:
         go test -json -v -p 4 -tags=release_checks,solccheck . 2>&1 | gotestfmt -hide=all | tee -a /tmp/gotest.log
         go test -json -v -p 4 -tags=prover_checks ./test/... 2>&1 | gotestfmt -hide=all | tee -a /tmp/gotest.log
         go test -json -v -p 4 -tags=prover_checks ./examples/... 2>&1 | gotestfmt -hide=all | tee -a /tmp/gotest.log
+        go test -json -v -run=NONE -fuzz=FuzzIntcomp -fuzztime=30s ./internal/backend/ioutils 2>&1 | gotestfmt -hide=all | tee -a /tmp/gotest.log
 
     - name: Generate job summary
       id: generate-job-summary

.github/workflows/push.yml

@@ -80,6 +80,7 @@ jobs:
         go test -v -p 4 -tags=release_checks,solccheck .
         go test -v -p 4 -timeout=50m -tags=release_checks -race ./examples/cubic/...
         go test -v -p 4 -timeout=50m -tags=release_checks -short -race ./test/...
+        go test -v -run=NONE -fuzz=FuzzIntcomp -fuzztime=30s ./internal/backend/ioutils
 
   
   slack-workflow-status-failed: