הצגת המקור של הדף "Skein"

אין באפשרותך לערוך דף זה, מהסיבה הבאה:
כתובת ה־IP שלך נמצאת בטווח שנחסם בכל אתרי הוויקי של קרן ויקימדיה.
החסימה בוצעה על־ידי ‪AntiCompositeNumber‬. הסיבה שניתנה לכך היא: Open proxy/Webhost: See the help page if you are affected.
תחילת החסימה: 16:15, 19 בדצמבר 2024
פקיעת החסימה: 16:15, 19 בדצמבר 2026
כתובת ה־IP הנוכחית שלך היא 13.220.63.57. הטווח החסום הוא 13.220.0.0/16.
יש לציין את כל הפרטים האלה בכל פנייה לבירור החסימה.
אם נראה לך שנחסמת בטעות, אפשר למצוא מידע נוסף והוראות באשף החסימות של הדיילים.
באפשרותך לצפות בקוד המקור של הדף הזה ולהעתיקו.
==Skein==
[[קובץ:Skein scheme.png|300px|ממוזער|שמאל|מבנה כללי של פונקציית הגיבוב Skein]]
Skein (פְּקַעַת בעברית) בנויה משלושה רכיבים עיקריים:
*'''צופן הבלוקים Threefish'''.
*'''מצב הפעלה Unique Block Iteration'''.
*'''מערכת ארגומנטים אופציונליים'''.

