I enjoyed talking to Anna Rose & guille on the Zero Knowledge Podcast podcast about Jolt, the sum-check protocol, and how SNARKs will evolve! I'm excited to see where these innovations take us next.

zeroknowledge.fm/322-2/

When I fly 🛫 , my mind sometimes wanders to my favorite crypto tricks! 🤓

Last week, it landed on Shamir secret *re*sharing via the 'share your share' approach! What a *beautiful* technique! 🤩

Couldn't help myself, so I wrote a short blog post ✍️:
alinush.github.io/2024/04/26/How…

What if… verifying the execution of pairings inside SNARKs can be done much faster than already known?

Andrija Novakovic and @LiamEagen have just published a paper on this!

Let’s explore this below 🧵

1/13

anyone interested in giving a talk (or attending)? In Paris on May 13th

In Paris? We are as well, let's meet up at Station F on May 12th to hang out and talk zero-knowledge proofs! lu.ma/syqfn4v4

You're into zero-knowledge proofs and in Paris? Let's meet on Sunday May 12th at Station F! lu.ma/syqfn4v4

Google Maps keep deleting my saved places, am I the only one?

We’re nearing the anniversary of zkSecurity. Will have more to say about that but needless to say that we have accomplished so much more than what I could have imagined when we started a year ago. We easily positioned ourselves as the best zk security company on the market.

NIK John Carmack This is one of those « If you’re asking for where to start, you’re probably not going to make it ».
People motivated to learn aren’t going to wait for a magical list of papers to get going.

I’ve tried to buy telegram premium so many times, with apple pay and revolut, never worked. How are you getting anyone to pay for it lol Telegram Messenger

In France people throw cigaret butts in the streets everywhere, and dogs pee everywhere. In Japan people carry their trash and wash dog urine with bottles of water!

Anybody in Paris to do a ZK meetup?

It's so over.
eprint.iacr.org/2024/601

(It's an improved reduction to break NTRU lattices that was conjectured 18 years ago by Phong Q. Nguyen.)

🚨 New Video Alert! 🎥

Join me for a quick review of 'SoK: What don’t we know? Understanding Security Vulnerabilities in SNARKs'.

We'll discuss the key findings from the paper, focusing on the taxonomy of 141 real-world vulnerabilities in SNARK implementations.

- paper:…

My friend Sascha؜ is traveling in 🇨🇳 China right now

Videos here are in Lijiang in Yunnan province which is in the south and borders on Myanmar, Laos and Vietnam, so very close to SEA!

I always see Americans and Europeans talk about Asia and then only visit Japan, which is…

fuzzing is such a stupid tool, and the fact that it has been so effective at finding so many bugs is mostly thanks to how great C/C++ are at letting developers write bugs. My open question is, do you need fuzzing in modern languages? Is property testing as capable if not better?

Thinking of getting an audit for a ZK project? Overwhelmed with the number of auditors? Take a look at the reports they write