作为不需要可信设置的零知识证明算法代表之一，STARK算法被应用于StarkNet生态的各个项目中，比如dydx,immutableX等，并表现出了不俗的性能。本文将主要从代码层面剖析STARK算法的实现过程，帮助大家对STARK算法有更深入的理解。
Step1.Buildtrace
标红部分为Publicinfo
Step2.ProverforTrace
协议参数选取：
1.AIR实例化
2.验证AIR和Trace的一致性
2.1校验基础参数
WhaleChart：贝莱德和美国主要银行正通过MicroStrategy购买比特币:金色财经报道，WhaleChart在社交媒体上表示，贝莱德和美国主要银行正在通过MicroStrategy购买创纪录数量的比特币。[2023/6/15 21:40:23]
2.2校验assertion有效(boundarycs)
2.3校验Trace满足transitioncs
Transcript
3.Commitfortrace
域参数选取：
3.1Interpolate->LDE->evaluateoverLDE-domain
区块链初创公司Flowcarbon推出碳抵消NFT项目Flow3rs:金色财经报道，由WeWork联合创始人Adam Neumann创建的区块链初创公司Flowcarbon，将推出一个非营利性项目，将其大部分收益用于购买碳补偿。该项目被称为Flow3rs，将展出知名NFT艺术家的作品，包括Creature Worlds的Danny Cole、Olive Allen和Andre Oshea等人。总共将出售200个NFT，其中75%的收益将用于购买碳抵消额度，其余的资金将用于艺术家和服务提供者。
Flowcarbon之前筹集了7000万美元，由专注于加密货币的风险公司a16z领导。该公司使用基于区块链的工具对碳信用进行代币化。（the block）[2022/11/9 12:34:27]
3.2Commitment
Tracescript
4.EvaluateCS
4.1获取线性组合系数
系数个数和约束的个数一致
在本例中，transitioncs2个；boundarycs3个
4.2为t-cs和b-cs构建evaluator
日本户田市正在使用元宇宙工具来打击旷课:金色财经报道，日本东京北部埼玉县的户田市正在使用基于元宇宙的工具来应对日本面临的旷工问题。该市将孩子们纳入虚拟空间，在那里他们可以探索虚拟校园并在线上课，同时准备最终重新加入常规课程。[2022/10/29 11:56:25]
4.2.1t-cs
4.2.2b-cs
4.3Evaluatet/s-csoverce_domain
4.3.1定义evaluatortable
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)
美国拜登政府将于8月发布比特币挖矿报告:金色财经报道，美国拜登政府将于8月发布一份比特币挖矿报告，探索比特币挖矿相关问题，例如挖矿设备产生的噪音污染、不同共识机制的能源效率等。白宫科技政策办公室负责能源事务的首席助理主任Costa Samaras表示：如果比特币挖矿要以任何有意义的方式成为我们金融体系的一部分，那么重要的是它以负责任的方式发展且最大限度地减少总排放量。当我们考虑数字资产时，应当是气候和能源之间的对话。[2022/7/5 1:52:43]
(a*x^2+c),(b*x^2+d)分别对应两个column
6.建立DEEPcomposition多项式
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.
增值协议LaaS项目Arc Finance获得CultDAO投资:5月23日消息，Arc Finance的投资申请在CultDAO提案板块结束，共获得约23,000,000,000枚dCULT投票，并以超过90%的支持率通过申请。该项提案结束后，CultDAO基金会将参与投资Arc Finance，并支持其生态建设。
据悉，Arc Finance是创新LaaS类型的DeFi协议，通过AUM机制、流动性溢价矿池（LPP），协助项目方完成流动性、市值管理。
CultDAO是一个去中心化的VC机构。众筹创建初始资金库，通过风投来让投资人收益。仅前50名持有CULT代币的大户，才拥有发起提案申请权力。[2022/5/23 3:36:34]
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：Sin7y
Twitter：@Sin7y_Labs
Medium：Sin7y
Mirror：Sin7y
HackMD：Sin7y
HackerNoon：Sin7y
Email：contact@sin7y.org
来源：金色财经
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。