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个字节的线性数组,使用小端约定排列字节。
Bakkt以监管不明确为由下架ADA、MATIC、SOL:6月16日消息,加密交易所Bakkt以监管不明确为由下架ADA、MATIC、SOL。此前5月消息,受监管因素和行业发展影响,Bakkt大规模下架了多种数字资产。Bakkt的一位发言人表示,在完成对Apex Crypto的收购之后,作为交易所常规代币上市审查程序的一部分,我们决定在平台上下架一些代币。[2023/6/16 21:42:33]
5.2个磁带(tape),每个包含一串Wbit的字。每个磁带都是单向只读的。其中,一个磁带是用于公开输入x,另一个用于私有输入w。其实就是TinyRAM的输入载体。
TinyRAM机的输入是2个磁带以及内存,输出是answer指令,该指令有一个参数A,代表返回值,A=0表示接受。也可以使用该指令终止执行程序。
TinyRAM根据执行指令的位置不同有两种变体:一种变体遵循哈佛架构,另一种遵循冯诺依曼架构。前一种架构的数据和程序存放在不同的地址空间中,且程序是只读的;后一种架构数据和程序存放在同一个可读写的地址空间中。具体用图表的方式来表示这两者的区别:
Solana基金会:6300万SOL将在Epoch 370结束时取消质押:11月10日消息,Solana基金会在官网上宣布,目前,来自约250个账户的2900万个SOL计划在Epoch 370结束时取消质押。这占总供应量的约5.4%。在Epoch 370结束时,总共有6300万SOL被取消质押。这一数额包括Solana基金会计划取消质押的2850万枚SOL,这与数据中心提供商服务(Hetzner)条款的变化有关。Solana基金会委托计划的2850万SOL的取消抵押行动已被推迟,并将在不久的将来生效。当前处于Epoch 370,预计将于UTC时间11月10日8:30左右(北京时间11月10日16:30)结束。
此前消息,Solana基金会表示,取消质押的计划已被推迟,所有2850万枚SOL现已重新质押。[2022/11/10 12:43:50]
以下两个架构的图示:
在开始更详细的TinyRAM设计细节之前,我们以官方白皮书的例子说明,TinyRAM是如何做到既简洁又全面,能够满足非确定性的计算问题的。
Solana生态借贷协议Solend完成650万美元融资,Coinbase Ventures等参投:10月27日消息,Solana生态借贷协议Solend完成650万美元融资,Polychain、Dragonfly、Race、Coinbase Ventures、Solana Ventures、Alameda Research、Aave的Stani、dYdX的Antonio、Balaji Srinivasan、UMA的Hart, 0xMaki、Ribbon的Julian、DCFGod、Petrock、Epsilon Trading等参投。[2021/10/27 6:15:01]
意义
Alice拥有x,Bob拥有w。Alice想知道算法A(x,w)的计算结果的正确性,但是不想自己计算。这样的场景,在零知识证明系统中非常常见,有证明者和验证者,验证者想知道证明者提供的证据的正确性,但不必自己重新计算一次。TinyRAM架构就满足这样的场景,两个磁带可以传入私有输入w和公开输入x,证明计算和验证程序在其中执行。SCIPR实验室实现的libsnark库中,已实现了TinyRAM。具体参见:https://github.com/scipr-lab/libsnark.
德国证券交易所正深入研究是否推出比特币期货等相关产品:据ccn援引彭博社消息,德意志交易所(Deutsche Boerse)正在深入研究是否提供比特币期货和其他加密货币的相关产品。在一次行业盛会上,该公司的客户,产品和核心市场负责人Jeffrey Tessler称:“德意志交易所在推进比特币之前,希望确保理解比特币之下的交易,这不是最容易的一件事。我们正在深入地了解之中,希望了解波动性,想要确保客户协调,及监管机构的协调。”Tessler表示,尽管CEM和CBOE在一个交易日期间比特币期货交易量多达6.7亿美元,但目前没有任何一家主要的欧洲交易所列出比特币或其他加密货币的衍生产品。据悉,德意志交易所已经参与了区块链实验,他们今年3月份与流动性管理公司HQLAx合作,利用R3的Corda平台开发基于区块链的证券借贷平台。[2018/5/24]
以CircuitGenerator为例,C程序经过编译器之后,编译成TinyRAM的程序,再经过CircuitGenerator之后,生成电路,最后得到zkSNARK电路。
指令
TinyRAM支持29个指令,每条指令都通过1个操作码和最多3个操作数指定。操作数可以是寄存器名称或者立即数。除非另有说明,否则每条指令都不会修改flag,且将pc增加i,对于哈佛架构来说,i=1,对于冯诺依曼架构来说,i=2W/8。通常,第一个操作数是指令执行计算的目标寄存器,其他操作指定指令的参数。最后,所有指令都需要机器的一个周期来执行。
福建省法院网信办主任郭金焰:推动大数据、区块链等与法院工作的深度融合、深入应用:福建省法院网信办主任郭金焰介绍,法院系统将把科技理性与司法理性“两个智慧”融合好,把制度优势和技术优势“两个优势”结合好,把制度铁笼和数据铁笼“两个铁笼”建构好,推动大数据、云计算、人工智能、移动互联、区块链等与法院工作的深度融合、深入应用,促进审判体系和审判能力现代化,让人民群众充分享受信息化和智慧法院建设带来的获得感。[2018/4/22]
指令包含几种类型,指令名称和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、跨链、隐私计算、自主支付解决方案等最重要和最前沿的技术。
来源:金色财经
标签:ALLTOKENMEVTOKThe ParallelGXT TokenGameVerseNothing Token
比特币每天都在以新的走势让投资者感到惊讶,因为该代币一直徘徊在25,000美元大关附近。在BTC中看到的最有趣的运动是最近代币流通量的下降.
作者:SergioGallardo 工欲善其事必先利其器。 除去大家耳熟能详的加密市场工具Nansen、Dune、DefiLlama和Parsec等,加密KOLSergioGallardo在其个.
Solana价格分析看涨。价格水平已升至47.5美元。SOL/USD的阻力位在49.5美元。Solana价格分析今天看涨,因为观察到价格上涨至47.5美元.
即将到来的以太坊合并背后的团队已经在其网站上发布了关于合并后会发生什么的谣言。以太坊联合创始人VitalikButerin预计即将到来的合并将在9月中旬左右进行.
8.13比特币行情解析 大饼昨日白盘呈震荡走势,上下波动幅度较小,下午插针诱多连阴下行,低位跌至23600附近支撑反弹,行情一路连阳高位触及24750附近.
文/MattMaximo&MichaelZhao??grayscale.com 背景知识 以太坊计划于2022年9月15日合并到权益证明,不出所料.