STAR:STARK深度解析-ODAILY

Step1.Buildtrace

标红部分为Publicinfo

Step2.ProverforTrace

协议参数选取:

1.AIR实例化

2.验证AIR和Trace的一致性

2.1校验基础参数

2.2校验assertion有效(boundarycs)

ZeroSync协会正在基于STARK证明开发比特币证明系统:3月28日消息,三位德国计算机科学家Robin Linus、Tino Steffens、Lukas George 等成立一个名为ZeroSync协会(ZeroSync Association)的瑞士非营利组织,将带头开发比特币证明系统,构建具有比特币隐私、互操作性和可扩展性的未来。ZeroSync基于STARK证明,为了实现比特币证明,使用由StarkWare创建的Cairo语言。

ZeroSync将分三个连续阶段推出,分别为标头链证明、假设有效链证明和全链证明,目前已经完成了前两个原型。ZeroSync Toolkit还将为比特币开发人员提供强大工具,以将零知识证明应用于他们自己的产品和服务。(Coindesk)[2023/3/28 13:30:52]

2.3校验Trace满足transitioncs

Transcript

3.Commitfortrace

域参数选取:

StarkWare计划今年9月推出StarkNet代币并在未来一年半内分发:7月13日消息,零知识证明技术开发公司StarkWare计划今年9月在链上推出StarkNet代币,该代币将允许社区的支持者执行有助于生态系统成功的工作,并在生态系统的治理中发挥作用。为了实现这一目标,StarkWare计划在未来一年半内向公司的投资者、员工和顾问以及社区开发人员、贡献者和最终用户分发代币,为了使核心贡献者和投资者的长期激励措施与StarkNet社区的利益保持一致,分配给核心贡献者和投资者的所有代币都将受到4年锁定期的限制、线性释放和一年的cliff(即代币解禁之前的时间段)。(the block)[2022/7/14 2:11:36]

3.1Interpolate->LDE->evaluateoverLDE-domain

3.2Commitment

Tracescript

4.EvaluateCS

StarkNet生态NFT市场Aspect发布测试网API:6月26日,据官方消息,基于StarkNet的NFT交易市场Aspect(前PlayOasis)近日已发布测试网API。

据悉,Aspect API是基于REST的API,在StarkNet上提供NFT数据。[2022/6/26 1:32:30]

4.1获取线性组合系数

系数个数和约束的个数一致

在本例中,transitioncs2个;boundarycs3个

4.2为t-cs和b-cs构建evaluator

4.2.1t-cs

4.2.2b-cs

4.3Evaluatet/s-csoverce_domain

4.3.1定义evaluatortable

Gate.io已于5月12日22:00开启SKRT认购Startup项目:据官方公告,Gate.io已于5月12日22:00 至5月13日19:00开启Startup项目Sekuritance(SKRT)认购通道,22小时内有效下单同等对待。用户需要达到VIP1和以上级别才能参与认购,VIP等级越高的用户认购额度越高。用户下单后到结束认购后2小时内,请务必保证现货交易账户中有不低于认购金额的足够金额,金额不足将自动排除在有效订单之外。[2021/5/13 21:56:58]

5CommitmenttoEvaluateCS

5.1建立constraintscompositionpolynomial

5.2commitmenttocompositionpoly

Example:

Compose_poly=a*x^3+b*x^2+c*x+d=(a*x^2+c)*x^+(b*x^2+d)

(a*x^2+c),(b*x^2+d)分别对应两个column

6.建立DEEPcomposition多项式

币信发布流动性挖矿、DeFi交易所及Starcoin公链生态产品:据官方消息,币信9月27日于北京举办DeFi生态产品发布会,流动性挖矿,币信DeFi交易所,以及币信生态内Starcoin公链。流动性挖矿所获得收益可在币信DeFi交易所直接卖出,据悉,币信后续还会完善交易所体系,满足用户更多的交易需求。此外,币信生态内Starcoin公链首次亮相,预计在2020年11至12月上线,在2021年第一季度启动生态建设,并在2021年第三季度支持跨链和DeFi二层网络。[2020/9/27]

Thegeneralformal:f(x)=q(x)*t(x)

Needcheckatrandomz

1.f(z)=q(z)*t(z)

2.f(x),q(x),t(x)indeedequalrespectivelyf(z),q(z),t(z)

3.calculateDeep_composition=(q(x)-q(z))/(x-z)

4.CheckLDTforq_q(x)

6.1selectzwhichoutofdomain(ood)

drawanout-of-domainpointz.DependingonthetypeofE,thepointisdrawneitherfromthebasefieldorfromanextensionfielddefinedbyE.

Thepurposeofsamplingfromtheextensionfieldhere(insteadofthebasefield)istoincreasesecurity.

6.2evaluatetraceandconstraintpolynomialsattheOODpointz

6.2.1trace_polyatz&z*g

6.2.2compositionpolyatz

6.3建立Deepcompositonpolynomial

6.3.1产生随机数

6.3.2calquotientpoly

6.4evaluateDeepoverLDE

7.计算Deep的FRILayernum

8.确定query位置

从lde_domain中选取多个query的位置。

9.构建proof对象

9.1生成FRIproof

9.2querytracepolyatabovepositions

和上述类似

9.3queryconstraintpolyatabovepositions

和上述类似

9.4构建STARKPROOF

Step3.Verifyforproof

从transcript中读取pub-info,用来获取相关的数据,以执行验证过程。

1.Oodconsistencycheck

验证章节5.2描述的数学关系的一致性。

2.实例化FRI-verifier对象

3.计算Deeppolyonquerypositions

计算方式和章节6.4相同

4.执行FRIVERIFY过程

关于我们

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

微信公众号:Sin7Y

GitHub|Twitter|Telegram|Medium|Mirror|HackMD|HackerNoon

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

金星链

[0:15ms0-1:415ms