TinyRAM是由大名鼎鼎的BCTGTV五人组(EliBen-Sasson,AlessandroChiesa,DanielGenkin,EranTromer,MadarsVirza)和SCIPR实验室提出的一种随机访问器架构，旨在成为表达非确定性计算证明性的便捷工具。具体来说，TinyRAM是一种精简指令集计算机(RISC)，具有字节级可寻址的随机存取存储器。它在“拥有足够表达能力”和“足够简约”这两个对立面之间取得平衡：
?当从高级编程语言编译时，有足够的表达能力来支持简短高效的汇编代码，以及
?小指令集，指令通过运算电路简单验证，利用SCIPR的算法和密码机制实现高效验证。
架构
TinyRAM由两个整数参数化：字长W，需要是2的幂且可以被8整除(这点和现代计算机一样，如32，64)，以及寄存器的数量K。一般用TinyRAM(W,K)来表示，机器的状态包括以下内容：
1.程序计数器pc(programcounter)，由W个bit组成。
2.K个通用寄存器，以r0,r1,...,r(K-1)表示，每个寄存器都是W个bit。
3.条件标志flag，由一个bit组成。
4.内存，2^W个字节的线性数组，使用小端约定排列字节。
Polygon Studios CEO：Polygon将于2023年深入参与PFP和艺术领域:12月27日消息，Polygon Studios 首席执行官 Ryan Wyatt 表示：2022 年 Polygon 与 OpenSea、Magic Eden、Coinbase、Robinhood 和 Phantom 建立或扩大了合作关系，并参与了游戏、DeFi 和音乐领域。Polygon 将在 2023 年深入参与 PFP 和艺术领域。[2022/12/28 22:11:26]
5.2个磁带(tape)，每个包含一串Wbit的字。每个磁带都是单向只读的。其中，一个磁带是用于公开输入x，另一个用于私有输入w。其实就是TinyRAM的输入载体。
TinyRAM机的输入是2个磁带以及内存，输出是answer指令，该指令有一个参数A，代表返回值，A=0表示接受。也可以使用该指令终止执行程序。
TinyRAM根据执行指令的位置不同有两种变体：一种变体遵循哈佛架构，另一种遵循冯诺依曼架构。前一种架构的数据和程序存放在不同的地址空间中，且程序是只读的；后一种架构数据和程序存放在同一个可读写的地址空间中。具体用图表的方式来表示这两者的区别：
云南省委宣传部副部长：深入推进区块链与各行业领域的深度融合:8月25日，云南省委宣传部副部长、省新闻出版（版权）局局长杨润，市委常委、市委宣传部部长徐晓梅率队到五华区调研“区块链 ”大文创产业建设情况。云南省区块链中心成立了产业联盟，数十家国内外企业加入，以商招商的产业氛围日渐浓厚。中心成立一年以来，以成熟领先的区块链技术助力数字云南发展。上线云南区块链平台，为企业快速部署应用提供极大便利。杨润表示，五华区要按照“以应用换市场、以市场换产业”思路，以区块链技术应用为突破口，强化政策引领，加大招商引资力度，引进国内外优秀企业落地园区，聚焦场景应用，深入推进区块链与各行业领域的深度融合，把五华区打造成区块链技术应用试验场、产业发展聚集区。（五华区委宣传部）[2021/8/30 22:46:23]
以下两个架构的图示：
在开始更详细的TinyRAM设计细节之前，我们以官方白皮书的例子说明，TinyRAM是如何做到既简洁又全面，能够满足非确定性的计算问题的。
Bondly获OKEx Blockdream Ventrues投资 双方将深入探索NFT领域:据官方消息，Bondly已获OKEx Blockdream Ventrues（OKEx BDV）投资，双方将深入探索NFT领域，为NFT优质区块链项目发展提供服务和资源支持。一方面，Bondly将通过NFT形式为OKEx BDV合作的优质项目提供LaunchPad服务；另一方面，双方共同把优秀品牌带到Bprotect，也将以NFT创新形式与OKExChain生态资产进行品牌合作。
Bondly是一种可互操作、透明、便捷的资产兑换协议，旨在彻底改变传统的资产托管方法，并使每个艺术创作人都能进入自己的数字市场，旗下产品包括BSwap（NFT发售平台）、Bondly LaunchPad（IDO平台）、BProtect（NFT交易平台)。OKEx BDV初始资金1 亿美金，致力于发现和投资最前沿的产品技术创新类区块链项目，投资方向包括基础设施、交易及金融项目、公链生态类项目、应用类流量入口等。[2021/5/6 21:28:39]
意义
Alice拥有x，Bob拥有w。Alice想知道算法A(x,w)的计算结果的正确性，但是不想自己计算。这样的场景，在零知识证明系统中非常常见，有证明者和验证者，验证者想知道证明者提供的证据的正确性，但不必自己重新计算一次。TinyRAM架构就满足这样的场景，两个磁带可以传入私有输入w和公开输入x，证明计算和验证程序在其中执行。SCIPR实验室实现的libsnark库中，已实现了TinyRAM。具体参见：https://github.com/scipr-lab/libsnark.
声音 | 中国科学院院士：深入贯彻落实密码法 推动商用密码标准制定与产业发展:中国科学院院士王小云针对深入贯彻落实密码法、推动商用密码标准制定与产业发展有以下几点认识：1.密码法准确界定了密码的定义与内涵；2.加快推进商用密码产业发展、顶层设计并完善商用密码检测认证体系；3.加大密码核心关键技术的自主创新能力与标准制定，贡献中国密码的智慧与方案；4.加快雄安新区同步规划与建设密码防护体系；5.加快推进以密码技术为支撑的区块链技术研发以及试点工程，加快区块链行业标准、国家标准以及国际标准制定进程；6.动密码专业建设与学科发展，加大规模化密码人才培养力度。（经济参考报）[2019/11/21]
以CircuitGenerator为例，C程序经过编译器之后，编译成TinyRAM的程序，再经过CircuitGenerator之后，生成电路，最后得到zkSNARK电路。
指令
TinyRAM支持29个指令，每条指令都通过1个操作码和最多3个操作数指定。操作数可以是寄存器名称或者立即数。除非另有说明，否则每条指令都不会修改flag，且将pc增加i，对于哈佛架构来说，i=1，对于冯诺依曼架构来说，i=2W/8。通常，第一个操作数是指令执行计算的目标寄存器，其他操作指定指令的参数。最后，所有指令都需要机器的一个周期来执行。
工信部于佳宁：深入理解区块链，要从两个层次来看:近日，工业和信息化部信息中心工业经济研究所所长，中国计算机学会区块链专委会委员于佳宁在接受《人民创投·区块链》采访时表示，区块链有两个层次的含义：第一个层次强调技术层面创新，是一种分布式、不可篡改的数据库技术。这项新技术有力扩展了数据库技术的使用场景和应用范围，使得数据库技术在“弱信任”的环境中也可以应用。第二个层次强调模式层面的创新，实际上是一种新型独立数字资产载体，可以助力实现资产的数字化。[2018/5/23]
指令包含几种类型，指令名称和intelx86汇编指令类似，可顾名思义。
●位操作指令：
?and
?or
?xor
?not
●整数操作指令：
?add
?sub
?mull
?umulh
?smulh
?udiv
?umod
●shift操作指令：
?shl
?shr
●比较操作指令
?cmpe
?cmpa
?cmpae
?cmpg
?cmpge
●move操作指令
?mov
?cmov
●jump操作指令
?jmp
?cjmp
?cnjmp
●内存操作指令
?store.b
?load.b
?store.w
?load.w
●输入操作指令：
?read
●输出操作指令:
?answer
汇编语言
TinyRAM的程序是由TinyRAM汇编语言编写的，这个语言受Intelx86汇编语言语法启发。程序是包含多行TinyRAM汇编代码的文本文件。程序按照哈佛架构还是冯诺依曼架构的不同，第一行包含的字符串也不同：
?哈佛架构
“;TinyRAMV=2.000M=hvW=WK=K”
?冯诺依曼架构
“;TinyRAMV=2.000M=vnW=WK=K”
其中，W是十进制表示的字长，K是十进制表示的寄存器数量。程序文件中，其他每一行依次包含的内容需要满足：
1.可选的空格。
2.可选的label，用于定义为引用其后的第一条指令。
3.可选的指令，由指令助记符，以及后面的操作数。
4.可选的空格。
5.可选的以分号;开始的注释，到该行尾结束。
一个程序中，最多可以有2^W个指令。一个label只能定义一次，有点像高级语言中的变量。
示例代码(https://github.com/scipr-lab/libsnark/blob/master/tinyram_examples/answer0/answer0.s)
为了满足计算的需要，提高电路可满足性的效率，TinyRAM增加了前导语。如果一个TinyRAM的程序以前导语的方式启动，则说明该程序是个合适的程序。
上述的前导语：
?对于哈佛架构来说，I(i)=1*i，并且inc=1
?对于冯诺依曼架构来说，I(i)=2W/8*i，并且inc=W/8
前面的示例代码，也遵循这样的前导语写法。
两种架构的性能对比
TinyRAM的两种架构，其设计区别在前面的“架构”部分介绍了，此处对比两种架构的性能。
第一个图表展示两种架构产生的门数量。
l是指令数量，n是输入大小，T是执行步数。
可以看出，前者的门数量和指令数量呈线性增加。后者改善很大，指令越多，改善的越大。
第二个图表展示两种架构在不同字长的曲线下，生成Keygenerator/prover/verifier的时间及proof大小。
可以看出，在80bit时，冯诺依曼架构相较于哈佛架构有较大提升，在128bit时，也有少许提升。
由上述表格数据可以看出，冯诺依曼架构的效率更高，这也是为什么冯依诺曼架构TinyRAM是后来在哈佛架构TinyRAM的基础上提出的。
总结
我们讲了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/59
关于我们
Sin7y成立于2021年，由顶尖的区块链开发者组成。我们既是项目孵化器也是区块链技术研究团队，探索EVM、Layer2、跨链、隐私计算、自主支付解决方案等最重要和最前沿的技术。
微信公众号：Sin7Y
GitHub|Twitter|Telegram|Medium|Mirror|HackMD|HackerNoon
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。