Pi Squared为基于ZK的通用结算层项目筹集了1200万美元。

Pi Squared获得1200万美元用于开发通用ZK结算层。

Pi Squared为通用ZK电路开发融资1250万美元。

ZK技术公司Pi Squared完成1250万美元种子轮融资

ZK技术验证公司Pi Squared完成1250万美元种子轮融资，Polychain Capital领投

Pi Squared获得1250万美元的种子轮融资，以推动区块链技术的发展

Pi Squared筹集了1250万美元用于开发'Universal ZK Circuit'。

Pi Squared获得1250万美元种子轮融资，推进通用ZK电路技术

ZK技术验证公司Pi Squared完成1250万美元种子轮融资

已验证并准备好展示。 已部署演示，集成了@MetaMask用于支付验证，性能已调整。 VSL 开发网几乎即将上线。 从 Pi Squared 战线获取最新信息 ↓

2/ 祝贺我们的获胜者 @deapinkme @AngelaJankulovs @harpoondev，以及所有让这次活动精彩纷呈的团队 @chainlink @Pi_Squared_Pi2 @OasisProtocol @TenderlyApp 等等。 加速！ https://t.co/9UFFxbv0xu

ETH Belgrade 就在几天后。 来自 @Pi_Squared_Pi2 的 @Ovcd27 将前往 ETH Belgrade，就以下主题发表演讲： 无限语言，一条链：扩展 Ethereum 的开发者视野。 如果您正在使用 Ethereum 构建或对可验证性感到好奇，请不要错过。 他很乐意会面——过来打个招呼。 🎤 6 月 3 日 🎟 @ethbelgrade

认识一下 @PatrickMackay，Pi Squared 的首席运营官。 他从项目创立之初就加入，认为可验证性是开启 Web3 下一篇章的关键。从更好的用户体验到快速可信的结算，他全力以赴。 下班后，你会发现他骑着自行车穿行于伊利诺伊州东中部的乡间小路。 这就是他选择 Pi 的原因。↓

Web3未来发展：超越传统区块链的灵活可验证系统

今天与 @JensGroth16 和 @RosuGrigore（来自 @Pi_Squared_Pi2）的 X Spaces 快速回顾 https://t.co/SDZCtxQYRv

天才法案。Meta。在社交上实现可编程货币。 稳定币不是未来，它们是现在的基础设施。 Pi Squared 创始人 @RosuGrigore 在 Techopedia 最新文章中详细解析。 阅读全文 ↓

Web3的未来：区块链不是唯一选择，支付与结算系统将引领变革

本周四：与 @JensGroth16、@RosuGrigore 和 @UBAmain 一起探讨可验证的 AI，来自 @Pi_Squared_Pi2

认识一下 Pi Squared 的 CMO @LindsayCasale。 从信息传递和公关到活动和社交策略，她正在帮助塑造世界看待 Pi² 的方式。 工作之余，你会发现她在徒步旅行或复习法语。 Lindsay 加入 Pi² 是因为她相信这项技术可以更好地重塑 Web3，而且因为这个团队是真正无与伦比的。 这就是她选择 Pi 的原因。↓

距离我们与@RosuGrigore的播客还有 T-15 分钟 - 他是@UofIllinois 的终身教授，也是 @Pi_Squared_Pi2 的 CEO。 加入我们的 X 直播！

准备好收听新一期的 AI Unchained 节目吧。🎙️ 我们的创始人 @ChiZhangData 和 @scottshics 将与 @RosuGrigore（教授、形式验证先驱以及 @Pi_Squared_Pi2 的 CEO）一起探讨在 AI 代理时代，信任的真正含义。 📍 Kite AI 的 X 平台直播 🗓️ 5 月 13 日 🕔 美东时间中午 12 点 从 NASA 到形式化方法、自主代理，再到为 Web3 中的 AI 构建缺失的信任层——这将会是一期精彩的节目！

准备好收听新一期的 AI Unchained 节目吧。🎙️ 我们的创始人 @ChiZhangData 和 @scottshics 将与 @RosuGrigore（教授、形式验证先驱以及 @Pi_Squared_Pi2 的 CEO）一起探讨在 AI 代理时代，信任的真正含义。 📍 X 平台直播 🗓️ 5 月 13 日 🕔 美东时间中午 12 点 从 NASA 到形式化方法、自主代理，再到为 Web3 中的 AI 构建缺失的信任层——这将会是一期精彩的节目！

