Pi Squared在Polychain Capital的带领下筹集了1250万美元的种子资金,以建造一个由证明提供动力的通用ZK电路

时间:2024-09-22 编辑: 浏览:(435)

【新闻稿——美国伊利诺伊州香槟市,2024年7月2日】

Pi Squared(Proof of Proof)宣布结束其首次融资。该财团由Polychain Capital牵头,包括ABCDE、Bloccelerate、Generative Ventures、Robot Ventures和Samsung Next。天使投资者包括Chu Shumo、Harish Devarajan、Justin Drake、Sreeram Kanaan、Csongor Kiss、George Lambeth、Yilong Li、Calvin Liu、Lucian Mincu、Karthik Raju和Common Prefix。

Pi Squared以一种正确而独特的方式使用零知识(ZK)技术,将为任何区块链或dApp实现无信任的远程计算、人工智能和可互操作的智能合约。这将通过创建一个通用且非常小的ZK电路来实现,该电路检查数学证明的完整性,这将直接从其形式语义为所有语言和虚拟机(VM)提供可验证的计算正确性保证,而无需任何转换为公共语言、VM或指令集架构(ISA)。

Pi Squared首席执行官、伊利诺伊大学厄巴纳-香槟分校CS教授Grigore Roșu表示:“我们的使命是彻底改变可验证计算,使其适用于所有语言和虚拟机,结构固有正确,速度极快。”。“这将有许多应用,包括通用结算层(USL),因此所有区块链,L1和L2,都可以是通用的、正确的、可互操作的和高效的。这还不止于此,我们的长期使命是在USL上结算所有科学和知识。” Polychain Capital的全科医生Karthik Raju表示:“Pi Squared的证明技术将在Web3及其他领域产生变革性影响。”。“Pi Squared的通用ZK电路将显著提高Web3对从建设者到最终用户的覆盖范围和适用性。”

Pi Squared将实现下一代可验证计算,该计算具有通用性和可扩展性,具有最佳的最小信任基础。Pi Squared推出的第一款产品是通用结算层(USL),这是一种模块化区块链架构,具有以下特点:

普遍性

计算可以用任何高级语言或虚拟机语言表达,而不需要编译器或翻译器。

可证明的正确性

USL验证的计算在数学上被证明是正确的,任何外部实体都可以独立验证USL状态的正确性。

信任基础最小化

USL公开了上层计算中的任何信任假设,以提高透明度和最终用户意识,并将通过正确性证明最大限度地减少信任基础。

应用程序互操作性

USL将支持不同应用模块和网络(如应用链)之间的互操作性。

确定性和再现性

验证是可重复的,并可由任何外部实体独立验证。

因此,Pi Squared的USL为通用计算提供了端到端的正确性保证,同时最大限度地减少了这些计算的信任基础。USL将可验证计算推广为标准分布式计算范式,而不需要或推广特定领域特定语言(DSL)、VM或执行环境,同时具有高效和可扩展性。

Pi Squared将于7月8日至11日在布鲁塞尔EthCC周围的活动中进行展示。与会者可以在7月8日的休息和基础设施日和7月9日的L2con上聆听Pi Squared的首席执行官Grigore Roșu的演讲。

关于Pi Squared

Pi平方是指数学证明的ZK证明。Pi Squared以一种正确的施工方式和根本上独特的方式使用ZK技术。通用且小巧的ZK电路为所有语言和虚拟机提供了可验证的计算正确性保证,无需任何通用语言、虚拟机或ISA的翻译。Pi Squared由UIUC教授Grigore Rosu领导,他是K框架和运行时验证的创始人,由正式方法、区块链和AI/ML领域成功项目的研究人员和创始人组成。

要预订Pi Squared首席执行官和团队的会议,与会者可以联系contact@pi2.network.

要了解更多关于Pi Squared的愿景和证明的信息,请访问pi2.network并在社交媒体上关注Pi Squaed。

