Q: That makefile you sent is interesting, but it uses tinygo and modified libraries, which I believe are not gonna be maintained.
I’m asking for the way you use to compile WASM from Go (if any). If I do the standard way, the binary size is 13MB, which is too large.
I can see here a couple of wasm binaries which are pretty small (about 1M) https://play.gnark.io/
Are these compiled with tinygo using something similar to the Makefile you shared or it is compiled using Go, but tuning the parameters?