认识陈晓红，Pi Squared 的首席技术官，领导 Web3 可信性堆栈，致力于提升信任、安全和速度。 他喜欢弹钢琴、中国书法和围棋。 晓红加入 Pi²，旨在通过可验证性打造可扩展、安全且高效的系统。 这就是他选择 Pi 的原因。https://t.co/hqlSAKpDTU

是什么真正阻碍了DeFi的增长？Soul和Pi²给出了一些答案。 昨天，@Pi_Squared_Pi2 和 @0xSoulProtocol 联合主持了一场Space，探讨了跨链借贷面临的障碍，以及哪些新方法能够释放其全部潜力。 碎片化仍然是DeFi最大的挑战。 Soul强调，虽然大多数协议都在争夺流动性，但他们的模式是建立在现有系统之上——强化基础层而非从中抽取价值。这一转变为增长提供了更可持续且可扩展的路径。🎙️ @efectorami 用户体验依然是关键阻碍。 @RosuGrigore 指出，DeFi的复杂性仍是主要痛点。Soul和Pi²一致认为，消除摩擦并实现跨链无缝参与对于更广泛的采用至关重要。 可验证性改变了可能性。 Pi Squared的镜像方法通过创建一个无需中心化控制者的信任协调层，实现了跨链代理和协议的完全透明和正确性证明的交互。 跨链收益，无需桥接。 Soul分享了其架构如何让用户在多个链上赚取收益，而无需桥接或包装资产——最大化效率并最小化风险。🎙️ @As_Hatom 一个历经时间积累的共同愿景。 Soul和Pi²的合作始于近三年前。如今，他们正携手打造可验证的自主借贷系统，以满足市场快速变化的需求。

对 DeFi 贷款的未来感到好奇吗？ 我们的 CEO @As_Hatom 和 CTO @efectorami 将与 @Pi_Squared_Pi2 的 @RosuGrigore 和 @UBAmain 一起讨论 DeFi 的现状、其碎片化问题，以及 Soul 如何构建统一的跨链借贷基础设施。 快来加入我们吧！🔥

发现DeFi借贷中的缺失环节！加入@Pi_Squared_Pi2 和 @0xSoulProtocol的领导者们，于5月8日早上10点（CST）参加关于跨链借贷挑战（如碎片化和流动性问题）的直播讨论。🎙️：@RosuGrigore、@As_Hatom、@efectorami、@UBAmain。↓ 设置提醒！ ↓

一周内，六大重大更新 → Pi Squared 正在打磨可验证基础设施的根基。 从 Bitcoin 镜像和 TEE 到全新的 VSL API 推出，每个环节都在朝着统一的 Devnet 发行迈进。 请继续关注，我们正将可验证性变为现实 ↓

要让 Web3 变得值得信赖，究竟需要什么？ 上周的 @HeliosStaking 播客节目中，@RosuGrigore 探讨了可验证性、形式化方法以及为去中心化基础设施的未来构建可证明的系统。 ↓ 以下是亮点： 从 @NASA 到区块链基础设施：@RosuGrigore 最初将形式化方法应用于 NASA 的关键任务系统。如今，这些相同的工具被应用于需要可证明正确性的区块链。 Runtime Verification 的形成：@RosuGrigore 创立了 @rv_inc，将形式化方法引入现实世界的系统。最初被测试和形式化方法会议拒绝，“runtime verification” 这一术语重新定义了这种方法——将运行时观察与正确性保证相结合。它现在定义了一个完整的系统保证类别。 语义为何重要：没有形式化语义，编程语言就会成为移动的目标。Pi Squared 使用 K Framework 和 Matching Logic 以数学精度定义和推理程序行为。 来自 @IOHK_Charles 和 @VitalikButerin 的支持：IOHK 资助了 K 语言形式化的早期工作。Vitalik 提供了用于验证 Ethereum 的 Casper 协议、Vyper、Uniswap 和 ETH2 存款合约的资助——这些是该领域最早的形式化验证工作之一。 无需排序的可验证性：Pi Squared 引入了一个去中心化的结算层，其中的声明——无论是来自 rollups、AI 代理还是交易所——都可以独立且并行地进行验证。无需全局排序。只需证明。 “没有可验证性，就不是 Web3。” 正确性变得可移植。 真相变得可编程。

