本篇博客内容基于StarkWare联合创始人兼执行总裁EliBen-Sasson教授在以色列举办的?StarkWare2023大会上的演讲。
成就如何实现的？
STARK技术基于证明，更准确地说是完整性证明。C.S.Lewis教授曾将完整性定义为「即使无人监督也会做正确的事情」。完整性是目标，而证明则是达成目标的方式。STARK利用数学保证完整性，即使在无人监督的情况下，也能确保计算能以正确的方式进行。
LászlóBabai、LanceFortnow、LeonidLevin和MarioSzegedy在1991年的一篇文章中提出，用一台可靠的计算机去监控一组不可靠的超级计算机。这种「概率可检验证明」技术利用数学来监控和确保大型计算的完整性，下文将阐述它的运行模式。
crvUSD铸造数量突破500万枚:5月24日消息，Curve官网数据显示，Curve原生稳定币crvUSD铸造数量突破500万枚，当前约为507.82万枚。[2023/5/24 22:14:40]
计算声明可以转化为数独式的谜题，其约束条件通过各种方式交错重叠。每个声明都会导致一个独特的谜题，提出声明的实体称为证明器，它所提交的证明相当于一个已填好的数独题。正确声明所提交的解决方案需要满足与谜题相关的各种约束条件，而PCP最神奇的一个特点，即对于错误的计算声明，任何提交的解决方案都将违反至少99%的数独谜题约束条件。验证器是一台可靠但计算能力较弱的计算机，它知道需要解决的难题，以便证明一个声明的真实性。但验证器不会完整读取证明器提交的解决方案，而是会随机「抽样」一个约束条件，并检查该条件是否被满足，从而决定接受或拒绝该解决方案。鉴于真实声明和错误声明之间的明显差异，可以利用统计和抽样的原理来进行验证。例如，验证器可以随机抽取6个约束条件并检查是否被满足。这样验证器就几乎可以确定计算是否完整。可扩展性所需的最后一个神奇的特质是，即使数独谜题与计算中的步骤数量巨大，验证器也可以非常快速地抽样、读取并检查随机约束。事实上，这些所需的计算量远小于数独谜题的大小！
UniSat Wallet：由于代码库存在漏洞，UniSat Marketplace数小时前遭到大量双花攻击:4月24日消息，UniSat Wallet发推表示，几个小时前，由于我们的代码库存在漏洞，刚刚上线的UniSat Marketplace遭受了大量双花攻击。在上周的测试中，我们模拟了不同的双花攻击方法，并对代码进行了改进和增强。不幸的是，在最初的公开版本中仍然暴露了某些问题。目前，我们有了初步的调查结果，在所有383笔交易中，有70笔交易被确定为受影响。将在未来几天进一步调查，并赔偿与该事件有关用户的损失。
此前消息，UniSat Wallet表示，由于存在一些问题，UniSat Marketplace暂时无法访问。[2023/4/24 14:23:24]
Paxos将于下个月退出加拿大市场:金色财经报道，加密金融服务提供商Paxos将退出加拿大市场。该公司今天在一封电子邮件中告知加拿大客户，“Paxos已经决定不再支持加拿大的客户，鉴于您的Paxos帐户余额为零，您的帐户将于2023年5月9日被禁用”。知情人士透露，Paxos做出此举是出于监管原因。Paxos的一位发言人表示，“Paxos专注于为企业客户服务，虽然短期内将不再支持加拿大客户，但将根据客户需求变化，重新评估我们在该地区的业务”。
上周，去中心化加密衍生品交易平台dYdX表示，它已停止加拿大新用户的注册。今年2月，加拿大证券管理局发布了新规定，警告加密交易所和交易平台遵守“加强的投资者保护承诺”。[2023/4/13 14:00:23]
走进STARK
4万枚ETH从孙宇晨地址转移到未知钱包:金色财经报道，WhaleAlert监测数据显示，40,000枚ETH（64,030,631 美元）从孙宇晨地址转移到未知钱包。[2023/2/26 12:29:37]
PCP技术于20世纪90年代开发，而STARK是其调整版本。两者的一个关键区别是，STARK不是单纯的生成和填写数独谜题，而是在生成数独谜题和验证器填写完成的过程中，重复了数次。然后验证器从这个多维数独挑战中抽样一个约束条件，判断并决定是否接受或拒绝该声明。通过采用STARK技术，普通人也能检查并确保一些大公司、垄断企业或政府的正常运作。
Symbiosis Finance计划推出veSIS以提高SIS实用性:据官方消息，多链流动性协议Symbiosis Finance表示，其治理代币SIS部署在以太坊上，用于质押以在中继器网络中运行一个节点，以及治理Symbiosis DAO。官方现在推出针对SIS实用性的升级，具体如下：
veSIS代表投票托管SIS（vote-escrowed SIS），与用户所拥有的SIS的期限锁定有关，并提供相应激励。质押SIS的时间越长，用户未来在LP流动性池中获得的回报就越高。作为交换，用户将收到veSIS代币。也就是说，SIS单币质押已可以实现。
用户即将收到的veSIS数量取决于质押的SIS数量以及从Symbiosis所拥有的流动性池收取的费用金额。奖励按周累积，参与质押的SIS代币被锁定在合约中，一旦质押期限结束，就可以提取。简而言之，当用户质押SIS代币时，可以获得被动收入作为奖励。
veSIS目前正处于BNB Chain测试网模式，计划于2022年8月正式推出。此外，参与测试veSIS也将获得奖励。[2022/7/12 2:06:36]
这里的重点是这项技术将来可以在哪些实际场景中应用。在传统的情况下，很难找到这样一种情景：需要一台可靠但计算能力低的电脑来监控一组不可靠且不可信的超级电脑。我们在哪里可以找到可靠的低计算能力、每个人都信任的电脑情景呢？
走进区块链
一种超越加密学和计算机的创新范畴在2008年横空出世：中本聪在2008年发表的《比特币，一种点对点的电子现金系统》论文彻底革新区块链领域。
横贯历史进程，交易曾经采用现金对商品的点对点方式，现如今交易则是依靠ApplePay、Visa、Swift等中心化平台完成。用户需要信赖这些平台会透明公开的处理交易。
比特币消除对中间人的信任，恢复货币交易的点对点本质。以太坊进而推动该概念，允许构建社会经济结构的通用程序。
两条创新技术路线不断融会贯通。一方面，我们采用单个低计算但可靠的计算机实现大规模计算完整性的PCP；另一方面，将区块链作为高度可靠的计算机，依靠数学验证大规模计算。并深刻认识到：区块链和数学实现完整性的完美结合。
视频：计算完整性—比特币的应用
https://youtu.be/Q4nWoEKUtgU
走进StarkWare
在2018年StarkWare率先提出采用SATRK有效性证明解决以太坊可扩展性难题。链下证明器和链上验证器计算差异，实现解锁大规模可扩展性。链下证明器处理批量交易并生成STARK证明，验证器则使用最小化计算检查链上证明。支持在链下处理大规模计算的同时用最低费用确保链上完整性。
从那以后，StarkWare实现一个又一个里程碑：
StarkEx，基于SaaS商业模型，自2020年6月起投入生产，成为以太坊上最大的L2规模。Cairo诞生的原因：需要一种用于编写程序的通用型编程语言，不仅满足开发者安全性和高效性，还能为程序的执行引入高效STARK证明。Cairo作为最高效的有效性证明编程语言，它对可扩展性的重要程度不言而喻。Starknet类似于以太坊，是首个投入生产，允许编写自定义逻辑的去中心化网络。STARK的精神是什么？
脚踏黄土，面朝蓝天：我们采用双管齐下的方式。StarkWare团队热爱技术、数学、创新，深耕于产品精益求精。卓越成就卓越：StarekWare首要成就是其深厚的人才基础。卓越能容大度：我们欢迎并支持其他团队共同推动以太坊或STARK极限。「一人行速，众人行远」：最初StarkEx、Cairo甚至Starknet都在内部完成，快速迈开脚步。下一步，我们将努力实现产品开源和去中心化，致力于将STARK技术打造成公共产品。https://twitter.com/EliBenSasson/status/1628129930591539228
未来之路Starknet生态建设快速扩张，拥有约1000位开发者和超400个Github代码资源库。StarkWare将贯彻「一人行速，众人行远」主旨：
让Starknet成为由Starknet基金会管理的无需许可、去中心化有效性扩容方案。专注于Starknet去中心化各类型组件，如证明器、排序器和治理。对STARK强大功能和可扩展性感兴趣的用户，欢迎学习开源Cairo语言，体验编写程序乐趣。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。