##### 👈 [[12024-05-05]] | 🕰️ 12023-05-06 🕰️ | [[12024-05-07]] 👉 ### [[Journal]], 12 024, Uke 19, mandag ![[Morgenskriving 12024-05-06]] #### 2: Igor ute med nytt signatursystem https://eprint.iacr.org/2024/679 Det som interesserte meg var følgende: > The cryptanalysis is reducible to solving a quadratic Diophantine equation over the ring or, equivalently, to solving a system of quadratic Diophantine equations over rational integers. It is still an open problem whether quantum computers will have any advantage in solving Diophantine problems. Åpent forskningsspørsmål! (Men—de har ikke en reduksjon til antagelsen, bare en antagelse om at systemet er sikkert gitt at antagelsen er sikker.) #### 3 Møte med Christian om [[PQ-NCE and SIMstar]]. Føles som fremskritt! #### 4: Prat med EB/Knut Lysmann [[hdy @ Hulen’24]] er Ole Andre Pettersen. Han som gjorde lys for oss på [[Albumslippfest Kvarteret]] het Benjamin. #### 5: Møte om [[TiqTaqToe]]. #### 6: Møte med Tjerand. Hvis man ser vekk ifra $u$, som man aldri svarer på, så er linearitetsbeviset bare Lyubashevsky to ganger i parallell, og dermed så er det tilstrekkelig å kjøre Katsumata to ganger i parallel. Men man kan gjøre noe enda smartere, nemlig hvis man stacker de to Lyubashevsky-committmentene på toppen av hverandre, så får man Lyubashevsky igjen, bare med større $r$. Og da holder det med én Katsumata-commitment til begge meldingene. Mer effektivt! Da blir $B_2$ en todimensjonal matrise, tilsvarende slik den ble oppgitt i Baum et al.-artikkelen. I Baum sin notasjon, så er det $x$ som blir til en to-dimensjonal vektor, dvs $\ell = 2$. Kan se på den hemmelige vektoren som $r || s || s’$, men i selve beviset er det kun $r$ vi bruker. $u$ blir aldri en input engang til Katsumata, den kommer bare i tillegg. Kan forenkle hvis vi vil til at $w = \{r, r’\}$ … eller så kan vi committe til $s$ og $s’$ samtidig, og da Kan optimalisere Shuffle i denne artikkelen, vil berike denne artikkelen. Vadim og Tjerand snakket om tre optimaliseringer: - Modul istedetfor ring LWE - Commitment til mange meldinger av gangen istedet for én til hver - Gaussisk støy istedetfor uniform - Pluss bruke noen teknikker fra hans artikler til å vise at mange beviser er korte. (Dette passer ikke helt inn i denne artikkelen, men resten gjør det.) 1. Vi har et rammeverk 2. Instantieringer i lineær og produkt-bevis 3. Kan brukes i Shuffle 4. OG det leder til mer effektiv Shuffle, både i teori og praksis For anvendt for TCC og for teoretisk for evote-publikasjonskanaler (som uansett typisk er lavere rangert). IEEE Computer Security Foundations Symposium virker kanskje mest relevant. Ser både etter cryptography og electronic voting (og SoKs for den saks skyld). September-deadline. PKC-ish nivå rangeringsmessig (litt avhengig av hvem du spør). Financial crypto? Ellers kunne vi alltids sendt inn til PKC igjen:)