FX168财经网_全球视野外汇黄金加密货币NFT资讯网

iPollo联手BitMart和CertiK于纽约大学举办Web3校园论坛

s 创始人）孔华威（iPollo首席科学家） 3:30 PM - 3:45 PM BitMart主题演讲演讲主题：Web3时代的新金融体系演讲嘉宾： Sheldon（BitMart创始人 & CEO） 3:45 PM - 4:00 PM CertiK 主题演讲演讲嘉宾： Ronghui Gu（CertiK联合创始人） 4:00 PM - 4:30 PM 嘉宾问答 4:30 PM - 5:00 PM 社交&轻食活动现已开放免费注册，欢迎各位莅临参加：https://www.eventbrite.com/e/624471921327 关于iPollo iPollo是一个GPU密集的能够支持Web3大规模应用的弹性算力网络。其兼容EVM，集成并优化了6G通信技术的数据传输，使iPollo能够全面支持元宇宙大规模实时渲染，以及AIGC、AR/VR等下一代Web3应用的海量算力需求。iPollo的技术特征，让其成为AIGC创造元宇宙空间、3D Games、以及3D Utility NFT等应用爆发式增长的基础设施。 BitMart是一家为个人和专业机构精心打造的合规数字资产交易平台，为全球百万用户提供高效、公平、透明的数字资产金融服务。作为世界头部加密货币交易所，BitMart一直坚信，去中心化的数字资产将从本质上重塑全球金融体系，为我们带来更加高效的资产流通、更加公平的资源配置以及更加透明的交易流程。在这种全新的金融体系下，我们将迎来新一轮的全球经济创新和市场革新。来源：金色财经

金色财经2023-04-30

被颠覆、被捅刀、被群嘲：谷歌还能打赢这场AI之战吗？

迪恩（Jeff Dean）被任命为首席科学家，基本失去了游戏资格。哈萨比斯是DeepMind联合创始人之一，现年46岁，他将公司总部设在了家乡——英国伦敦国王十字街上。哈萨比斯的父亲来自希腊，母亲是新加坡华人，曾被称为国际象棋神童，15岁就从剑桥大学毕业，他用机器学习做的第一件事是教AI玩游戏。在谷歌内部，没人质疑他的能力。哈萨比斯图源：DeepMind官网为什么DeepMind会胜出？谷歌前员工娜塔莎·贾奎斯曾在两支团队都工作过，她说：“Brain的工作方式是自下而上的，研究更多靠个人兴趣驱动。而DeepMind是自上而下的，老板定方向，员工有标准的OKR考核。” 哈萨比斯快速宣布了架构调整，DeepMind人马全面上位。对Brain团队的员工来说，散养式的科研风格就此消失。 02 失去的十年从2014年收购DeepMind算起，谷歌这10年都没有拿出过真正颠覆性的AI产品。为什么？答案：保守和迟钝。谷歌前产品经理高拉夫·内马德透露：“谷歌顾虑很多，非常害怕公司声誉受损……他们倾向于保守主义。” 谷歌的保守披着一层伦理捍卫者的外衣，它不断向外界传递“AI很危险”的论调。2018年，谷歌发布《人工智能原则》，强调AI研发必须有益于社会、反对歧视等。谷歌内部对AI伦理相当敏感，多次有员工对媒体爆料称，公司AI产品已有了人类意识，呼吁暂停研究。谷歌强调AI伦理，既受“不作恶”的价值观和美国社会崇尚政治正确的舆论环境影响，也是出于公司的利益考虑。早在2017年，谷歌就研发了一款对话式AIGC产品——LaMDA。当时谷歌内部评估了LaMDA的风险，认为它不时犯错，会误导用户，让用户对谷歌产生不信任感。而谷歌的主业之一搜索，致力于帮助用户找到正确答案，AIGC被认为有可能动摇公司的根基。 “谷歌研发这个东西的时间最长，它为什么不敢推一个产品出来？”前百度总裁张亚勤在接受《三联生活周刊》采访时表示，“因为大公司会害怕产品不完善、会犯错，而ChatGPT相当于提供了一个用户的标准。” 在他看来，微软可以大胆将ChatGPT加入到Bing搜索中，因为它的市场份额不大。但如果谷歌在搜索中加入聊天机器人，“就要用很多算力，就会影响利润”。虽然ChatGPT也偶尔会给出不靠谱的答案，但OpenAI是一家非上市企业，因此他们大胆将产品推给了公众。相比于保守，谷歌对技术的迟钝就不可理解了。 “Facebook和Google没有意识到这个领域可以有这么大的突破。”一位国内投资人表示。谷歌和OpenAI都使用了模仿人类神经网络的机器学习技术，但路线上略有区别。谷歌采用监督式学习模型，OpenAI采用预训练模型；谷歌更强调干预，而OpenAI先让ChatGPT自主学习，随后再引入人工标注语料进行训练和引导。这更像一场黑暗中的军备竞赛。直到2018年，马斯克还认为谷歌领先于OpenAI。谷歌的AI对话产品Bard 图源：谷歌官网然而，当谷歌在竞争压力下放弃保守，公开发布AI对话产品，Bard却收获了一边倒的差评。一位美国资深科技记者评价道：“（和GPT相比）这就像一个标准的聊天机器人。” 更丢脸的是，当巴伦周刊记者让Bard描述下自己的长相时，它的回答是：“我应该有六英尺高（1.83米），棕色的短发，蓝色的眼睛。我的皮肤应该是浅色的，着装很休闲，比如T恤和牛仔裤。”（编者注：典型的美国主流群体白人形象。）对一家强调“AI政治正确”的公司，这实在有些讽刺。如今，谷歌开始失去这场军备竞赛中最重要的资产：人才。今年3月，有媒体统计过，已至少有13位人工智能领域明星级人才离开了谷歌，其中包括预训练语言模型的负责人雅克布·德弗林（Jacob Devlin），他加入了OpenAI。 03 谷歌会掉队吗？如果谷歌输掉这场AI之战会怎么样？二级市场已经给出了回答。Bard发布当天的一次回答错误，就让谷歌母公司Alphabet市值减少了1000亿美元。微软还在“捅刀”，它极力将自己塑造为搜索行业颠覆者。微软CEO萨提亚·纳德拉（Satya Nadella）在一场电话会议上表示，融入了ChatGPT后，Bing在搜索市场的份额正在增长：“最大的软件类别——搜索业务，正在发生翻天覆地的变化，我们将继续这一旅程。” 不过，据美国流量检测机构Statcounter的数据，今年3月，谷歌搜索的全球市场份额为93.17%，和去年10月（ChatGPT推出前）相比还有所上升；微软Bing目前份额为2.88%，并没有显著增长。在AI大语言模型赛道，仍有人看好谷歌。长期跟踪美国AI行业的弘芯基金投资总监何祥鑫并不认为谷歌这10年在AI领域一无所获。在他看来，ChatGPT中的T所代表的transformer，其实是谷歌发明的。只不过，谷歌将许多成果用于改进旗下产品体验，比如搜索结果和YouTube的内容推荐，“这些都不是革命性的”。而ChatGPT的惊人效果在于，将无监督学习、有监督学习和强化学习整合到一起。谷歌正在不断改进Bard，密集推出新功能。美国知名科技博主阿莱克斯·坎特洛维茨表示：“谷歌的聊天机器人技术可能具有后发优势。”有业内人士认为，OpenAI的“预训练模型”给行业确立了技术路线，谷歌的优势将很快发挥出来：算力、数据和人才。谷歌合并AI团队的举动也被认为及时且有必要。一位用户在社交新闻平台Reddit评论道：“在大语言模型领域，你是要押注两个各拥有50万GPU（图形处理器）的团队，还是一个拥有100万GPU的团队？” 4月26日，谷歌母公司Alphabet发布了2023年Q1财报，营收和利润双双超市场预期，云业务首次实现盈利。皮查伊在电话会议上首先提到了AI，虽然这项业务并没有单独体现在财务数据上。他一边“安利”Bard，一边极力淡化生成式AI对搜索广告业务的威胁：“用户想自己选择要看的内容，即使我们给他们提供了回答和内容摘要，他们也是如此。” 在谷歌AI一号位哈萨比斯看来，这场迈向通用人工智能的战斗才刚刚开始，谷歌并没有落后太远。他说：“AI最终会拥有人类的意识，但今天它还远远谈不上。” 来源：元宇宙之心来源：金色财经

