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

国脉科技：在身联网的研发与应用过程中，部分采用ChatGPT、Web3.0相关技术

我们部分采用了ChatGPT、元宇宙、Web3.0中的相关技术，用于提供更为智能和沉浸的用户交互体验，以更高的数据安全性和隐私性，为未来的数据流通、交易做布局。（来源:界面AI）声明：本条内容由界面AI生成并授权使用，内容仅供参考，不构成投资建议。AI技术战略支持为有连云。

有连云2023-02-10

金色Web3.0日报 | 特斯拉前AI负责人宣布将加入OpenAI

金色财经推出《金色Web3.0日报》，为您提供最新、最快的游戏、DeFi、DAO、NFT和元宇宙行业新闻。

金色财经2023-02-09

阿联酋皇家战略伙伴启动区块链项目

架构思想设计实现去中心化,通过区块链+Web3.0深化DAO自治原则,节点负责链上信息传播的广度和深度,从而实现链上信息价值在广度和深度的传播。同时,GBR DAO针对传统中心化数据系统的一系列痛点,提出了覆盖链上数据从索引、存储、获取、恢复生命周期的全链条解决方案,实现了DAO从0到1的跨越。。来源：金色财经

金色财经2023-02-09

「形式化验证」如ChatGPT或将取代人类？

“计算机产物”，到底能否取代人类呢？在Web3.0的世界，形式化验证又能否取代人工审查呢？形式化验证形式化验证，是一种验证计算机程序是否按照了预期运行的数学证明方法。它将程序的属性和预期行为表达成为数学公式，然后使用自动化工具来检查这些公式是否成立。该过程有助于确保其程序符合预期。形式化验证的应用形式化验证是一种可被广泛应用于不同系统的工具，包括：计算机硬件设计：确保集成电路和数字系统符合它们所需的规范，并且行为正确。软件工程：验证软件系统的正确性和可靠性，特别是在航空、医疗设备和金融系统等任务关键型应用/领域。网络安全：评估加密算法和协议的安全性，并识别对安全敏感的系统中的安全漏洞。人工智能和机器学习：验证人工智能和机器学习模型的属性和行为，确保它们按照预期运行并做出精准预测。自动化定理证明：验证数学定理和证明数学猜想，应用于数学、物理学和计算机科学等领域。区块链和智能合约：确保区块链系统和智能合约的正确性、安全性和可靠性。智能合约的形式化验证智能合约的形式化验证，是通过将智能合约的逻辑和预期行为用数学表达式表示，然后使用自动化工具来检查这些数学表达式是否正确。这个过程包括：用形式化语言定义合约的规范和属性。将合约的代码“翻译"”成形式化的表示，如数学逻辑或模型。使用自动定理证明器或模型检查器来验证合约的规范和属性是否成立。重复验证过程，以发现和修复任何错误或偏离预期的情况。有时，自动化定理证明器或模型检查器不能证明或证伪一个属性。在这种情况下，可能需要对规范和期望的属性进行改进，并重复验证过程。将规范分解成更短小的代码或者提供更多的规范信息，可以完善规范和期望的属性。这可以使定理证明者和模型检查者更容易验证规范和属性是否成立。形式化验证可以应用于一个合约或同时应用于多个合约。Web3.0项目经常使用多个合约，确保这些合约一起工作并正确实现所需的项目功能非常重要。形式化验证当中，由于其属性已在数学上被严格证明是正确的，因此使用这种数学方法有助于确保智能合约不存在错误、漏洞和其他非预期行为。将代码形式化表示代码片段示例一如下代码显示了一个简化的代币转移功能程序：有两个用户，他们各自有一些代币（balance 和balance2 ）。函数transferFromUser1将代币从用户1转移到了用户2。该程序有一个不变量，即代币的总供应量总是等于余额之和。代码片段一：代币转移程序我们把不变量用数学公式表示，并对公式进行编号。数学公式中，“=”意味着“等于”，而不是赋值。代码片段示例二如下代码显示了如何添加逻辑公式（为了例子简单明确，在此暂时忽略整数溢出）。代码片段二：表达了代码含义的逻辑公式函数如果想要检查transferFromUser1是否保持了程序中的不变量，那么我们可以检查公式7（在函数的末尾）是否有不变性（公式1）。下面是使用高中代数方法进行的证明。形式化验证与人工审计的协同在确保智能合约的安全性方面，形式化验证和人工审计可谓相辅相成。形式化验证：形式化验证提供了一种系统化和自动化的方法来检查合约的逻辑和行为以及它的预期属性，使其更容易识别和修复潜在的错误或漏洞。它对发现复杂或不容易被察觉的问题十分有效，因为这些问题可能很难通过人工检查发现。当处理复杂或多个合约时，人类则很难推理出所有需要检查的组合和可能性，而机器则“毫无压力”。人工审计：人工审计提供了专家对合约代码、设计和部署的审查，审计专家可以利用他们的经验和专业知识来识别潜在的安全风险并评估合约的整体安全情况。除此之外，人工还可以验证形式化验证过程是否被正确执行，并检查无法用自动化工具检测的问题。因此人工专家审计，更有助于确保形式化验证中使用的规范和所需属性的正确性。综上，结合形式化验证和人工审计两个方法，才能对智能合约的安全性进行全面彻底评估，并增加发现和漏洞修复的机会。这也是一种结合了人类和机器各自特长，且被称为“深度防御”的安全方法。安全专家在线AMA 形式化验证的力量不可小觑，但是也不能忽略人工审计的重要性。在ChatGPT官网上，其已坦言了自身的不足，而人工智能无法取代人类思考和创造这样老生常谈的讨论在此也可以省略一万字……这不，Bard出错谷歌股价大跌。同样的，形式化验证也不可取代人工审计，两者相辅相成才能对智能合约进行完整的检验。来源：金色财经

