הצגת המקור של הדף "HC-128"

'''HC-128''' הוא [[צופן זרם]] סינכרוני מותאם במיוחד לתוכנה שפותח ב-2004 על ידי [[Hongjun Wu]] [[אוניברסיטת לוון]], הוצע לפרויקט [[eSTREAM]]{{הערה|[http://www.ecrypt.eu.org/stream/e2-hc128.html HC-128]}} ונבחר כצופן זרם מועדף בקטגוריית תוכנה יחד עם מבחר [[אלגוריתם|אלגוריתמים]] נוספים. הצופן מקבל מפתח בגודל 128 סיביות ו[[וקטור אתחול]] בגודל 128 סיביות. המצב הפנימי (internal state) של הצופן מורכב משתי טבלאות כל אחת בגודל 512 אוגרים בגודל 32 סיביות. בכל צעד, אוגר אחד באחת הטבלאות מעודכן באמצעות פונקציית הזנה אי-ליניארית והפלט בגודל 32 סיביות נוצר על ידי פונקציית סינון אי-ליניארית. אפשר לייצר זרם מפתח בגודל מרבי של <math>2^{64}</math> סיביות. המסר מוצפן ומפוענח באמצעות [[XOR]] עם זרם המפתח.

מפתח הצופן מציין את ההצהרות הבאות: מחזוריות הצופן היא לכל היותר <math>2^{128}</math>. שחזור מפתח ההצפנה קשה כ[[כוח גס|חיפוש ממצה]]. התקפת הבחנה (distinguishing attack) דורשת לפחות <math>2^{64}</math> סיביות מפתח. לא קיימים [[מפתח (קריפטוגרפיה)|מפתחות הצפנה]] חלשים. הצופן אינו מוגן בפטנט כלשהו. מהירות ההצפנה היא בערך 3.05 מחזורי שעון לבית על מחשב [[פנטיום]].

HC-128 הוא גרסה פשוטה של צופן HC-256 והוא פשוט ומהיר בתוכנה, מנצל את יכולות ה[[מעבד]] המודרני ומאפשר מקביליות, פונקציית ההזנה ופונקציית הפלט יכולות להתבצע בו זמנית.

==תיאור הצופן==
סימנים מוסכמים:
{| class="wikitable" width="800"
|-
| height="40" width="25%" align="center" | <math>x+y</math> || <math>(x+y)\text{ mod }2^{32}</math> כאשר <math>0\le x,y<2^{32}</math>.
|-
| height="40" width="25%" align="center" | <math>x\boxminus y</math> || <math>(x-y)\text{ mod }2^9</math>, למשל <math>2-10=504</math>.
|-
| height="40" width="25%" align="center" | <math>\oplus</math> || XOR
|-
| height="40" width="25%" align="center" | <math>\|</math> || [[שרשור (מחרוזות)|שרשור]]. למשל אם <math>a=1011</math> ו-<math>b=1001</math>, שרשור המחרוזות יחד הוא <math>a \ \| \ b=10111001</math>.
|-
| height="40" width="25%" align="center" | <math>x\gg n</math> || אופרטור הזזה לימין (shift left) של הסיביות המשתנה <math>x</math> בסך הכול <math>n</math> צעדים, כאשר הסיביות המשמעותיות מאופסות.
|-
| height="40" width="25%" align="center" | <math>x\ll n</math> || אופרטור ההזזה לשמאל <math>n</math> צעדים כך ש-<math>n</math> הסיביות הפחות משמעותיות מאופסות.
|-
| height="40" width="25%" align="center" | <math>x\ggg n</math> || אופרטור [[הזזה מעגלית]] (rotate) לימין על מילים באורך 32 סיביות. הסיביות של <math>x</math> מוזזות לימין <math>n</math> צעדים כאשר כל הסיביות שנפלטות מצד ימין מוחזרות מצד שמאל. בניסוח פורמלי <math>((x \gg n)\oplus (x\ll {(32-n)})</math>
|-
| height="40" width="25%" align="center" | <math>x\lll n</math> || הזזה מחזורית לשמאל. בניסוח פורמלי <math>((x\ll n)\oplus (x\gg {(32-n)})</math>

|}

וקטור האתחול <math>IV</math> והמפתח הסודי <math>K</math> המסופקים על ידי המשתמש כל אחד בגודל 128 סיביות וכן זיכרון בכמות של שתי טבלאות <math>P</math> ו-<math>Q</math> כל אחת בגודל 512 אלמנטים של 32 סיביות. זרם המפתח המשמש להצפנה נקרא <math>s</math>. והוא שרשור של ערכי 32 סיביות  <math>s_0 \ \| \ s_1 \ \| \ s_2 \ \| \ ... \ </math> שמופקים בכל צעד.

ישנן 6 פונקציות עזר בצופן. הפונקציות <math>f_1(x)</math> ו-<math>f_2(x)</math> שאולות מפונקציות דומות שהן חלק מפונקציית התמצות של [[SHA-2]]. לצורך הפונקציה <math>h_1(x)</math> משתמשים בטבלה <math>Q</math> כתיבות החלפה (s-box) ועבור הפונקציה <math>h_2(x)</math> משתמשים בטבלה <math>P</math>. הפונקציות הן:

<div class="mw-content-ltr">
:::<math>f_1(x)=(x\ggg 7)\oplus (x\ggg {18})\oplus (x\gg 3)</math>
:::<math>f_2(x)=(x\ggg {17})\oplus (x\ggg {19})\oplus (x\gg {10})</math>
:::<math>g_1(x,y,z)=((x\ggg {10})\oplus (x\ggg {23}))+(y\ggg 8)</math>
:::<math>g_2(x,y,z)=((x\lll {10})\oplus (z\lll {23}))+(y\lll 8)</math>
:::<math>h_1(x)=Q[x_0]+Q[256+x_2]</math>
:::<math>h_2(x)=P[x_0]+P[256+x_2]</math>
</div>

כאשר <math> x=x_0\ \| \ x_1 \ \| \ x_2 \ \| \ x_3</math> הוא מילה בגודל 32 סיביות והאלמנטים <math>x_i</math> הם ארבעת הבתים המרכיבים את המילה לפי [[סדר בתים]] קטן. כאשר בית אפס מייצג את החלק הפחות משמעותי של המילה.

==תהליך אתחול==
תהליך האתחול של הצופן כולל הרחבת וקטור האתחול והמפתח הסודי לשתי הטבלאות <math>P</math> ו-<math>Q</math> בדומה ל-[[SHA-2#SHA-256|SHA-256]]. ואז מריצים את הצופן 1024 צעדים בהם לא משתמשים בפלט הצופן כמפתח אלא הפלט מוזן בחזרה לעדכון אלמנטים בטבלאות.
יהי <math>K=K_0\ \| \ K_1\ \| \ K_2\ \| \ K_3</math> וכן <math>IV=IV_0\ \| \ IV_1\ \| \ IV_2\ \| \ IV_3</math> כאשר כל <math>K_i</math> ו-<math>IV_i</math> בגודל 32 סיביות. משכפלים את המפתח ווקטור האתחול ארבע פעמים בניסוח פורמלי: <math>K_{i+4}=K_i</math> ו-<math>IV_{i+1}=IV_i</math> עבור <math>0\le i<4</math>. המפתח ווקטור האתחול מורחבים למערך עזר זמני <math>W</math> בגודל 1280 אלמנטים של 32 סיביות כדלהלן:

<div class="mw-content-ltr">
:::<math>W_i = \begin{cases} K_i,  & 0\le i\le 7 \\ IV_{i-8}, & 8\le i\le 15 \\ f_2(W_{i-2})+W_{i-7} +f_1(W_{i-15})+W_{i-16}+i, & 16\le i\le 1279 \end{cases}</math>
</div>

מעדכנים את הטבלאות כדלהלן: עבור <math>i=0</math> עד <math>511</math> בצע: <math>P[i]=W_{i+256},Q[i]=W_{i+768}</math>. מריצים את הצופן 1024 צעדים כדלהלן:

<div class="mw-content-ltr">
:::<math>\text{If }i=0\text{ to }511\text{ do }</math>
::::<math>P[i]=(P[i]+g_1(P[i\boxminus 3],P[i\boxminus 10],P[i\boxminus 511]))\oplus h_1(P[i\boxminus 12])</math>
:::<math>\text{If }i=0\text{ to }511\text{ do }</math>
::::<math>Q[i]=(Q[i]+g_2(Q[i\boxminus 3],Q[i\boxminus 10],Q[i\boxminus 511]))\oplus h_2(Q[i\boxminus 12])</math>
</div>

בשלב זה הצופן מוכן לשימוש.

==הצפנה ופענוח==
הצפנה ופענוח זהים כמו בכל צופן זרם, תחילה מייצרים זרם מפתח באורך המסר המיועד להצפנה ואז מבצעים XOR מילה אחר מילה של כל המסר עם זרם המפתח. המחולל המייצר את זרם המפתח מעדכן בכל צעד אלמנט אחד מהטבלאות וכן מפיק פלט של 32 סיביות כחלק מזרם המפתח. כל תיבת החלפה מתוך הטבלאות משמשת להפקת 512 פלטים בלבד ולאחר מכן מתעדכנת לצורך 512 הפלטים הבאים. להלן [[פסאודו קוד]] המתאר את מהלכי מחולל זרם המפתח בכל צעד או פעימה. שומרים מונה <math>i</math> שמתחיל באפס ומקודם אחרי כל ריצה של המחולל:

<div class="mw-content-ltr">
::#<math>j=i\text{ mod }512</math>
::#<math>\text{If }(i\text{ mod }1024) < 512\text{ then do }</math>
::#:<math>P[j]=P[j]+g_1(P[i\boxminus 3],P[j\boxminus 10],P[j\boxminus 511])</math>
::#:<math>s_i=h_1(P[j\boxminus 12])\oplus P[j]</math>
::#<math>\text{Else do }</math>
::#:<math>Q[j]=Q[j]+g_2(Q[j\boxminus 3],Q[j\boxminus 10],Q[j\boxminus 511])</math>
::#:<math>s_i=h_2(Q[j\boxminus 12])\oplus Q[j]</math>
::#<math>i=i+1</math>
</div>

הפלט הוא <math>s_i</math>. חוזרים על תהליך זה שוב ושוב עד שמתקבל זרם מפתח באורך הרצוי, עד לאורך מקסימלי של <math>2^{64}</math> סיביות או <math>2^{59}</math> מילים. לאחר מכן רצוי להחליף וקטור אתחול או מפתח.

==ביטחון==
פונקציות הפלט וההזנה של הצופן הן בעלי תכונת אי-ליניאריות גבוהה, לכן [[התקפת קורלציה]] והתקפה אלגברית אינן ישימות כנגד צופן זה. בנוסף הטבלאות מתעדכנות בזמן ריצה לכן קשה לפתח [[יחס ישר|יחס ליניארי]] כלשהו בין הקלט לפלט של תיבות ההחלפה. מצב הצופן מכיל בסך הכול 32,778 סיביות, כך שהוא מכיל מחזוריות גבוהה למדי, אם כי קשה להעריכה במדויק. בממוצע מדובר על <math>2^{256}</math> סיביות. כן המספר הגדול של מצבי צופן, מסכל [[התקפת איזון זמן/זיכרון|התקפת איזון זמן/זיכרון/דטה]] כנגד צופן זרם.

אף על פי שפונקציית הפלט האי-ליניארית מדליפה מעט מידע בכל צעד, פונקציית ההזנה מבטיחה שלא ניתן יהיה לנצל מידע זה כדי לשחזר את המפתח הסודי. בשלב האתחול הושם דגש על פיזור טוב והשפעה של סיביות המפתח ווקטור האתחול על כל סיביות טבלאות המצב הפנימי, כדי למנוע התקפה דיפרנציאלית.

==קוד לדוגמה==
<syntaxhighlight lang="CPP">
typedef struct { 
      uint P[512];
      uint Q[512];
      uint counter1024;     // counter1024 = i mod 1024
      uint keystreamword;
} HC128_State;

#define ROTR32(x,n)   ( ((x) >> (n))  | ((x) << (32 - (n))) )
#define ROTL32(x,n)   ( ((x) << (n))  | ((x) >> (32 - (n))) )

#define f1(x)    (ROTR32((x),7) ^ ROTR32((x),18) ^ ((x) >> 3))
#define f2(x)    (ROTR32((x),17) ^ ROTR32((x),19) ^ ((x) >> 10))

uint h1(HC128_State *state, uint u) {
      return state->Q[u]+state->Q[256+(u >> 16)];
}

uint h2(HC128_State *state, uint u) {	
      return state->P[u]+state->P[256+(u >> 16)];
}

void OneStep(HC128_State *state) 
{
      uint i   = state->counter1024 & 0x1ff;
      uint i3  = (i - 3) & 0x1ff;
      uint i10 = (i - 10) & 0x1ff;
      uint i12 = (i - 12) & 0x1ff;
      uint i511 = (i - 511) & 0x1ff;

      if (state->counter1024 < 512) {
            state->P[i] = state->P[i] + g1(state->P[i3], state->P[i10], state->P[i511]);
            state->keystreamword = h1(state, state->P[i12]) ^ state->P[i];
            // state->P[i] = h1(state,state->P[i12]) ^ state->P[i]; // replace with this for init
      }
      else {
            state->Q[i] = state->Q[i] + g2(state->Q[i3], state->Q[i10], state->Q[i511]);
            state->keystreamword = h2(state, state->Q[i12]) ^ state->Q[i];
            // state->Q[i] = h2(state,state->Q[i12]) ^ state->Q[i]; // replace with this for init
      }
      state->counter1024 = (state->counter1024+1) & 0x3ff;
}

void Initialization(HC128_State *state, byte *key, byte *iv) 
{
      uint W[1024+256],i;

      for (i = 0; i < 4; i++) {
          W[i] = ((uint*)key)[i]; W[i+4] = ((uint*)key)[i];
      }
      for (i = 0; i < 4; i++) {
          W[i+8] = ((uint*)iv)[i]; W[i+12] = ((uint*)iv)[i];
      }

      for (i = 16; i < 1024+256; i++) 
         W[i] = f2(W[i-2]) + W[i-7] + f1(W[i-15]) + W[i-16]+i;

      for (i = 0; i < 512; i++)  state->P[i] = W[i+256];
      for (i = 0; i < 512; i++)  state->Q[i] = W[i+256+512];

      state->counter1024 = 0;

      for (i = 0; i < 1024; i++)  InitOneStep(state); // see comment
}

void EncryptMessage(HC128_State *state, byte *message, byte *ciphertext, long msglength)
{
      uint64 i;
      uint j;
      
      for (i = 0; (i+4) <= msglength; i += 4, message += 4, ciphertext += 4) 
      {
            OneStep(state);   
            ((uint*)ciphertext)[0] = ((uint*)message)[0] ^ state->keystreamword;   
      }
 
      if ((msglength & 3) != 0)
      {
            OneStep(state);
            for (j = 0; j < (msglength & 3); j++) {
                  *(ciphertext+j) = *(message+j) ^ ((byte*)&state->keystreamword)[j];
            }
      }    
}
</syntaxhighlight>

הערה: הפונקציה OneStep בשלב האתחול זהה למעט שתי שורות המסומנות בהערה, יש להחליף את השורות הללו בשורות שלפניהן ולקרוא לפונקציה בהתאם InitOneStep (הפונקציה הושמטה כאן מטעמי חסכון מקום).

==הערות שוליים==
{{הערות שוליים|יישור=ימין}}

{{קריפטוגרפיה}}


[[קטגוריה:צפני זרם]]