链资讯 链资讯
Ctrl+D收藏链资讯
首页 > AVAX > 正文

SOL:Sin7y团队解读:TinyRam 指令集和电路约束_SOLA币

作者:

时间:

简介

Tinyram是一个简单的RISC随机存取机器,具有字节寻址的random-accessmemory和inputtapes。TinyRAM有两个变体:一个遵循哈佛架构,一个遵循冯诺依曼架构(本文我们主要讨论冯诺依曼架构)。

简明计算完整性和隐私研究项目构建了证明TinyRAM程序正确执行的机制,而TinyRAM的设计是为了在这种情况下提高效率。它在“拥有足够表达能力”和“足够简约”这两个对立面之间取得平衡:

?当从高级编程语言编译时,有足够的表达能力来支持简短高效的汇编代码。

?小指令集,指令通过运算电路简单验证,利用SCIPR的算法和密码机制实现高效验证。

本文对于tinyram不再进行重复介绍,会对上一篇文章进行补充,然后重点是指令介绍和电路约束介绍。tinyram基础介绍可以参考我们团队上一篇文章:深入理解TinyRam

Tinyram指令集

Tinyram总共有29个指令,每条指令都由一个操作码和最多三个操作数组成。一个操作数可以是一个寄存器的名称。除非特别说明,否则指令不会单独修改flag。每条指令默认将pc增加i(i%2^W),对于vnTinyram来说i=2W/8。

一般来说,第一个操作数是指令计算的目标寄存器,其他的操作数指定指令需要的参数,最后,所有指令都需要机器的一个周期来执行。

位操作

整数操作

这些是各种无符号和有符号的整数操作。在每种情况下,如果发生算术溢出或错误,flag被设置为1,否则被设置为0。

shift操作

??shl?指令?shlrirjA?将左移位ubit得到的W位string存储在ri寄存器中。移位后的空白位置被填充为0。此外flag被设置为的最高有效位。

??shr?指令?shrrirjA?将右移位ubit得到的W位string存储在ri寄存器中。移位后的空白位置被填充为0。此外flag被设置为的最低有效位。

新火科技旗下MPC自托管平台Sinohope推出Start-up扶持计划,BeWater首批加入合作:据官方消息,Web3开发者社区BeWater近日宣布,该平台组织的Web3创新大赛获奖项目将入选新火科技旗下MPC自托管平台Sinohope新推出的Start-up扶持计划。获奖项目将享有Sinohope提供的每月价值数千美金的企业级服务定制,Sinohope还将为获奖项目开放使用企业级MPC钱包、自动化 AML&KYT 流程、全链协议和币种访问、定制化功能开发等多项服务。

作为新火科技新近推出的重点产品,Sinohope致力于为每个机构打造专属的数字资产自托管平台。Sinohope通过采用MPC-CMP技术支持用户分布式管理私钥分片与协同签名解决私钥单点风险,有效增加透明性和易用性。近期,为进一步助力早期项目发展,Sinohope推出Start-up扶持计划,面向万千开发者和早期项目提供专属服务,入选扶持计划的项目将享受新火科技提供的一系列扶持政策。[2023/6/14 21:35:53]

比较操作

比较操作中的指令每一个都不会修改任何寄存器;比较的结果存储在flag中。

move操作

??mov?指令?movriA?将存储到ri寄存器中。

??cmov?指令?cmovriA?如果flag=1,将存储到ri寄存器中。否则ri寄存器的值不会改变。

Jump操作

这些jump和条件jump指令都不会修改寄存器和?flag?但是会修改?pc。

??jmp?指令?jmpA?将存储到pc中。

??cjmp?指令?cjmpA?在?flag?=1的条件下将存储到pc中,否则pc自增1。

??cnjmp?指令?cnjmpA?在?flag?=0的条件下将存储到pc中,否则pc自增1。

Memory操作

这些是简单的memoryload和store操作,其中memory的地址由立即数或寄存器的内容确定。这些是tinyram中唯一的寻址方式。。

Beosin:Jumpnfinance项目发生Rugpull,涉及金额约115万美元:金色财经报道,据Beosin EagleEye平台监测显示,Jumpnfinance项目Rugpull。攻击交易为0x48333962e6e946748a26d6222db95ce97e76c9ed3917123a7c9f2731f896b72c。Beosin安全团队分析发现攻击者首先调用0xe156合约的0x6b1d9018()函数,提取了该合约中的用户资产,存放在攻击者地址上(0xd3de02b1af100217a4bc9b45d70ff2a5c1816982)。目前被盗资金中2100 BNB ($581,700)已转入Tornado.Cash,剩余部分2,058 BNB($571,128)还存放在攻击者地址,Beosin安全团队将持续跟踪。Beosin Trace将对被盗资金进行持续追踪。[2022/10/10 12:51:13]