金色财经2023-02-09

打造 AI 时代基础设施：NJWC公链平台

3 时代全新的生产力工具。当我们迈入Web3.0时代，内容消费需求飞速速增长，现在的流量方式将发生翻天覆地的变化，依靠个人用户或者专业机构输出内容的方式（UGC\PGC）将无法匹配扩张的需求，AI输出内容将是Web3的解决方案。 AIGC将是Web3时代的生产力工具，利用人工智能学习知识图谱、自动生成，AI不再仅作为内容创造的辅助工具，将来文字生成、图片绘制、视频剪辑、游戏内容生成皆可由AI替代。全球知名投资机构A16Z 重点发表了对游戏领域生成式 AI 的观察和预测以及生成式 AI 领域的市场生态的判断。在所有娱乐类目中，游戏将成为受到生成式人工智能最大影响的领域。游戏设计领域存在不可能三角：成本、质量或速度这三项中通常只能取两项，而现在，设计师可以通过这些 AIGC 工具，不再需要花费很多人工的制作时间，只要几个小时就能创造出高质量的图像，而这其中，真正具有变革意义的是，任何人只要学会几个简单的工具，就可以获得这种具备创造性的能力。这些工具，能够以快速迭代的方式创造出无穷无尽的变化，并且一旦经过培训，整个过程是实时的，也就是说，结果几乎是即时可用的。自Real-time 3D技术出现以来，还没有能够对游戏产生如此大潜在改变的技术（有了实时 3D的软件，整个虚拟世界可以眼以更快的速度进行数字渲染，为用户提供了更具吸引力和身临其境的体验）。训练AIGC模型需要海量的数据和强大的算力，这导致成本非常巨大，强如行业龙头的Stability AI，为了训练其Stable Diffusion模型，也只有采取层层加码的方式，在AWS中运行了包含4000多个Nvidia A100 GPU的集群，运营成本高达数千万美元。许多顶尖的机构和企业为了解决算力和成本的问题，可谓是各显神通，这其中不乏一些令人耳目一新的创意与技术，2022年10月，Sequoia Capital、Slow Ventures、Note Crypto Capital、Scribble Ventures、Samsung NEXT、Lux Capital等顶级投资机构，纷纷下场投资了一家名为NJWC的公链模块化平台。 NJWC之所以成为众多投资者的宠儿，因为它展现了一个全新的概念：轻量AIGC公链平台。不仅如此，NJWC还联合Ninja's World打造其公链生态的Gamefi第一大平台，这无疑是强强联手的双赢合作。Ninja' s World是火爆全球的Gamefi项目，不仅是热门新闻的常客，也获得全球第三大公链 Polygon官方连续6次推广、全球最大的 Gamefi 公会YGG两次连续推广、HuoBi NFT、全球最大NFT聚合交易平台Element的首页持续推广。轻量化的NJWC具备良好的可扩展性，成了一个可扩展、安全、可信任和可升级的公链模块化平台，让公链网络整体更具分布式，去中心化程度高；并且采取BFT共识机制和并行计算机制，同时提供了高吞吐量、降低延迟时间，减少成本，为数十亿用户的AIGC内容生产应用程序提供动力。 NJWC通过去中心化方式发行Token激励用户提供训练模型所需的数据，解决了AIGC生成中的知识图谱和内容版权的问题，另外通过发行Token的方式，激励用户提供训练模型所需要的大量算力，分散算力成本，实现成本共担，利益共享。除此之外NJWC围绕零知识证明以及AIGC搭建一个内容生产和隐私的生态系统，可针对部分场景实现特定的业务逻辑，例如无需信任就可以将互联网数据导入到公链。也可以通过转接桥，与其他公链进行合作，增强互操作性，实现互惠共赢。从ChatGPT的问世，到互联网巨头的相继下注，2023年AI领域必将实现爆炸式的增长，任何技术的革新和应用，都会带来商机和红利，也伴随着恐惧与风险，可以肯定的是，人类正在连接现实与虚拟世界，NJWC能否成为AI时代的基础设施，让我们拭目以待吧。来源：金色财经

