Varun Thakore

PhD Student @UMichCSE, prev engineer @zksecurityXYZ, prev mtech ee @iitbombay

[zkSecurity @zksecurityXYZ]

AI vulnerability research is non-deterministic.

The same model looking at the same code won't take the same reasoning path every time. Some paths find nothing. Some paths find the bug.

A single scan is a coin flip. But what if you keep flipping?

Introducing zkao.

[zkSecurity @zksecurityXYZ]

Optimistic One-vote-round Finality in BFT Consensus, read more about how people are revisiting much simpler consensus schemes, at the cost of...

[zkSecurity @zksecurityXYZ]

today we're looking at sigma proofs! come learn what these 𝚺 entail to!

[Varun Thakore @varunthakore]

Read our final post on STARKs over circles !

[zkSecurity @zksecurityXYZ]

wondering how stwo and the last gen of STARKs, circle starks, are working? did you know we had a series on them? We just released part 4!

[zkSecurity @zksecurityXYZ]

latest on the zk/sec quarterly: what happened with all the recent proximity gaps papers and what does this mean for the security of our zero-knowledge proof systems!

[Nico @nico_mnbl]

wrote a thing about the recent proximity things.

Let's see if we can explain proximity gaps without getting lost in moon math!

Find it on the @zksecurityXYZ blog, link below

[Srinath Setty @srinathtv]

Introducing Vega, a folding-based ZK proof system for client-side proving tasks (e.g., age over 18, proof of humanity)!

Vega is fast with ~200 ms of prover time and 50 ms of verifier time for an end-to-end mDL-based ZK proof of age (including device binding)!

[zkSecurity @zksecurityXYZ]

you like lattices? you like post-quantum SNARKs? we got you covered! Read our latest article on LaBRADOR, the core of greyhound and of most modern lattice-based SNARKs!

[David Wong @cryptodavidw]

new articles on the zk/sec quaterly!

[zkSecurity @zksecurityXYZ]

Still digging into bulletproofs? Check our post on how private crypto payments like Solana's or Monero's use them for range proofs in our latest post!

[Varun Thakore @varunthakore]

Your one-stop resource for everything about Starkware’s S-two prover. A must-read if you’re curious about how it works !

[zkSecurity @zksecurityXYZ]

Starknet's S-two book came out, in partnership with zkSecurity. It has a lot of content, so better start reading it now! ⬇️

[zkSecurity @zksecurityXYZ]

Looking at this past year, Circom is still going strong, being used in many projects on top of many different blockchains (Ethereum, Sui, Aptos, what else?). If you're working on circom, make sure you read our series on Circom pitfalls. link to new post below 👇🏼

[Nico @nico_mnbl]

Just published a simpler proof of the RBR soundness of FRI! Work with @0xAlbertG and Benedikt Wagner

I also wrote a blog post explaining the high level ideas of the proof. All you need to know is how to colour a graph!

Links to paper and blog below

1/3

[zkSecurity @zksecurityXYZ]

Why does FRI work? Check that out in our last blogpost

[Srinath Setty @srinathtv]

What’s the simplest and *general-purpose* ZK proof construction you’ve seen? By ZK, I mean real ZK.

I think the simplest is BlindFold. (Link in the next post.)

[zkSecurity @zksecurityXYZ]

We are throwing this one in partnership with @StrobeLabs ! Come hang with us tomorrow in New York tribeca!

[David Wong @cryptodavidw]

see you next week in new york! https://t.co/vyHw8lxaBU

[zkSecurity @zksecurityXYZ]

We created a hands-on tutorial so you get to implement plonk from scratch!
https://t.co/LsOWqck2fH

[zkSecurity @zksecurityXYZ]

YO, you're in New York for ETH NYC? We are too! See you there!

https://t.co/uetssIkx1D

[Varun Thakore @varunthakore]

Check out our latest blog on doing FFT over a circle.

[zkSecurity @zksecurityXYZ]

Trying to learn about the latest stuff in STARK-land? Come check out our new write up: Circle STARKs: Part III, Circle FFT

https://t.co/nUTurQIcaM