输入操作

该指令是唯一一个访问两个tapes中的任意一个的指令。第0个tape用于primary输入,第1个tape用户auxiliary输入。

输出操作

该指令表示程序已经完成了计算,因此不能再允许其他操作。

指令集约束

Tinyram采用R1CS约束形式进行电路约束,具体形式如下:

一个R1CS约束,可以有a,b,c三个linear_combination表示,一个R1CS系统中的所有变量的赋值,可以分为两个部分:primaryinput和auxilaryinput。Primary就是我们经常说的“statement”。auxiliary就是“witness”。

一个R1CS约束系统包含多个R1CS约束。每个约束的向量长度是固定的。

Tinyram在libsnark的代码实现中大量使用了一些定制gadgtes来表述vm的约束以及opcode执行和memory的约束。具体代码在gadgetslib1/gadgets/cpu_checkers/tinyram文件夹下。

《Vogue》Singapore发行限量NFT系列“Every Body”:4月25日消息,时尚杂志《Vogue》Singapore宣布推出限量NFT项目“EveryBody”,该杂志将选择五位数字艺术家的十件作品铸造NFT,每件艺术品NFT数量仅为50枚。

据悉,总计500枚“EveryBody”NFT将于美国东部标准时间5月5日上午8点上架OpenSea。[2022/4/25 14:48:20]

位操作约束

??and?约束公式:

and的R1CS约束将参数1和参数2以及计算结果逐bit位进行乘法计算验证,约束步骤如下:

1.计算过程约束,代码如下:

2.结果编码约束

3.计算结果非全0约束

4.flag约束

??or?约束公式:

具体约束步骤如下:

1.计算过程约束,代码如下:

2.结果编码约束

3.计算结果非全0约束

4.flag约束

??xor?约束公式:

CZ接受FOX Business新闻访谈,声明“欢迎良好的监管”:1月13日消息,币安 CEO CZ接受 FOX Business 电视台的新闻访谈。CZ表示,我们通常欢迎促进创新的良好监管。[2022/1/13 8:46:35]

具体约束步骤如下:

1.计算过程约束,代码如下:

步骤2,3,4同上

?not?约束公式:

具体约束步骤如下:

步骤2,3,4同上

整数操作约束

?add:?约束公式:

具体约束步骤如下:

1.计算过程约束,代码如下:

2.解码结果约束和boolean约束

3.编码结果约束

?sub:?约束公式:sub约束比add稍微复杂一些,采用了一个中间变量表示a-b的结果,同时为了保证结果计算表示为正整数和符号的形式,给结果加上了2^w。具体约束步骤如下:

1.计算过程约束

2.解码结果约束和boolean约束

Vogue Singapore与NFKings Productions等达成合作:8月19日消息,《Vogue》新加坡版将推出一系列盲盒,该盲盒由Vogue Singapore和Robot Playground Media共同设计并概念化,并与NFT平台Brytehall和NFKings Productions达成合作,其中包含描绘10个城市日出时刻的NFT艺术作品,获得整个系列NFT的收藏家将通过隐藏链接被引导到基于币安智能链的去中心化平台RARA,有机会购买第11版和限量版新加坡日出NFT,完成完整的VogueSingaporeMysteryBox套装。(VogueSingapore官网)[2021/8/19 22:24:59]

3.符号位约束

?mull?、umulh、smulh?约束公式:

mull相关的约束都涉及以下几个步骤

1.计算乘法约束

2.计算结果编码约束

3.计算结果flag约束

?udiv?、umod?约束公式:

B为除数,q商,r为余数。余数与需要满足不能超过除数的条件。具体约束代码如下:

shift操作约束

??shl、shr?约束公式

比较操作

比较操作中的指令每一个都不会修改任何寄存器;比较的结果存储在flag中。比较指令包含cmpe、?cmpa?、cmpae、cmpg、cmpge?。比较指令可以分为两类,分别为有符号数的比较和无符号数比较,两者约束过程核心都利用了libsnark中实现的comparison_gadget。

其他剩余过程跟有符号数比较约束相同

move操作约束

??mov?约束公式:

mov的约束比较简单,只需要确保将存储到ri寄存器中,由于mov操作没有修改flag,所以约束需要确保flag的值没有产生变化。约束代码如下:

??cmov?约束公式:

cmov的约束条件比mov复杂一些,主要mov的行为跟flag值的变化有关系,同时cmov不会修改flag,所以约束需要确保flag的值没有变化,cmov的代码如下:

Jump操作约束

这些jump和条件jump指令都不会修改寄存器和?flag?但是会修改?pc。

??jmp

Jmp操作约束pc值与指令执行结果一致,具体约束代码如下:

??cjmp

