Explore Pi2: Video Overview
Brief Video Summary by Grigore Rosu Runtime Vеrification
Get a quick understanding of what Pi2 is about with short video and how it is used.
Will be interesting for people involved in
1. #ZKP
2. #zk _proof
3. #zk
4. #zk evm
5. #crypto
Transcription:
I heard
Get ready for π²
Is #MultiversX about to turn into the truth Machine? 👀
Pi Squared uses zero-knowledge (ZK) tech in a unique way.
It allows a universal and small ZK circuit to provide verifiable-computing correctness guarantees to all languages and virtual machines (VMs) 🤯
Explore Sovereign Chains & ZK proofs w/ Adrian Dobrita Robert Sasu Grigore Rosu & more.
#MultiversX joins Pi Squared_Official & the Institute for Logic and Data Science for an in-depth workshop on the most advanced technologies around blockchains.
📅 May 11, 07:00 UTC 📍 Bucharest
What keeps security folks up at night?
Listen to what our CRO Kostas Ferles had to share in the =nil; Foundation Scale Summit today in ETH Denver.
Thanks Grigore Rosu, MauroT, and :) for a great conversation today!
Are you going to #Consensus2024 next month? Grigore Rosu and our team will be in Austin to introduce Pi Squared to the world. Let's meet up!
What better weekend could you have except learning from Grigore Rosu about Pi Squared_Official (crazy math behind) 🦫🚀
Also, as always, great chats with Robert Sasu (aka the SpaceVM guru and well known X marketing expert for MultiversX tech) + Adrian Dobrita and Cristi Corcoveanu exploring
What do you do Saturday?
Now it is time to learn some mathematics, proofs, verifiable programs and parallelisation of it. With Pi Squared_Official and Grigore Rosu
Only a limited set of people care so much about correctness of execution, but when it is made understandable,
BREAKING! 🔥
Grigore Rosu, Runtime Vеrification President & CEO, has revealed a new ZK Rollup protocol: PI Squared (Proof of Proof).
Using the #MultiversX network as the consensus layer.
.Grigore Rosu of Runtime Vеrification, important ecosystem contributor and builder of PI² Universal ZK Rollup on #MultiversX , was quoted by Trail of Bits.
Trail of Bits is an auditing company that has worked with Google, Microsoft, Facebook, DARPA, Adobe or GitHub, among others.
Welcome again Runtime Vеrification & Grigore Rosu @ MultiversX hub day 3 at #ETHDenver2024 🔥🛠️
encode.club/multiversx-hub
Watching groundbreaking technology being brewed in real-time! Runtime Vеrification bringing Formal Verification to ZK and allowing the usage of any and every programming language to a unified chain.
Grigore Rosu IOSG Ventures #ethcc
Tomorrow (Weds) afternoon, we've got such an exciting lineup of ZK/AI panels and talks!
Kicking things off, we'll be hearing the latest on what Runtime Vеrification is doing with ZK from Grigore Rosu!
Kicking-off session announcements for Scale Summit at ETHDenver 🏔🦬🦄. Explore the latest insights on zk security at the 'Zeroday: Why ZK Security is Important' panel.
Featuring Grigore Rosu, MauroT, @kferles
Moderated by :)
Tues, Feb 27
Panel Time:
It's been a huge afternoon for ZK/AI here at Encode Club!
We started off with Grigore Rosu's keynote speech detailing how Runtime Vеrification is working with ZK.
1/ Catch the highlights from the 'Why ZK Security is Vital' panel at ETH Denver with these ZK-security experts:
- Kostas Ferles (Veridise)
- Grigore Rosu (Pi Squared)
- MauroT (Lambda Class)
- :) (moderator)
Let's dive in! 🧵