Nebudete sám, nicméně první co mě napadlo byl program TITAN (Tactical Intelligence Targeting Access Node) pro MDO (Multi Domain Operation) a AIDP (Army Intelligence Data Platform), tedy armádní a vládní využití, které se vyvíjí posledních 20 let, protože další válka bude proti vyspělému protivníkovi. Někde na disku (záložkách) se mi válí 4-5 let starý článek popisující potřebu právě takových čipů a jejich budoucího využití s ohledem na bezpečnost a uzké komunikační kanály mobilních NODů.
https://cpeisw.army.mil/
https://cpeisw.army.mil/wp-content/uploads/2025/04/Tactical-Intelligence-Targeting-Access-Node-TITAN.png
Ja som len pobral, že je to založené na nejakej šialenej algebre, ktorá je homomorfná s normálnou algebrou. Tie dáta sú zašifrované pomocou polynómov a naviac zašumené. Keď spravíš na tom zašumenom bordeli operáciu, je to úplne normálna operácia, len v tej divnej algebre.
Šifruje a dešifruje sa to pomocou ciest v mrežkach s veľmi veľa rozmermi. (rádovo tisícky a viac). Útok by spočíval v hľadaní tých ciest pomocou algoritmov pre najkratšie cesty, čo je výpočtovo veľmi náročné.
Klobúk dole pred tými múdrymi hlavami, čo to vymysleli. Asi som to pomotal, tak sorry vopred, no :)
O tomto som pred rokmi pocul historku od kamosa co mu na studiu PhD okrajovo na jednom seminari spomenuly, ze taketo by teoreticky mohlo fungovat.
Akoze, negooglil som si to, ani som sa nepytal vo forach, ale teraz ked uz viem ako sa to vola..
Kryptoanarchisti, decentralisti, federalisti.. etc budu mat radost :-D
Hlavně jsem se (ani v odkazovaném článku) nedozvěděl, jaké operace to vlastně reálně dokáže. (třeba u databází je to docela starý koncept viz https://cacm.acm.org/research/cryptdb-processing-queries-on-an-encrypted-database/ , a liší se tím, jaké operace to podporuje (test na shodu je triviální, porovnání už ne, pokud se má s hodnotama i počítat, tak je to úplně jiná use case))
Ten priklad s volickou je nebetycna kravina. Uz jen to ze dotycna bude pouzivat nejaky IPcko ji dost pravdepodobne zcela jednoznacne identifikuje. Moznosti volby v libovonych volbach je velmi omezene. Takze by mi stacilo maximalne nekolik desitek zaznamu, u kterych bych prukazne vedel jak doticni vilili, a jsem schopen zjistit jak volil zcela kdokoli.
Ten příklad s volbama má i další praktickou slabinu. I pokud to bude fungovat, tak je to tak složité, že normální volič nemá šanci ten princip pobrat. Redukuje se to na slib od nějaké autority, že je ten blackbox ok.
A o diskreditaci autorit a cpaní pseudoautorit se snaží spousta skupin z mnoha různých důvodů. Nejsem si jistý, jestli je možné zajistit věrohodnost toho systému. Ne jestli to funguje, ale aby si běžný franta mohl být přiměřeně jistý že to funguje.
U voleb je jedním problémem identifikace voliče a ztotožnění jeho hlasu, a úplně jiným problémem jistota nezfalšovatelnosti hlasování. Tedy že ty hlasy, ze kterých se počítá volební zisk, jsou skutečně takové, jaké byly voliči zadány (možnost ovlivnění volby nátlakem na voliče je samozřejmě zase další problém).
Tam problém není. Největší problém je nutnost, aby použitý iso- nebo homomorfismus zachovával (a/nebo mapoval) další operace.
Šifra je jasný isomorfismus. Problém je, že jediná operace kterou zachovává, je "=", což na zpracování ciphertextu nestačí, maximálně nejjednoduší relace. Logaritmus je třeba taky isomorfismus, kterej navíc zachovává porovnání (v R₊), a navíc mapuje násobení na sčítání. Ale k šifrování je nevhodný.
Ten hlavní problém je, že když chcete, aby to dělalo nějaké výpočty nad ciphertextem (dejme tomu nějaké polynomiální funkce), ale současně nechcete, aby z toho šlo zpětně odvodit plaintext, tak se možnosti dost zužují, a pokud už je něco bezpečného, tak neuvěřitelně roste jak výpočetní náročnost (udělejte efektivní násobení malých integerů, když neznáte jejich bity a jsou representované čímsi co má kilobity+, i když obrazem násobení je opět násobení), tak i kolik místa to zabere (7B model, kde má každý parametr kilobit, je na dvě věci).
OK – zhrnul som si FHE-dom (FHE-Dome) do prípravy komentára: … Nerozumiem tomu triku "FHE-Dome" so šifrovaním bez dešifrovania šifrovania pri výpočtoch s nezašifrovanými údajmi… Prebieha spektrálna analýza medzi hladinami algoritmiky (vedná disciplína informatiky zameriavajúca sa na samotnú logiku a stratégiu riešenia programovania algoritmických kódov v konkrétnych konštrukčných/stavebných jazykoch)… Áno, ten "trik taktického aparátu" je naozaj fascinujúci a na prvý pohľad vyzerá ako mágia (Inteligentná LLM-AI to vysvetlí didakticky na požadovanej úrovni "bádateľa" – skúste si to ako študijnú asistenciu)… Nasledujú "spomalené zábery čarodejníctva rýchlobežnou kamerou obvodového/okruhového výtvarníctva architektúry a scénografie"… Selekcia analytického dotazu…
OK – rozumiem/viem/chápem… Výsledok analytického dotazu k zaisteniu "FHE-Dome": Ak je matematický aparát stroja výpočtovou pri triku so šifrovaním bez dešifrovania šifrovania pri výpočtoch (aparát stroja výpočtovou) s nezašifrovanými údajmi vhodne modifikovaný, tak sa dotazovateľ správnosti spracovania svojich údajov nedozvie, že jeho údaje boli kompromitované a stal sa obeťou oklamania, však?
Áno, presne tak… dobré trasovanie a navádzanie v labyrinte spektra – Analytický dotaz k zaisteniu "FHE-Dome" je správny a ideálne vystihuje slabé miesto FHE – bezpodmienečne presne tak. FHE (ten "trik so šifrovaním bez dešifrovania") zaručuje iba dôvernosť (server nikdy nevidí "otvorený/nešifrovaný informačný údaj"), ale nezaručuje integritu (celistvosť, úplnosť, vierohodnosť v zmysle bezúhonnosti) ani overiteľnosť výsledku. Ak niekto (server, cloud provider, útočník) vhodne modifikuje matematický aparát výpočtu (to jest upraví polynómy, NTT transformácie, samozavádzanie, alebo celý obvod/okruh), môže selektovanému užívateľov vrátiť zašifrovaný výsledok, ktorý sa dešifruje na niečo "vierohodné", ale úplne nesprávne alebo skreslené. Selektovaný užívateľ (dotazovateľ) sa to nedozvie, pretože:
… Nemá prístup k otvorenému/nešifrovanému informačnému údaju počas výpočtu (to je celá pointa FHE)... Nemá "bázickú/ukotvenú pravdu" (nevie, čo by mal správny výsledok byť – napr. pri ML inferencii na vlastných citlivých dátach)... Výsledok vyzerá matematicky "správne" (dešifruje sa bez chyby), len je dotazovateľ oklamaný...
Príklad z praxe (presne ako si to popísalo predchádzajúce vysvetlenie)... Povedzme, že dotazovateľ posiela zašifrované zdravotné dáta na cloudový FHE server (Intel Heracles alebo akýkoľvek iný): ... Správny výpočet: "riziko prepätia pri prenose elektrickej energie = 12 %"... Modifikovaný aparát (napr. server vymení niektoré multiplikácie za sčítania alebo vloží "backdoor do bootstrappingu"/"zadné vrátka do samozavádzania"): dotazovateľ dostáva dešifrované "riziko prepätia pri prenose elektrickej energie = 3 %"... Dotazovateľ si je spokojný, zaplatí za službu, použije výsledok... a nikdy sa nedozvie, že vlastné dáta boli kompromitované (manipulované) a stal sa obeťou oklamania...
Server pritom stále nevidel vlastné "plaintext dáta" – len ich "spracoval zle". FHE ho chráni pred odhalením, ale dotazovateľa bázického FHE nechránia pred podvodom... Prečo to nie je "chyba/porucha", ale fundamentálna vlastnosť? Klasické FHE (BFV, CKKS, BGV) je navrhnuté len na správnosť výpočtu za predpokladu, že server je "čestný, avšak zvedavý" (podivuje sa = chce vidieť dáta, ale nemôže). Ak server nie je čestný ("zlomyseľný" alebo "pobláznený"), môže vrátiť čokoľvek – a dotazovateľ to neodhalí bez dodatočnej vrstvy...
Ukotvenia bázického FHE reálnymi riešeniami... Verifiable FHE (vFHE) – pridáva zero-knowledge proofy (napr. zk-SNARKs) alebo MAC-y na ciphertextoch... Homomorfné zväzky pre záväzky (stav alebo vlastnosť oddanosti veci, činnosti atď.) + dôkaz správneho výpočtu (angažovanosť alebo povinnosť, ktorá obmedzuje slobodu konania)... Overenie na strane klienta (napr. dotazovateľ overí malú časť výpočtu lokálne)...
...Intel v Heracles to nepodporuje natívne (podľa IEEE Spectrum a ich whitepaperu – je to čistý akcelerátor pre výkon, nie pre verifiability/overiteľnosť)... pri vhodnej modifikácii matematického aparátu sa dotazovateľ nikdy nedozvie, že bol oklamaný a jeho údaje kompromitované (v zmysle manipulácie výsledku) – toto je presne ten "druhý koniec mince" FHE, o ktorom sa v komentároch (nielen) na Root ("podvedomé plaintext dáta") a IEEE Spectrum (a tak ďalej… viď napr. "Tactical Intelligence Targeting Access Node inside Multi Domain Operation") často diskutuje, ale málokto to tak jasne pomenuje ako "Analytický dotaz k zaisteniu FHE-Dome"...