金色财经2023-02-09

值得埋伏的三大潜力币、你拥有了吗？

d (MANA) 如果您现在正在寻找 Web 3.0 代币进行投资以获得长期收益，那么 Decentraland 就是您的最佳选择。该系统基于 Web 3.0 协议，让用户可以访问元宇宙经济，他们可以在其中创建、销售和购买虚拟财产。对于所有与 NFT 相关的交易，Decentraland 生态系统使用其原生货币 MANA。MANA 的价格在 2022 年受熊市影响大幅下跌，但在 2023 年开始回升。许多知名人士和组织已经开始使用这种媒介在这个新颖的虚拟宇宙中创作作品。2022 年，当人们回顾 Decentraland Metaverse 音乐节时，他们会看到 MANA 的存在，因为该音乐节吸引了许多新用户并帮助增加了 Decentraland 的用户群。该活动实现了增加平台内容、提高平台知名度和吸引新用户的既定目标。如果这种事情重演，MANA 的采用率将上升，加密货币的价格将飙升。来源：金色财经

金色财经2023-02-09

开盘：A股三大指数低开沪指跌0.14％，ChatGPT概念领跌，云从科技跌近10%

tGPT概念、AIGC概念、华为欧拉、Web3.0、贵金属等板块跌幅靠前。　　ChatGPT概念股中，云从科技跌近10％，海天瑞声跌超7％，汉王科技、福石控股、神思电子纷纷低开。消息面上，上交所分别向海天瑞声、云从科技下发监管工作函。另外，谷歌AI聊天机器人出错，谷歌股价跌逾7％。　　今日，富时中国A50指数期货开盘跌0.27％。日经225指数开盘跌0.6％，至27453.40点；东证指数开盘跌0.4％，至1976.31点。韩国KOSPI指数开盘跌0.5％，至2470.66点。　　隔夜美股三大指数下跌，道指跌207.68点，跌幅为0.61％，报33949.01点；纳指跌203.27点，跌幅为1.68％，报11910.52点；标普500指数跌46.14点，跌幅为1.11％，报4117.86点。　　东吴证券指出，目前市场维持调整状态，先前人气板块也开始修复短期过大的涨幅，概念板块的轮动行情或将来临，时间点上来到年报的披露窗口，可重点关注盈利稳中向好，股价位置合理的品种。操作上看投资者短期仓位不宜过重，可保持一定的现金仓位，等待市场的企稳回升。　　国盛证券认为，由于当前处于处于经济数据与公司业绩的空窗期，市场基本面未出现本质变化，经济复苏的强度还有待数据验证，宏观层面短期较难出现超预期的点。从市场表现来看，沪指多日下探回升，资金的承接力度相对较强，且调整阶段未出现资金恐慌出逃现象，因此指数短期回调空间有限，维持震荡走势的概率较大。操作策略上可考虑轻指数重个股，选择政策面利好较多、资金关注度较高的板块和个股做低吸，尤其是在短期题材热点炒作告一段落之后，把握短期调整较为充分的大消费（白酒、餐饮、旅游）、房地产产业链（建材、家居）、大金融（保险、证券）等板块的交易性机会。

