##### 👈 [[12024-01-16]] | 🕰️ 12023-01-17 🕰️ | [[12024-01-18]] 👉 ### [[Journal]], 12 024, Uke 3, onsdag #### 1 Koffeintabletteksperimentet feiler fortsatt—jeg tok en pille i halv elleve-tiden, men sto først opp nærmere halv to, og jeg føler meg vel så trøtt som om jeg ikke hadde tatt noe—men det er kanskje fordi jeg ikke har tatt det helt seriøst. Tid for å finne og sette opp to alarmer som planlagt, og se om idéen egentlig virker eller ikke. Bad brain bad bad brain day Og jeg vet det ikke ville vært det om jeg sto opp klokken 10. I går var good brain day. Må komme inn i [[Aniracetam]]-vanene igjen. #### 2 Tjerandmøte: - Split Fig. 3 i to, gjør det enklere å lese - Bruk minipage-kommando til å få real og ideal game ved siden av hverandre - La def 1 være k-SS, og vanlig SS = 1-SS og online extractability = 0-SS. - Sistnevnte trenger en trapdoor i setup (crs) for å funke? I kataumata er det ck som er trapdoored. - Må definere NIZK (trenger ikke definere signaturer) - se toppen av side 30: defining a NIZK in the QROM is more complicated than signatures ... men det er jo det vi vil: være generelle - må også definere hva trapdoor commitments betyr - sect 3.3 er en konstruksjon, ikke en definisjon, så den kan flyttes til en sect 4 (mens 3.4 er definisjon så den kan bli til 3.3) - og da kan vi få til generaliseringen av katsumata Lemma 4.6 / 4.7 / 4.8 - litt av fordelen med å fokusere på NIZK heller enn signaturer er at vi kan vise SS og HVZK som seperate resultater, mens Katsumata må vise alt i ett bevis for å vise at det er et sikkert signaturprotokoll - og så bevise for lineærrelasjoner som en applikasjon - Hva er egentlig forskjellen mellom sect 4.1 og 4.2? - Lemma 4.2 burde vi klare å skrive opp ganske greit selv uten å se på artikkelen - Lemma 4.6 derimot må vi ta hensyn til kvante på ett eller annet vis #### 3 [[One Day acoustic]] i Lydriket. Nice.