金色财经2023-04-29

谈谈Layer2的激励机制：Fiat-Shamir heuristic在FOX的又一次妙用

撰文：孟铉济，Fox Tech 首席科学家；康水跃，Fox Tech CEO 前言 Layer1作为一种分布式系统，为了达成共识需要高昂的通讯代价，并且大量的计算也会消耗昂贵的gas。所以，作为Layer1的扩展，Layer2的设计可以有效地提升Layer1的效率。但是从这个角度来说，Layer2的设计仍然面临着和Layer1一样的一大难题，就是如何平衡去中心化程度和高效性。 zkRollup是非常有前景的Layer2扩容方案，通过将计算搬到链下并向Layer1链上提供零知识证明的方式来实现。在实现zkRollup的方案当中，FOX系统采用了当下主流结构，主要有两种节点，分别是Sequencer和Folder。简单来说，Sequencer负责对用户提交的交易进行排序打包，并且更新Layer2链上状态，Folder负责对Sequencer打包的交易生成证明并提交到Layer1。一个有意义的问题是，Layer2的节点是否应该是去中心化的，如果是，如何设计激励机制来保证这一点。因为可以想象，Layer1效率低的本质就是，为了实现去中心化每个节点都需要进行大量的计算和通讯。而使用了Layer2系统，将计算过程解耦，如果在这部分依然用完全等效于Layer1的去中心化模式，则又会因为同样的原因造成Layer2的拥堵，所以这里需要做权衡。激励机制的设计就是通过调整Layer2节点获得激励手续费的方式以及平衡支付给Layer2节点的费用，来鼓励节点参与Layer2系统维护。本质上，Layer2节点收到的激励费用来源与以太坊一样，来自于提交交易的用户付出的Gas费。本文会探讨在FOX的系统当中，FOX的节点如何参与系统收取手续费，以及这样做的原因。 Gas的作用首先我们来回顾Gas费在以太坊系统当中的作用。Layer1的计算资源是有限的，用户提交交易时候会指定交易Gas费，Gas费基本同交易的执行操作复杂度相关，而在此基础上愿意支付更高昂的Gas费的用户可以获得更优先的交易执行。矿工的激励就来源于打包的区块的Gas费总和。此外，Gas费机制还可以有效防止恶意合约（例如无限循环），限制区块容量大小，这样在一定程度上保障了安全性。所以可以看出，对Gas费的合理利用，本质上是对链上计算资源的合理调度和分配，同时也是项目方、矿工和用户的多方博弈。好的激励机制的设计以及手续费的使用和分配对于系统运行至关重要。交易上链流程用户提交交易给FOX系统当中的交易池同时要附加一笔用来激励FOX节点的手续费，然后系统中的Sequencer节点将从交易池中抓取交易进行打包排序，这里每次打包的交易就构成Layer2的区块，同时Sequencer需要执行交易计算，并将计算结果传到Layer1的FOX合约当中，并且，Sequencer还需要将交易数据存到ZK-Ringer当中来保障数据可用性。之后，Sequencer的排序结果以及计算结果会传给Folder节点，Folder正确计算证明（包括证明聚合部分）并传到Layer1的合约当中。在这个过程中，Sequencer对于交易的执行结果会在执行结束之后直接更新到Layer2当中，而交易真正被Layer1共识的时间节点可以认为是Folder的证明被验证之后。可以看到，在这个流程当中，用户最初附上的手续费要涵盖几个用途：支付给Sequencer的手续费支付给Folder的手续费 Sequencer将交易结果提交到Layer1的Gas费 Sequencer将信息存储到ZK-Ringer的手续费 Folder调用合约的Gas费为此，我们需要梳理具体的机制来激励各方参与。 FOX的激励机制 FOX的激励模式比较新颖。首先，为了平衡去中心化和效率的问题，我们将节点的角色分为负责排序以及执行交易的Sequencer节点，以及负责对交易执行正确性生成证明并聚合的Folder节点。FOX的Folder节点采用了去中心化的模式，也就是说任何FOX矿工都可以接入网络担任证明生成者，为了鼓励更多节点的参与，成功提交正确证明到Layer1合约的Folder可以获得代币奖励。与此同时，为了避免算力浪费，我们指出，并不是只有第一个证明提交者可以获得奖励，在第一个证明提交者成功提交之后的一个时间窗口和数量窗口内（这里具体参数会随系统状况进行调整），所有正确的证明者都可以获得奖励。图1：原始版本的激励模式然而在这种机制下，恶意的Folder会有一种很狡猾的攻击。当某一个恶意的Folder，记作Adv，在完成了证明生成之后，一方面将证明提交到Layer1中的Verifier合约进行验证，另一方面它串通一些节点（或者就是该Folder控制的节点），将计算好的证明透露给这些节点，然后它们就可以不经过自己计算而直接将Adv计算好的证明提交，也可以领取到一部分奖励，而这个过程之中他们没有付出任何算力，从另一个角度来说，Adv通过较少的算力获得了多份的收益，并且造成其它节点即便生成了正确的证明也难以争抢过Adv。图2：恶意Folder的攻击方式在这个攻击当中，产生问题的原因是Verifier无法区分每一份证明是否由该Folder独立生成，因为证明值都是相同的。为了规避这个问题，我们需要将Folder的独特的地址信息加入到Folder提交的证明当中，从而使得每一个Folder提交的证明都只能是自己独立生成的而不能是其它节点提交的。而融入这种信息的方法很巧妙，使用Fiat-Shamir heuristic（读者可以参考FOX之前的文章《如何将交互式证明改造为非交互式？Fiat-Shamir Heuristic！》来了解技术细节）。按照生成证明的过程计算，其中一步，证明者，也就是Folder需要通过哈希函数来生成一个随机挑战值，只需要要求在这个哈希的输入当中加入Folder的地址，就可以保证挑战值与Folder的地址相对应，且仍然是一个Folder无法预测和控制的随机数。严格说明这种方法的安全性需要用到比较深入的密码学中理论安全的随机函数的概念以及不可区分性等等，我们不在这里详细讨论。简单来说，可以认为，由于哈希函数本身的安全性以及Fiat-Shamir heuristic结构的安全性，添加一个固定的值作为哈希的原像并不会破坏输出的不可预测性，所以原来zkp算法的安全性仍然可以保证。这样一来，每个Folder就必须独立进行证明生成而不能直接利用其它节点结果，从而实现了我们的目标。图3：修改后的激励模式结语本文从节点手续费的重要作用角度出发，介绍了手续费与如何激励节点参与系统维护之间的联系，同时指出，好的激励机制可以有效地维护系统安全性。在此基础之上，我们详细讨论了FOX当中采用的对于Layer2的Folder的激励机制，并且解释了这种做法的合理性，以及技术上如何巧妙地运用Fiat-Shamir heuristic来实现这一点。参考文献《深度｜迭代与竞争——以太坊的 Layer2 扩容之路》国盛区块链研究院 https://www.theblockbeats.info/news/24443 来源：金色财经

