Miruna Rosca

Head of Cryptography at @Pi_Squared_Pi2

[Grigore Rosu @RosuGrigore]

I’d like to personally invite you to my team's @EthereumDenver workshop, "How to build smart contracts on Ethereum in any programming language." See details below:

Wed, 2/26 @ 2:50PM MT
Captain Ethereum Stage at EthDenver’s BUIDL Hub
https://t.co/DqtDTrpPr3

See you there.

[Grigore Rosu @RosuGrigore]

This could be the most comprehensive benchmarking of the state-of-the-art zkVMs! Seven zkVMs were tested against more than 1225 input files! SP1 (@SuccinctLabs) and RiscZero (@RiscZero) performed the best overall, but some did better on some inputs.

Special thanks to the zkVM teams for their prompt help, and especially to @pumatheuma and @BruestleJeremy and @sinka2022 and their colleagues for helping us make their GPU versions work with our setting.

https://t.co/3RTi7CLtAD

[Fast @fastxyz]

🧵1/3
In the process of constructing our Proof of Proof system, we investigated and tested a number of different zkVMs. In our latest blog post, we go over our findings with the following zkVMs:

RiscZero (@RiscZero)
Jolt (@a16zcrypto)
zkWasm (@DelphinusLab)
Cairo (@StarkWareLtd)
Nexus (@NexusLabs)
SP1 (@SuccinctLabs)
Lurk (@argumentxyz)

[Fast @fastxyz]

Set your reminders and join us this Saturday for a X space introduction of Pi Squared's founder @RosuGrigore and an AMA hosted by our own @UBAmain https://t.co/RREouJYNej

[Fast @fastxyz]

1/9🧵
Join our Space tomorrow with Pi Squared's founder @RosuGrigore, in an AMA format hosted by @UBAmain

Read on to learn more about Grigore!

https://t.co/RREouJYNej

[ETHDenver 🏔🦬🦄 @EthereumDenver]

We’re excited to welcome @pisquared as an official Early Bird sponsor for ETHDenver 2025! 📢

ETHDenver brings builders together to reimagine what's possible in blockchain and beyond.

Thank you to @pisquared & all our sponsors for making this possible!

[Fast @fastxyz]

🚀 Big news! We’re thrilled to join forces with @goKiteAI to redefine trust in AI. With Pi Squared, verifiable computing meets cutting-edge AI, ensuring inference integrity—even with private LLMs. 🛡️✨ The future of provable AI starts here.

To find out more about our partnership, watch our interview with @ChiZhangData and @RosuGrigore:

[XC (Xiaohong Chen) @cxh93]

Our mission is to break programming languages barriers and engage all Web2 developers for Web3

[Fast @fastxyz]

TODAY during Devcon, see our first demo of the Universal Language Machine!

https://t.co/g5ng7sQSGR

[Fast @fastxyz]

We had a great time on stage talking about the future of restaking infrastructure with @eigencloud, @TanssiNetwork, and @puffer_finance

[Patrick MacKay @PatrickMackay]

A great first day yesterday in Bangkok for the @pisquared team. We had booths and presentations at https://t.co/cI8hv469mI World and #ZK Accelerate.

Today we’re back at it with a panel and presentation at #Restaking Infra Day and our first public demo of our Universal Settlement Layer (#USL) at #Multichain Day

Come and see why we’re so jazzed and excited.

[Wrapped @wrappedxyz]

@wormhole @pisquared @Polkadot @solana @multicoin @os_presso @yanliu0xzz @pkxro @shayonsengupta @StellarOrg @CAnatalio @BTC_OS @EdanYago Join us at Multichain Day | Devcon 2024 for our newest addition, 45-minute Developer Workshops!

Featuring:
@pisquared
@wormhole

Universal Settlement Layer for Wormhole

RSVP: https://t.co/w2ieddAZNB

[Miruna Rosca @Miruna_Rosca]

@andreimano2 Congrats!

[Miruna Rosca @Miruna_Rosca]

@Ethereum_Women @pisquared @Permissionless @fogofchess @chris_pi2 I'd love to, @Ethereum_Women !

[Miruna Rosca @Miruna_Rosca]

Curious about @pisquared's innovative Proof of Proof technology? Stop by our booth at @Permissionless and connect with our Zero Knowledge Team Lead @fogofchess and our Head of Marketing @chris_pi2! #Web3

[ETHWomen 💖 @Ethereum_Women]

It's amazing to see so many organizations supporting the industry at Permissionless III 🚀🚀🚀

Platinums:
💫@1RTPartners
💫@anoma
💫@CompassMI
💫@CoreumOfficial
💫@fuel_network
💫@geodnet
💫@giddydefi
💫@KintoXYZ
💫@MidnightNtwrk
💫@PythNetwork
💫@Ripple
💫@rootstock_io
💫@vaneck_us

Golds:
⭐️@akashnet
⭐️@Anchorage
⭐️@ar_io_network
⭐️@ava_protocol
⭐️@b3dotfun
⭐️@CertiK
⭐️@CoWSwap
⭐️@MetisL2
⭐️@ExponentialDeFi
⭐️@exSatNetwork
⭐️@FortePlatform
⭐️@Gemini
⭐️@hexens
⭐️@HifiFinance
⭐️@InfStones
⭐️@ironfishcrypto
⭐️@krakenfx
⭐️@LunaPRofficial
⭐️@MANTRA_Chain
⭐️@mindnetwork_xyz
⭐️@MixinSafe
⭐️@movementlabsxyz
⭐️@nufflelabs
⭐️@pisquared
⭐️@SkaleNetwork
⭐️@soohoio
⭐️@SuperAlignment_
⭐️@superformxyz
⭐️@taoshiio
⭐️@moolah
⭐️@tokencom_
⭐️@unstoppableweb
⭐️@wanchain_org

Official Partner:
@KarateCombat

Looking forward to the rest of this week with everyone ✨✨✨

[Miruna Rosca @Miruna_Rosca]

@Ethereum_Women @1RTPartners @anoma @CompassMI @CoreumOfficial @fuel_network @geodnet @giddydefi @KintoXYZ @MidnightNtwrk @PythNetwork @Ripple @rootstock_io @Permissionless @blockworks @bankless @krakenfx @compass_mining @MetisFdn @CertiK @Anchorage 😍😍😍

[Bogdan Cebere @BCebere]

🔐 Interested in Encrypted Traffic Fingerprinting?

🚀 In our new @RAID_Conference paper, we revisit the problem with a focus on the network protocols underneath. This overlooked perspective leads to interesting insights for better attacks and defenses.

[Fast @fastxyz]

Watch our CTO, @_CHEN_Xiaohong_, talk about how @pisquared enables any developer to build in #Web3. Hear how universal verifiable computing will simplify how programs run (no compilers), enables massive parallelization, and is compatible with ANY zkVM!

Thank you: @zan_team @antchain @DelphinusLab @AntChain @ProjectZKM @0G_labs @taikoxyz @cysic_xyz #zkEVM

[Miruna Rosca @Miruna_Rosca]

@moodlezoup How does the verifier evaluate tilde{T_i}(k) for the init MLE and final MLE at the very end step of the GKR protocol?He needs a commitment to T_i, right?

[Miruna Rosca @Miruna_Rosca]

@moodlezoup Very helpful, thanks a lot!