金融界2023-02-09

资金流入固态电池、高压快充等板块

快充、一体化压铸、染料等板块涨幅居前，web3.0、数字货币、数据要素、互联网电商等板块跌幅居前。　　盘后龙虎榜数据显示：格力博（301260）获4家机构买入，总买入净额为2.51亿元；英飞拓（002528）获3家机构买入，总买入净额为1.84亿元；川大智胜（002253）获1家机构买入，总买入净额为9566.47万元；鸿博股份（002229）获实力游资买入，总买入净额为5745.32万元；积成电子（002339）获上海资金买入，总买入净额为4840.23万元。

金融界2023-02-09

毁灭性地震后的48小时数百万加密货币捐款涌入土耳其

在地震发生后的48小时内，Web3.0社区筹集了数百万美元为灾区提供人道主义援助。这也意味着，加密货币拥有向善的力量，甚至是所有受灾群众的希望，也在重新定义筹集捐款的形式。来源：金色财经

金色财经2023-02-08

《传奇》开发商Wemade进军元宇宙产业, 是再造传奇还是烟火一现？

联网Web2.0，最后到去中心化互联网Web3.0，数据要素资产回归个人，并成为了重要的生产要素。区块链技术的应用为可确权的PUGC提供便捷的手段和高效的工具，引发了新一轮的创作热潮。 Web3为游戏元宇宙世界提供了价值重塑，并逐渐发展形成了Gamefi概念，为游戏经济层面的发展提供了主要的支撑。越来越多的游戏正在尝试与区块链技术相结合，形成专属于自己的商业闭环。后记麦肯锡曾经指出，到2030年，元宇宙的价值有可能增长到5万亿美元，其中游戏产业将增长1250亿美元。元宇宙与游戏产业的结合为彼此赋予了极大的创造力。Wemade的诸多尝试，呼应了他们极具雄心的愿景“Guardian angel in online entertainment world”，制作高科技武装的全新网络游戏走向未来，并为此奋斗不止。平行实境游戏《后勤》的创始人乔·埃德尔曼曾提出一个问题“如果现实生活变得更像是一款游戏，那会是怎么样呢？” 在科技飞速发展的当下，我们似乎已经受够了现实，一心只愿能抽出数个小时甚至整个周末投身于网络游戏当中。游戏似乎以一种现实世界很难做到的方式教育、鼓励、打动着人们，并将人们联系在一起，继而成为了日常生活的重要组成部分。游戏化社会成为了人们应该思考的议题，尽管难以理解，可游戏已然成为了人类文明的基本组成部分。《游戏改变世界》一书中写道：“游戏设计不仅仅是一门技术性的技艺，它是21世纪的思维和领导方式，玩游戏也不仅仅是为了消遣，它是21世纪携手工作、实现真正变革的方式。” 元宇宙的时代已经来临，至于将来，我们的任务不是看着它，而是促成它。【声明】：本文为元宇宙之心运营团队原创，未经允许严禁转载，如需转载请联系我们，文章版权和最终解释权归元宇宙之心所有。来源：金色财经

金色财经2023-02-08

24小时热点