My co-founder Radi and I recently went on the ZK Podcast to talk about the new binary field proof system our team is developing, Binius, and our ZK hardware accelerators

My co-founder Radi and I recently went on the ZK Podcast to talk about the new binary field proof system our team is developing, Binius, and our ZK hardware accelerators https://zeroknowledge.fm/303-2/

Technowatermelon. Elder Millenial. Building Farcaster. 

nf.td/varun

There's a new thing every month!

The specific type of binary field Binius uses, the Wiedemann tower, is incredibly elegant

But the real answer is something new that Ben (our cryptographer) and I figured out a few weeks ago. More details to come soon. 😁

Funnest new math thing is in our new paper :-)

We discovered a way of understanding a binary NTT algorithm, different from how it was originally described, that makes it compatible with FRI.

Funnest new math thing is in our new paper :-)

We discovered a way of understanding a binary NTT algorithm, different from how it was originally described, that makes it compatible with FRI.

https://eprint.iacr.org/2024/504

What’s the funnest new math thing that you learned since starting the co?

I listened to this episode when it was first released and I was blown away. Not sure why I thought that Keccak-256 was fundamentally doomed in ZK but it's super cool to know there's options.

Recalculating the state space of existing networks is kind of a big deal. Looking forward to some real world benchmarks 😁