【蚂蚁链隐私协作平台AntChain FAIR引入基于零知识证明的可验证计算技术】

【蚂蚁链隐私协作平台AntChainFAIR引入基于零知识证明的可验证计算技术】2023年07月08日01点27分7月8日消息，在2023世界人工智能大会全球区块链产业高峰论坛上，蚂蚁链宣布隐私协作平台AntChainFAIR进行全新架构升级，引入零知识证明（ZKP）为核心的可验证计算技术，从可信数据流转拓展到计算过程、数据属性以及身份的可验证。此外蚂蚁链FAIR在可信计算架构中加入新型零知识证明虚拟机zkWASM，实现指令级别的可证明特性，可以依托WASM多语言生态将多种前端语言编写的算法程序进行证明转化，而无需关心底层复杂的算法细节，提升开发应用的友好性。FAIR是蚂蚁链面向数据流转推出的隐私协作平台，综合了区块链和隐私计算的优势，协作流程由智能合约驱动，数据流转由隐私计算引擎来解决，并通过区块链技术确权，登记和交易共识，可以解决数据流通过程中，数据共享与隐私保护之间的天然矛盾。目前FAIR已经在杭数交、贵数所等多家数据交易所得到应用。

PADO 与 ArweaveAO 合作发起可验证机密计算 VCC

PADO与ArweaveAO合作发起可验证机密计算VCCzkFHE计算网络PADO与Arweave超级计算机AO合作发起可验证机密计算VCC，VCC将建立在AO上。PADO将逐步建立基于AO的去中心化计算机单元，并将使用Arweave区块链作为隐私数据存储层。用户可以通过PADO的zkFHE技术加密自己的数据，并将其安全地存储在Arweave区块链上。AO生态系统内的任何计算请求都将通过AO调度单元发送到PADO独家计算单元，计算机单元将计算任务发送到zkFHE计算节点。这些计算节点在Arweave上检索到用户的密文数据后，根据计算请求的要求完成相应的全同态计算和计算完整性证明。

【区块链技术公司Jiritsu获得1020万美元融资用于开发可验证计算】

【区块链技术公司Jiritsu获得1020万美元融资用于开发可验证计算】2023年09月19日10点10分老不正经报道，可验证计算区块链公司Jiritsu在两轮融资中总共筹集1020万美元。融资由gumiCryptosCapital领投，SusquehannaPrivateEquityInvestments、LLLP、RepublicCapital和其他投资者参与。Jiritsu今天还推出了其资产代币化平台TomeiRWA。该公司计划利用新资金“加速UVC平台和TomeiRWA的开发和采用”。

基于中性镱原子的擦除转换方案 极大地增强了量子计算机的纠错能力

基于中性镱原子的擦除转换方案极大地增强了量子计算机的纠错能力在2022年8月9日发表于《自然通讯》期刊上的一篇文章中，由普林斯顿大学的电气与计算机工程副教授JeffThompson带领的一支研究团队，详细介绍了一种可让量子计算机更有效纠错的新方法。据悉，尽管量子计算机具有化解传统计算机难以搞定的复杂问题的巨大潜力，但要求极高的敏感运行条件，也成为了影响量子计算机普及的一大阻碍。PC版：https://www.cnbeta.com/articles/soft/1321375.htm手机版：https://m.cnbeta.com/view/1321375.htm