为了深入理解形式化验证技术是如何应用于zkVM(零知识虚拟机)之上的,本文将聚焦于单条指令的验证。关于ZKP(零知识证明)先进形式化验证的总体情况,请查阅我们同期发布的“零知识证明区块链的先进形式化验...
Unichain – 你想知道的全部
核心观点:Unichain 目标成为全链 DeFi 流动性中心枢纽,一个超级应用正在构建应用链来回收协议本身所创造价值。 基于 OP Stack 构建,其核心创新有 可验证区块构建:与 Flashbo...
OpenAI重磅开源!AI Agent大爆发,狂揽6000颗星!
OpenAI终于开放了一次,罕见地开源了多功能协同AI Agent——Swarm。 与普通AI Agent不同的是,Swarm可以同时创建多个智能体互相协同工作来完成特定任务,包括客户服务、销售支持和...
红杉年度文章解读:生成式AI进入第二阶段,应用层价值凸显以及商业模式将重塑
在红杉资本在最新发布的文章《Generative AI's Act O1 :The Agentic Reasoning Era Begins》中,讨论了当下生成式AI正在从以训练时计算的快思考,向以推...
解读以太坊 Pectra:下一个重大升级
Pectra 升级是以太坊网络的下一个重要里程碑,预计将于 2025 年第一季度实施。这次升级包含两个主要部分:Prague(布拉格)执行层升级和 Electra(星座名)协议层升级。 与之前的重大升...
使用 Solidity 瞬态存储操作码
从Solidity 0.8.24 支持 Cancun 硬分叉(在 2024 年 3 月执行) 中包含的操作码,特别是根据 EIP-1153 的瞬态存储操作码 TSTORE 和 TLOAD。 瞬态存储是...
可验证智能合约简介
可验证智能合约使用加密技术来验证在区块链外部完成的计算是正确的。这意味着,不需要在链上完成所有工作(这可能会很慢且昂贵),而是将繁重的计算工作放在链下完成,并且只将结果的证明存储在区块链上。 主要优势...
ERC4337 和智能钱包的安全注意事项
账户抽象 账户抽象是一个广泛的话题,但在非常高的层面上,其理念是将账户的概念抽象为一个智能合约(即 智能钱包),这比大多数人今天在与区块链交互时使用的外部拥有账户(EOA)提供了更多的灵活性。其一些好...
哪些AI产品,真的有人在用?
文章来源:定焦 图片来源:由无界AI生成 两年前,ChatGPT爆火,掀起全球范围内的大模型开发热潮。国内大厂和创业公司纷纷入场,试图在AIGC时代占据一席之地。 如今,各家的产品都已铺开落地,和各行...
沃尔玛开始测试自有大语言模型Wallaby,或将用于更多内外部服务场景
文章来源:Allmetas 图片来源:由无界AI生成 近日,据海外媒体报道,零售业巨头沃尔玛(Walmart)已经在开始测试自己的大语言模型Wallaby,并有可能将其用于其他应用场景。 Wallab...
爆火AI编程应用何以单挑微软?Cursor团队2小时访谈揭秘
智东西10月10日消息,当地时间10月7日,知名播客主持人Lex Fridman和Cursor团队4名创始成员Michael Truell、Sualeh Asif、Arvid Lunnemark和Am...
传百度、百川、零一万物逐步放弃预训练大模型,“AI 六小龙”卷得动应用?
文章来源:创头条 图片来源:由无界AI生成 自ChatGPT横空出世,生成式AI迎来了一波创业热潮。 在这波浪潮里,国内诞生了最具代表性的大模型独角兽"AI六小虎",即智谱AI、百川智能、零一万物、月...