金色财经2023-04-28

iPollo联手BitMart于斯坦福大学举办Web3校园论坛

s 创始人）孔华威（iPollo首席科学家） 5:25 PM — 6:05 PM 圆桌论坛：Web3时代中的全球投资生态系统论坛嘉宾： Marvin (Huawei) Kong: iPollo首席科学家 Kaimin Hu: BitMart首席商务官 Michael Lee: 动视暴雪VP Sterling Campbell: Blockchain Capital投资人 Lee Fan: Cipholio Ventures合伙人 6:05 PM — 6:30 PM 发言人问答环节 6:30 PM — 7:00 PM 社交&轻食活动现已开放免费注册，欢迎各位莅临参加：https://www.eventbrite.com/e/624095866537 关于iPollo iPollo是一个GPU密集的能够支持Web3大规模应用的弹性算力网络。其兼容EVM，集成并优化了6G通信技术的数据传输，使iPollo能够全面支持元宇宙大规模实时渲染，以及AIGC、AR/VR等下一代Web3应用的海量算力需求。iPollo的技术特征，让其成为AIGC创造元宇宙空间、3D Games、以及3D Utility NFT等应用爆发式增长的基础设施。关于BitMart BitMart是一家为个人和专业机构精心打造的合规数字资产交易平台，为全球百万用户提供高效、公平、透明的数字资产金融服务。作为世界头部加密货币交易所，BitMart一直坚信，去中心化的数字资产将从本质上重塑全球金融体系，为我们带来更加高效的资产流通、更加公平的资源配置以及更加透明的交易流程。在这种全新的金融体系下，我们将迎来新一轮的全球经济创新和市场革新。来源：金色财经

金色财经2023-04-28

WEB3从业者赴港就业指南

。 13项人才清单：金融科技专才、数据科学家及网络安全专家、资产管理合规专才、环境、社会及管治(ESG)相关财经专才、废物处理专家、资产管理专才、海事保险专才、精算师、创新及科技专家、造船师、轮机工程师及船舶总管、创意产业和表演艺术专才、争议解决专才及业务交易律师。金融科技专才：具有相关学科(如电脑科学、电脑工程、电子工程和资讯科技)的学士或以上学位；曾任职于相关领域(如人工智能、先进软件技术(电脑编程)、大数据分析、区块链应用和网络安全)的领先机构更佳；具有为金融服务引入科技解决方案的知识和创新能力。资深数据科学家：取得数学、统计学、电脑科学、运筹学、工程、数据科学或相关学科的学士学位（硕士或博士学位更佳）；并具备在业界，例如保险、金融服务、零售、市场推广、医疗护理、物流，以及智慧城市发展，应用数据分析技术的实际经验。资深网络安全专家：取得电脑科学、资讯科技、资讯系统管理、资讯／电脑工程或相关学科的学士或硕士学位，以及资讯保安证书（例如CISSP及CISA）（取得额外的网络技术证书更佳）；并在保安及风险管理、网络保安／架构、软件开发保安或资讯科技保安相关范畴，以及在互联网及网络安全方面具备最少四年相关经验，包括主管经验及实际执行经验。香港优才项目优势：办理成本低，不需要在港工作，最新续签模式为3年+3年+2年，续签较为灵活，自由度高。以下为高才与优才政策的对比： 03输入内地人才计划（专才）香港专才计划是香港政府为了吸引一些具有认可资质的内地专业人才来港工作，填补香港人才空缺，提升香港在国际市场的竞争力。申请人不仅需要具备香港所需的专业知识、技能或经验，还需要获得香港本地雇主的聘用。个人申请条件： 1. 本科及以上学历； 2. 有5年以上相关工作经验； 3. 获得香港本地雇主的聘用。香港公司条件： 1. 成立2年以上； 2. 年报税营业额100万港币以上且近1年无亏损； 3. 至少5名香港本地员工并连续缴纳6个月强积金； 4. 香港公司真实运营，有实体办公室。 04科技人才入境计划科技人才入境计划旨在透过快速处理安排，为符合资格公司输入海外和内地科技人才来港从事研发工作。公司若从事先进通讯技术、人工智能、生物科技、网络安全、数据分析、数码娱乐、金融科技、绿色科技、集成电路设计、物联网、材料科学、微电子、量子技术或机械人技术范畴的研发工作，便符合申请资格。合格公司需先申请配额；获创新科技署发出配额的公司可相应地于为期24个月的配额有效期内为合资格人士申请工作签证／进入许可。个人申请条件： 1. 获申请公司聘请在香港工作的全职雇员; 2. 主要从事先进通讯技术、人工智能、生物科技、网络安全、数据分析、数码娱乐、金融科技、绿色科技、集成电路设计、物联网、材料科学、微电子、量子技术或机械人技术的研发工作； 3. 持有QS前100名大学颁授的STEM学科学位，持有硕士或博士学位者无需工作经验，而持有学士学位者则须具备最少一年在相关科技范畴的工作经验； 4. 其薪酬应不低于香港特区类似职位的市场薪酬水平。 05企业家来港投资计划企业家来港投资计划旨在为有意根据一般就业政策前来／留在香港特别行政区（下称「香港特区」）投资（即来港开办或参与业务）的企业家，概述有关的入境安排。这项入境安排并不适用于：内地的中国居民；以及阿富汗、古巴、老挝、朝鲜、尼泊尔及越南的国民。申请条件： 1. 无犯罪记录； 2. 申请人持有有关范畴的学士学位，但在特殊情况下，具备良好的技术资格、经证明的专业能力及／或备有文件证明的有关经验和成就，亦可予接受； 3. 申请人能够对香港经济作出重大贡献，当中会考虑各项因素，包括（但不限于）业务计划、营业额、财政资源、投资款额、在本地开设的职位数目，以及引进的新科技或技能等； 4. 持有中华人民共和国护照而居于海外的中国公民，如符合上述所载的准则及一般入境规定，并已在海外拥有永久性居民身份或已在海外居住不少于一年，可申请来港投资； 5. 初创企业家需获得香港政府计划支持。 ps:「海外」是指中国内地、香港特别行政区（下称「香港特区」）、澳门特别行政区及台湾以外的国家或地区），而且申请是从海外递交。 06非本地毕业生留港/回港就业计划非本地毕业生留港就业计划又名香港进修移民计划，是香港政府鼓励境外学生赴港留学并留港工作、生活而制定的移民入境政策。相对优才计划、专才计划来说，进修移民相对条件更加简单，获得香港居民身份证的速度更快。申请人最快一年修读完毕，即可获得一年IANG(工作签证)留港，从读书起计满7年可成为香港永久居民。 *什么是IANG签证？ IANG - 全称非本地毕业生留港/回港就业安排，不设配额，只要是在港修读了全日制本科或以上课程的非本地生，都可以在获批此签证后一年内无条件留港或回港工作，可自由进出香港，可申请配偶和18岁以下子女赴港就业读书。 IANG签证优势：非本地毕业生留港/回港就业安排并无配额限制，亦不限行业。学生签时期，无需找到香港公司聘用即可申请IANG签证。应届非本地毕业生毕业后无条件申请IANG签证，可自由往返香港和内地。IANG签证不限申请次数，只要有香港公司聘用，可再次通过申请IANG签证回港工作。放宽IANG的逗留期限至2年，并以试行形式拓展至港校在大湾区分校的毕业生，为期2年。申请条件： 1. 良好的中英文能力； 2. 无犯罪及无不良入境记录； 3. 申请人属于非本地毕业生并获得认可学位； 4. 来港就读期间，申请人能自行承担本人及家属相关生活费用。即需出示证明具稳定的经济支持来源，以支付来港最少一年的生活费及学费（如：申请人本人、家长或监护人的定期收入证明、银行储蓄证明。大约20~30万RMB）。非本地毕业生留港优势： 1. 学历含金量高，大部分香港硕士研究生含金量高于内地同等学历，并且获得内地、香港以及海外认证； 2. 成功率高要求相对较低，部分专业达到专科以上学历即可申请，修满学分可顺利拿学位。 3. 申请人在港进修期间就可以享受与香港本地居民同等的公共及医疗服务，其配偶及其子女亦可在港享受各项福利； 4. 可留港工作进修毕业后主申请人及配偶可留港工作就业。网上申请渠道入境事务处官网 https://www.immd.gov.hk/hkt/services/index.html#tab_b_1 来源：金色财经

