Pratyush Mishra(@zkproofs) 's Twitter Profileg
Pratyush Mishra

@zkproofs

Current: Asst Proofessor at Penn CIS, Co-maintainer @arkworks_rs
Past: Cryptographer @AleoHq, Crypto and computer security PhD @ucberkeley
he/him

ID:18241204

linkhttps://www.pratyushmishra.com calendar_today19-12-2008 13:11:25

11,0K Tweets

5,8K Followers

1,0K Following

Python Maps(@PythonMaps) 's Twitter Profile Photo

Another thread of maps I like. This time we are looking loosely at the Indian sub continent. Included are India, Pakistan, Afghanistan, Nepal, Bhutan, Bangladesh, Sri Lanka and Myanmar.
First up, Rivers! 1/13

Another thread of maps I like. This time we are looking loosely at the Indian sub continent. Included are India, Pakistan, Afghanistan, Nepal, Bhutan, Bangladesh, Sri Lanka and Myanmar. First up, Rivers! 1/13
account_circle
Quanta Magazine(@QuantaMagazine) 's Twitter Profile Photo

In the 1980s, Avi Wigderson helped show that for any provable statement, it’s possible to convince someone of that proof — without revealing any details. Today, that result is central to cryptography and helped Wigderson earn the 77th A.M. Turing Award. quantamagazine.org/avi-wigderson-…

In the 1980s, Avi Wigderson helped show that for any provable statement, it’s possible to convince someone of that proof — without revealing any details. Today, that result is central to cryptography and helped Wigderson earn the 77th A.M. Turing Award. quantamagazine.org/avi-wigderson-…
account_circle
Kai Jun Eer(@kaijuneer) 's Twitter Profile Photo

Recently wanted to fully understand the maths behind KZG aggregation so did an implementation in Rust (with Arkworks): github.com/eerkaijun/kzg-…

Open sourced it and hopefully might be helpful to others too. Might write a step-by-step explanation someday.

account_circle
Sheon Han(@sheonhan) 's Twitter Profile Photo

Using Avi Wigderson's win of the 2023 Turing Award—just announced today—as an excuse, I'm plugging an explainer on zero-knowledge proofs I wrote for Quanta Magazine lol

quantamagazine.org/how-to-prove-y…

account_circle
Association for Computing Machinery(@TheOfficialACM) 's Twitter Profile Photo

🏆 We're thrilled to announce the recipient of the 2023 : Avi Wigderson! Wigderson is recognized for his foundational contributions to the theory of computation. Join us in celebrating his incredible achievements! Learn more here: bit.ly/4aGpbiM Institute for Advanced Study (IAS)

account_circle
Giacomo Fenzi(@GiacomoFenzi) 's Twitter Profile Photo

Blendy🍹 is out!
We present a new concretely efficient algorithm for multilinear sumcheck proving which uses linear time and sublinear memory.

Joint work with Alessandro Chiesa, Elisabetta Fedele and zeets
ia.cr/2024/524 - gfenzi.io/papers/blendy-…

Blendy🍹 is out! We present a new concretely efficient algorithm for multilinear sumcheck proving which uses linear time and sublinear memory. Joint work with Alessandro Chiesa, @efedele16 and @andrewztech ia.cr/2024/524 - gfenzi.io/papers/blendy-…
account_circle
Pratyush Mishra(@zkproofs) 's Twitter Profile Photo

Cab't believe the strongest earthquake I've felt is *after* I move out of California

earthquake.usgs.gov/earthquakes/ev…

account_circle
Bloodywood(@Bloodywood2) 's Twitter Profile Photo

NEWS! 🎉 Today, @devpatel and @jordanpeele 's 'Monkey Man' hits screens, and we couldn't be more thrilled to share that our track 'Dana Dan' sets the tone for an EPIC fight scene! Who's tuning in today? 🍿🎶

account_circle
Dr Jennifer 'JB' Bates(@DrJenniferBates) 's Twitter Profile Photo

Very excited to announce that my book is coming out in summer 2024!

The Origins of Agriculture in the Bronze Age Indus Civilization will be available from Cambridge University Press & Assessment, and you can pre-order it here:
cambridge.org/9781009424448

Very excited to announce that my book is coming out in summer 2024! The Origins of Agriculture in the Bronze Age Indus Civilization will be available from @CambPressAssess, and you can pre-order it here: cambridge.org/9781009424448 #Archaeology #SouthAsia #Agriculture #BronzeAge
account_circle
Michele Bianconi(@MicheBianconi) 's Twitter Profile Photo

Amazing discovery in Anatolia! New tablet shows striking correspondences with the narrative of 's Iliad and testifies to second-millennium Luwian songs about the fall of . More here: academia.edu/116928258/A_Hi…

Amazing discovery in Anatolia! New #Hittite tablet shows striking correspondences with the narrative of #Homer's Iliad and testifies to second-millennium Luwian songs about the fall of #Troy. More here: academia.edu/116928258/A_Hi…
account_circle
d̶͔̾o̴̔͜u̶͕̕g̸̣̽ ̴̹͘h̴͖̔ę̵̒n̸̥̉ń̴͕i̶̝̓n̵̪̽g̴̩͝(@likethemagician) 's Twitter Profile Photo

Annual reminder on this, her most mistakenly holiest of days, that Ištar was never actually pronounced /ɪʃtar/ much less cognate with Easter.

ʕAθtar (𒀭𒀾𒁯 AŠ₂-DAR)
> Eɬtar (𒀭𒁹𒁯 EŠ₄-TAR₂)
> Iɬtar (𒀭𒅖𒋻 IŠ-TAR, 𒀭𒋻 IL₃-TAR)
> Iɬɬar (NB 𒀭𒅖𒄭 IŠ-ŠAR, NA 𒀭𒄑𒊬 IS-SAR)

Annual reminder on this, her most mistakenly holiest of days, that Ištar was never actually pronounced /ɪʃtar/ much less cognate with Easter. ʕAθtar (𒀭𒀾𒁯 AŠ₂-DAR) > Eɬtar (𒀭𒁹𒁯 EŠ₄-TAR₂) > Iɬtar (𒀭𒅖𒋻 IŠ-TAR, 𒀭𒋻 IL₃-TAR) > Iɬɬar (NB 𒀭𒅖𒄭 IŠ-ŠAR, NA 𒀭𒄑𒊬 IS-SAR)
account_circle
Matthew Green(@matthew_d_green) 's Twitter Profile Photo

This thing Facebook did — running an MITM on Snapchat and other competitors’ TLS connections via their Onavo VPN — is so deeply messed up and evil that it completely changes my perspective on what that company is willing to do to its users.

account_circle
Naomi Brockwell(@naomibrockwell) 's Twitter Profile Photo

This is insane.

Looks like Facebook did a man-in-the-middle attack using their VPN service to steal data from other apps. This enabled them to see all SSL traffic, by creating a fake digital certificate to impersonate Snapchat, YouTube, Amazon etc.

Seriously?

account_circle