【新闻稿——美国伊利诺伊州香槟市，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。
对不起，我无法提供具体应用程序的下载链接。您可以在应用商店中搜索"欧意易"来下载最新版本。欧意易是一款提供手机端下载的安卓应用，可以帮助用户轻松地完成各种语言翻译任务。它具有简单易用的界面和强大的翻译功能，可以帮助用户快速准确地翻译文字、语音和图片等多种形式的信息。无论是旅行、学习还是工作，欧意易都是您不可或缺的翻译助手。
欧意是一个专注欧洲文化交流和分享的平台，致力于打造一个让用户可以了解和体验欧洲多元文化的社区。用户可以在欧意平台上了解欧洲各国的风土人情、美食文化、音乐艺术等内容，与其他欧洲文化爱好者交流互动，展示自己的欧洲之旅和体验。通过欧意，用户可以深入了解欧洲的历史，传统和现代文化，拓宽视野，丰富知识。
易欧玩比特币的软件V6.1.31是一款易欧货币交易平台最新版本，通过该软件用户可以方便快捷地进行比特币交易。该软件具有简洁易用的界面设计，用户体验良好。同时，该软件还提供了多种交易功能和工具，帮助用户更好地进行交易。总体来说，易欧玩比特币的软件V6.1.31是一款功能强大、操作简便的比特币交易平台软件。
USDT是一种流行的数字货币，许多人选择将其存储在USDT钱包中。根据实力排行榜，排名前十的USDT交易所包括：Binance、Coinbase Pro、Kraken、Huobi Global、Bitfinex、OKEx、FTX、Bittrex、Bitstamp和Gemini。这些交易所在市场中拥有强大的地位，提供各种交易对和服务，为用户提供便捷的交易体验。因此，对于使用USDT进行交易的用户来说
区块链数字货币交易平台是一种通过区块链技术进行数字货币交易的平台。根据2023年的排名，我们列出了十大交易所，这些交易所在数字货币市场中具有重要的地位和影响力。通过这些交易所，用户可以快速、安全地进行数字货币的买卖交易，实现资产增值和风险管理。这些交易所提供了丰富的交易对、流动性和安全性，为数字货币投资者提供了便利和机会。
2022年十大加密货币交易平台的权威TOP排行榜是一个对当前市场上交易平台进行综合评估和排名的列表。这份排行榜基于交易平台的安全性、可信度、交易量、用户体验等多个方面进行评估，总结出了目前被认为是最具实力和影响力的十家加密货币交易平台。这些交易平台在市场上拥有良好的口碑和用户信任度，为加密货币投资者提供了稳定、安全和便捷的交易服务。
7 抹茶app交易所下载地址哪个可以 抹茶app交易所下载地址
抹茶app交易所下载地址是在官方网站上可以找到的，用户可以直接访问官方网站并在下载页面找到对应的链接进行下载。在下载前需要确保链接的可信度和安全性，以免下载到恶意软件或病毒。建议用户在下载前进行必要的安全检查，保护个人信息和资产安全。
8 抹茶交易平台交易平台v6.1.23更新下载_抹茶交易平台官方下载体验
抹茶交易平台app是一款专门为喜爱抹茶的用户打造的交易平台应用。在这个平台上，用户可以找到各种抹茶相关的商品，如抹茶粉、抹茶巧克力、抹茶点心等。用户可以在这里购买商品，也可以在平台上交流抹茶的心得体会，分享自己的抹茶经历。这个app为抹茶爱好者们提供了一个交流和分享的平台，让大家更加便捷地获取到自己所喜爱的抹茶商品和信息。立即下载抹茶交易平台app，开启您的抹茶之旅吧！
欧意交易所最新消息摘要：欧意交易所计划推出一项新的数字资产交易平台，旨在为投资者提供更多选择和灵活性。该交易所将支持多种加密货币交易，包括比特币、以太坊等主流数字资产。此举将进一步拓展欧意交易所的业务范围，提高交易所的市场竞争力。
虚拟币数字货币平台排行榜前20名包括了一些知名的数字货币交易平台，如Binance、OKEx、Coinbase、Huobi等。这些平台提供了丰富的数字货币交易对，优质的交易体验，以及安全的资金存管服务，深受投资者的青睐。这些平台在市场上的交易量和用户数量都表现出色，为数字货币市场的发展做出了重要贡献。投资者可以通过这些平台方便快捷地进行数字货币的交易和投资。