最新 更多 >
  • 1 分析师表示,比特币目前正在发生重大趋势转变,预测2017年的抛物线式反弹

    一位备受关注的加密货币策略师认为,比特币(BTC)正在准备见证本周期的第三次抛物线运行。 在一个新的视频更新中,分析师Kevin Svenson告诉他在YouTube上的78700名粉丝,比特币似乎反映了2017年的价格走势,当时BTC在结束牛市之前经历了三个抛物线阶段。 “在2017年,抛物线趋势有多个阶段,你有一个短期的抛物线趋势,然后会分解成一个更大的趋势,然后又会分解成更大的走势。最后,你

  • 2 驾驭牛市:BTX 交易所如何掌握监管与合规以实现战略增长

    市场背景与趋势自去年以来,国际地缘政治紧张,贵金属和原油等大宗商品价格高企。黄金ETF的回报率超过了20世纪70年代以来的美国国债总回报。比特币在今年年初表现出色,1月11日,比特币现货ETF终于获得美国证券交易委员会(SEC)的批准,迎来重大突破。这些事件表明,政府在避险情绪的推动下,对加密行业的政策日趋开放。5月23日,美国SEC再次批准了11个以太坊现货ETF,助推本轮加密牛市。尽管加密行业

  • 3 Doubler Lite 正式启动

    Doubler 目前已经在Arb主网上线,截止目前,地址数已经达到7千多个地址,Tvl最高达到了5百多万,可以说是一个不小的成就,也可以看作是一个成功的主网启动成功活动。而且通过之前的代币经济学发布,前期流通最多7百万枚,可以说流通量很少,这也会让大家期待上线时的价格。代币上线暂定时7月25号,到时候一切会见分晓。关于新上线的 doubler lite,改动很大,和之前测试网的机制基本上是可以算作

  • 4 两天内上涨 48%、XRP有希望突破 10 美元吗?

    过去两天,瑞波币的价格持续上涨,给加密货币社区带来了欢乐。现在看来,XRP 自 3 月 12 日开始的下跌趋势可能即将结束。过去两天,XRP 的价格上涨了 48%。截至撰写本文时,瑞波币的交易价格为 0.58209 美元。加密货币市场正在复苏。 自7月7日以来,加密货币市场总市值已增加近3000亿美元。XRP 是表现最好的代币之一。 这种山寨币在过去一周上涨了近 36%,目前价格已接近 0.60

  • 5 LayerZero和ZkSync空投之后:是时候暂停、回顾并重新思考空投的未来了

    作者:Noah Ho,YuppieZombie,Lumos Ngok 预计阅读时间:24分钟 区块链中的空投(Airdrop) 空投(Airdrop)在区块链领域中,指通过向特定的数字钱包地址发送免费代币或加密货币的一种行为。通俗地说,空投就是项目方白送加密资产给用户的一种行为。项目方并不是喜欢做慈善,而是通过空投实现: 宣传推广:项目方希望通过空投代币,让潜在投资者和用户知晓这个项目,达到

  • 6 韩国执政党提议将加密货币税推迟三年

    韩国右翼人民力量党正在推动将加密货币收益税再推迟三年。 拟议法案指出:“鉴于投资者对虚拟资产的情绪下降,虚拟资产具有高风险,比股票更有可能遭受损失,人们普遍认为,仓促征税可能会让大多数投资者望而却步。因此,我们建议将目前定于2025年1月1日开始的虚拟资产收入征税推迟到2028年1月2日。”。 延迟征税的提议并不新鲜。最初于2021年1月宣布,拟议的加密货币税收规则要求年收益超过250万韩元(约1

  • 7 PEPE vs Shiba Inu:哪种表情币主导了7月份的市场?

    两个领先的模因币在价格图表和指标上几乎没有什么区别。有证据表明,其中一个国家的短期势头发生了转变,积累缓慢。 Pepe[PPE]和Shiba Inu[SHIB]都接近十天来的高点。Shiba Inu团队发布了一个将彻底改变Web3商业的市场,最近出现在新闻中,尽管没有发布确切的时间表。 最近,PEPE被一家主要抵抗组织拒绝,这意味着其看涨者几乎没有什么值得欢呼的。在这两种模因币中,哪一种对7月的前

  • 8 2024最火爆的MEME项目来了

    2024年可谓是MEME风潮席卷的一年,伴随着比特币新一轮的行情,在上半年各种MEME类型的项目充满的吸睛效应,无论是有马斯克站台的DOGE,还是靠社区共识的SHIB,以及近两年出现的PEPE、WIF,还有今年上线的BOME、FLOKI等等,都凭借着超强的社区共识、话题热度强势破圈,当然,也因为MEME型项目创造出的极强的财富效应吸引了相当多用户的关注和参与。他们几乎无一例外,都是从底部开始,直到

  • 9 加密货币市场的每周赢家和输家——AAVE、MOG、RNDR、WIF

    Mogcoin、Aave和Ronin是过去一周的最大赢家。Render、dogwifhat和Akash Network在过去一周损失最大。 上周,一个以猫为主题的模因币在赢家排行榜上名列前茅,而一个以狗为主题的迷因币在输家中名列前茅。尽管如此,整体市场的涨幅大于跌幅,表明该时期总体呈积极趋势。 最大赢家 莫格币(Mog) 根据CoinMarketCap的排名数据,Mog Coin[Mog]在过去一

  • 10 欧盟人工智能法案将如何改变支付行业?

    欧盟通过《人工智能法案》迈出了历史性的一步,建立了世界上第一个规范人工智能的全面框架。这项具有里程碑意义的立法于2024年5月获得欧盟理事会批准,旨在协调整个欧盟的人工智能规则,确保人工智能技术安全、透明,并符合基本人权。尽管该法案涉及人工智能使用的广泛方面,但它对支付行业的影响尤其深远。 支付提供商的主要变化是什么? 《人工智能法案》根据人工智能系统的潜在风险对其进行分类,对高风险应用程序提出了