金色财经2023-04-27

重磅丨Covid新变种蔓延全球！加拿大这个省份已沦陷！死亡病例飙升！注意这些新症状…

近期科学家们正在密切关注一种名为 XBB.1.16 的新 Omicron 亚变体，该变体目前正在世界某些地区迅速传播，包括加拿大的多个省份！上周，世界卫生组织将 XBB.1.16 标记为值得注意的变体！指出其能够逃避免疫力并胜过其他高度传播的亚变体。据信现在受影响的国家数量为34个。XBB.1.16 – 也被称为“大角星（Arcturus）”，是北半球最亮恒星的名称！东京大学的科学家表示，它的传染性可能是 Kraken 的 1.17 到 1.27 倍，Kraken 是最后一个主要的 omicron 亚变体，而以 Arcturus 的传播速度，其很可能短期内就成为 Covid 的主要变体！并且广泛传播！英国兰开斯特大学病毒学和病毒性人畜共患病教授穆罕默德·穆尼尔 (Muhammad Munir) 表示：“因为 XBB.1.16 更易传播并且可能逃避免疫力，它可能会在未来几个月内占据主导地位。” Arcturus 于 1 月首次被发现，这个新变异病毒在印度疯狂传播，它引发了感染率上升，并在该国部分地区恢复了戴口罩的规定。据报道，Arcturus (XBB.1.16) 至少在美国 10 个州和 14 个国家/地区存在，并且它可能已经传播得更远。在 14 天里，XBB.1.16 导致印度的病例增加了 205%，更令人担忧的是，死亡人数也在大幅上升。 Arcturus 正在以超过 XBB.1.5 的估计增长优势传播，住院和死亡人数正以指数速度增长。并且H3N2 流感和腺病毒正在印度流行。合并感染会加剧症状，有可能火上浇油。在美国，佛罗里达州、得克萨斯州、华盛顿州、伊利诺伊州、纽约州和加利福尼亚州于 3 月的第二周报告了首例病例。这意味着这些病例至少在几周前就到达美国。 4月25日，美国疾控中心透露，境内出现至少1名感染XBB.1.16死亡的患者！这是美国首宗，也是全球第7例报告死亡病例！现阶段，美国每10例新增感染中，就有1例是XBB.1.16！截至4月22日，“Arcturus”在所有新增病例中占9.6%，比一周前上升了50%！目前，新变体也已经传至加拿大，安省和阿尔伯塔省已经出现了大范围传播。根据安大略省公共卫生部的最新数据，到周三，XBB.1.16 预计将占安大略省 COVID-19 病例的近三分之一。而据阿尔伯塔省报道，该省于 3 月 31 日发现了首例病例。到 4 月 9 日，已确诊 11 例。加拿大官员们目前对Arcturus的态度呈相对乐观状态。据阿尔伯塔省卫生部称经过测试，病毒并不像大流行早期那样强大。麦吉尔大学微生物学和免疫学副教授杰西夏皮罗说：“我们预计它不会引起大幅上涨。但这可能会导致病例略有增加。这就是为什么值得关注。” 根据 WHO 的说法，Arcturus 类似于流行的 XBB。1.5 变体，但“在刺突蛋白中有一个额外的突变，在实验室研究中显示感染性增加，以及潜在的致病性增加。” 虽然这可能意味着它可能会传播得更快，但目前还没有任何迹象表明它会导致更严重的病例。儿科医生、印度儿科学会免疫委员会前主席 Vipin Vashishtha 博士告诉《印度斯坦时报》，Arcturus 的症状包括发高烧，比之前的 COVID-19 变种更高，以及还有咳嗽和“发痒”的结膜炎。到目前为止，这种症状在 COVID-19 患者中很少见。 Vashishtha 警告说，这种特殊的症状可能会导致北半球国家在春季时易与过敏进行混淆，因为人们通常会因花粉症等春季过敏症而出现眼睛发红、发痒的情况。但发高烧是排除季节性过敏的有效方法。除了这些新报告的症状外，Arcturus 感染类似于早期的 COVID-19 菌株，其症状包括咳嗽、喉咙发痒和流鼻涕。疲劳、身体疼痛、头痛和充血也是常见的症状。

