全球数字财富领导者
美股投研
|
客户端
|
旧版
|
北美站
|
FX168 全球视野 中文财经
首页
资讯
速递
行情
日历
数据
社区
视频
直播
点评旗舰店
商品
SFFE2030
外汇开户
登录 / 注册
搜 索
综合
行情
速递
日历
话题
168人气号
文章
美股开盘:道指跌近200点 科技股多数走低阿里巴巴跌超2%
go
lg
...
% Faraday Future
Intelligent
Electric Inc未来美股盘前跌超33%。该公司计划反向拆股,推迟新车交付时间。 阿里巴巴换帅:张勇卸任董事长和CEO,蔡崇信和吴泳铭接任 据阿里巴巴官方微信公众号消息,张勇将于今年9月10日卸任阿里巴巴控股集团董事会主席兼CEO职务,集团执行副主席蔡崇信将出任阿里巴巴控股集团董事会主席,吴泳铭出任阿里巴巴控股集团CEO,同时继续兼任淘天集团董事长。 蔚来获阿布扎比主权基金11亿美元投资 蔚来与阿布扎比投资机构CYVN Holdings签订股份认购协议。根据协议,CYVN Holdings将通过定向增发新股和老股转让的方式向蔚来进行总计约11亿美元的战略投资。CYVN Holdings是阿布扎比政府持有多数股权的投资机构,聚焦在先进、智能的移动出行领域进行战略投资和布局,并致力于与全球该领域的行业领导者合作。
lg
...
金融界
2023-06-20
EVM创新热潮下 谁是赢家?
go
lg
...
存在一个安全门,你相信它是安全的,因为
Intel
或Apple建造了它,但世界上有足够多的安全破坏者(包括黑客和其他计算机),可以破坏这扇安全门。TEE不是“后量子安全”的,这意味着拥有无限资源的量子计算机可以破解TEE的安全性。随着计算机迅速变得更加强大,我们必须在构建长期计算系统和密码学方案时牢记后量子安全性。 安全多方计算(SMPC) SMPC(安全多方计算)也是区块链技术从业熟知的一种计算方案,在SMPC网络中大致的工作流程会有如下3部分组成: 步骤1:将计算的输入转换为份额(shares),并分布在SMPC节点之间。 步骤2:进行实际的计算,通常涉及SMPC节点之间的消息交换。在此步骤结束时,每个节点将拥有计算输出值的一个份额。 步骤3:将结果份额发送到一个或多个结果节点,这些节点运行LSS(秘密分享恢复算法)以重构输出结果。 想象一个汽车生产线,汽车的构建和制造组件(发动机、车门、后视镜)被外包给原始设备制造商(OEM)(工作节点),然后有一个装配线,将所有组件组装在一起制造汽车(结果节点)。 秘密分享(Secret sharing)对于保护隐私的去中心化计算模型非常重要。这可以防止单个参与方获得完整的"秘密"(在这种情况下是输入),并恶意产生错误的输出。SMPC可能是最容易和最安全的去中心化系统之一。虽然目前不存在一个完全去中心化的模型,但从逻辑上讲这是有可能的。 像Sharemind这样的MPC提供商为计算提供MPC基础设施,但提供商仍然是集中的。如何确保隐私,如何确保网络(或Sharemind)没有恶意行为?这就是zk证明和zk可验证计算的由来。 Nil Message Compute(NMC) NMC是由Nillion团队开发的一种新的分布式计算方法。它是MPC的升级版,其中节点无需通过通过结果交互来进行通信。为此,他们使用了一种称为一次掩码(One-Time Masking)的密码原语,利用一系列称为遮蔽因子(blinding factors)的随机数来掩盖一个Secret,类似于一次性填充。OTM旨在以高效的方式提供正确性,这意味着NMC节点不需要交换任何消息来执行计算。这意味着NMC不会有SMPC的可扩展性问题。 零知识可验证计算 ZK可验证计算(ZK Verifiable Computation)是对一组输入和一个函数生成零知识证明,并证明任何系统执行的计算都会是正确执行的。尽管ZK验证计算是新生事物,但它已经是以太坊网络扩展路线图中一个非常关键的部分, ZK证明有各种各样的实现形式(如下图所示,根据论文“Off-Chaining_Models”中总结): (来源:IOSG Ventures, Off-chaining Models and Approaches to Off-chain Computations, Jacob Eberhardt & Jonathan Heiss) 上面我们对zk证明的实现方式有了基本的了解,那么使用ZK证明验证计算需要什么条件呢? 首先,我们需要选择一个证明原语,理想的证明原语生成证明的成本低,对内存的要求不高,并且要易于验证 其次,选择一种zk电路,设计用于通过计算生成上述原语的证明 最后,在某个计算系统/网络中通过提供的输入对给定的函数进行计算并给出输出。 开发者的难题 - 证明效率困境 另外一个不得不说的事情就是构建电路的门槛还是很高,让开发者学习Solidity已经不是一件容易的事情,现在要求开发者学习Circom等来构建电路,或者学习一门特定的编程语言(如Cairo)来构建zk-apps,这似乎是一个遥不可及的事情。 如上面的统计数据显示,将Web3的环境改造得更适于开发,似乎比将开发人员引入新的Web3开发环境更具可持续性。 如果ZK是Web3的未来,Web3应用程序需要使用现有的开发人员技能来构建,那么ZK电路就需要这样设计:支持由JavaScript或Rust等语言编写的算法执行的计算生成证明。 这样的解决方案确实存在,笔者想到的是两个团队:RiscZero和Lurk Labs。两个团队都有一个非常相似的愿景,即他们允许开发人员无需经历陡峭的学习曲线即可构建zk-app。 Lurk Labs还处于早期阶段,但该团队已经在这个项目上工作了很长时间。他们专注于通过通用电路生成Nova证明(Nova Proof)。Nova证明是由卡耐基梅隆大学的Abhiram Kothapalli和微软研究院的Srinath Setty以及纽约大学的 Ioanna Tziallae 提出的。与其他SNARK系统相比,Nova证明在进行增量可验证计算(IVC)方面具有特殊优势。增量可验证计算(IVC)是计算机科学和密码学中的一个概念,旨在实现计算的验证,而无需从头开始重新计算整个计算。当计算时间长且复杂时,需要针对IVC对证明进行优化。 Bonsai网络设计的美妙之处在于计算可以初始化,验证,输出全部做到链上。所有这些听起来都像是乌托邦,但STARK证明也带来了问题——验证成本太高。 Nova证明似乎非常适合重复计算(它的折叠方案经济高效)和小型计算,这可能使Lurk成为ML推理验证的一个很好的解决方案。 谁是赢家? (来源:IOSG Ventures) 一些zk-SNARK系统在初始设置阶段需要一个可信的设置过程,生成一组初始参数。这里的信任假设是,可信的设置是诚实执行的,没有任何恶意行为或篡改。如果受到攻击,可能会导致创建无效的证明。 STARK证明假设低阶测试的安全性,用于验证多项式的低阶性质。它们还假设哈希函数表现得像随机预言机一样。 两个系统的正确实施也是一个安全假设。 SMPC网络依赖于以下几点: SMPC参与者可以包括“诚实但好奇“的参与者,他们可以通过与其他节点通信来尝试访问任何底层信息。 SMPC网络的安全性依赖于参与者正确执行协议并不故意引入错误或恶意行为的假设。 某些SMPC协议可能需要一个可信的设置阶段来生成加密参数或初始值。这里的信任假设是可信设置被诚实执行。 与SMPC网络相同,安全假设保持不变,但由于OTM(Off-The-Grid Multi-party Computation)的存在,不存在“诚实但好奇“的参与者。 OTM是一种多方计算协议,旨在保护参与者的隐私。它通过使参与者在计算中不公开其输入数据来实现隐私保护。因此,“诚实但好奇“的参与者不会存在,因为他们无法通过与其他节点通信来试图访问底层信息。 有明确的赢家吗? 我们不知道。但每种方法都有自己的优点。虽然NMC看起来像是SMPC的明显升级,但该网络还没有上线,也没有经过实战测试。 使用ZK可验证计算的好处是它是安全和隐私保护的,但它没有内置的秘密共享功能。证明生成和验证之间的不对称使它成为可验证外包计算的理想模型。如果系统使用纯粹的zk验证计算,则计算机(或单个节点)必须非常强大才能执行大量计算。为了在保护隐私的同时启用负载共享和平衡,必须有秘密共享。在这种情况下,像SMPC或NMC这样的系统可以与像Lurk或RiscZero这样的zk生成器相结合,以创建强大的分布式可验证外包计算基础设施。 当今的MPC/SMPC网络是中心化的,这一点变得尤为重要。目前最大的MPC提供商是Sharemind,它上面的ZK验证层可以证明是有用的。去中心化MPC网络的经济模型尚未跑通。理论上,NMC模式是MPC系统的升级,但我们还没有看到其成功。 在ZK证明方案的竞赛中,可能不会出现赢家通吃的情况。每种证明方法都针对特定类型的计算进行了优化,并且没有一个适合所有类型的模型。计算任务的类型有很多种,也取决于开发人员在每个证明系统上做出的权衡。笔者认为基于STARK的系统和基于SNARK的系统以及它们未来的优化在ZK的未来都有一席之地。 来源:金色财经
lg
...
金色财经
2023-06-20
英特尔斥资330亿美元在德国“建厂” 政府将承担三分之一建设成本
go
lg
...
北美)讯 周一(6月19日),英特尔(
Intel
)与德国政府签署的一项协议。根据这项协议,英特尔将在德国东部城市马格德堡投资超过300亿欧元(328亿美元)建设一个芯片制造基地。德国总理奥拉夫·肖尔茨在周一称这是德国有史以来最大的外国投资。 据知情人士透露,柏林已同意向这家美国芯片制造商提供近100亿欧元的补贴。这比最初向英特尔提供的68亿欧元以建设两个先进工厂的初步提议要多。 英特尔首席执行官Pat Gelsinger表示,他对德国政府和马格德堡所在的萨克森-安哈尔特州表示感谢,他们“实现了在德国和欧盟建立一个充满活力、可持续发展、领先的半导体行业的愿景”。 在Pat Gelsinger的领导下,英特尔一直在全球各大洲投资数十亿美元建设工厂,以恢复其在芯片制造业中的优势地位,并与竞争对手AMD、英伟达和三星等公司展开更好的竞争。 在周一签署协议后,Pat Gelsinger表示:“今天的协议对于德国作为一个高科技生产地和我们企业的韧性来说是一个重要的里程碑。通过这项投资,我们在技术上正在迎头赶上全球最好的水平,并扩大我们自己的微芯片生态系统的发展和生产能力。” 德国的这项协议是英特尔在四天内的第三笔重大投资。上周五,英特尔公布了在波兰的价值46亿美元的芯片工厂计划,而以色列则在周日宣布英特尔将在该国投资250亿美元建厂。 根据麦肯锡的数据,全球半导体制造业预计到2030年将成为一个万亿美元的产业,从2021年的6000亿美元扩大。 美国和欧洲都试图通过国家补贴和有利的立法吸引大型工业企业,而德国则担心失去其作为投资地的吸引力。柏林政府对科技公司提供大量的补贴,旨在吸引它们在德国设立业务。这主要是出于对供应链脆弱性的担忧,以及对从韩国和台湾进口芯片的依赖。 德国贸易和投资发展机构的首席执行官Robert Hermann表示:“英特尔在马格德堡扩大投资的规模比言辞更能说明德国作为高科技商业地点的吸引力。” 柏林还在与台积电和瑞典的电动汽车电池制造商Northvolt讨论在德国设立生产基地的可能性。此前,柏林已成功说服特斯拉在德国建立其首个欧洲超级工厂。 根据这段文本,法兰克福上市的英特尔股票在格林威治标准时间15:34时上涨了0.3%。 周一的协议包括英特尔表示的政府支持增加,包括激励措施,反映了该项目自2022年3月首次宣布以来范围的扩大。最初,英特尔计划在马格德堡工厂投资170亿欧元,这一金额已经增加到超过300亿欧元。 德国经济部长Robert Habeck表示:“这表明德国是一个非常有吸引力的地点。我们在全球竞争的前沿发挥作用,确保可持续的、有资质的工作岗位和价值创造。” 英特尔表示,第一家位于马格德堡的工厂预计将在欧洲委员会批准补贴方案后4-5年开始运营。 美国芯片制造商表示,第一次扩建将创造约7,000个建筑工作岗位,以及英特尔约3,000个高科技岗位和整个行业的数万个工作岗位。 去年,英特尔宣布计划在德国建造一个大型芯片工厂,并在爱尔兰和法国建立设施,以从欧洲委员会更容易的资金规则和补贴中获益。欧盟正试图减少对美国和亚洲芯片供应的依赖。 Pat Gelsinger上周五表示,德国提供的补贴金额与英特尔所需金额之间的差距太大,但他表示预计将达成协议,并补充说他的要求是具有成本竞争力。“我们把这个产业输给了亚洲,如果我们要把它带回来,我们必须具备竞争力。”
lg
...
楼喆
2023-06-20
港股日报 | 恒生指数跌0.64%,南向资金净买入71.06亿港元,汽车板块领涨
go
lg
...
LAND HOLD、SPROCOMM
INTEL
,分别下跌33.33%、29.35%、22%、19.9%和18.24%。 本条资讯来源界面有连云,内容与数据仅供参考,不构成投资建议。AI技术战略提供为有连云。
lg
...
有连云
2023-06-19
德国政府于英特尔就芯片制造工厂展开谈判,补贴金额或高达99亿欧元
go
lg
...
16日)表示,德国政府正与英特尔公司(
INTEL
)就在德国境内建立一家新的芯片制造工厂的计划进行密集谈判,但没有透露英特尔公司将因该项目获得多少政府资助。 德国经济部表示:“政府的目标很明确:我们希望加强德国作为微电子产业所在地的地位。这对转型和技术主权非常重要,因此我们正在进行密集谈判。”政府发言人没有透露英特尔公司将从德国中部城市马格德堡获得多少国家补贴。 德国总理朔尔茨在柏林的新闻发布会上表示:“许多公司目前正在德国半导体行业做出重大投资决定,这是个好消息。如果所有这些计划都成为现实,那么这里就会有很多东西。我们正在与一些公司进行详细讨论。” 德国《商报》周四报导称,这家美国公司预计将获得99亿欧元(108.4亿美元)的补贴,高于此前承诺的68亿欧元。 德国政府发言人表示,德国总理朔尔茨将于周一会见英特尔首席执行官Pat Gelsinger。此前《商报》曾报道,双方的最终谈判将在周末进行。 英特尔去年宣布了一项在欧洲的扩张计划,当时的规模为330亿欧元,其中包括在法国建立一个研究中心,以及扩大其在爱尔兰现有的芯片工厂。目前英特尔的芯片制造中心主要集中在东亚,但马格德堡在竞标中击败了欧洲其他城市,成为了英特尔欧洲计划中的领头羊。 一位知情人士表示,德国总理朔尔茨领导的政府愿意向英特尔国公司提供更多的国家补贴,但前提是英特尔必须大幅增加对这家工厂的总体投资。其中一名知情人士表示,政府援助将通过多种机制提供,包括价格上限。 英特尔最初估计,德国的项目将耗资170亿欧元,但现在预计将耗资300亿欧元。知情人士透露,与大多数将通过欧盟《芯片法案》获得政府资助的项目一样,英特尔预计其项目的大约40%将获得补贴。
lg
...
迪星妮
2023-06-16
港股日报 | 恒生指数涨1.07%,南向资金净卖出96.26亿港元,汽车板块领涨
go
lg
...
个股分别是世大控股、SPROCOMM
INTEL
、阿仕特朗金融、联洋智能控股、智纺国际控股,分别上涨78.95%、54.37%、28.07%、25.32%和25%。 跌幅前五的个股分别是瑞斯康集团、金石资本集团、粤港湾控股、江苏创新、中国创意控股,分别下跌77.4%、30%、23.6%、22.58%和21.88%。 本条资讯来源界面有连云,内容与数据仅供参考,不构成投资建议。AI技术战略提供为有连云。
lg
...
有连云
2023-06-16
菲菱科思:中信建投、平安基金等多家机构于6月12日调研我司
go
lg
...
换机的硬件开发能力,同时也启动了基于
intel
至强系列 x86CPU 的 COM-E 模块开发。公司具有 400G 核心交换机产品硬件开发能力和制造能力,对于高端交换机在硬件方面公司储备了从整机设计、信号仿真、板内大电流电源等研发技术;在软件能力方面,公司底层驱动方面的能力也是在不断提升中。 问:请公司交换机业务在国内市场占有率情况? 答:0您好,公司主要从事数据通信网络设备产品的研发和制造,主要产品有交换机、路由器和无线产品等。公司交换机产品占主营业务收入约 90%,当前,公司生产制造的园区网交换机在国内该细分领域出货市占率排名位于前列。 问:公司今年第一季度的净利润率增加原因? 答:1您好,主要原因为公司的部分客户和产品结构调整影响。 问:公司目前整体产能利用率情况? 答:2您好,公司在深圳园区本月产能利用率较高,约为 95%以上;浙江海宁园区内目前产能利用率约为 70%。从 5 月中下旬开始截止目前,公司整体订单情况较好。 菲菱科思(301191)主营业务:网络设备的研发、生产和销售。 菲菱科思2023一季报显示,公司主营收入5.05亿元,同比下降15.17%;归母净利润5525.32万元,同比下降17.46%;扣非净利润5300.25万元,同比下降16.44%;负债率30.85%,投资收益1.35万元,财务费用-441.81万元,毛利率19.6%。 该股最近90天内共有3家机构给出评级,买入评级3家;过去90天内机构目标均价为122.0。 以下是详细的盈利预测信息: 融资融券数据显示该股近3个月融资净流入4464.2万,融资余额增加;融券净流入7.15万,融券余额增加。根据近五年财报数据,证券之星估值分析工具显示,菲菱科思(301191)行业内竞争力的护城河一般,盈利能力良好,营收成长性一般。财务相对健康,须关注的财务指标包括:应收账款/利润率。该股好公司指标3.5星,好价格指标2.5星,综合指标3星。(指标仅供参考,指标范围:0 ~ 5星,最高5星) 以上内容由证券之星根据公开信息整理,由算法生成,与本站立场无关。证券之星力求但不保证该信息(包括但不限于文字、视频、音频、数据及图表)全部或者部分内容的的准确性、完整性、有效性、及时性等,如存在问题请联系我们。本文为数据整理,不对您构成任何投资建议,投资有风险,请谨慎决策。
lg
...
证券之星
2023-06-15
不是MI300不好,而是市场预期太高
go
lg
...
成功在目前阻碍了AMD进入该市场并利用
Intel
CPU。该公司面临着不参与可能在未来5年或更长时间内推动数据中心大部分增长的领域的最终风险。 正如先前的研究所讨论的,AMD在未来几年内有望实现每股收益超过5美元。考虑到英伟达的巨额收入增长,在AI领域取得的热门产品将为这些预估提供巨大的增长空间。 总结 AMD可能在接下来的几周或几个月内横盘,直到该公司提供更多关于AI芯片销售的实质性信息。触发因素可能是7月底发布的Q2财报后的下半年业绩展望,或者可能是MI300发布的另一个活动。关键是投资者不知道AI热潮何时将回归该股票,但AMD极有可能在未来一年中获得巨大的增长,因为MI300 AI芯片系列具有巨大的潜力。 $美国超微公司(AMD)$ $英特尔(INTC)$ $英伟达(NVDA)$
lg
...
老虎证券
2023-06-14
Arweave 亚洲夏季黑客松开营倒计时
go
lg
...
、Giveaway、UPDAO、YZ
Intelligence
和DB3。 同时也感谢LXDAO、BeWater、PKU链协、WTF、泰莱大学、深大链协、成都信息工程大学学生链协、港中深新增合作社区的支持。 本次活动将采用线上授课制,课程时长持续两个半月,丰富的学习资源和强大的导师团队已经齐备,翘首以盼你的加入! 课程设置将遵循从基础认知到工程实践的原则,将从由PermaDAO优秀的贡献者橙子、Marlbolo和Kyle发起的 Arweave 基础理论知识入手,再到开发公会负责人Webber与Sandy老师带来的手把手代码实操课程,逐层深入到 everPay 、Permaswap等核心组件的开发。另外在7月初开发者自由组队期间,同步会有丰富的生态导师讲解实战业务,为大家展开Arweave生态的可能性: KNN3、Mind Network、DB3、Adot、Metaforo、ReadON和Weweave等各类项目导师将知无不言! 课程详情如下: 除了导师阵容,本次评审阵容异常强大,将分为生态评委、赞助评审、社区评审和媒体评审四组。其中生态评审打分占比50%、赞助评审打分占比40%、社区与媒体评审打分占比10%。 生态评委共有11位由 Arweave 创始人 Sam 、everVision 创始人 Outprog、MaskNetwork的CTO刘怿斯、KNN3联合创始人Tomas Yu、MindNetwork首席安全官Dennis、DB3的联合创始人王太泽以及Muran、ReadON的CTOJ兼联合创始人TroyHua、Metaforo创始人Yao、Permaswap核心开发Jay以及everpay核心开发Sandy组成。 赞助评审有7位,他们分别是AWS Web3 Tech Lead郝志煜、SevenX投资总监Hill、DODO CEO Radar Bear、Giveaway开发主管Ken、UPDAO Co-Founder Mark Wang、YZ
Intelligence
售前架构师负责人柏飞、DB3 Co-Founder Muran。 社区评审同样也有11位,他们是TintinLand社区主管Tracy、登链社区发起人Tiny熊、Rebase社区联合发起人Shootrt、SeeDAO原规则共同设计者咖啡、BuilderDAO投研公会负责人Jane、MoleDAO Co-builder Allan、AvatorDAO合伙人蒋蒋蒋、Web3Builder.tech核心贡献者兼EthStorage技术负责人Qiang、Afflux联合创始人Lawrence、0xU核心成员Harvey以及LegalDAO联合创始人Turing。 媒体评审共有7位,他们是Odaily的媒体代表、Blocklike市场主管鸭先知、Cointime媒体代表、BlockBeats副主编Jack、PANews运营总监Jeffrey、MarsBit媒体代表以及金色财经内容主编Maxwell。 以上所有的评审将会为我们的参赛作品打出自己的分数。 详情如下: 看了那么多,相信你一定跃跃欲试了,你可以点击此处看一下我们的参赛须知! l点击此处填写报名表,即刻开启你的黑客松之旅!(表单为谷歌表单,需要各位科学上网哦) 如果你只是想围观一下,那也没问题,欢迎加入我们的DC黑客松频道围观讨论,所有黑客松的相关话题都会在里面进行!(也需要科学上网) 最后,我们已经很荣幸地得到了Arweave官方的赞助许可以及多个赞助方的支持,但我们仍然在招募赞助方,因为我们希望Arweave生态的赛事可以被更多的小伙伴关注到! 商务联络人如下: 最后的最后,感谢各位的参与者、导师、社区与媒体的支持! 这个夏天让我们一起期待永久存储的概念能够更加深入人心以及更多优秀的Arweave生态项目,同时期待一下6.15日的开营仪式吧! 来源:金色财经
lg
...
金色财经
2023-06-13
软银愿景基金投资亏惨了!计划大砍投资部门人力 30%员工或受影响
go
lg
...
情人士周一(6月12日)指出,英特尔(
Intel
)正与 Arm 进行谈判,希望成为其 IPO 的主要投资者。消息传出后,软银股价周二(6月13日)早盘上涨5%。 与此同时,软银是金融科技巨头 Klarna 和 TikTok 母公司字节跳动等科技公司的积极投资者,然而在利率大幅攀升和美中紧张局势加剧的情况下,其投资组合的估值已经下降。 虽然软银一直在采取防御策略来支撑其资产负债表,但该集团曾在5月表示,正在寻求“防守与进攻之间的平衡”,这也是一个信号,表明计划于未来投入更多资金。
lg
...
IreneLim
2023-06-13
上一页
1
•••
187
188
189
190
191
•••
233
下一页
24小时热点
中美突发重大表态!前中国高级经济官员:只有美国做到这一点 中国才会谈判
lg
...
【直击亚市】美国对华关税加到245%!特朗普撤回对英伟达豁免,市场大跌黄金冲上3280
lg
...
中美突发消息!彭博:若特朗普展现尊重并指定谈判代表,中国愿意谈判
lg
...
特朗普刚刚传出对华新政策!英伟达:中国出口限制将损失55亿 禁令“扶中压美”
lg
...
3317!特朗普“再放大招针对中国”引发避险潮 黄金首次突破3300美元创历史新高
lg
...
最新话题
更多
#Web3项目情报站#
lg
...
0讨论
#SFFE2030--FX168“可持续发展金融企业”评选#
lg
...
32讨论
#链上风云#
lg
...
82讨论
#VIP会员尊享#
lg
...
1888讨论
#CES 2025国际消费电子展#
lg
...
21讨论