引言
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
来源:金色财经
今天我继续前一篇的文章和大家分享对何一专访的读后感。何一对熊市投资表达了以下两个观点:1)“在熊市,我认为我们应该更积极地进行投资,但不是为了投资而投资”2)“在投资行业内,跟风趋势很明显,许多.
原文标题:MappingOutYCombinator''sCryptoAlumni原文作者:EdvinasRupkus原文来源:theblockresearch 编译:DeFi之道 要点: YC.
技术分析: 昨天老涛依旧还是给各位持续关注我的币友送出了,非常可观的一单,相信距离其中一部分的币友来说,实现回本或者翻仓都不是什么太大的问题.
我们分析了ENS域名交易实现利润最高的8个地址,找到了他们收获财富的秘诀。近几个月以来,ENS域名持续升温,公司名称域名、数字域名、名字或姓氏、Emoji等一波接一波的域名热度,让ENS一度跃居.
要使Web3真正进入大众生活,而非仅仅是家喻户晓的名词,需要解决这5个关键问题。原文标题:《5necessarymilestonestobringWeb3tothemasses》 撰文:Zelu.
在8月31日发布?ForkIt#22:PoWvsPoS?之后,被大家戏称为“年更”的中文播客节目ForkIt赶在以太坊合并前夕.