加拿大乐活网2023-04-27

安奈儿：抗病毒抗菌面料成功量产，国内首款产品ANTECH 安心衣正式面市

证券之星2023-04-26

一探StarkWare生态：StarkEx和StarkNet的创新之旅

son：Co-Founder & 首席科学家，以色列理工学院计算机专业的教授。 Zcash 的创始科学家，zkSNARKs 的发明者。 Alessandro Chiesa：Co-Founder & 首席科学家，加州大学伯克利分校计算机专业的教授。 Zcash 的创始科学家，zk-SNARKs 的联合发明者，libsnark 的核心开发者。 Kolodny：Co-Founder & CEO，Uri 是一个商业经验丰富、善于合作的连续创业者。 Michael Riabzev：Co-Founder & 首席架构师。以色利理工学院的博士，曾在 Intel、IBM 工作。Oren Katz：工程副总裁。Hebrew 大学计算机专业毕业，Tel Aviv MBA， 20 年经验的资深工程师。融资目前公司已经估值 80 亿美元，获得了 Vitalik、Paradigm、Sequioa 等资本的倾力支持，是扩容领域估值最高的团队。 StarkEx 一种基于以太坊区块链的应用特定的 Layer-2 扩展引擎，旨在解决以太坊等 Layer-1 区块链网络的可扩展性问题。StarkEx 通过使用一种名为 STARK 证明的先进密码学系统，实现了快速、低成本的交易，同时不妥协安全性、隐私性和自我保管。它提供了一系列用于实现便宜的链下计算的应用流程，将多笔交易打包在一个 STARK 证明中，然后在链上进行验证，降低了每笔交易的平均燃料成本。StarkEx 扩展引擎的工作原理，包括批处理、验证和更新、生成证明以及链上验证四个步骤。 StarkEx 已经成功部署在多个应用中，如 dYdX、Immutable、Sorare、DeversiFi 和 Celer。和 StarkNet 的区别在于： StarkEx 和 StarkNet 是由 StarkWare 开发的两个不同的技术，它们都使用 STARK 零知识证明技术，但有不同的目标和用途。 1. StarkEx：StarkEx 是一个针对特定应用的 Layer-2 扩展引擎，主要关注优化以太坊区块链上的单一应用程序的性能。它通过将多个交易批量处理并在链下进行验证，实现了更快速、低成本的交易。主要用于去中心化交易所（DEX）、NFT 市场和游戏等。 2. 通过使用 STARK 证明技术，StarkEx 提供了安全、高效和低成本的交易体验。StarkNet 是一个无需许可的更为通用、完整的 Layer-2 解决方案，它为整个以太坊生态系统提供了一个去中心化的计算平台，开发者可以在其中部署用 Cairo 语言编写的智能合约。 StarkNet 支持与其他合约进行交互，允许丰富的协议组合，并可通过异步消息传递与以太坊合约进行交互。目标是提供一个可扩展、低成本且安全的环境，以便开发者在其上构建和部署智能合约。与 StarkEx 不同，StarkNet 可以看作是一个全面的 Layer-2 操作系统，允许开发者创建各种去中心化应用程序，而不仅仅是针对特定用途的解决方案。总之，StarkEx 是一个应用特定的 Layer-2 扩展引擎，主要关注特定应用程序的性能优化，而 StarkNet 是一个更为通用、全面的 Layer-2 解决方案，旨在为整个以太坊生态系统提供一个去中心化的计算平台。 Starknet Starknet 是一个无需许可的去中心化有效性折叠网络（也称为「ZK-Rollup」）。它作为以太坊上的 L2 网络运行，使任何 dApp 都能在不影响以太坊可组合性和安全性的前提下实现无限扩展计算，这要归功于 Starknet 依赖于最安全且最具可扩展性的加密证明系统 STARK。 Starknet 合约和 Starknet 操作系统使用 Cairo 编写 - 支持部署和扩展任何用例，无论业务逻辑如何。Starknet 作为一种去中心化的二层网络解决方案，旨在为去中心化应用（dApp）提供更高的扩展性和性能。通过在以太坊上运行，它可以利用现有的基础设施和安全性，同时提供更高的计算能力。 Cairo 是一种专为 Starknet 设计的编程语言，它旨在简化智能合约的开发和部署。通过使用 Cairo，开发人员可以轻松地为各种用例构建高度可扩展的应用程序，包括金融、游戏、供应链等。 Starknet 是一个 validity rollup，这意味着每个块内的执行都需要被证明，这就是 STARKs 派上用场的地方然而，STARK 证明可以解决以多项式约束语言制定的陈述，并且不了解智能合约的执行。为了克服这个差距，所以开发了 Cairo。总的来说，Starknet 是一个充满潜力的二层网络解决方案，它可以使现有的 dApp 在扩展性和性能方面迈出重要一步。通过采用 STARK 加密证明系统和 Cairo 编程语言，Starknet 为开发者提供了一个强大且灵活的平台，以满足各种业务需求。版本更新接下来会发生什么？Starknet Alpha v 0.11.0 ：开始向 Cairo 1.0 过渡 -对 Cairo 1.0 的进一步语言改进 -性能改进：正如承诺的那样，Starknet 继续朝着显着提高 TPS 的方向前进。路线图中的下一步是过渡到 Rust 序列器，它是在 Apache 2.0 许可下公开开发的。新的音序器将使用 Rust CairoVM 和 Papyrus 全节点形成 Performance Trio。 -链下 DA 在这个版本中，Starknet 处理了交易成本的计算部分。在即将推出的版本中，将处理链上数据成本，这是当今平均交易的主要成本。这里对 Starknet 的音序器进一步说明：音序器是指 StarkNet Sequencer，它是 StarkNet 的一部分，旨在通过切换到 Rust 排序器、使用 Rust CairoVM 和 Papyrus 全节点来显著增加吞吐量（每秒交易数量），从而形成「性能三人组」。「性能三人组」是指 StarkNet Sequencer 的三个组成部分：Rust 排序器、Rust CairoVM 和 Papyrus 全节点。其中，Rust 排序器是 StarkNet Sequencer 的核心，它负责处理交易并生成区块。Rust CairoVM 是一个虚拟机，它可以在 StarkNet 上运行智能合约。Papyrus 全节点是 StarkNet 网络中的一个节点，它存储了 StarkNet 上的所有数据，并且可以处理交易。这三个部分共同工作，可以显著提高 StarkNet 的吞吐量（每秒交易数量）。 Starknet v 0.11.0 （目前仅在 Goerli 测试网上）一旦 Goerli 测试期结束，Starknet v 0.11.0 将在主网上发布。 Starknet v 0.10.3 （22 月 12 日、 12 月 12 日）性能——将状态承诺计算与交易执行分开添加 starknet-class-hash 命令来计算已编译 Starknet 合约的类哈希 Starknet v 0.10.2 （22 年 11 月 29 日）这个版本引入了音序器并行化！一个新端点 estimate_fee_bulk 被添加到馈线网关。这将允许同时估算几笔交易的费用，其中每笔交易都是相对于应用前一笔交易的结果状态执行的。 Starknet v 0.10.1 （22 年 10 月 25 日）添加 DeployAccount 交易（它将取代 Deploy 交易以部署账户合约）。要使用它，你应该首先向你的账户地址添加足够的资金来支付交易费用，然后你可以调用 DeployAccount 将 starknet deploy_accountCLI 命令拆分为 starknet new_account 和 starknet deploy_account 预计以这种方式部署的账户合约应该实现 validate_deployDeployAccount() 入口点，它应该检查交易的签名改进 L1 费用计算：根据存储状态的差异计算费用 API：entry_point_type 从交易信息中删除字段 Starknet v 0.10.0 （22 年 9 月 5 日）此版本介绍了 Starknet 帐户抽象设计的下一步，特别是验证/执行分离。 Starknet v 0.9.1 （22 年 7 月 20 日） API 变化星网 CLI Starknet v 0.9.0 （22 年 6 月 6 日）该版本将合约类/实例范式引入 Starknet 关于账户以太坊账户结构在以太坊中，单个用户账户被称为外部拥有的账户（Externally Owned Accounts，EOAs）。 EOAs 与智能合约不同，因为它们不受代码控制。EOA 是由一对私钥和公钥确定的。账户的地址是根据这些密钥派生的，只有拥有私钥才能从账户发起交易。虽然以太坊合约是「被动」的，即它们只能在交易中被调用时发生变化，但 EOAs 可以发起交易。尽管简单，但 EOAs 有一个主要缺点，即账户行为没有灵活性，以太坊协议规定了 EOA 发起的交易何时有效（签名方案是固定的）。特别是，对公钥的控制给了对账户的完全控制。尽管从理论上讲，这是一种安全的账户管理方法，但在实践中，它存在一些缺点，例如要求您保护种子短语的安全，同时使其对您可访问，并且钱包功能的灵活性有限。 EIP-4337 是一个针对以太坊的设计提案，概述了通过以太坊网络上的专用智能合约管理所有账户的账户抽象化，以提高灵活性和可用性。您可以在基本 EOA 功能的基础上添加自定义逻辑，从而将账户抽象化引入以太坊。账户抽象化是什么？账户抽象化背后的想法是允许在账户管理方面更具灵活性，而不是让它们的行为在协议层面上确定。这可以通过引入账户合约来实现 - 具有可编程逻辑的智能合约，决定用户的账户行为。通过使用账户抽象化，您现在可以对您的账户功能进行编程。例如，你可以：确定有效签名的含义，或者您的账户允许与哪些合约互动。这被称为「签名抽象化」用不同的代币支付交易费用 - 这有时被称为「费用抽象化」设计自己的重放保护机制，并允许并行发送多个不相关的交易。将其与以太坊中使用的顺序 nonce 解决方案进行比较，该解决方案导致交易本质上是顺序的，即使你想并行发送两个交易，也必须等待第一个交易的一些确认，然后再发送第二个交易。否则，由于无效的 nonce，第二笔交易可能会被拒绝。使用账户抽象化，可以讨论绕过顺序 nonce 需求的不同解决方案。这被称为「nonce 抽象化」。如今，Starknet 提供了签名抽象化。将来，Starknet 将丰富当前的账户抽象化设计。使用账户抽象化自定义账户功能的两个示例社交恢复这是一个过程，当您丢失钱包时，可以通过所选社交网络检索它，大大改善了钱包恢复的典型体验。通过面部识别操作您的账户借助签名抽象化，您可以使用手机的原生硬件对交易进行签名，从而实际上不可能接管另一个用户的账户（即使在手机本身被盗的情况下也是如此）。这些示例展示了如何利用账户抽象化为用户提供更灵活、安全和高度定制的钱包和账户管理体验。通过编写自定义逻辑，用户可以根据其需求和偏好定制账户功能，从而在提高安全性的同时，也提高了易用性。 Starknet 账户合约必须包括以下两个函数 validate execute 这些函数具有不同的目的，以确保只有账户所有者才能发起交易，并且可以为你使用的资源收费。 Starknet 的账户类型受到以太坊 EIP-4337 的启发，其中，你现在使用具有任意验证逻辑的智能合约账户，而不是 EOA（外部拥有的账户）。通过使用智能合约，在账户实现中获得了完全的灵活性。虽然在协议级别上不是强制性的，但社区开发了一个更丰富的标准账户接口。这个标准是由 OpenZeppelin 开发的，与钱包团队和其他核心 Starknet 开发人员紧密合作。代币经济学：代币的作用交易费用：目前，StarkNet 中的费用以以太币 (ETH) 支付。但稍后，我们预计费用将完全使用原生 StarkNet 代币支付。为了支持良好的用户体验，自动化和去中心化的链上机制将允许用户以 ETH 支付费用。质押：某些对 StarkNet 的活跃性和安全性至关重要的服务可能需要质押 StarkNet 代币。这些服务可能包括排序、在达到 L1 最终结果之前达成临时 L2 共识、STARK 证明服务和数据可用性供应。治理：改进 StarkNet 的提案将需要一个最小的令牌支持阈值，稍后定义。对 StarkNet 的活跃性、安全性和维护至关重要的协议的所有更改都需要直接或通过委托进行投票。例如，StarkNet 操作系统的所有重大更新都需要代币持有者的批准。总量： 100 亿、代币初始分配：代币经济学 17% —StarkWare 投资者 32.9% —核心贡献者：StarkWare 及其员工和顾问，以及 StarkNet 软件开发合作伙伴 StarkWare 授予基金会的 50.1% ，用途如下： 9% —社区补给：用于奖励为 StarkNet 工作并为其底层技术提供支持的人员，例如过去使用 StarkEx L2 系统的人员。重要的是，所有社区补给都将基于过去已完成的可验证工作。例如，对于过去的 StarkEx 用户，分配将根据 2022 年 6 月 1 日之前发生的可验证 StarkEx 技术使用情况来确定。 9% —社区返利：部分用于支付从以太坊转移到 StarkNet 的成本。为防止游戏化，社区返利仅适用于在返利机制公布后发生的交易。 12% —用于研究和开发、测试、部署和维护 StarkNet 协议的工作的资助。 10% —-战略储备，用于资助与基金会使命一致的生态系统活动。 2% —捐赠给受到高度尊重的机构和组织，例如大学、非政府组织等，由 StarkNet 代币持有者和基金会共同决定。 8.1% —未分配：基金会的未分配财务储备将用于进一步支持 StarkNet 社区，具体支持方式由社区决定。为了使核心贡献者和投资者的长期激励与 StarkNet 社区的利益保持一致，并遵循去中心化生态系统的惯例，分配给核心贡献者和投资者的所有代币将受到 4 年的锁定期，与线性释放和一年悬崖。如果你是一名终端用户，只有在 StarkNet 满足您当前需求时才使用它。将其用于您看重的交易和应用，而不是期望未来获得 StarkNet 代币的回报。当社区补给宣布时，它们将仅涉及在公告日期之前发生的快照，并根据当时可用的信息，过滤和排除被认为是滥用和操纵网络的使用情况。当社区返利制度建立时，它们永远不会适用于在返利公布之前发生的交易，因此期望未来返利而在今天进行交易是徒劳的。基于上面代币经济学的总结分析：第一个 9% 的社区供应部分是可能空投给用户的，也就是说用户在这 4.5 亿中和为 Starknet 工作及提供技术支持和开发的人一起去划分。第二个 9% 的社区回扣，用于后续返利规则公布后的手续费补贴，公布规则前刷手续费是没用的。第三个 10% 的战略储备，是用于链上生态应用，分配给生态上的应用协议。商业模式出售定制化技术引擎服务 StarkEx，直接向有扩容需求的客户收取服务费，本质上是定制化的 2B 服务。打造去中心化的 Layer 2 网络 StarkNet，支持 dApp 自主部署，可以向用户收取 Layer 2 的交易费用，也可以通过 sequencer 的拍卖机制获取 MEV 的价值，还可以在未来发 token，用技术和资金孵化 StarkNet 项目，通过 tokenomics 驱动生态发展。总结： StarkWare 是 zk rollups 赛道内最好的公司之一，产品有 StarkEX 和 StarkNet。 StarkEx 是一款 Layer 2 扩展引擎，为 dApp 提供技术服务。 StarkNet 是一个无需许可的更为通用、完整的 Layer-2 解决方案。团队成员有 80 多个，而且核心成员比较瞩目，Eli Ben-Sasson 是 Zcash 的创始科学家，zkSNARKs 的发明者，在 ZK-Rollup 领域有非常深的研究及影响力，且目前估值达到 80 亿，像 paradigm、Pantera、polychain 和 V 神等顶级 VC 和个人均是 StarkWare 的资方。在生态应用上面，因为采用的是 Cairo 语言，所以并不兼容 EVM，所以在生态发展上进度会比较慢，目前开始向 Cairo 1.0 过渡，朝着一个更高的 TPS 发展，就算这样，但是目前的应用体验并不是十分流畅，技术还有现实之间还是存在差距，期望以后看到 Starknet 更好的发展。来源：金色财经