当 @Pi_Squared_Pi2、@linera_io 和 @poddotnetwork 同时进入一个房间时会发生什么？ 你…

当 @Pi_Squared_Pi2、@linera_io https://t.co/7PoXgAxX1v 和 @poddotnetwork 走进同一个房间会发生什么？ 你会得到下一代可验证、可组合、实时的区块链系统的蓝图。 以下是最近 X Space 的一些关键见解的总结 🧵

🧠 构建去中心化互联网的最佳路径是什么？ @shresth3103 将与 @RosuGrigore 和 @ma2bd 直播，讨论替代 Web3 基础设施 🤯 4 月 24 日 | 中部时间上午 10 点 主持人：@UBAmain。非同寻常的讨论小组 @linera_io @Pi_Squared_Pi2 👉https://t.co/OefQdgrXc2

区块链无处不在，但我们真的需要它们吗？ 周四深入探讨这场辩论，参与者包括 @RosuGrigore、@ma2bd、@shresth3103 和 @UBAMain 的见解。 🗓️ 4 月 24 日 | 🕙 中部时间上午 10 点 | 🎙️ 由 @Pi_Squared_Pi2 与 @poddotnetwork、@linera_io 共同主持的 X Space。 → 立即设置提醒 ↓ https://t.co/TfKGuGPbcL

区块链无处不在，但我们真的需要它们吗？ 本周四深入探讨这场辩论，听取来自 @RosuGrigore、@ma2bd、@shresth3103 和 @UBAMain 的见解。 🗓️ 4 月 24 日 | 🕙 中部时间上午 10 点 |🎙️ 由 @Pi_Squared_Pi2 与 @poddotnetwork、@linera_io 共同主持的 X Space → 立即设置提醒 ↓

区块链无处不在，但我们真的需要它们吗？ 本周四深入探讨这场辩论，嘉宾包括 @RosuGrigore、@ma2bd、@shresth3103 和 @UBAMain。 🗓️ 4 月 24 日 | 🕙 中部时间上午 10 点 | 🎙️ 由 @Pi_Squared_Pi2 与 @pod_xyz、@linera_io 共同主持的 X Space → 立即设置提醒 ↓ https://t.co/srK2FMGZCc

来自Pi Squared团队的快乐Pi日祝福！祝大家度过一个充满美妙数学和丰富Pi(e)的日子！🥧🎉

在#Web3中，信任是脆弱的——就像一辆被偷的童年自行车🚲。阅读关于Pi Squared的Proof of Proof和USL如何使信任可验证✅，从而减少盲目信任的内容。https://t.co/Es5ClRoz9Q

感谢@EthereumDenver带来的精彩一周，也感谢@Pi_Squared_Pi2团队！

@Pi_Squared_Pi2 ❤️@megaeth_labs

你在 @EthereumDenver Spork Castle 附近徘徊，寻找令人惊艳的商品和前沿科技吗？在 Pi Squared 展位（402）你都能找到。来看看我们在做什么，我们将从上午9点到下午6点在这里。 https://t.co/iu6WJTSHdp

在@alt_layer的Agentic Crypto Day上，有很多内容需要深入探讨——关于当前的AI元宇宙、可验证性以及与AI相关的趋势。 很高兴听到这个富有想象力的讨论小组的分享——由@dabit3主持，参与者包括@deligong、来自@brevis_zk的Alan、@FhenixIO的@GuyItzh，以及来自@Pi_Squared_Pi2的@RosuGrigore。

AAA能力飙升。在这个新世界秩序中，我们如何能保持对代理的监管？每次都通过合适的基础设施验证和信任>>>>@dabit3, @eigenlayerAlan Li, @brevis_zk@RosuGrigore, @Pi_Squared_Pi2@deligong, @AutomataNetwork@GuyItzh, @fhenixio https://t.co/zQjooMfWTl

