区块见闻 区块见闻
Ctrl+D收藏区块见闻
首页 > 以太坊 > 正文

ACK:Sin7y团队解读:Miden的stark证明系统_bitstamp交易所提现

作者:

时间:

引言

miden是一个基于strark技术的zkvm实现方案。它的底层是基于winterfell这个zkp库来生成stark证明和对证明进行验证。下图1中虚线部分是Miden实现的主要功能。可以看出,主要有三个组件构成。

1.一套词法语法编译器,下图1中的lexicalanalyzer和syntaxparser。它们可以将miden定义的汇编指令编程成codeblock和block中包含的opcode和opvalue。

2.一套指令的执行器,下图1中的executor。它负责按照定义的规则执行codeblock和block中包含的opcode及opvalue。执行结果为用于生成证明的executiontrace。

3.一套符合stark证明要求的AIR(代数中间表示),下图1中的AIR。用来对miden的虚拟机执行过程进行约束。

AIR结构设计图

AIR的约束分为stack和decoder两部分:

图2为stack的约束,初始化时分配了最上边深度为8的stack。在执行时根据程序需要,可能会超出初始化分配的深度,那么max_depth会根据需要递增。但是不能超过最大深度16。否则报错。

前FTX工程总监Nishad Singh对美国刑事指控认罪:金色财经报道,据路透社发文称,前FTX工程总监Nishad Singh对美国刑事指控认罪。此前消息,Alameda首席执行官Caroline Ellison和FTX首席技术官Gary Wang分别承认了七项和四项刑事指控。[2023/3/1 12:34:58]

图3为decoder的约束。其中的op_counter,op_sponge,cf_op_bits,ld_op_bits,hd_op_bits是固定列长度的。其中的op_sponge用于执行指令的顺序和正确性的约束。cf_op_bits约束3bit的flow_ops。ld_op_bits,hd_op_bits分别约束了user_ops的低5bits和高2bits。ld_op_bits和hd_op_bits组合构成一条执行的user_op,还用来作为stack每step状态约束的selector。

MidenVM执行过程实例

本节将展示一个简单的miden逻辑来说明vm的执行过程和stark的executiontrace的生成。

下边代码段1是要执行的代码段:

它执行的逻辑是将3和5压栈。之后从tape读取flag。判断flag是1还是0。如果是1则运行if.true分支将压栈的两个数3和5取出,相加得到8并重新压入栈。如果是0则运行else分支将压栈的两个数3和5取出相乘得到15,再将15重新压入栈。

Beosin:1月各类攻击事件损失总金额约1464万美元,较去年12月下降约77%:金色财经报道,据区块链安全审计公司Beosin旗下Beosin EagleEye安全风险监控、预警与阻断平台监测显示,2023年1月,各类安全事件涉及金额较2022年12月持续大幅下降。1月发生较典型安全事件超『19』起,各类攻击事件损失总金额约1464万美元,较去年12月下降约77%,比2022年任何一个月的损失金额都要低。

本月较大的安全事件为HECO生态跨链借贷平台LendHub因没有弃用旧合约而被攻击,损失近600万美元。此外,两起个人钱包被盗事件损失均超过百万美元,钱包的安全性问题依旧不容忽视。在黑客猖獗的2022年过去之后,2023开年的区块链安全态势总体相对平稳。本月针对项目方的攻击事件呈下降趋势,反倒是一些针对个人用户钱包、社媒账号的攻击事件有所增加。Beosin建议个人用户一定要提高防钓鱼意识,规范操作。本月发生的典型跑路事件均是通过后门代码进行Rug Pull,建议用户在交互前一定要仔细查看相关的审计报告,避免资产遭受损失。[2023/1/31 11:38:34]

代码段通过miden的词法和语法分析器解析后的最终指令代码如下代码段2:

下边图4是vm运行代码段2的过程,中间是executor执行opcode的流程图,左边虚线指向的是代码执行产生的decodertrace,右边点划线指向的是代码执行产生的stacktrace。

Bithumb交易所终止授予Bithumb Global和Bithumb Singapore的商标许可协议:根据官方公告,韩国Bithumb交易所决定终止授予Bithumb Global和Bithumb Singapore商标许可协议。7月30日合同到期后,这些平台将不再被允许使用 Bithumb 的名称。据报道,这样做是为了遵守监管要求,避免将来与调查有任何联系。此外,7月初有报道称,Bithumb将从8月13日起停止接受海外交易者的注册请求。(ambcrypto)[2021/7/18 1:00:19]

其中executor是按照codeblock来一块一块执行。在本例子里,首先执行了一个spanblock。之后在第32步时执行if-else-end结构进入了swtichblock块,并将之前的spanblock的最后一步执行生成的spongehash压入ctx_stack,并在swtichblock块执行完之后,在第49步弹出到sponge里。

Note:本文档描述针对miden工程的main分支最新版本。目前miden的next分支对于指令进行了大量重新设计,AIR也只实现了很少一部分的约束。

stack约束条件

本节将展示主要的User操作指令的约束条件。其中的old_stack_x指的是指令执行前的stack的x位置存储的value。new_stack_x指的是指令执行后的stack的x位置存储的value。-->是将栈左边位置的value拷贝到右边位置。==是等式约束。stack的约束相对比较简单,就不多做解释了。

