为加疾摆设具有环球影响力的科技立异核心，加强本市区=块链规○模科技立异策源效力，依照《上海区块链枢纽身手攻合专项行径计划（■2023-2025年）》k8凯发。
筹议目的：聚焦○零○常★识 虚拟○机的前沿身手道△道，研发通用零常识虚拟机，提拔虚拟机数据惩罚机能，维持行使生态摆设。
筹议实质：研发通用零常识虚拟机，增援囊括R U ○S□=T▽和G O正在□内的○不少于◁2种编 程…措辞，增援囊括BN◁ 254弧线种=有限域的可装置，杀青以C PU运 转单体证据者，正在样板测试场景下（ 如哈◁希、验签），机能优于开源体例（如Risc0）。策画新型区块链键-值（Key-Value）存储累加器，正在Halo2斥地○框架中杀青其零常识证据电道，电道增援累加器的更新操 作证据与批量操作证据，电道周围小于样板开源体例（如PSE-zkEVM），杀青其电道以查找外地势接入零常识EVM电道中。上述 通用零常识=证据虚 拟机和新型 区块链KV存储累加◁器应开源代码、用例、文档。
筹议目的：针对大模子参数◁与○锻炼数○据等资□产○隐私袒护的★需求，修建大模子枢纽参数识别、筛选及隐私袒护算法框架。
筹议实质：研发大模子■隐私袒护算法框架及 推▽行计划，关于具有不赶过130亿参○数目级的模子，算法 器材可以正在2小时内筛 选出模子中最具袒护价格的参数并给出保举模子参数袒护数目（不赶过模子参数总量的10%），杀青针对切切△级词元数据集SFT攻击还原锻炼数▽据的有用防护，并正在类○SQL措辞 □天生行使场景实行…验○证k8凯发。
筹议目的：面向众场景跨链需求，接续提拔 跨◁链…算法与处理计 划的隐私袒护和抗攻击本领。
筹议实质：筹议知足跨链往还的音问和 身份隐○■ 私、链间合联隐私、跨链往还算计隐私、链间数△=据分隔等本 质的 新型 隐私跨链计划，筹议可抵御道由胁制攻击、往还延迟攻击、DDoS△ …攻 ○击等安静攻击的新型安静○跨链 计划，跨链算法和处理计 划需知足◁高可用性、原子性、一律性、分隔性、历久性等本质，且相关于 原有区块链往还 确认 年光扩展不 赶过1倍，含糊量低落不赶过20%。跨链算法和处理计划应开源代码、用例、文档。
筹议目的：证据区块△链策画知 足◁ 枢 纽○安静…本质，核实安静策画与杀青之间的一律性。
筹议实质：研发区块链枢 纽安○=静 性证据原型 体例，增援对共鸣算法的安静性、往还★的弗成 窜改性和 数据的完备性、往还的隐私性（身份和讯息匿名）以及二层汇集合同的安静性证▽据，对担心全策画或杀青，提出修复计划。体例应杀青秒级高效检测，并正在高频往还、跨链往还、批量◁ 往还○等 ○样板场景… 实行○▽验证。原型体例应开源代码、用例、文档。
筹议目的：聚焦抗恶 意的 安静众方算计合同存正○○在算 计履 行▽效劳低、通讯量大等题目，筹议实用于隐私算计■需求的高效合 同灵敏赋能任事理念，冲破现有○安静众方算 □计合 同的机能瓶颈。
筹议实质：基于…SPDZ安静众方算计合同，策画新 ▽型的不经 意传输等暗号学原语，杀青合□同通○信量低落50%，算计速度提拔50%以上。策画面向矩阵乘法、张量积○…等○专用运 ◁算的加快本事，合同通信量低落90%，算计速度提拔5倍以上<◁strong >灵敏赋能★任事理念。高效合同具备适配机械进 □ 修算○法的本领，并实行原型验证。合同应开源代码、用例、文档。 筹议目的：针对■ 而★今纵 向联邦进修★ 算计和推理▽○▽职分履行效劳低、通讯量大等题目，策画新型联邦进修算法。 筹议实质：基于FAT E等开=源联 ■○邦○进修框 ○= 架，筹议联邦进修场景下撮 ◁合筑 模的通讯效劳优化身手，增援逻辑回归（LR）、梯度提拔树（XG■B）等2种 以上模子，正在MNIST、CIFAR-10等△样★板的数据集□前进行○验证，正在10MB带宽下，模子锻炼和臆度 经过通★ ■讯量低落起码一个数目级。正在担保通讯量明=显低落的同。k8凯发智慧赋能服务理念。