1/🧵昨天，@RosuGrigore、Yi Zhan 和 @Ovcd27 代表 @Pi_Squared_Pi2 在 @EthereumDenver BUIDL 研讨会上展示了 "将普遍性带入 Web3"。 以下是演示的简要总结（或者去观看录播👇） https://t.co/kGvtVSOmGV

“语言维护真是太难了” - @RosuGrigore Pi Squared 是打破 Web3 编程语言障碍的关键@EthereumDenver https://t.co/qSTjCfFF2c

如果你昨天错过了我们的BUIDL研讨会，@RosuGrigore将于今天中午12:05回到Captain Ethereum舞台，呈现“Pi Squared: Bringing All Programming Languages to Web3”。不要错过 - 更多细节请点击这里: https://t.co/vgpMlbhHvR https://t.co/TDFxhx04TU

Pi Squared：让Web3普及，由@RosuGrigore, Yi Zhang和@Ovcd27来自@Pi_Squared_Pi2团队带来！ 探索Pi Squared的先进开发工具如何帮助Web2和Web3开发者用他们喜欢的编程语言编写Ethereum智能合约。 完整视频如下👇🧵

🧵1/4 gm² - 今天你可以在这里找到我们 ↓ 由 @encodeclub 主办的模块化 DeFi 研究日 主题：未来是可验证的 时间：上午10:50 MT 嘉宾：来自 @Pi_Squared_Pi2 的 @RosuGrigore 和来自 @PolyhedraZK 的 @zhenfei_zhang 注册：https://t.co/iHukvbeYbm

AGENTIC CRYPTO DAY 🔥 面板 “人工智能与区块链中的可验证性” @dabit3 来自 @eigenlayer @pumatheuma 来自 @SuccinctLabs Alan Li，@brevis_zk @RosuGrigore 来自 @Pi_Squared_Pi2 @deligong 来自 @AutomataNetwork @GuyItzh 来自 @fhenixio 📆 2月28日 📍 The Curtis - 丹佛 https://t.co/Q9dVndShA8 https://t.co/D6fnhQjvj4

很高兴地分享，@Pi_Squared_Pi2 正在将 pod 集成作为其通用结算层（USL）的后端！通过利用 pod 的低延迟、部分有序交易，USL 实现了跨链索赔的更快最终性——增强了信任、可扩展性和互操作性。请在丹佛现场观看！欢迎参加 pod 首席执行官 @shresth3103 于 2 月 26 日下午 2:50（MST）在 Pi Squared 的 BUIDL 研讨会。

🧵 1/10 宣布 Pi Squared + @poddotnetwork！更快的最终确认与无信任验证。USL 的灵活索赔验证与 pod 的优化交易排序完美契合，确保速度而不妥协完整性。这将极大地帮助 Web3 开发者和用户！ https://t.co/iNnt3ITnfv

🧵1/3 下周要去@EthereumDenver吗？我们的创始人@rosugrigore和@Pi_Squared_Pi2将在那里展示我们的通用语言机器（ULM）和通用结算层（USL）。欢迎来看看我们！ https://t.co/3E0IvJ8UpT

重温来自 ZK Accelerate 🇹🇭 的精彩讨论小组：“客户端 ZK：显而易见的下一步？”由 @ergokhaner 主持，来自 @IOSGVC 的代表与 @aztecnetwork 的 @jaosef, @RiscZero 的 @Li_Steven1, @alignedlayer 和 @class_lambda 的 @zkdiegokingston，以及 @Pi_Squared_Pi2 的 @_CHEN_Xiaohong_ 一同参与。在 Ingonyama ZK YouTube 频道 📺 上观看 #ZKAccelerate 的所有精彩演讲和讨论小组。#Devcon2024

Rollup Day @alt_layer 与 @AutomataNetwork 的 @deligong、@RiscZero 的 @Li_Steven1、@SuccinctLabs 的 @ratankaliani、@FhenixIO 的 @GuyItzh、@Pi_Squared_Pi2 的 @_CHEN_Xiaohong_ 进行会议，由 @IOSGVC 的 @ergokhaner 主持。FHE/TEE/ZK 的调和: https://t.co/goooT6LXD3

