gram is a package for simulating TinyRAM (http://www.scipr-lab.org/specs.html) written in GO.
go get github.com/LayerXcom/gram
dep ensure
cd $GOPATH/src/github.com/LayerXcom/gram
go build ../gram -path example/testForSuccess.asm -r 100 -t 10 -pi "2" -ai "2"[1] http://www.scipr-lab.org/specs.html
[2] https://www.scipr-lab.org/doc/TinyRAM-spec-0.991.pdf
[3] Ben-Sasson, Eli, et al. "SNARKs for C: Verifying program executions succinctly and in zero knowledge." Advances in Cryptology–CRYPTO 2013. Springer, Berlin, Heidelberg, 2013. 90-108.