SingularityNET与IOHK合作以提高AI服务规模:区块链人工智能(AI)平台SingularityNET宣布与Cardano 开发公司 IOHK进行新合作以提高人工智能服务的规模。新的合作伙伴关系将围绕Cardano区块链的工程和AI服务的开发。SingularityNET计划将去中心化协议从以太坊过渡到Cardano。(Cryptoglobe)[2020/10/5]

条件指令

Choose

Constrain:

如果condition为1,x在堆栈顶部,condition为0,y在堆栈顶部

算术指令

add

Constrain:

mul

Constrain:

inv

Constrain:

印尼租车公司Frasindo推出Fras Coin:印度尼西亚汽车租赁公司Frasindo计划推出Fras Coin。Frasindo为Uber,Go Car和Online Taxi等公司提供车辆支持,Fras Coin将以实物资产汽车为基础。[2018/2/11]

neg

Constrain:

bool指令

not

Constrain:

and

Constrain:

or

Constrain:

hash指令

RESCR

满足hash函数协议的限制函数hash

占用6registers

Constrain:

比较指令

eq

Constrain:

cmp

根据比较的两个数的bit长度循环比较。比如

A:

B:

需要比较4次

Constrain:

堆栈操作指令

dup.n

Constrain:

swap

Constrain:

ROLL4

Constrain:

decoder的约束条件

本节将展示主要的Flow操作指令的约束条件。

用户代码执行

op_bits

对于cf_op_bits,ld_op_bits,hd_op_bits的约束。

约束1:每bit只能为0或者1。

约束2:当op_counter不为0时,ld_ops和hd_ops不能同时为0。

约束3:当cf_op_bits为hacc时。op_counter状态会加1。

约束4:BEGIN,LOOP,BREAK,andWRAP指令需要16对齐

约束5:TENDandFEND指令需要16对齐

约束6:PUSH指令需要8对齐

hacc

hacc作为flowOps,每次执行该指令都会引起sponge的状态改变,需要进行约束

条件判断

t_end

作为if的true分支结束的约束,分为两部分:

约束1:sponge状态的约束,弹出栈顶的值等于new_sponge_0。if的true分支的最后一步执行后的sponge等于new_sponge_1。new_sponge_3等于0。

约束2:ctx_stack的约束。弹出栈顶的值等于new_sponge_0。栈内其他元素都往栈顶移动一个位置。

约束3:loop_stack的约束。loop_stack的状态不变。

f_end

作为if的false分支结束的约束,分为两部分:

约束1:sponge状态的约束,弹出栈顶的值等于new_sponge_0。if的true分支的最后一步执行后的sponge等于new_sponge_2。new_sponge_3等于0。

约束2:ctx_stack的约束。弹出栈顶的值等于new_sponge_0。栈内其他元素都往栈顶移动一个位置。

约束3:loop_stack的约束。loop_stack的状态不变。

关于我们

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

微信公众号:Sin7y

GitHub:Sin7y

Twitter:@Sin7y_Labs

Medium:Sin7y

Mirror:Sin7y

HackMD:Sin7y

HackerNoon:Sin7y

Email:contact@sin7y.org

来源:金色财经

标签:BITSINSTAACKQBITSINOCbitstamp交易所提现quack币2025能涨到多少

以太坊热门资讯
COMBI:加密市场的投资逻辑(二)_cryptofi币有价值

今天我继续前一篇的文章和大家分享对何一专访的读后感。何一对熊市投资表达了以下两个观点:1)“在熊市,我认为我们应该更积极地进行投资,但不是为了投资而投资”2)“在投资行业内,跟风趋势很明显,许多.

CRYPTO:一文速览 101 个 Y Combinator 孵化的加密项目_CRY

原文标题:MappingOutYCombinator''sCryptoAlumni原文作者:EdvinasRupkus原文来源:theblockresearch 编译:DeFi之道 要点: YC.

MAC:老涛论币:9.24昨天老涛思路继续获利之后今天又该如何进场_ETHO价格

技术分析: 昨天老涛依旧还是给各位持续关注我的币友送出了,非常可观的一单,相信距离其中一部分的币友来说,实现回本或者翻仓都不是什么太大的问题.

SEN:ENS 生意经:域名 Degens 是如何发家致富的_togetherbnb艾米莉攻略双人互动

我们分析了ENS域名交易实现利润最高的8个地址,找到了他们收获财富的秘诀。近几个月以来,ENS域名持续升温,公司名称域名、数字域名、名字或姓氏、Emoji等一波接一波的域名热度,让ENS一度跃居.

POS:Web3 大众化必须解决的 5 个问题_POW

要使Web3真正进入大众生活,而非仅仅是家喻户晓的名词,需要解决这5个关键问题。原文标题:《5necessarymilestonestobringWeb3tothemasses》 撰文:Zelu.

BIT:PoS 是谎言么_Integral Resistance

在8月31日发布?ForkIt#22:PoWvsPoS?之后,被大家戏称为“年更”的中文播客节目ForkIt赶在以太坊合并前夕.