现在的讨论小组非常引人入胜！客户端ZK：显而易见的下一步？正在进行中 - 由@ergokhaner主办，来自@IOSGVC嘉宾包括：@jaosef，来自@aztecnetwork @Li_Steven1，来自@RiscZero@zkdiegokingston，来自@class_lambda 和 @_CHEN_Xiaohong_，来自@Pi_Squared_Pi2#Devcon2024 #ZKAccelerate https://t.co/qDqhGCAs52

最终的ZK加速面板主题揭晓！🇹🇭客户端ZK：显而易见的下一步？🔥 面板由@ergokhaner主办，来自@IOSGVC 参与嘉宾有：🔥 @jaosef 来自@aztecnetwork🔥 @zkdiegokingston 来自@class_lambda🔥 @_CHEN_Xiaohong_ 来自@Pi_Squared_Pi2🔥 @Li_Steven1 来自@RiscZero#DEVCON

🇹🇭 AltLayer Rollup 日：曼谷 🇹🇭 FHE/TEE/ZK 专题讨论主持人：@ergokhaner 来自 @IOSGVC@ratankaliani 来自 @SuccinctLabs@_CHEN_Xiaohong_ 来自 @Pi_Squared_Pi2@Li_Steven1 来自 @RiscZero@GuyItzh 来自 @fhenixio@deligong 来自 @AutomataNetwork https://t.co/vwGB9jGGoY

我们很高兴能与ZkBoost联盟的每一个人合作🙌 @Gevulot_Network @AlignedLayer @Pi_Squared_Pi2 @Eigen_Network @StarkWareLtd @AlchemyPlatform @Hyle_org @aztecnetwork @Fermah_xyz 🙌

☸️ ZkBoost联盟 📷 我们很高兴地宣布ZkBoost联盟的治理委员会成立。39家公司共同构建一个连接所有ZK的通用API。ZK文艺复兴将在2025年到来。通过证明来实现未来的保障。团结。普遍。无限。@AleoHQ, @AlchemyPlatform, @AlignedLayer, @ankr, @aztecnetwork, @Cysic_xyz, @Eigen_Network, @ElectronZK, @Fermah_xyz, @Gevulot_Network, @Gwyneth_Taiko, @HashiAlliance, @ZKHelixLabs, @Hyle_org, @Ingo_ZK, @KakarotZkEVM, @LineaBuild, @BuildOnLumia, @LumozOrg, @MarlinProtocol, @NexusLabsHQ, @nil_foundation, @NovaNet_zkp, @Pi_Squared_Pi2, @RiscZero, @Radius_xyz, @SatoriOSS, @Scroll_ZKP, @StarkWareLtd, @SuccinctLabs, @taikoxyz, @TheRollupCo, @ZekoLabs, @Zero_Computing, @zircuitL2, @zksync, @ZKVProtocol, @zkRush_Official, @O1labs_io #zkboost #gevulot

1/ Nexus与@Pi_Squared_Pi2合作，使可验证计算普及。开发者将能够在Nexus zkVM中证明用任何语言编写的程序。

Bitcoin Rainbow Chart发出‘BUY’信号：是时候购买BTC了吗？

🚀 AntChain OpenLabs #ZK #Workshop II🔍 探索最新的ZKP技术进展和应用挑战。聆听全球专家分享见解、ZKP虚拟机加速经验和未来趋势。📅 9月24日，上午9:30 (UTC+8)，在线直播🔗 注册观看: https://t.co/NplMpcpvKg👥 嘉宾详情:Ying Yan, Antchain OpenLabs首席科学家Srinath Setty @srinathtv, 微软研究院首席研究员Sinka Gao @sinka2022, Delphinus Labs创始人Xiong (Leo) Fan @leofanxiong, Cysic联合创始人Xiaohong Chen @_CHEN_Xiaohong_, Pi Square @Pi_Squared_Pi2的首席技术官Stephen Duan @sd_eigen, ZKM @ProjectZKM的开发主管Guiming Wu, Antchain OpenLabs研究员Wishlonger @wishlonger, Pharos @pharos_network的联合创始人Cobe Zhang, ZAN @zan_team的首席执行官Ming Wu @spark_ren, 0G AI的首席技术官Cecilia @ceciliaz030, Taiko的工程师Wisely, Antchain OpenLabs的首席研究员📃 议程详情 👇