零知识证明

搜索文档
区块链翻译:技术、术语与信任的精准传递
搜狐财经· 2025-09-28 11:44
该领域翻译的难点集中于技术术语的精确性(如"smart contract"需译为"智能合约"而非"智能合同")、新兴词汇的标准化(如"零 知识证明"),以及代码与文本结合的跨维度理解。译者需同时掌握计算机科学、密码学及金融学知识,避免因误译导致技术歧 义或协议漏洞。 区块链翻译对生态发展至关重要。准确的翻译能促进技术全球化传播,助力开源社区协作,并保障法律合规性。实践中需建立术 语库、遵循技术文档规范,并结合上下文验证译文的逻辑一致性,最终实现技术内容与受众认知的无缝对接。 区块链翻译是高度专业化的领域,专注于处理区块链技术相关的文档、白皮书、智能合约代码注释及学术论文等。其核心在于准 确传递分布式账本、加密算法、共识机制等技术概念,同时确保术语的一致性和技术逻辑的严密性。 ...
Cloudflare 的 AI 新叙事:线上内容“做市商”,Agent 互联网流量基建
海外独角兽· 2025-09-12 12:04
编译:Ivy 编辑:Siqi Cloudflare( $NET )是全球最大的 CDN 供应商,同时也提供一系列网络安全相关产品,最新市值已 经达到 782 亿美元。Cloudflare 的业务和产品的演化、迭代是和互联网进化过程紧密联系在一起的, 从简单的"云端防火墙"想法到今天线上流量关键基础设施的过程背后是整个互联网爆发、新需求不 断涌现的过程。 当互联网时代经典的"搜索—分发—流量变现"开始被 AI Chatbots 颠覆,Google 选择通过 AI Mode、 AI Overview "自我革命",Cloudflare 则是试图定义新一代互联网内容经济,提出了 Pay-per-crawl。 "Pay-per-crawl(按爬取付费)"是 Cloudflare 今年 7 月推出的服务,在 Cloudflare 的 CEO Matthew Prince 看来,网站内容创作者被 AI 爬虫爬取内容的无奈只是表象,本质上是互联网的"免费爬取-流 量变现"逻辑正在失效。 虽然" Pay-per-crawl "的商业模式不一定能跑通,但它背后反映的企业家精神很有趣,即使是近 800 亿美金市值的公司,仍然有初 ...
11.7万美元空头清算区引爆市场!最新XBIT揭秘如何护航加密资产安全
搜狐财经· 2025-08-23 13:23
加密市场行情分析 - 比特币报价113,621美元 日内跌幅达2.3% 恐慌指数降至44 [2] - 比特币空头清算区位于11.7万美元 若突破可能推动价格至12万美元上方 [2] - 比特币若跌破11.2万美元 下方支撑将下移至9.7万美元 100日均线约110,950美元成为关键防线 [2] - 以太坊围绕4200美元展开拉锯战 4300-4360美元区间为多空分水岭 [1][4] - 以太坊若突破4300-4360美元区间 可能加速冲刺4750-8000美元 [4] - 以太坊短期受4100-4150美元CME缺口回补需求压制 [4] XBIT交易所技术优势 - 采用零知识证明技术实现链上订单簿与隐私交易结合 [5] - 无需KYC 无封控 无审核 私钥自管 [5] - 通过智能合约自动执行交易 规避中心化交易所跑路风险 [5] - 链上清算机制可避免交易对阻塞导致的滑点问题 [5] - Gas费用仅为ETH的0.2 Gwei 大幅降低高频交易成本 [5] - 动态流动性池功能允许根据市场波动自动调整仓位 [6] - 智能算法在比特币跌破11.2万美元时自动触发止损订单 [6] - 跨链闪兑功能支持3秒内完成跨链资产转换 [9] - 即将上线AI交易助手 通过机器学习提供实时交易建议 [9] 平台业务发展 - 日交易量突破20亿美元 较上月增长150% [11] - 美债代币化服务交易量已突破10亿美元 [8] - 成为机构投资者对冲风险的新工具 [8] 资金流动与机构偏好 - 比特币ETF上周净流出5.23亿美元 [8] - 以太坊ETF逆势流入4.22亿美元 反映机构对智能合约平台的长期看好 [8] 宏观环境影响 - 杰克逊霍尔全球央行年会成为市场焦点 [8] - 交易员看好美联储9月降息50个基点 [8] - 五年期美债避险属性可能分流加密市场资金 [8]
「十年」以太坊的“灵魂之战”
华尔街见闻· 2025-08-14 13:07
在诞生十年并确立市场主导地位之后,以太坊正面临一场关于其核心身份的深刻辩论。 这场"灵魂之战"的关键在于:以太坊的未来是应该成为一个与新兴对手直接竞争的高性能执行层,还是应该巩固其作为全球最安全、最去中心化 的结算层的独特地位,服务于其上蓬勃发展的Layer 2生态系统。 Layer 2指基于底层区块链(通常也称为Layer 1)的链下网络、系统或技术,目的是为了扩展底层区块链网络。相关数据显示,Layer 2交易占比已 达85%,但大额资金仍主要留在以太坊主网。 面对这一矛盾,在近期于戛纳举行的EthCC大会上,多位以太坊生态系统中的创始人、首席执行官和重要建设者向加密行业媒体Cointelegraph分享 了自己的观点,包括以太坊基金会 (EF) 联合执行董事Tomasz Stańczak、Polygon联合创始人Sandeep Nailwal、以太坊法国总裁Jerome de Tychey 等。 Tomasz Stańczak表示,统一生态系统、提升互操作性和改善用户体验已成为过去18个月的首要任务;Polygon Labs的CEO Marc Boiron则警告称, 试图在执行速度上与Solana等新一 ...
从柏林阁楼到4200亿美元帝国:以太坊十年重塑全球金融底层逻辑
智通财经网· 2025-08-04 02:57
以太坊的起源与发展 - 以太坊最初由Vitalik Buterin与一群开发者在柏林简陋的阁楼中开发,推出首个上线网络"Frontier",功能基础但支持挖矿、智能合约和去中心化应用测试 [1] - 以太坊定位为"可编程货币"和"金融操作系统",通过代码实现资金转移和合同自动执行,无需银行或经纪人参与 [1] - 从Alpha阶段发展到价值4200亿美元的平台,重塑华尔街并推动全球去中心化金融、NFT和代币化市场 [1] 以太坊的技术演进 - 2022年以太坊从工作量证明转向权益证明,能耗降低99%以上,为提升速度和降低成本铺平道路 [9] - 未来重点是在保持去中心化和安全性的前提下提升可扩展性和速度,采用零知识证明等技术 [9] - 以太坊经历辉煌与低谷,但比大多数早期竞争对手存活更久,面临速度慢、成本高的批评 [9] 以太坊的金融应用 - 基于以太坊的稳定币支撑数万亿美元的支付、代币化资产和链上资金流动,USDC约65%交易量在以太坊结算 [6] - 德意志银行数据显示2023年稳定币交易额达28万亿美元,超过万事达卡和Visa总和 [6] - 贝莱德在以太坊上推出代币化货币市场基金BUIDL,为合格投资者提供链上收益访问权限 [7] 传统金融机构的参与 - 德意志银行计划在zkSync上构建代币化平台,帮助发行和管理代币化基金及现实世界资产 [6] - Coinbase和Kraken等交易所竞相抓住传统证券与加密货币的交叉点,推出代币化股票等服务 [7] - 机构选择以太坊因其稳定性、可靠性和全球覆盖,尽管存在更快的区块链选项 [7][8] 以太坊的行业地位 - 以太坊占所有稳定币活动的近50%,成为全球金融可信网络 [6] - 行业可能走向整合,以太坊有望成为主导的可编程层,比特币作为补充资产 [8] - 以太坊的全球覆盖、巨额资本流动和极强可编程性是其核心优势 [8] 以太坊的未来展望 - 真正的变革可能是构建新事物并持续发展,而非直接推翻现有体系 [10] - 电汇、股票、房地产等资产正在链上进行,企业可能在未来使用共享基础设施自动执行所有合约 [10] - 以太坊可能成为资金流动的无形但不可阻挡的基础设施 [10]
从RWA到RDA,真数据变真资产,物联网是数据资产化最佳推手
36氪· 2025-07-29 09:51
国家政策与市场动态 - 国家数据局强调推动数据产业从“单点突破”向“全域发展”转型,以构建数字经济体系和发展新质生产力 [1] - 上海数据交易所举行闭门研讨会,十余家顶级金融机构参与探讨RWA与RDA等前沿议题,反映市场与政策合力推动数据资产化发展 [1] RDA(真实数据资产)核心定义与机制 - RDA是RWA的延伸,强调数据真实性校验和价值增益作用,通过封装实体资产运营数据提升资产信用、透明度和可监管性 [5] - RDA需完成数据确权、价值化和金融化全过程,要求数据具备权属明晰、来源可溯、持续流动的特性 [8] - RDA基于数据流构建动态信用与实时定价机制,实现资产估值和风险管理的持续优化 [9] 物联网作为RDA数据供给底座 - 物联网是RDA数据供给的核心来源,通过海量传感器和边缘设备实现实时数据采集,为RDA提供高可信度、强关联性、可追溯的基础数据 [6][7] - 物联网赋予数据资产动态可追踪的生命力,使数据具备流动性、可验证性和可交易性,支撑金融创新和产业变革 [8] - 物联网设备从数据生产者升级为数据资产主动确权者,推动数据从“资源”到“资产”的质变 [7][17] 物联网与RDA协同应用场景 - 动力电池全生命周期管理:通过物联网采集充放电、温度、循环次数等数据,实现资产评估、溯源和回收透明化,支撑二手电池金融和绿色信贷 [8] - 海上风电运维:风机运行工况、振动、能耗等数据通过RDA确权,支持远程智能运维和金融定价及保险理赔 [9] - 冷链药品监管:物联网采集温湿度、定位信息,RDA保障数据可信与合规,助力药品安全溯源和动态信用评估 [9] - 工业设备融资:注塑机接入物联网后,动态运营数据可降低金融机构风险权重20%,质押率提升,年息从9%降至6% [17] 物联网+RDA+稳定币的三元闭环生态 - 物联网设备通过RDA实现数据确权和资产化,成为独立参与价值流动的数字主体,唤醒边缘数据参与价值分配 [13] - 稳定币为RDA交易提供定价和结算单位,推动设备间自主交易和自动结算,实现机器对机器(M2M)无摩擦经济活动 [14] - RWA(物理资产上链)与RDA(数字孪生资产)打通,实现资产透明化、流动化和金融化,形成“可信资产—真数据—自动结算”闭环 [15] - 分布式能源场景:边缘节点(光伏、储能电池等)通过实时数据流自主定价并参与电力现货交易,提升能源市场灵活性和透明度 [19] 技术保障与风险控制 - 隐私计算与零知识证明技术保障数据在不泄露明文的前提下实现计算与验证,解决工业数据上链的安全顾虑 [18] - 硬件信任根(Root-of-Trust)机制支持远程熔断,确保数据流真实性与可追溯性,防止数据伪造导致的信用虚高 [19] 产业价值重估与未来趋势 - 物联网企业从“数据生产者”转型为“数据银行家”,主导数据资产化与金融化,成为产业链核心价值节点 [20] - RDA与AI+IoT协同推动AI智能体从认知智能跃迁至价值智能,实现自我金融化、自主决策与价值流转 [20] - 数据服务商可基于RDA提供数据治理与流通服务,金融机构可创新动态信用、智能风控和自动化金融产品 [20]
共青年之智,铸AGI未来|2025 WAIC云帆奖得主名单揭晓
机器之心· 2025-07-29 06:38
2025 WAIC 云帆奖颁奖典礼 - 活动由上海人工智能实验室、机器之心、全球高校人工智能学术联盟联合主办,并得到东方菁汇、长三角国家技术创新中心、真格基金、中国联通等机构支持 [1] - 汇聚150余位产学研资核心力量,包括AI技术产业领袖、学术新锐和顶尖投资人 [1] - 设立「璀璨明星」和「明日之星」两大奖项,并创新性增设「提名奖」完善人才体系 [2][6] 璀璨明星得主成就 - 陈建宇:UC Berkeley博士,机器人与AI领域发表70+篇顶会论文,入围RSS 2024等国际会议优秀论文奖,福布斯中国"30Under30" [14] - 高阳:伯克利博士,开发OneTwoVLA模型提升泛化能力,EfficientZero系列为全球样本效率最高强化学习算法,创立千寻智能完成多轮融资 [16] - 何聪辉:清华博士,创建OpenDataLab开源平台(GitHub星标4万+),获"戈登•贝尔"奖,负责浦江书生大模型数据体系 [18] - 刘邦:MetaGPT联合发起人,构建材料科学大模型推动新材料智能设计,获2024云帆奖等多项荣誉 [20] - 王翔:中科大教授,谷歌学术引用2万+,获ICLR杰出论文奖、MIT TR35榜单等 [24] 明日之星得主成就 - 陈天龙:UNC助理教授,研究方向包括多模态学习与大语言模型,获Amazon Research Award等多项荣誉 [37] - 陈小康:DeepSeek AI研究员,主导Janus-Series多模态大模型项目(GitHub星标2万+,Huggingface百万下载) [39] - 崔淦渠:清华博士,大模型对齐技术研究者,开发UltraFeedback等数据集,谷歌学术引用1.1万+ [41] - 傅朝友:VITA多模态大模型系列开发者(GitHub星标3千+),创建Awesome-MLLM社区(星标1万+) [43] - 骆昱宇:港科大(广州)助理教授,Text2SQL技术落地华为/国家电网,获SIGMOD 2023最佳论文奖 [53] 技术突破方向 - 具身智能:高阳开发OneTwoVLA实现推理与动作无缝切换,顾家远获SIGGRAPH 2025最佳论文奖 [16][47] - 多模态大模型:陈小康Janus-Pro项目解耦视觉编码技术被业界广泛采用,傅朝友VITA系列推动多模态发展 [39][43] - AI硬件:张宸研究智能处理器架构突破算力/能耗瓶颈,龚睿昊高效学习系统被AMD/英特尔集成 [30][45] - 强化学习:吴翼开发MADDPG/MAPPO算法(多智能体强化学习最高引),于力军参与Gemini项目获ICML最佳论文 [26][59]
美股行情狂飙!标普纳指创新高背后,XBIT如何筑牢安全护城河?
搜狐财经· 2025-07-22 08:31
零知识证明+分布式冷存储:隐私保护无死角。XBIT采用零知识证明技术,允许用户在不泄露交易细节的情况下完成验证,结合环签名技术隐藏交易方身份。其 分布式冷存储网络将95%资金存放在离线设备中,彻底杜绝中心化交易所的资金池风险。例如,用户可通过私钥自主掌控资产,无需依赖第三方托管,避免黑客攻 击或平台跑路导致的损失。 智能合约自动化:交易效率与公平性双提升。XBIT的智能合约机制覆盖交易结算、资产托管全流程。在Meme币交易中,智能合约可实现0.1%滑点的快速结算, 并确保交易条款不可篡改。例如,用户参与"Meme孵化器"计划时,合约自动执行质押代币的收益分配,避免人为干预。 币界网7月21日讯,近期美股市场在波动中持续走强,标普500与纳斯达克指数双双刷新历史纪录。XBIT去中心化交易所平台分析师指出,这一轮行情得益于企 业财报超预期、美联储降息预期升温以及政策端的短期利好。然而,在全球贸易摩擦与地缘政治风险交织的背景下,投资者对资产安全与交易透明度的需求愈 发迫切。 美股创新高背后的逻辑:财报与政策双轮驱动 截至7月20日,标普500指数成分股中已有12%公布二季度业绩,其中83%企业盈利超出预期。科技板块 ...
区块链在网络安全中的实际应用
搜狐财经· 2025-07-04 08:45
核心观点 - 区块链技术凭借去中心化、不可篡改、透明可追溯的特性,正在成为网络安全领域的破局者,构建多维安全防护体系[1] - 区块链与AI、物联网、边缘计算等技术深度融合,形成智能防御网络,提升抗攻击能力[6][8][13] - 区块链在身份管理、供应链追溯、医疗数据安全等领域实现规模化应用,显著提升效率并降低风险[3][5][7] 核心应用场景 去中心化身份管理与零信任模型 - 区块链的自我主权身份技术允许用户完全掌控个人信息,通过智能合约实现按需授权,如南京市民政局养老服务APP构建安全可信的志愿者身份认证体系[3] - 某政务大厅引入区块链+人脸识别系统后,身份冒用事件同比下降85%,业务处理效率提升40%[3] 不可变的审计追踪与威胁情报共享 - 某DeFi项目通过区块链记录每笔交易细节,发生智能合约漏洞攻击时可快速定位恶意交易并冻结资产,避免数百万美元损失[4] - IBM的Blockchain Threat Intelligence Platform允许企业安全团队实时共享威胁数据,形成一处发现、全网防御的联动效应[4] 供应链与医疗数据的端到端安全 - 某奢侈品品牌通过区块链为商品创建数字孪生,全流程数据上链,假货率降低至0.1%以下[5] - 浙江大学医学院附属邵逸夫医院实现基于区块链的商保零感知理赔,流程从18个环节缩减至2个,周期从数月压缩至分钟级[5] 物联网与工业控制系统的抗攻击能力 - 某智慧城市项目中,智能电表数据通过区块链实时广播,DDoS攻击成功率降低90%[6] 技术突破 隐私保护与量子安全 - 某跨境支付平台采用zk-STARKs方案,验证时间从10秒缩短至0.5秒,吞吐量提升至每秒2000笔[7] - 某政务区块链项目采用Lattice-based签名算法后,抗量子攻击能力达到NIST标准第三级,密钥长度仅为传统方案的1/3[7] AI与区块链的深度融合 - 某银行将AI异常交易监测模型与区块链存证结合,欺诈拦截效率提升92%[8] - 中山大学团队开发的AI算法DeepGrading追踪病情变化误差率<16%,结合区块链存证确保数据不可篡改[8] 跨链互操作与智能合约安全 - 某跨链桥项目采用分层验证架构,验证节点从21个扩展至500+,攻击面缩小90%[9] - AI辅助的形式化验证工具结合模糊测试,漏洞发现率提升至90%以上[9] 未来趋势 - AI与区块链结合实现预测-防护-自愈闭环,如某交易所AI防御系统可在30秒内识别新型钓鱼攻击[13] - 抗量子算法将成为主流公链标配,保障数字资产长期安全[13] - 轻量化协议推动区块链在物联网、工业互联网等边缘场景的规模化应用[13]
CertiK 荣获以太坊基金会两项资助,领跑 zkEVM 形式化验证
Globenewswire· 2025-05-14 14:00
文章核心观点 以太坊基金会公布 2025 年第一季度研究资助名单,CertiK 获两项源于 zkEVM 形式化验证竞赛的资助,彰显其在零知识证明系统形式化验证领域的全球技术领导力,其工作将为以太坊生态系统的可扩展性和安全性提供保障并为其他区块链项目树立标杆 [1][3] 公司情况 - CertiK 获以太坊基金会 2025 年第一季度两项研究资助,源于 zkEVM 形式化验证竞赛 [1] - CertiK 的“先进形式化验证”技术相比传统方案有四大突破,适合处理复杂零知识证明系统 [1][2] - CertiK 自创立以形式化验证为核心技术,依托学术成果为 Web3 项目提供安全服务 [1] - CertiK 去年完成 zkWasm 电路的首次完整形式化验证 [2] - CertiK 的形式化验证技术在多个 Web3 顶级项目和基础设施中广泛应用 [2] 行业情况 - zkEVM 通过零知识证明实现以太坊可扩展性,但面临安全风险,形式化验证是确保其正确性和安全性的关键工具 [2] - 随着区块链技术发展,特别是零知识证明系统广泛应用,形式化验证将成确保系统安全和可靠性的关键工具 [3]