cjmp根据flag条件进行跳转,flag=1进行跳转,否则pc自增1

约束公式如下:

约束代码如下:

??cnjmp

cnjmp根据flag条件进行跳转,flag=0进行跳转,否则pc自增1

约束公式如下:

约束代码如下:

Memory操作约束

这些是简单的memoryload和store操作,其中memory的地址由立即数或寄存器的内容确定。这些是tinyram中唯一的寻址方式。。

??store.b?和?store.w

对于store.w取整个arg1val的值,对于store.b操作码只会取arg1val的必要部分,约束代码如下:

??load.b?和?load.w

这两个指令我们要求从内存中加载的内容被存储在instruction_results中,约束代码如下:

输入操作约束

??read

read操作跟tape有关,具体的约束规则是:

1.上一个tape中的内容被读完,没有内容可读,不会读取下一个tape。

2.上一个tape中的内容被读完,没有内容可读,flag被设置为1

3.如果当前执行的指令是read,那么read读取到的内容和tape输入内容一致

4.从tape1以外的地方读取内容,flag被设置为1

5.result为不为0,意味着flag为0

约束代码:

输出操作约束

该指令表示程序已经完成了计算,因此不能再允许其他操作

??answer

当程序的输出值被接受,has_accepted会被设置为1,程序返回值能够被正常接受意味着当前的指令为answner以及arg2value为0。

约束代码如下:

其他

当然除了上述提到的一些指令相关的约束外,tinyram还有一些pc一致性、参数编解码、内存检查等各种约束。这些约束通过R1CS系统组合起来构成一个完成的tinyram约束系统。所以这也是R1CS形式的tinyram生成约束数量较多的根本原因。

这里引用一个tinyram介绍ppt的图片,展示一个ERC20transfer用tinyram生成证明需要的时间消耗。

从上图的例子可以得出结论:使用vnTinyram+zk-SNARKs验证所有EVM操作是不可能的,只适合验证少量的指令的计算验证,可以使用vnTinyram验证EVM的部分计算类型的opcode。

参考

tinyram介绍ppt:

https://docs.google.com/presentation/d/1lbyLmXhCry61fxWm8LLxPKhCYV67RcZaK3WL20Hb-t8/edit#slide=id.g5b38da04a0_0_21

关于我们

Sin7y成立于2021年,由顶尖的区块链开发者和密码学工程师组成。我们既是项目孵化器也是区块链技术研究团队,探索EVM、Layer2、跨链、隐私计算、自主支付解决方案等最重要和最前沿的技术。

微信公众号:Sin7y

GitHub:Sin7y

Twitter:@Sin7y_Labs

Medium:Sin7y

Mirror:Sin7y

HackMD:Sin7y

HackerNoon:Sin7y

Email:contact@sin7y.org

来源:金色财经

标签:SOLACKCPI区块链SOLA币PoorQUACK.comPCPI价格区块链存证平台法院

AVAX热门资讯
:ETH 9.24 反弹是为了更好的下跌_

迷茫者,绝望者,深陷者,冲动者,大白菜金钱的游戏里充满危机,尸横遍野,火中取栗需要真本事,技术,经验,心态缺一不可本月度已接近月末,跌幅已经超过10%,整体来看,下跌空间依然充足.

加密货币:22 年币圈8大借贷协议_加密货币市场总市值数量级

加密市场可以为投资者和交易者提供赚取巨额利润的机会。借贷在传统和加密空间中的工作方式相似,唯一的区别是贷方在平台而不是法定货币上借贷加密货币。用户通常从各种平台借用加密货币用于交易和其他目的.

ACK:导演 9.22日行情分析 熊途路漫漫 加息落地也未能带来反弹 看来是市场信心很差_CPI

导演第814篇原创每日行情分析2022.09.2 一、市场情绪: 二、图表结构: 1、大饼: 大饼1H的结构:大饼1H的结构还是在走昨天的三卖的下跌.

ETH:楚悦辰:9.23比特币ETH慢慢企稳未来可期_比特币行情分析及最新消息10.0ok

再好的东西,也有失去的一天,再美的事物,也有淡忘的一天。如果不能拥有就放手,如果舍不得就痛苦,该珍惜就珍惜,该放弃就放弃,走得轻松,活得才顺心。人生最怕什么都想计较,却又什么都抓不牢.

BTC:重磅,俄打通加密跨境大变局_中本聪BTCs官网

刚刚俄罗斯AlexeiMoiseev表示将允许居民使用数字资产进行跨境支付,一旦草案通过,将深刻改变加密生态格局.

AMP:AR实训风头渐起 我们总结了它的主要优势_AQT

Taqtile是一家位于西雅图的增强现实初创公司,其业务主要是和企业客户合作进行软件化的工作培训.