Lattice-based cryptography: The tricky math of dots

Lattices are seemingly simple patterns of dots. But they are the basis for some seriously hard math problems.
Created by Kelsey Houston-Edwards (www.kelseyhoustonedwards.com)
Sponsored by Wire (www.wire.com)
________
Post-Quantum Cryptography: • Post-quantum cryptogra...
Learning with Errors: Coming January 5, 2023
________
Timestamps
0:00 - Post-quantum cryptography introduction
0:58 - Basis vectors
1:55 - Multiple bases for same lattice
2:50 - Shortest vector problem
4:32 - Higher dimensional lattices
4:59 - Lattice problems
5:55 - GGH encryption scheme
8:00 - Other lattice-based schemes
________
What more information about lattice-based cryptography? Check out the many resources as thelatticeclub.com/
Lattice-based cryptography (blog, part 1): writing.chelseakomlo.com/gent...
Lattice-based cryptography (blog, part 2): writing.chelseakomlo.com/a-ge...
GGH-Encryption Scheme (Wiki): en.wikipedia.org/wiki/GGH_enc...
Security of GGH Encryption Scheme (research paper): link.springer.com/chapter/10....

Пікірлер: 64

  • @bemo6434
    @bemo64344 ай бұрын

    This channel is wildly underrated!

  • @DarrellCarbajal
    @DarrellCarbajal Жыл бұрын

    this may be the most accessible explanation of lattice crypto on the Internet

  • @mikecaetano
    @mikecaetano Жыл бұрын

    So good to see you back on KZread talking math again, Kelsey!

  • @y__h

    @y__h

    9 ай бұрын

    Oh I wonder why her voice sounds familiar!

  • @shresthamishra

    @shresthamishra

    4 ай бұрын

    I'm so happy to find you again😢😢😊😊

  • @erhounisoufian5439
    @erhounisoufian5439Ай бұрын

    the best explanation of lattice in youtube 🔥

  • @General-jp5gf
    @General-jp5gf10 ай бұрын

    I just found your channel from the PBS Infinite Series. It made my day to learn that you still make videos! I hope you keep uploading!

  • @JohnAlanWoods
    @JohnAlanWoods Жыл бұрын

    Stunningly great video. Super clear.

  • @cinime
    @cinime Жыл бұрын

    Thanks for this video, I could finally got the concept of the Shortest Vector Problem and Closest Vector Problem. I really appreciate your explanation.

  • @swingtag1041
    @swingtag10419 ай бұрын

    Fascinating and well explained. Thank you

  • @nelsonpailyvarghese4165
    @nelsonpailyvarghese4165Ай бұрын

    Well-articulated! Thank you.

  • @johnreskusich2324
    @johnreskusich23242 ай бұрын

    such a beautifully well done video. Thank you for taking an intimidating concept and making it accessible.

  • @BederikStorm
    @BederikStorm2 ай бұрын

    Thank you so much. It's so simple and understandable

  • @yuck871
    @yuck87111 ай бұрын

    Amazing video, really really good. Thanks so much!!!

  • @aspidistrax_x2722
    @aspidistrax_x27224 ай бұрын

    This video saved me a lot of time and confusion. Thank you so much for your great videos ♡♡♡

  • @Spinyfish
    @Spinyfish5 ай бұрын

    Very good video, glad this is the first video that showed up when I searched for this topic

  • @stanlee268
    @stanlee268 Жыл бұрын

    I love your videos .keep up the good work.

  • @jonathanwisk5830
    @jonathanwisk58307 ай бұрын

    This video really helped, thanks!

  • @kosterix123
    @kosterix1232 ай бұрын

    very pleasant to watch.

  • @UserName-gu3nv
    @UserName-gu3nv Жыл бұрын

    You videos are amazing and I recommended it to every person interested in cryptography, keep up the great work

  • @siam000000000000
    @siam00000000000011 ай бұрын

    Great video!

  • @thermotronica
    @thermotronica Жыл бұрын

    Awesome!

  • @odnorob
    @odnorob Жыл бұрын

    Thanks for video

  • @MisterSamchun
    @MisterSamchun3 ай бұрын

    c'est si clair et si bien expliqué. merci beaucoup !

  • @Anders01
    @Anders014 ай бұрын

    Great presentation! The basic concept of lattice-based cryptography looks simple which I think is good for analyzing it in terms of security.

  • @basspuppy133
    @basspuppy1338 ай бұрын

    Great video

  • @mksarav75
    @mksarav759 ай бұрын

    good one, thanks.

  • @NicolasMino
    @NicolasMino2 ай бұрын

    this was amazing!

  • @user-fu2hu9hc9p
    @user-fu2hu9hc9pАй бұрын

    This video is so cool 😎 thx

  • @deepjoshi356
    @deepjoshi356 Жыл бұрын

    Thanks for the follow up on PQC standardization procedure. Maths part is always interesting?

  • @yuck871
    @yuck87111 ай бұрын

    Wow!!

  • @forheuristiclifeksh7836
    @forheuristiclifeksh78363 ай бұрын

    5:02

  • @user-ej3iw8lw3w
    @user-ej3iw8lw3w Жыл бұрын

    finally. an educational video without ear-splitting intros, pointless soundbites and effects and people speaking broken english. keep up the simple and good work

  • @deekshith_kp
    @deekshith_kp Жыл бұрын

    Very informative.. thanks for putting together the insane math concepts in an easy to understand capsule!! I have one question though, which could be dumb 🙃 The strength with the algorithm is on keeping the 'good' basis confidential, and am curious on how it could be shared between Alice & Bob, without compromising it 🤔

  • @quartyom

    @quartyom

    Жыл бұрын

    It's not shared. As it was said, Alice would receive a bad basis from Bob as a public key for encryption. The point is, no matter how bad basis is, its easy to combine vectors and get the point. But to decompose that point to the combination is VERY hard, having only bad vectors. Decryption is run by the owner of good basis to receive messages. This is how asymmetrical keys work

  • @Bronzite
    @Bronzite Жыл бұрын

    I think there was an interesting problem we just blew past in this video around 6:05, where Alice sets up two bases with the same lattice. Is there an easy algorithm that allows someone to generate the "bad" basis from the "good" basis in a non-reversible way? Or was the fact that there's a way to reverse that the algorithm the "sneakiness" you allude to around 7:50?

  • @TheAqissiaq

    @TheAqissiaq

    Жыл бұрын

    I am not an expert on this, but I found the papers and the answer appears to be: 1) yes, several 2) no. GGH (1996) generate their bad basis by multiplying the good basis by some randomly generated unimodular (determinant ±1) matrix and picking a result in which the basis vectors are sufficiently parallel (the threshold value is a parameter to their scheme and is called "dual orthogonality defect" of the unreduced basis). They discuss a few ways to generate these unimodular matrices - for example you can put 1's along the diagonal, random numbers along the middle row or column, and zeros everywhere else. Nguyen's (1999) sneakiness is to solve the closest vector problem modulo "some well chosen integer". In addition to the bad basis, Alice needs to share a maximal error e, so that Bob knows how far from his lattice point the encrypted point can be. Nguyen then solves the problem modulo 2e which is much easier, and uses this to recover information with high probability.

  • @Bronzite

    @Bronzite

    Жыл бұрын

    @@TheAqissiaq I appreciate you doing the legwork on the actual papers. The unimodular matrix transformation seems reasonable, although I still have a nagging feeling that it would be tractable reversible if Eve knew the implementation they were using. Knowing that the maximal error is part of the public key also makes me feel a little better; I was thinking the "closest point" problem could be arbitrary under most lattices across a rational coordinate system given mutually prime bases, but having a fixed maximal error solves that issue. I was wondering if there was some principle of linear algebra that allowed for conclusive confirmation of the closest possible point I wasn't privy to.

  • @PvblivsAelivs

    @PvblivsAelivs

    8 ай бұрын

    The problem is hard to solve in the general case, because there _is_ no "good" basis. Given two vectors that are near-parallel, it is possible to reduce one with respect to the other so they are more orthogonal. In higher dimensions, it can be a bit trickier.

  • @rakshithkunchum
    @rakshithkunchum Жыл бұрын

    Can you provide books and references to read more on this? Also I'm planning to take courses on this. Please do recommend. Thanks. :)

  • @catbeatzzz5693
    @catbeatzzz56935 ай бұрын

    Regular people: just another thing to look at. Mathematician: why can't I make a mathematical model of this

  • @amit2.o761
    @amit2.o761 Жыл бұрын

    are you one from pbs infinite series i was waiting for your video

  • @maheshkamepalli6029
    @maheshkamepalli60295 ай бұрын

    Could someone please share KYPER technique that perform the encryption and decryption?

  • @danielmilyutin9914
    @danielmilyutin991411 ай бұрын

    I just was getting notifications from PBS Infinite Series. And there you are. Plan to restart those? Or production pace is too exausting?

  • @blessedsnake8246
    @blessedsnake8246 Жыл бұрын

    I was really disappointed at the lack of visual representation of 17-dimentional lattice at 4:53 :(

  • @Daniel-ng8fi

    @Daniel-ng8fi

    8 ай бұрын

    you should be grateful she didn't show it. It would have caused anyones head who viewed it to explode.

  • @RichardEricCollins
    @RichardEricCollins8 ай бұрын

    If you know the bad basis and the closest vector is it easy to verify?

  • @Woreixiz
    @Woreixiz10 күн бұрын

    How could Bob create the list of all lattice points using bad basis? If everyone having bad basis can create the lattice, what is stopping them from finding the closest lattice point just by visual inspection?

  • @TymexComputing
    @TymexComputing9 ай бұрын

    Anybody here heard about fourier trans in crystalography? Or about voronoi triangulation?

  • @alejandroreyleyva8318
    @alejandroreyleyva83183 ай бұрын

    How do you create this kind of representation and animations of point lattices? I am writting a university project about post quantum cryptography, and I would like to introduce pictures and visualizations about lattices. Thanks :)

  • @quick_math_tricks2326
    @quick_math_tricks23262 ай бұрын

    I love you ❤

  • @forheuristiclifeksh7836
    @forheuristiclifeksh78363 ай бұрын

    0:41

  • @MAP233224
    @MAP23322410 ай бұрын

    All lattice propositions have been dropped by NIST at round 4, what does this imply for those protocols?

  • @BlueDippy

    @BlueDippy

    9 ай бұрын

    The thing is I was thinking of some “lattice” based encryption method a while ago. And then I got to thinking… it’s all just perceived as a lattice based on a data structure and algorithm. I mean… it’s a lattice in our heads because of how we think. But in a computer it’s literally just abstract bits lol.

  • @chalktalkmath

    @chalktalkmath

    9 ай бұрын

    They already chose to standardize some algorithms, including lattice-based ones. The fourth round is being used to explore additional non-lattice algorithms. It's slightly different than the previous rounds.

  • @wildweasel3001
    @wildweasel300111 ай бұрын

    You'd think going from a good basis to a bad basis would be easier! Like translating a vector! 🤔 Otherwise very nicely explained, won't be for everyone but perfect level for me! Thanks

  • @awesomecraftstudio
    @awesomecraftstudio2 күн бұрын

    Why can't the bad basis simply be orthonormalized?

  • @suryasai5120
    @suryasai512011 ай бұрын

    * Two different looking basis vectors can generate same lattice. * Shortest Vector Problem: The point constructed by basis that is closest to origin, other than origin * Closest Vector Problem: Similar to SVP, but the point can be anything, not only origin.

  • @fgtdjkg
    @fgtdjkg11 ай бұрын

    wawawewa, it's a very nice!

  • @sdsgfhgthjj
    @sdsgfhgthjj Жыл бұрын

    Why is it always Alice & Bob

  • @Kyoz

    @Kyoz

    5 ай бұрын

    Because the alphabet goes, A, B, C...

  • @betabenja
    @betabenjaАй бұрын

    noooooooooooo why are you gone again?!? why did I not find the channel earlier? whhhhhy edit: oh, I am so sad