===Threefish===
{{ערך מורחב|Threefish}}
צופן הבלוקים Threefish הוא [[צופן בלוקים]] בר-התאמה פשוט ומהיר המקבל בלוק קלט, מפתח הצפנה ו-tweak המשרת כמו [[וקטור אתחול]] ומחזיר בלוק מוצפן. הרעיון הבסיסי בצופן הוא שלוש פעולות פשוטות: [[XOR]], חיבור ו[[פעולה על סיביות#סיבוב ללא סחיבה|הזזה מעגלית]] בהיסטים קבועים, שמופעלות במספר חזרות גבוה בניגוד לצופן המכיל פעולות מרכבות יותר אך עם פחות חזרות. Threefish פותח בשביל Skein אם כי יכול לשמש באופן עצמאי.

===Unique Block Iteration===
[[קובץ:SkeinUBI.png|320px|ממוזער|שמאל|דוגמה למבנה UBI של פונקציית הגיבוב Skein-512 עם קלט באורך 166 בתים (שלושה בלוקים). בסך הכול התבצעו שלוש קריאות לצופן Threefish. בדוגמה זו הושמטו מספר שדות למען הפשטות]]
מבנה UBI הוא מצב הפעלה בסגנון מטיאס-מאייר-אוסאס (כמתואר בתרשים), הפועל מעל צופן בלוקים בר-התאמה (tweakable) עם בלוק ומפתח הצפנה בגודל זהה ועם tweak. הפונקציה <math>\text{UBI}(G,M,T_s)</math> מקבלת שלושה פרמטרים:

*<math>G</math> ערך התחלתי בגודל <math>N_b</math> בתים. כאשר <math>N_b\in\{32,64,128\}</math>.
*<math>M</math> מסר באורך מקסימלי של <math>2^{96}-1</math> בתים.
*<math>T_s</math> tweak באורך 16 בתים.

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

===מערכת ארגומנטים אופציונליים===
כדי להתאים את Skein למגוון השימושים האפשריים הוא כולל מספר אופציות:
*'''מפתח אופציונלי'''. שדה הכולל מפתח הצפנה סודי, באופן זה הפונקציה תשמש כ[[קוד אימות מסרים]] או פונקציה לגזירת מפתח הצפנה.
*'''בלוק קונפיגורציה'''. הבלוק הראשון המכיל את המידע על אופן השימוש בפונקציה.
*'''פרסונליזציה'''. מחרוזת כלשהי המכילה מידע ספציפי למשתמש, כך שאפשר להתאים את Skein לשימוש אישי. שדה זה משפיע על הפלט.
*'''[[מפתח ציבורי]]'''. אופציה המאפשרת שילוב מפתח ציבורי של המשתמש על מנת ליצור ערך גיבוב מהמסר עם המפתח, כך שמסר המיועד לחתימה דיגיטלית עם מפתחות שונים יפיק ערך גיבוב שונה עבור כל מפתח.
*'''מזהה פונקציית גזירת מפתח'''. משולב יחד עם השדה הראשון על מנת להפיק מפתחות הצפנה רבים ממפתח מאסטר יחיד.
*'''Nonce'''. אם משתמשים בפונקציה כצופן זרם או כפונקציית גיבוב רנדומלית, ערך זה משמש כווקטור אתחול. זאת על מנת להבטיח ששני מסרים זהים תמיד יפיקו תוצאה אחרת.
*'''קלט'''. הקלט הרגיל שאינו חובה. במידה ואין קלט הפונקציה תשרת כמחולל פסאודו-אקראי.
*'''פלט'''. פונקציית הפלט שמחזירה את ערך הגיבוב.

===ריפוד===
אם אורך הקלט בסיביות אינו מתחלק ב-8 (אינו בבתים שלמים), מוסיפים סיבית "1" בסוף הקלט ומאפסים את יתרת הסיביות עד שמגיעים למחרוזת בתים שלמים. במקרה זה קובעים את הדגל <math>\text{BitPad}=1</math> (חלק מה-tweak להלן). בדרך זו קל להסיר את הריפוד מבלי לדעת מה היה אורך המסר בדיוק. אם אורך הקלט הוא <math>N_m</math> בתים, מוסיפים <math>p</math> בתי אפס בסופו כדי להשלימו לבלוק אחד לפחות באורך <math>N_b</math> בתים. אם אין קלט יתקבל בלוק אחד ריק. כלומר התוצאה צריכה להיות <math>k</math> בלוקים <math>M_0,M_1,...,M_{k-1}</math> באורך <math>N_b</math> בתים כל אחד כאשר <math>k\ge 1</math>.

===Tweak===
ה-tweak הוא משתנה עזר באורך 128 סיביות (16 בתים) המחולק לשדות ערכים ברמה של סיביות כמתואר בתרשים.
[[קובץ:SkeinTweak.png|750px|ממוזער|מרכז|תרשים מבנה ה-Tweak]]
להלן פירוט שדות ה-tweak:

{| class="wikitable"
|-
! שם שדה !! סיביות !! תיאור
|-
| Position || 0-95 || מספר שלם המייצג את מספר בתי הקלט שעובדו עד עכשיו כולל הבלוק הנוכחי
|-
| Reserved || 96-111 || לא בשימוש, חייב להיות אפס
|-
| TreeLevel || 112-118 || מספר המייצג את הרמה בעץ הגיבוב, אפס אם לא בתצורת עץ
|-
| BitPad || 119 || שווה 1 אם מספר סיביות המסר בבלוק האחרון אינו מתחלק ב-8 
|-
| Type || 120-125 || שדה סוג המקודד לפי טבלת הסוגים להלן
|-
| First || 126 || שווה 1 עבור הבלוק הראשון אחרת אפס
|-
| Last || 127 || שווה 1 עבור הבלוק האחרון אחרת אפס
|}

===פונקציית הגיבוב===
גיבוב מסר נעשה על ידי הפעלה של UBI במספר חזרות רצוי לפי הנוסחה הבאה:
<div class="mw-content-ltr" align="center">
{|
|-
| <math>H_0=G</math>
|-
| 
<math>\mathbf{UBI}\boldsymbol{(H_i,M_i,T_s)}</math> 
:<math>T_s=T_s+\text{min}(N_M, (i+1)N_b) + a_i2^{126} + b_i(B2^{119}+2^{127})</math>
:<math>H_{i+1}=E(H_i, T_s, M_i)\oplus M_i</math>
:<math>\text{Return }H_{i+1}</math>
|}
</div>
הערך <math>T_s</math> מייצג את ה-tweak שכולל את שלושת השדות <math>\text{TreeLevel}</math>, <math>\text{Type}</math> וכן <math>\text{Position}</math> כשהם מקודדים כ[[מספר שלם]] באורך 128 סיביות (באמצעות פונקציה להמרת מערך בתים למילה) בנוסף לסיביות הדגלים הבאים; דגל בלוק ראשון <math>a_i</math>, דגל בלוק אחרון <math>b_i</math> ודגל ריפוד <math>B</math>. הביטוי <math>a_i2^{126}</math> פירושו הצבת הסיבית <math>a_i</math> בפוזיציה 126 ב-tweak וכן לגבי הערכים הבאים. את שדה הפוזיציה שהיא אופסט לבלוק הנוכחי מעדכנים כך <math>(i+1)N_b</math> דהיינו מספר הבלוק כפול מספר המילים לבלוק (למעט בבלוק האחרון שהוא <math>N_m</math> אם המסר אינו מתחלק לבלוקים שלמים). <math>a_i=1</math> רק בבלוק הראשון ו-<math>b_i=1</math> רק באחרון, בכל היתר הם אפס. <math>B</math> הוא הסיבית הריפוד. בכל סבב מעבדים את ערך הביניים מסבב קודם ובלוק הקלט הבא באמצעות צופן הבלוקים הפנימי <math>E</math> בשילוב עם ה-tweak וערך הביניים המשמש כמפתח הצפנה ואת התוצאה מחברים ב-XOR עם הבלוק הנוכחי. כל קריאה ל-UBI מתבצעת עם ערכים שונים מסיבה זו התוצאה תהיה תמיד שונה ללא קשר לקלט. הקריאה הראשונה ל-UBI נעשית עם בלוק קונפיגורציה, הכולל פרטים אודות אופן השימוש שנבחר. יתר הקריאות למעט האחרונה הן של בלוקים של המסר בזה אחר זה. לסיכום תצורת גיבוב רגילה נראית כך:
<div class="mw-content-ltr">
::<math>\mathbf{Skein}\boldsymbol{(M)}</math>
:::<math>K'=0^{N_b}</math>
:::<math>G_0=\text{UBI}(K',C,T_{\text{cfg}}2^{120})</math>
:::<math>G_1=\text{UBI}(G_0,M,T_{\text{msg}}2^{120})</math>
:::<math>H=\text{Output}(G_1,N_o)</math>
:::<math>\text{Return }H</math>
</div>

<math>K'</math> הוא מחרוזת אפסים באורך <math>N_b</math> בתים ו-<math>C</math> הוא בלוק הקונפיגורציה המפורט בטבלה. הביטוי <math>T_{\text{cfg}}</math> המקודד לפי הטבלת הסוגים להלן, פירושו שזהו בלוק הקונפיגורציה, ההכפלה ב-<math>2^{120}</math> היא דרך לתאר הכנסת הערך לפוזיציה המתאימה ב-Tweak (ראו תרשים).

===טרנספורמציית הפלט===
הקריאה האחרונה לפונקציה <math>\text{Output}(G,N_o)</math> היא לצורך הפקת פלט הגיבוב הסופי. הפונקציה מקבלת את ערך הביניים <math>G_1</math> (האחרון שהתקבל) ומספר סיביות הפלט הרצויות <math>N_o</math> ומחזירה את ערך הגיבוב באורך הרצוי על ידי חזרה על פונקציית הפלט במספר הפעמים הדרוש ושרשור התוצאות למחרוזת אחת ארוכה. אורך הפלט המקסימלי הוא <math>2^{61}</math> בתים. פונקציית הפלט קוראת ל-UBI עם מונה פנימי בגודל 8 בתים המתחיל באפס, כדלהלן:
<div class="mw-content-ltr">
:::<math>O=\text{UBI}(G,0,T_{\text{out}}2^{120}) \ \| \ </math>
:::::<math>\text{UBI}(G,1,T_{\text{out}}2^{120}) \ \| \ </math>
:::::<math>\text{UBI}(G,2,T_{\text{out}}2^{120}) \ \| \ </math>
:::::<math>\cdots</math>
:::<math>\text{Output the first} \left\lceil N_o/8\right\rceil\text{ bytes of }O</math>
</div>

===סוגים===
Skein כולל מערכת הארגומנטים שפותחה כדי לאפשר [[תאימות לאחור]] והוספת אופציות בעתיד. האופציות מעובדות בעזרת UBI לפי הסדר. כל קלט מתאפיין בסוג שונה עבור קידוד ה-tweak. בכל מקרה התוספת אינה משפיעה על ביצועי האלגוריתם. הפרמטרים האפשריים של Skein כוללים:

{| class="wikitable"
|-
! סמל !! ערך !! תיאור
|-
| key || 0 || מפתח MAC או KDF
|-
| cfg || 4 || קונפיגורציה
|-
| prs || 8 || פרסונליזציה
|-
| PK || 12 || מפתח ציבורי (עבור חתימה דיגיטלית)
|-
| kdf || 16 || מזהה מפתח עבור KDF
|-
| non || 20 || ערך חד פעמי Nonce עבור צפן זרם
|-
| msg || 48 || קלט
|-
| out || 63 || פלט
|}

===קונפיגורציה===
בלוק הקונפיגורציה באורך 32 בתים מכיל את השדות הבאים:
*מז��ה סכמה. מחרוזת כלשהי באורך 4 בתים לפי בחירת המשתמש. עבור התקן נקבעה ל-"SHA3" או בייצוג הקסדצימלי <math>\text{0x33414853}</math>
*גרסת אלגוריתם כמספר שלם באורך שני בתים (גרסה נוכחית היא 1).
*שני בתים ריקים.
*אורך הפלט הרצוי בסיביות המקודד כמספר שלם באורך שמונה בתים. הכללת אורך המסר בבלוק הקונפיגורציה מבטיחה שתוצאת פונקציית הגיבוב על שני מסרים השונים רק באורכם (כגון אם מסר אחד הוא התחלה של מסר אחר), תהיה תוצאה שונה לגמרי.
*בית אחד המייצג גודל עלה (בבלוקים) בעץ הגיבוב (רלוונטי רק בתצורת עץ).
*בית אחד המייצג את מספר העלים האפשרי לרוחב (רלוונטי רק בתצורת עץ).
*בית אחד המייצג את גובה העץ המקסימלי, אם אין מגבלה ערך זה נקבע ל-255 (רלוונטי רק בתצורת עץ).
*13 בתים ריקים

===MAC===
הדרך המקובלת לשימוש בפונקציית גיבוב כקוד אימות מסרים היא בתצורת [[קוד אימות מסרים#HMAC|HMAC]]. אולם Skein מציעה דרך יותר יעילה כיוון שיש לה תקורה כמעט אפסית. הפיכת Skein לקוד אימות מסרים פשוטה. במקום להתחיל באפס מעבדים תחילה את בלוק המפתח ועם התוצאה מעבדים את בלוק הקונפיגורציה. וכן כיוון שבדרך כלל מאמתים מספר מרובה של מסרים עם מפתח יחיד, אפשר לשפר ביצועים על ידי חישוב בלוק המפתח מראש.

===עץ גיבוב===
[[קובץ:HashTree.png|400px|ממוזער|שמאל|סכמת עץ גיבוב עם Skein]]
הקונספט של [[עץ מרקל|עץ גיבוב]] מאפשר חישוב מקבילי של קוד גיבוב של מסרים ארוכים מאוד כמו קובץ וידאו. במעבד מרובה ליבות אפשר לחלק את העבודה כך שכל מעבד יחשב במקביל חלק אחר של המסר. הרעיון הוא פשוט במקום לחשב את קוד הגיבוב של כל המסר בבת אחת, מחלקים אותו למקטעים בגודל סביר שנקבע לפי הגדרות מקומיות, מחשבים את קוד הגיבוב על כל המקטעים באופן מקבילי ואז משרשרים את תוצאות הגיבוב של כל המקטעים למחרוזת קלט חדשה וחוזרים על התהליך עם הקלט החדש שוב ושוב עד שנשארים עם בלוק אחד שהוא תוצאת הגיבוב הסופית. ב-Skein ישנם שלושה פרמטרים בבלוק הקונפיגורציה שתומכים בעץ גיבוב: השדה <math>Y_l</math> - המייצג את גודל העלה לפי הנוסחה <math>N_b2^{Y_l}</math> כאשר <math>Y_l\ge 1</math>. השדה <math>Y_f</math> המייצג את מקסימום העלים או הפריסה לרוחב של העץ לפי הנוסחה <math>2^{Y_f}</math> כאשר <math>Y_f\ge 1</math>. והשדה <math>Y_m</math> המייצג את גובה העץ המקסימלי, כאשר <math>Y_m\ge 2</math> אם הגובה אינו מוגבל שדה זה נקבע ל-255.
חזרה לדף Skein.
אוחזר מתוך "https://he.wikipedia.org/wiki/Skein"