金色财经2023-04-25

悦读书|如何为碳定价？读《绿色经济学》给ESG基金经理的投资启示

逻辑推理链条基于的是第一性原理，有主流科学家和广泛、大量的客观数据支持，具有很高的确定性。然后Nordhaus又提到了社会对气候变化威胁应当采取措施的必要性，但因为气候变化具有负外部性，一些具有本位主义思想的政府和机构可能存在搭便车的心态，所以在逻辑推导中存在不确定性。这也为Nordhaus提出联盟和碳关税的构思打下了理论基础。　　论证的最后，Nordhaus用DICE模型提出了他认为的解决气候变化威胁的方案：　　1．首先人们必须认识到气候变化的严重性，我们需要深入研究和抵制错误的和有倾向性的推理；　　2．其次各国必须提高CO₂和其他温室气体价格；而且政策必须是全球性的，不仅仅是国家或区域的。　　3．最后就是能源行业的快速技术变革至关重要。

金融界2023-04-24

a16z：早期代币设计中的7个关键问题

了。在这里，我们所追求的圣杯就是计算机科学家常常称之为“龙书”的现代版。这本书指的是《编译原理》（由Alfred Aho、Monica Lam、Ravi Sethi 和 Jeffrey Ullman 所著），有时也可能指早期版本的该书或 Aho 和 Ullman 的早期作品《编译器设计原理》。该书统一、定义并影响了几代计算机科学家对编译器设计的研究。它影响了许多人，以至于该书的两位作者在几年前被授予了ACM图灵奖，其中一位是“为编程语言实现打下基础的算法和理论”，另一位是“通过在他们的高度影响力的书籍中综合这些结果和其他人的成果，教育了几代计算机科学家”。我们距离像编译器设计领域里的“龙书”那样的代表性著作还有很长的路要走，现在要编写一本关于代币的权威指南还为时过早。我们的研究主管Tim Roughgarden指出，距离这个目标可能还需要十年左右的时间，这是一项长期的工作。在20世纪50年代，编译器设计是一个非常复杂和混乱的计算机科学难题。《龙书》的出现，通过阶段性应用严格的原则，帮助将这个问题转化为了一个更好解决的问题。但一些早期的机会和陷阱已经变得清晰起来了。因此，我认为，如果我整理一份我们团队在与其他人进行代币设计时经常讨论的一些合理性检查列表，那么这对于那些正在构建代币的人将是有帮助的。我还鼓励大家观看 Eddy Lazzarin 最近关于代币设计的演讲，其中涵盖了心理模型、常见模式和陷阱、当前代币的功能以及许多尚未探索的设计空间。实际情况是，许多团队试图为自己的项目找到“正确”的代币设计，但通常缺乏测试过的设计框架，因此遇到了其他人曾经遇到的相同挑战。幸运的是，也存在早期的成功案例和“好”的代币设计示例。最有效的代币模型将具有与其目标独特的元素，但大多数有缺陷的代币设计都共享一些常见的缺陷。因此，这里列出了一些有用的提示，以避免最常见的失败模式。 #1 设定明确的目标在设计代币时最大的困难是在明确目标之前构建一个复杂的模型。没有所谓的好代币设计或坏代币设计——只有实现你的目标的代币设计或者没有实现目标的代币设计。第一步应该始终是严谨地审视目标，并确保你（和你的团队）充分理解它：是什么，为什么重要，你真正想要实现什么？没有严谨地定义目标通常会导致重新设计和浪费时间。明确定义目标还有助于避免“为了代币经济而代币经济”的问题，这是对一些代币设计的常见（而且不无道理的）批评。此外，目标应该针对代币具体而言。这可能看起来很显然，但经常被忽视。以下是一些具体的代币目标示例：一个游戏想要设计一个最佳的代币模型，以实现可扩展性并支持模组化一个 DeFi 协议想要设计一个最优的代币模型，以在参与者之间分配风险一个声誉协议想要确保资金不能直接用于声誉（例如，通过将流动性与声誉信号分离）一个存储网络想要保证文件低延迟可用一个质押网络想要提供最大的经济安全一个治理机制想要获取真实偏好或最大参与度。 ……列表可以不胜枚举。代币可以支持任何用例和目标，而不是反过来那么，如何开始明确目标呢？明确的目标通常来自于一份使命宣言。虽然使命宣言往往是高层次和抽象的，但目标应该是具体和简化到最基本的形式。我们以 EIP-1559 为例。Roughgarden 提出的 EIP-1559 的一个明确目标是：“EIP-1559 应通过易于估算费用的优化方式，改善用户体验，使其在需求急剧上升时，能够以‘显而易见的最优出价’的形式存在。“ 他还提出了另一个明确的目标：“我们是否可以重新设计以太坊的交易费用机制，使得设置交易的 gas 价格更像在亚马逊购物？理想的情况是一个公布价格的机制，即为每个用户提供一个接受或放弃的 gas 价格，以便在下一个区块中包含。我们将看到...在 EIP-1559 中提出的交易费用机制就像一个公布价格的机制，除非需求大幅度增加。这两个例子共同之处在于：阐述了一个高层次的目标；提供了一个易于理解的类比，以帮助他人理解这个目标；然后继续概述最好支持该目标的设计。 #2 从第一原理出发评估现有工作在创建新事物时，研究已经存在的东西通常是个好主意。当你评估现有协议和文献时，应该客观地从技术优劣的角度来评价它们。代币模型经常基于代币价格或相关项目的受欢迎程度进行评估。这些因素可能与代币模型实现其目标的能力无关。估值、受欢迎程度或其他单纯的评估代币模型的方法可能会让构建者走入歧途。如果你认为其它模型能够正常工作，但实际上它们不能，那么你就可能会创建一个有缺陷的代币模型。如果你为了不同的目标重新使用一个代币模型，你可能会不经意地继承不适合你的代币模型的假设。 #3 阐明假设当你专注于构建一个代币时，很容易将基本假设视为理所当然。你也很容易错误地表述你真正做出的假设。让我们以一个新协议为例，假设它的硬件瓶颈是计算速度。将这种假设作为代币模型的一部分（例如，限制参与协议所需的硬件成本）可以帮助将设计与期望的行为对齐。但是，如果协议和代币设计者没有陈述他们的假设，或者他们陈述的假设是错误的，那么可能会有参与者意识到偏差并从协议中提取价值。“黑客”通常是那些比系统的设计者更了解系统的人。阐述你的假设可以使人更容易理解你的代币设计，并确保其正常工作。如果没有明确表述你的假设，你也无法验证你的假设…… #4 验证假设俗话说，“让你陷入麻烦的不是你不知道的，而是你肯定知道但并非如此的事情。” 代币模型通常会做出一系列假设。这种方法部分源于拜占庭系统设计的历史，作为区块链的灵感来源。该系统做出假设，并构建一个函数，如果该假设成立，则保证一些输出。例如：比特币保证在同步网络模型中的活跃性，并且如果网络中的51%的哈希功率是诚实的，则保证一致性。有几个较小的区块链已经遭受了51%攻击，违反了纳克莫托共识对区块链正确运行所需的诚实多数假设。代币设计者可以通过多种方式验证他们的假设。严谨的统计建模，通常以Agent-Based建模的形式，可以帮助测试这些假设。有关人类行为的假设也经常通过与用户交谈并观察人们实际做的事情（而不是他们所说的）来验证，特别是通过激励测试网络在沙盒环境中生成实证结果。正式验证或密集审核也有助于确保代码库按预期运行。 #5 定义清晰的抽象屏障 “抽象屏障”是系统或协议不同层次之间的接口。它用于分离系统的不同组件，使每个组件可以独立设计、实现和修改。清晰的抽象屏障在所有工程领域特别是软件设计中都很有用，对于分散式开发和大团队构建复杂系统更是必要，因为单个人无法理解整个系统。在代币设计中，清晰的抽象屏障的目标是尽量减少复杂性。减少代币模型不同组件之间的相互依赖性可以得到更干净的代码，更少的漏洞和更好的代币设计。例如，许多区块链是由大型工程团队构建的。一组可能会假设硬件成本随时间变化而改变，并使用该假设来确定为特定代币价格提供多少挖矿设备。如果另一组依赖于代币价格作为参数，但不知道第一个团队对硬件成本的假设，那么它们可能会做出冲突的假设。不透明的假设和接口有时会导致难以发现的错误，特别是在早期的 DeFi 协议中。模糊的抽象屏障还通过增加协议不同组件的团队之间的沟通来延长开发时间。模糊的抽象屏障还增加了整个协议的复杂性，使任何一个人都难以完全理解该机制。通过创建清晰的抽象屏障，代币设计者可以更容易地预测特定的更改将如何影响代币设计的每个部分。清晰的抽象屏障还使扩展自己的代币或协议更加容易，并创建一个更包容和广泛的建设者社区。 #6 减少对外部参数的依赖在创建代币模型时，经常会使用一些对于系统本身不是固有参数，但会影响整体性能和成功的外部参数，如计算资源的成本、吞吐量或延迟等。在创建代币模型时，经常会使用一些对于系统本身不是固有参数，但会影响整体性能和成功的外在参数，比如计算资源的成本、吞吐量或延迟等。危险的是，当代币模型仅在某些参数保持在有限范围内时才能正常工作，就会出现意外行为。例如，考虑一个协议，它销售某项服务并以一定数量的代币奖励形式提供返利：如果代币价格意外飙升，代币奖励的价值可能会超过服务的成本。在这种情况下，从该协议购买无限数量的服务是有利可图的，从而导致奖励用尽或服务被完全利用。再举一个例子：去中心化网络通常依赖于加密或计算难题，这些难题非常困难，但并非不可能解决。这些难题的难度通常取决于外部变量，比如计算机可以计算哈希函数或零知识证明的速度。想象一下一个协议，它假设能够快速计算某个哈希函数的速度，并相应地支付代币奖励。如果有人发明了一种更快地计算该哈希函数的方法，或者只是拥有不成比例的巨大资源来解决该问题，他们就可以获得意外的大量代币奖励。 #7重新验证假设设计一个代币应该像设计一个对抗性系统那样。假设系统中存在拜占庭行为（即可能有不忠诚的节点）。用户的行为会随着代币运行方式的变化而发生改变。设计者常犯的一个错误是在调整代币模型时没有确保任意用户行为仍然能产生可接受的结果。不要假设用户行为在代币模型变化时会保持不变。这种错误通常发生在设计过程的后期：有人花费了大量时间定义代币的目标、功能，并验证其是否按预期工作。然后，他们识别出一个边缘案例并调整代币设计以适应它……但是忘记了重新验证整个代币模型。他们在解决一个边缘案例时，可能会产生另一个（或几个）意外后果。不要让辛苦的工作付之东流：每当项目更改其代币模型时，请重新验证它是否按预期工作。来源：金色财经

金色财经2023-04-23

24小时热点