I didn't think this would happen - our Future Cryptography conference on PQC is fully booked. Can't fit more people in. Never saw it coming.

So - we'll record the talks and post the videos. Until then, here's Nigel Smart telling you to pay attention to post-quantum as well.

What is Daffier-Hellman key exchange? Is that performed by a duck? ieeexplore.ieee.org/document/10442…

Thank you, IACR Crypto

Rare Interviews with Enigma Cryptanalyst Marian Rejewski dlvr.it/T6MlRp

Statement, signed by 250+ researchers, warning that the modifications of the Regulation to detect CSAM proposed by the EU presidency dont solve the issues pointed out by experts. It still introduces societal risks without solving the CSA problem.
csa-scientist-open-letter.org

Fermat's Last Theorem is go!

leanprover-community.github.io/blog/posts/FLT…

למי שחשב שאני ממציא - הנה רשימת השאלות:
arxiv.org/abs/1110.1556

zk11 talks are out over on our youtube channel!

Catch the talk that kicked off the main stage Justin Ðrake 🦇🔊's talk on SNARK proving ASICs

youtu.be/URCH2d1cdyg?fe…

This puts another spin on 'The reviewers are not required to read past page 30'

We (Akira Takahashi, Elizabeth Crites, markulf kohlweiss, and myself) are organising a workshop on the Foundations and Applications of Zero-Knowledge Proofs at ICMS from September 2nd to 5th, and registration is open now! Check out: icms.org.uk/ZeroKnowledgeP…

And the third was by Avi Wigderson, who talked about open questions that look like innocent mathematical problems but that would have major implications, if solved, for complexity theory.

youtube.com/watch?v=wgZxyw…

I teach blockchains at Princeton university. We are just wrapping up 'Elements of DeFi', a very hands-on course (each class is a lecture+lab on ETH Sepolia). web3.princeton.edu/elements-of-de…

3rd day of PKC24, starting with our 2nd awesome invited talk from Aggelos Kiayias about the fascinating *one shot* signatures: instead of crying in the corner about quantum may ruin our crypto, we can also build another wonderful world *with* quantum~

Our zkSummit 11 videos are being released on this playlist link.

#zk11 #zkSummit11

youtube.com/playlist?list=…

This is a famous picture of Erdős and a young Terence Tao in 1985 discussing mathematics. I recently learnt what they were talking about.

'A Note on Quantum Algorithms for Lattice Problems' by Omri Shmueli claims to identify an error in the choice of κ parameter of Chen's LWE algorithm. This would invalidate the current version of the paper, but the algorithm can still be proven to work:
eprint.iacr.org/2024/583.pdf

PKC 2024 panel discussion about Chen's quantum algorithm for lattices

zk summit takeaways:

towers of binary fields and Binius-esque proof systems pioneered by Jim Posen and Ben Diamond of @UlvetannaHQ seem to be the direction for the eco to move towards due to:
1. more efficient math at cpu level (eg carry less addition, avx optimized…

Recap of what may or may not be broken by Chen's quantum polynomial time LWE algorithm: eprint.iacr.org/2024/555

Not Yet: NIST PQC candidates like Crystals-Kyber would be broken because of the near linear modulus-to-dimension ratios. The algorithm works with a quadratic ratio.

History of zk!