总结

我们讲了TinyRAM的架构，设计，汇编指令等，介绍了它的优势：可以⽤来便捷的进⾏⾮确定性计算。尤其在零知   识证明系统中，有更多的发挥空间。最后介绍了两种TinyRAM架构的性能对⽐，在⽣成的⻔数量和时间以及proof

⼤⼩上，冯诺依曼架构都更胜⼀筹。

引⽤

http://www.scipr-lab.org/doc/TinyRAM-spec-2.000.pdf https://www.cs.tau.ac.il/~tromer/slides/csnark-usenix13rump.pdf http://eprint.iacr.org/2014/595