Threefish תיאור ארבעה סבבים מתוך 72 הסבבים של Threefish-512 הכוללים שילוב של הפונקציה MIX, התמורה
π
{\displaystyle \pi }
מידע כללי
תכנון
Bruce Schneier, Niels Ferguson, Stefan Lucks, Doug Whiting, Mihir Bellare, Tadayoshi Kohno, Jon Callas, Jesse Walker
פרסום
2008
מבוסס על
Blowfish , Twofish
מבנה הצופן
אורך מפתח
256/512/1024 סיביות
אורך בלוק
זהה לאורך המפתח
מבנה
ARX
מספר סבבים
72 (במפתח 1024 יש 80 סבבים)
Threefish [1] צופן בלוקים בר התאמה (tweakable block cipher) שפותח ב-2008 כחלק מפונקציית הגיבוב Skein [2] הגיבוב של NIST . הצופן מגיע בשלוש גרסאות לפי גודל בלוק; 256, 512 או 1024 סיביות ואורכו של מפתח ההצפנה כאורך הבלוק. הוא כולל tweak שהוא מעין וקטור אתחול בגודל 128 סיביות.
ליבת צופן Threefish הנקראת MIX, בנויה בסגנון ARX המורכבת משלוש פעולות בסיסיות, חיבור מודולו
2
64
{\displaystyle 2^{64}}
XOR והזזה מעגלית בהיסטים קבועים. הקונספט הוא פעולות פשוטות עם יותר סבבים, בניגוד לצפנים אחרים בהם הפעולות מורכבות יותר אך עם פחות סבבים. כל הפעולות הן על מילים בגודל 64 סיביות. כאשר בצופן Threefish-256 ו-Threefish-512 הליבה מופעלת 72 פעמים בתשעה סבבים (שמונה פעמים לסבב) ואילו ב-Threefhish-1024 הליבה מופעלת 80 פעם בעשרה סבבים. בכל סבב מופעלת הפונקציה MIX שמונה פעמים, בנוסף מבוצעת תמורה של כל מילות הזיכרון הפנימי על ידי הזזה מעגלית לפי היסטים קבועים להשגת אפקט פיזור גבוה וכן אחת לארבעה סבבים מוסיפים חלק מהמפתח. בשל פשטותו הרבה הצופן מהיר מאוד ויכול להגיע לקצב של 6.5 cpb (על מחשב 64 ביט ).
Threefish פותח על ידי Mihir Bellare, Jesse Walker, Jon Callas, Doug Whiting, Stefan Lucks, Niels Ferguson, Bruce Schneier, Tadayoshi Kohno והוא אינו רשום כפטנט , קוד המקור אינו מוגן בזכויות יוצרים והוא חופשי לשימוש לכל מטרה.
הפונקציה MIX כל פעולות הצופן הן על מילים בגודל 64 סיביות המייצגות מספרים שלמים חיוביים (לא מסומנים) בטווח
[
0..2
64
−
1
]
{\displaystyle [0..2^{64}-1]}
סדר בתים קטן (להלן). דהיינו הבית הפחות משמעותי מאוחסן בכתובת הראשונה בזיכרון.
פונקציית ההצפנה
E
(
K
,
T
,
P
)
{\displaystyle E(K,T,P)}
K . מפתח הצפנה סודי המסופק על ידי המשתמש שהוא מחרוזת באורך
N
w
{\displaystyle N_{w}}
N
w
∈
{
32
,
64
,
128
}
{\displaystyle N_{w}\in \{32,64,128\}}
T . ערך ייחודי שנקרא Tweak באורך 16 בתים.P . טקסט גלוי באורך זהה למפתח.את מפתח ההצפנה הסודי וה-tweak מאריכים תחילה במילה נוספת שנקראת זוגיות (parity) שהיא תוצאת XOR של כל מילות המפתח וה-tweak בהתאמה ומחלקים לתת-מפתחות עבור כל הסבבים. כל תת-מפתח הוא שילוב של כל מילות המפתח המורחב למעט אחת, שתים מתוך שלוש מילות tweak ומספר סידורי של תת-המפתח (כמתואר בתרשים הכנת המפתח). כל תהליך הכנת המפתח ניתן לביצוע במספר מחזורי שעון מועט. עובדה קריטית אם הצופן אמור להיות חלק מפונקציית גיבוב. כאשר מגבבים כמות גדולה של בלוקים, כל בלוק צריך להיות מוצפן בנפרד (עם מפתח שונה), על כן תהליך הכנה ארוך עבור כל הצפנה אינו יעיל.
המפתח
K
{\displaystyle K}
k
0
,
k
1
,
.
.
.
,
k
N
w
−
1
{\displaystyle k_{0},k_{1},...,k_{N_{w}-1}}
N
w
{\displaystyle N_{w}}
t
0
,
t
1
{\displaystyle t_{0},t_{1}}
P
{\displaystyle P}
p
0
,
p
1
,
.
.
.
,
p
N
w
−
1
{\displaystyle p_{0},p_{1},...,p_{N_{w}-1}}
N
r
{\displaystyle N_{r}}
גודל בלוק/מפתח
מספר המילים
מספר פעמים שהפונקציה MIX מופעלת
מספר סבבים
256
4
72
8
512
8
72
8
1024
16
80
10
הפונקציה להוספת המפתח מקבלת מערך של
N
r
/
4
+
1
{\displaystyle N_{r}/4+1}
N
w
{\displaystyle N_{w}}
s
{\displaystyle s}
k
s
,
0
,
k
s
,
1
,
.
.
.
,
k
s
,
N
w
−
1
{\displaystyle k_{s,0},k_{s,1},...,k_{s,N_{w}-1}}
v
{\displaystyle v}
v
d
,
i
{\displaystyle v_{d,i}}
i
{\displaystyle i}
d
{\displaystyle d}
תחילה טוענים את
N
w
{\displaystyle N_{w}}
For
i
=
0
to
N
w
−
1
do
{\displaystyle {\text{For }}i=0{\text{ to }}N_{w}-1{\text{ do}}}
v
0
,
i
=
p
i
{\displaystyle v_{0,i}=p_{i}}
לאחר מכן מבוצעים
N
r
−
1
{\displaystyle N_{r}-1}
d
mod
4
=
0
{\displaystyle d{\text{ mod }}4=0}
e
d
,
i
=
{
(
v
d
,
i
+
k
d
/
4
,
i
)
mod
2
64
,
if
d
mod
4
=
0
v
d
,
i
,
otherwise
{\displaystyle e_{d,i}={\begin{cases}(v_{d,i}+k_{d/4,i}){\text{ mod }}2^{64},&{\mbox{if }}d{\text{ mod }}4=0\\v_{d,i},&{\mbox{ otherwise }}\end{cases}}}
את הערבוב MIX והתמורה
π
{\displaystyle \pi }
For
j
=
0
to
N
w
/
2
−
1
do
{\displaystyle {\text{For }}j=0{\text{ to }}N_{w}/2-1{\text{ do}}}
(
f
d
,
2
j
,
f
d
,
2
j
+
1
)
←
MIX
d
,
j
(
e
d
,
2
j
,
e
d
,
2
j
+
1
)
{\displaystyle (f_{d,2j},f_{d,2j+1})\leftarrow {\text{MIX}}_{d,j}(e_{d,2j},e_{d,2j+1})}
For
i
=
0
to
N
w
−
1
do
{\displaystyle {\text{For }}i=0{\text{ to }}N_{w}-1{\text{ do}}}
v
d
+
1
,
i
=
f
d
,
π
(
i
)
{\displaystyle v_{d+1,i}=f_{d,\pi (i)}}
והטקסט המוצפן מתקבל על ידי:
For
i
=
0
to
N
w
−
1
do
{\displaystyle {\text{For }}i=0{\text{ to }}N_{w}-1{\text{ do}}}
c
i
=
(
v
N
r
,
i
+
k
N
r
/
4
,
i
)
mod
2
64
{\displaystyle c_{i}=(v_{N_{r},i}+k_{N_{r}/4,i}){\text{ mod }}2^{64}}
טבלת תמורות
π
{\displaystyle \pi }
[ עריכת קוד מקור | עריכה ] להלן טבלת התמורות המייצגת את הסידור מחדש של מילות הקלט לפי גודל הצופן. לדוגמה במקרה של Threefish-256 ישנן ארבע מילים ולכן התמורות הן לפי השורה הראשונה, לכן
v
5
,
3
=
f
4
,
π
(
3
)
{\displaystyle v_{5,3}=f_{4,\pi (3)}}
טבלת תמורות
π
(
i
)
{\displaystyle {\boldsymbol {\pi (i)}}}
i
{\displaystyle i}
0
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
N
w
=
4
{\displaystyle N_{w}=4}
0
3
2
1
N
w
=
8
{\displaystyle N_{w}=8}
2
1
4
7
6
5
0
3
N
w
=
16
{\displaystyle N_{w}=16}
0
9
2
13
6
11
4
15
10
7
12
3
14
5
8
1
הפונקציה
MIX
d
,
j
{\displaystyle {\text{MIX}}_{d,j}}
(
x
0
,
x
1
)
{\displaystyle (x_{0},x_{1})}
(
y
0
,
y
1
)
{\displaystyle (y_{0},y_{1})}
y
0
=
(
x
0
+
x
1
)
mod
2
64
{\displaystyle y_{0}=(x_{0}+x_{1}){\text{ mod }}2^{64}}
y
1
=
(
x
1
⋘
R
(
d
mod
8
)
,
j
)
⊕
y
0
{\displaystyle y_{1}=(x_{1}\lll R_{(d{\text{ mod }}8),j})\oplus y_{0}}
הסימן
⋘
{\displaystyle \lll }
אופרטור הזזה מעגלית לשמאל. הקבועים
R
d
,
j
{\displaystyle R_{d,j}}
טבלת ההיסטים
N
w
{\displaystyle N_{w}}
4
8
16
j 0
1
0
1
2
3
0
1
2
3
4
5
6
7
0
14
16
46
36
19
37
24
13
8
47
8
17
22
37
1
52
57
33
27
14
42
38
19
10
55
49
18
23
52
2
23
40
17
49
36
39
33
4
51
13
34
41
59
17
d=3
5
37
44
9
54
56
5
20
48
41
47
28
16
25
4
25
33
39
30
34
24
41
9
37
31
12
47
44
30
5
46
12
13
50
10
17
16
34
56
51
4
53
42
41
6
58
22
25
29
39
43
31
44
47
46
19
42
44
25
7
32
32
8
35
56
22
9
48
35
52
23
31
37
20
פרוצדורת הכנת תת-מפתחות של Threefish תחילה מוסיפים שתי מילים.
k
N
w
=
C
240
⊕
⨁
i
=
0
N
w
−
1
k
i
{\displaystyle k_{N_{w}}=C_{240}\oplus \bigoplus _{i=0}^{N_{w}-1}k_{i}}
וכן
t
2
=
t
0
⊕
t
1
{\displaystyle t_{2}=t_{0}\oplus t_{1}}
כלומר מילת מפתח נוספת שהיא XOR של כל מילות המפתח וכן מילה נוספת שהיא XOR של שתי המילים של ה-tweak. הקבוע
C
240
=
0x1BD11BDAA9FC1A22
{\displaystyle C_{240}={\text{0x1BD11BDAA9FC1A22}}}
AES כאשר המפתח כולו אפס. הוספת ה-tweak היא כדלהלן:
k
s
,
i
=
{
k
(
s
+
i
)
mod
(
N
w
+
1
)
,
for
i
=
0
,
.
.
.
,
N
w
−
4
k
(
s
+
i
)
mod
(
N
w
+
1
)
+
t
s
mod
3
,
for
i
=
N
w
−
3
k
(
s
+
i
)
mod
(
N
w
+
1
)
+
t
(
s
+
1
)
mod
3
,
for
i
=
N
w
−
2
k
(
s
+
i
)
mod
(
N
w
+
1
)
+
s
,
for
i
=
N
w
−
1
{\displaystyle k_{s,i}={\begin{cases}k_{(s+i){\text{ mod }}(N_{w}+1)},&{\text{for }}i=0,...,N_{w}-4\\k_{(s+i){\text{ mod }}(N_{w}+1)}+t_{s{\text{ mod }}3},&{\text{for }}i=N_{w}-3\\k_{(s+i){\text{ mod }}(N_{w}+1)}+t_{(s+1){\text{ mod }}3},&{\text{for }}i=N_{w}-2\\k_{(s+i){\text{ mod }}(N_{w}+1)}+s,&{\text{for }}i=N_{w}-1\end{cases}}}
כל פעולות החיבור הן מודולו
2
64
{\displaystyle 2^{64}}
הפענוח מתבצע בדרך ההפוכה, עם תת-מפתחות בסדר הפוך, תמורה הופכית ופונקציית MIX הפוכה. להלן קוד לדוגמה. יש לציין שאם הצופן מהווה חלק מפונקציית גיבוב אין צורך בפונקציית פענוח כלל.
הקוד הבא מתאר הצפנה ופענוח עם Threefish-512. פונקציית הכנת המפתח מקבלת מערך
K
{\displaystyle K}
K
{\displaystyle K}
T
{\displaystyle T}
T
h
r
e
e
f
i
s
h
.
K
e
y
S
e
t
u
p
(
K
)
{\displaystyle \mathbf {Threefish.KeySetup} (K)}
{
{\displaystyle \{}
K
[
8
]
=
K
[
0
]
⊕
K
[
1
]
⊕
K
[
2
]
⊕
K
[
3
]
⊕
K
[
4
]
⊕
K
[
5
]
⊕
K
[
6
]
⊕
K
[
7
]
⊕
C
240
{\displaystyle K[8]=K[0]\ \oplus \ K[1]\ \oplus \ K[2]\ \oplus \ K[3]\ \oplus \ K[4]\ \oplus \ K[5]\ \oplus \ K[6]\ \oplus \ K[7]\ \oplus \ C_{240}}
T
[
2
]
=
T
[
0
]
⊕
T
[
1
]
{\displaystyle T[2]=T[0]\ \oplus \ T[1]}
}
{\displaystyle \}}
פונקציית ההצפנה מקבלת מערך
P
{\displaystyle P}
T
{\displaystyle T}
K
{\displaystyle K}
C
{\displaystyle C}
פרישת לולאות (loop unrolling) חלקית, פרישת לולאות מקובלת בכתיבת קודים ממוטבים למעבדי 32 ו-64 סיביות. כאן מספר הלולאות צומצם ל-9 וכן בדוגמה זו ההנחה היא שההמרות הן לפי סדר בתים קטן, כלומר מחרוזת הבתים המייצגת את הטקסט המקורי מומרת לפי הנוסחה להלן ל-
P
=
P
[
0
]
,
P
[
1
]
,
.
.
.
,
P
[
7
]
{\displaystyle P=P[0],P[1],...,P[7]}
P
[
0
]
{\displaystyle P[0]}
T
h
r
e
e
f
i
s
h
.
E
n
c
r
y
p
t
(
P
,
T
,
K
)
{\displaystyle \mathbf {Threefish.Encrypt} {\boldsymbol {(P,T,K)}}}
For
i
=
0
to
7
do
{\displaystyle {\text{For }}i=0{\text{ to }}7{\text{ do }}}
C
[
i
]
=
P
[
i
]
+
K
[
i
]
{\displaystyle \ \ \ \ C[i]=P[i]+K[i]}
C
[
5
]
=
C
[
5
]
+
T
[
0
]
{\displaystyle C[5]=C[5]+T[0]}
C
[
6
]
=
C
[
6
]
+
T
[
1
]
{\displaystyle C[6]=C[6]+T[1]}
For
r
=
1
to
9
do
{\displaystyle {\text{For }}r=1{\text{ to }}9{\text{ do }}}
{
{\displaystyle \{}
C
[
0
]
=
C
[
0
]
+
C
[
1
]
,
C
[
1
]
=
ROL
(
C
[
1
]
,
46
)
,
C
[
1
]
=
C
[
1
]
⊕
C
[
0
]
{\displaystyle C[0]=C[0]+C[1],\ \ C[1]={\text{ROL}}(C[1],46),\ \ C[1]=C[1]\oplus C[0]}
C
[
2
]
=
C
[
2
]
+
C
[
3
]
,
C
[
3
]
=
ROL
(
C
[
3
]
,
36
)
,
C
[
3
]
=
C
[
3
]
⊕
C
[
2
]
{\displaystyle C[2]=C[2]+C[3],\ \ C[3]={\text{ROL}}(C[3],36),\ \ C[3]=C[3]\oplus C[2]}
C
[
4
]
=
C
[
4
]
+
C
[
5
]
,
C
[
5
]
=
ROL
(
C
[
5
]
,
19
)
,
C
[
5
]
=
C
[
5
]
⊕
C
[
4
]
{\displaystyle C[4]=C[4]+C[5],\ \ C[5]={\text{ROL}}(C[5],19),\ \ C[5]=C[5]\oplus C[4]}
C
[
6
]
=
C
[
6
]
+
C
[
7
]
,
C
[
7
]
=
ROL
(
C
[
7
]
,
37
)
,
C
[
7
]
=
C
[
7
]
⊕
C
[
6
]
{\displaystyle C[6]=C[6]+C[7],\ \ C[7]={\text{ROL}}(C[7],37),\ \ C[7]=C[7]\oplus C[6]}
C
[
2
]
=
C
[
2
]
+
C
[
1
]
,
C
[
1
]
=
ROL
(
C
[
1
]
,
33
)
,
C
[
1
]
=
C
[
1
]
⊕
C
[
2
]
{\displaystyle C[2]=C[2]+C[1],\ \ C[1]={\text{ROL}}(C[1],33),\ \ C[1]=C[1]\oplus C[2]}
C
[
4
]
=
C
[
4
]
+
C
[
7
]
,
C
[
7
]
=
ROL
(
C
[
7
]
,
27
)
,
C
[
7
]
=
C
[
7
]
⊕
C
[
4
]
{\displaystyle C[4]=C[4]+C[7],\ \ C[7]={\text{ROL}}(C[7],27),\ \ C[7]=C[7]\oplus C[4]}
C
[
6
]
=
C
[
6
]
+
C
[
5
]
,
C
[
5
]
=
ROL
(
C
[
5
]
,
14
)
,
C
[
5
]
=
C
[
5
]
⊕
C
[
6
]
{\displaystyle C[6]=C[6]+C[5],\ \ C[5]={\text{ROL}}(C[5],14),\ \ C[5]=C[5]\oplus C[6]}
C
[
0
]
=
C
[
0
]
+
C
[
3
]
,
C
[
3
]
=
ROL
(
C
[
3
]
,
42
)
,
C
[
3
]
=
C
[
3
]
⊕
C
[
0
]
{\displaystyle C[0]=C[0]+C[3],\ \ C[3]={\text{ROL}}(C[3],42),\ \ C[3]=C[3]\oplus C[0]}
C
[
4
]
=
C
[
4
]
+
C
[
1
]
,
C
[
1
]
=
ROL
(
C
[
1
]
,
17
)
,
C
[
1
]
=
C
[
1
]
⊕
C
[
4
]
{\displaystyle C[4]=C[4]+C[1],\ \ C[1]={\text{ROL}}(C[1],17),\ \ C[1]=C[1]\oplus C[4]}
C
[
6
]
=
C
[
6
]
+
C
[
3
]
,
C
[
3
]
=
ROL
(
C
[
3
]
,
49
)
,
C
[
3
]
=
C
[
3
]
⊕
C
[
6
]
{\displaystyle C[6]=C[6]+C[3],\ \ C[3]={\text{ROL}}(C[3],49),\ \ C[3]=C[3]\oplus C[6]}
C
[
0
]
=
C
[
0
]
+
C
[
5
]
,
C
[
5
]
=
ROL
(
C
[
5
]
,
36
)
,
C
[
5
]
=
C
[
5
]
⊕
C
[
0
]
{\displaystyle C[0]=C[0]+C[5],\ \ C[5]={\text{ROL}}(C[5],36),\ \ C[5]=C[5]\oplus C[0]}
C
[
2
]
=
C
[
2
]
+
C
[
7
]
,
C
[
7
]
=
ROL
(
C
[
7
]
,
39
)
,
C
[
7
]
=
C
[
7
]
⊕
C
[
2
]
{\displaystyle C[2]=C[2]+C[7],\ \ C[7]={\text{ROL}}(C[7],39),\ \ C[7]=C[7]\oplus C[2]}
C
[
6
]
=
C
[
6
]
+
C
[
1
]
,
C
[
1
]
=
ROL
(
C
[
1
]
,
44
)
,
C
[
1
]
=
C
[
1
]
⊕
C
[
6
]
{\displaystyle C[6]=C[6]+C[1],\ \ C[1]={\text{ROL}}(C[1],44),\ \ C[1]=C[1]\oplus C[6]}
C
[
0
]
=
C
[
0
]
+
C
[
7
]
,
C
[
7
]
=
ROL
(
C
[
7
]
,
9
)
,
C
[
7
]
=
C
[
7
]
⊕
C
[
0
]
{\displaystyle C[0]=C[0]+C[7],\ \ C[7]={\text{ROL}}(C[7],9),\ \ C[7]=C[7]\oplus C[0]}
C
[
2
]
=
C
[
2
]
+
C
[
5
]
,
C
[
5
]
=
ROL
(
C
[
5
]
,
54
)
,
C
[
5
]
=
C
[
5
]
⊕
C
[
2
]
{\displaystyle C[2]=C[2]+C[5],\ \ C[5]={\text{ROL}}(C[5],54),\ \ C[5]=C[5]\oplus C[2]}
C
[
4
]
=
C
[
4
]
+
C
[
3
]
,
C
[
3
]
=
ROL
(
C
[
3
]
,
56
)
,
C
[
3
]
=
C
[
3
]
⊕
C
[
4
]
{\displaystyle C[4]=C[4]+C[3],\ \ C[3]={\text{ROL}}(C[3],56),\ \ C[3]=C[3]\oplus C[4]}
For
i
=
0
to
7
do
C
[
i
]
=
C
[
i
]
+
K
[
(
(
2
⋅
r
−
1
)
+
i
)
mod
9
]
{\displaystyle {\text{For }}i=0{\text{ to }}7{\text{ do }}C[i]=C[i]+K[((2\cdot r-1)+i){\text{ mod }}9]}
C
[
5
]
=
C
[
5
]
+
T
[
(
2
⋅
r
−
1
)
mod
3
]
{\displaystyle C[5]=C[5]+T[(2\cdot r-1){\text{ mod }}3]}
C
[
6
]
=
C
[
6
]
+
T
[
(
2
⋅
r
)
mod
3
]
{\displaystyle C[6]=C[6]+T[(2\cdot r){\text{ mod }}3]}
C
[
7
]
=
C
[
7
]
+
(
2
⋅
r
−
1
)
{\displaystyle C[7]=C[7]+(2\cdot r-1)}
C
[
0
]
=
C
[
0
]
+
C
[
1
]
,
C
[
1
]
=
ROL
(
C
[
1
]
,
39
)
,
C
[
1
]
=
C
[
1
]
⊕
C
[
0
]
{\displaystyle C[0]=C[0]+C[1],\ \ C[1]={\text{ROL}}(C[1],39),\ \ C[1]=C[1]\oplus C[0]}
C
[
2
]
=
C
[
2
]
+
C
[
3
]
,
C
[
3
]
=
ROL
(
C
[
3
]
,
30
)
,
C
[
3
]
=
C
[
3
]
⊕
C
[
2
]
{\displaystyle C[2]=C[2]+C[3],\ \ C[3]={\text{ROL}}(C[3],30),\ \ C[3]=C[3]\oplus C[2]}
C
[
4
]
=
C
[
4
]
+
C
[
5
]
,
C
[
5
]
=
ROL
(
C
[
5
]
,
34
)
,
C
[
5
]
=
C
[
5
]
⊕
C
[
4
]
{\displaystyle C[4]=C[4]+C[5],\ \ C[5]={\text{ROL}}(C[5],34),\ \ C[5]=C[5]\oplus C[4]}
C
[
6
]
=
C
[
6
]
+
C
[
7
]
,
C
[
7
]
=
ROL
(
C
[
7
]
,
24
)
,
C
[
7
]
=
C
[
7
]
⊕
C
[
6
]
{\displaystyle C[6]=C[6]+C[7],\ \ C[7]={\text{ROL}}(C[7],24),\ \ C[7]=C[7]\oplus C[6]}
C
[
2
]
=
C
[
2
]
+
C
[
1
]
,
C
[
1
]
=
ROL
(
C
[
1
]
,
13
)
,
C
[
1
]
=
C
[
1
]
⊕
C
[
2
]
{\displaystyle C[2]=C[2]+C[1],\ \ C[1]={\text{ROL}}(C[1],13),\ \ C[1]=C[1]\oplus C[2]}
C
[
4
]
=
C
[
4
]
+
C
[
7
]
,
C
[
7
]
=
ROL
(
C
[
7
]
,
50
)
,
C
[
7
]
=
C
[
7
]
⊕
C
[
4
]
{\displaystyle C[4]=C[4]+C[7],\ \ C[7]={\text{ROL}}(C[7],50),\ \ C[7]=C[7]\oplus C[4]}
C
[
6
]
=
C
[
6
]
+
C
[
5
]
,
C
[
5
]
=
ROL
(
C
[
5
]
,
10
)
,
C
[
5
]
=
C
[
5
]
⊕
C
[
6
]
{\displaystyle C[6]=C[6]+C[5],\ \ C[5]={\text{ROL}}(C[5],10),\ \ C[5]=C[5]\oplus C[6]}
C
[
0
]
=
C
[
0
]
+
C
[
3
]
,
C
[
3
]
=
ROL
(
C
[
3
]
,
17
)
,
C
[
3
]
=
C
[
3
]
⊕
C
[
0
]
{\displaystyle C[0]=C[0]+C[3],\ \ C[3]={\text{ROL}}(C[3],17),\ \ C[3]=C[3]\oplus C[0]}
C
[
4
]
=
C
[
4
]
+
C
[
1
]
,
C
[
1
]
=
ROL
(
C
[
1
]
,
25
)
,
C
[
1
]
=
C
[
1
]
⊕
C
[
4
]
{\displaystyle C[4]=C[4]+C[1],\ \ C[1]={\text{ROL}}(C[1],25),\ \ C[1]=C[1]\oplus C[4]}
C
[
6
]
=
C
[
6
]
+
C
[
3
]
,
C
[
3
]
=
ROL
(
C
[
3
]
,
29
)
,
C
[
3
]
=
C
[
3
]
⊕
C
[
6
]
{\displaystyle C[6]=C[6]+C[3],\ \ C[3]={\text{ROL}}(C[3],29),\ \ C[3]=C[3]\oplus C[6]}
C
[
0
]
=
C
[
0
]
+
C
[
5
]
,
C
[
5
]
=
ROL
(
C
[
5
]
,
39
)
,
C
[
5
]
=
C
[
5
]
⊕
C
[
0
]
{\displaystyle C[0]=C[0]+C[5],\ \ C[5]={\text{ROL}}(C[5],39),\ \ C[5]=C[5]\oplus C[0]}
C
[
2
]
=
C
[
2
]
+
C
[
7
]
,
C
[
7
]
=
ROL
(
C
[
7
]
,
43
)
,
C
[
7
]
=
C
[
7
]
⊕
C
[
2
]
{\displaystyle C[2]=C[2]+C[7],\ \ C[7]={\text{ROL}}(C[7],43),\ \ C[7]=C[7]\oplus C[2]}
C
[
6
]
=
C
[
6
]
+
C
[
1
]
,
C
[
1
]
=
ROL
(
C
[
1
]
,
8
)
,
C
[
1
]
=
C
[
1
]
⊕
C
[
6
]
{\displaystyle C[6]=C[6]+C[1],\ \ C[1]={\text{ROL}}(C[1],8),\ \ C[1]=C[1]\oplus C[6]}
C
[
0
]
=
C
[
0
]
+
C
[
7
]
,
C
[
7
]
=
ROL
(
C
[
7
]
,
35
)
,
C
[
7
]
=
C
[
7
]
⊕
C
[
0
]
{\displaystyle C[0]=C[0]+C[7],\ \ C[7]={\text{ROL}}(C[7],35),\ \ C[7]=C[7]\oplus C[0]}
C
[
2
]
=
C
[
2
]
+
C
[
5
]
,
C
[
5
]
=
ROL
(
C
[
5
]
,
56
)
,
C
[
5
]
=
C
[
5
]
⊕
C
[
2
]
{\displaystyle C[2]=C[2]+C[5],\ \ C[5]={\text{ROL}}(C[5],56),\ \ C[5]=C[5]\oplus C[2]}
C
[
4
]
=
C
[
4
]
+
C
[
3
]
,
C
[
3
]
=
ROL
(
C
[
3
]
,
22
)
,
C
[
3
]
=
C
[
3
]
⊕
C
[
4
]
{\displaystyle C[4]=C[4]+C[3],\ \ C[3]={\text{ROL}}(C[3],22),\ \ C[3]=C[3]\oplus C[4]}
For
i
=
0
to
7
do
C
[
i
]
=
C
[
i
]
+
K
[
(
(
2
⋅
r
)
+
i
)
mod
9
]
{\displaystyle {\text{For }}i=0{\text{ to }}7{\text{ do }}C[i]=C[i]+K[((2\cdot r)+i){\text{ mod }}9]}
C
[
5
]
=
C
[
5
]
+
T
[
(
2
⋅
r
)
mod
3
]
{\displaystyle C[5]=C[5]+T[(2\cdot r){\text{ mod }}3]}
C
[
6
]
=
C
[
6
]
+
T
[
(
(
2
⋅
r
)
+
1
)
mod
3
]
{\displaystyle C[6]=C[6]+T[((2\cdot r)+1){\text{ mod }}3]}
C
[
7
]
=
C
[
7
]
+
(
2
⋅
r
)
{\displaystyle C[7]=C[7]+(2\cdot r)}
}
{\displaystyle \}}
Return
C
{\displaystyle {\text{Return }}C}
כל פעולות החיבור הן כאמור מודולו
2
64
{\displaystyle 2^{64}}
מעבדים רבים הוא שחיבור שלמים מתבצע באופן עקיף מודולו גבולות המילה, כלומר כל תוצאה שחורגת מהגודל שנכנס באוגר נחתכת ממילא, כך שאין צורך לנקוט בפעולה כלשהי. הפונקציה
ROR
{\displaystyle {\text{ROR}}}
ROL
{\displaystyle {\text{ROL}}}
≪
{\displaystyle \ll }
≫
{\displaystyle \gg }
וגם "
∧
{\displaystyle \land }
R
O
R
(
X
,
N
)
=
(
X
≫
(
N
∧
63
)
)
|
(
X
≪
(
(
64
−
N
)
∧
63
)
)
{\displaystyle \mathbf {ROR} (X,N)=(X\gg (N\land 63))\ |\ (X\ll ((64-N)\land 63))}
R
O
L
(
X
,
N
)
=
(
X
≪
(
N
∧
63
)
)
|
(
X
≫
(
(
64
−
N
)
∧
63
)
)
{\displaystyle \mathbf {ROL} (X,N)=(X\ll (N\land 63))\ |\ (X\gg ((64-N)\land 63))}
המרת מערכי בתים למילים וההפך מתבצעת לפי סדר בתים קטן כך:
T
o
I
n
t
(
b
0
,
b
1
,
.
.
.
,
b
n
−
1
)
=
∑
i
=
0
n
−
1
b
i
⋅
256
i
{\displaystyle \textstyle \mathbf {ToInt} (b_{0},b_{1},...,b_{n-1})=\sum _{i=0}^{n-1}b_{i}\cdot 256^{i}}
T
o
B
y
t
e
s
(
v
,
n
)
=
b
0
,
b
1
,
.
.
.
,
b
n
−
1
,
where
b
i
=
⌈
v
256
i
⌉
mod
256
{\displaystyle \textstyle \mathbf {ToBytes} (v,n)=b_{0},b_{1},...,b_{n-1},{\text{ where }}b_{i}=\left\lceil {\frac {v}{256^{i}}}\right\rceil {\text{ mod }}256}
פונקציית הפענוח מבצעת את כל הפעולות למעט XOR שהיא הופכית של עצמה, בסדר הפוך; חיסור מודולו
2
64
{\displaystyle 2^{64}}
C
{\displaystyle C}
T
{\displaystyle T}
K
{\displaystyle K}
P
{\displaystyle P}
T
h
r
e
e
f
i
s
h
.
D
e
c
r
y
p
t
(
C
,
T
,
K
)
{\displaystyle \mathbf {Threefish.Decrypt} {\boldsymbol {(C,T,K)}}}
For
r
=
9
down to
1
do
{\displaystyle {\text{For }}r=9{\text{ down to }}1{\text{ do }}}
{
{\displaystyle \{}
C
[
7
]
=
C
[
7
]
−
(
2
⋅
r
)
{\displaystyle C[7]=C[7]-(2\cdot r)}
C
[
6
]
=
C
[
6
]
−
T
[
(
(
2
⋅
r
)
+
1
)
mod
3
]
{\displaystyle C[6]=C[6]-T[((2\cdot r)+1){\text{ mod }}3]}
C
[
5
]
=
C
[
5
]
−
T
[
(
2
⋅
r
)
mod
3
]
{\displaystyle C[5]=C[5]-T[(2\cdot r){\text{ mod }}3]}
For
i
=
0
to
7
do
C
[
i
]
=
C
[
i
]
−
K
[
(
(
2
⋅
r
)
+
i
)
mod
9
]
{\displaystyle {\text{For }}i=0{\text{ to }}7{\text{ do }}C[i]=C[i]-K[((2\cdot r)+i){\text{ mod }}9]}
C
[
3
]
=
C
[
3
]
⊕
C
[
4
]
,
C
[
3
]
=
ROR
(
C
[
3
]
,
22
)
,
C
[
4
]
=
C
[
4
]
−
C
[
3
]
{\displaystyle C[3]=C[3]\oplus C[4],\ \ C[3]={\text{ROR}}(C[3],22),\ \ C[4]=C[4]-C[3]}
C
[
5
]
=
C
[
5
]
⊕
C
[
2
]
,
C
[
5
]
=
ROR
(
C
[
5
]
,
56
)
,
C
[
2
]
=
C
[
2
]
−
C
[
5
]
{\displaystyle C[5]=C[5]\oplus C[2],\ \ C[5]={\text{ROR}}(C[5],56),\ \ C[2]=C[2]-C[5]}
C
[
7
]
=
C
[
7
]
⊕
C
[
0
]
,
C
[
7
]
=
ROR
(
C
[
7
]
,
35
)
,
C
[
0
]
=
C
[
0
]
−
C
[
7
]
{\displaystyle C[7]=C[7]\oplus C[0],\ \ C[7]={\text{ROR}}(C[7],35),\ \ C[0]=C[0]-C[7]}
C
[
1
]
=
C
[
1
]
⊕
C
[
6
]
,
C
[
1
]
=
ROR
(
C
[
1
]
,
8
)
,
C
[
6
]
=
C
[
6
]
−
C
[
1
]
{\displaystyle C[1]=C[1]\oplus C[6],\ \ C[1]={\text{ROR}}(C[1],8),\ \ C[6]=C[6]-C[1]}
C
[
7
]
=
C
[
7
]
⊕
C
[
2
]
,
C
[
7
]
=
ROR
(
C
[
7
]
,
43
)
,
C
[
2
]
=
C
[
2
]
−
C
[
7
]
{\displaystyle C[7]=C[7]\oplus C[2],\ \ C[7]={\text{ROR}}(C[7],43),\ \ C[2]=C[2]-C[7]}
C
[
5
]
=
C
[
5
]
⊕
C
[
0
]
,
C
[
5
]
=
ROR
(
C
[
5
]
,
39
)
,
C
[
0
]
=
C
[
0
]
−
C
[
5
]
{\displaystyle C[5]=C[5]\oplus C[0],\ \ C[5]={\text{ROR}}(C[5],39),\ \ C[0]=C[0]-C[5]}
C
[
3
]
=
C
[
3
]
⊕
C
[
6
]
,
C
[
3
]
=
ROR
(
C
[
3
]
,
29
)
,
C
[
6
]
=
C
[
6
]
−
C
[
3
]
{\displaystyle C[3]=C[3]\oplus C[6],\ \ C[3]={\text{ROR}}(C[3],29),\ \ C[6]=C[6]-C[3]}
C
[
1
]
=
C
[
1
]
⊕
C
[
4
]
,
C
[
1
]
=
ROR
(
C
[
1
]
,
25
)
,
C
[
4
]
=
C
[
4
]
−
C
[
1
]
{\displaystyle C[1]=C[1]\oplus C[4],\ \ C[1]={\text{ROR}}(C[1],25),\ \ C[4]=C[4]-C[1]}
C
[
3
]
=
C
[
3
]
⊕
C
[
0
]
,
C
[
3
]
=
ROR
(
C
[
3
]
,
17
)
,
C
[
0
]
=
C
[
0
]
−
C
[
3
]
{\displaystyle C[3]=C[3]\oplus C[0],\ \ C[3]={\text{ROR}}(C[3],17),\ \ C[0]=C[0]-C[3]}
C
[
5
]
=
C
[
5
]
⊕
C
[
6
]
,
C
[
5
]
=
ROR
(
C
[
5
]
,
10
)
,
C
[
6
]
=
C
[
6
]
−
C
[
5
]
{\displaystyle C[5]=C[5]\oplus C[6],\ \ C[5]={\text{ROR}}(C[5],10),\ \ C[6]=C[6]-C[5]}
C
[
7
]
=
C
[
7
]
⊕
C
[
4
]
,
C
[
7
]
=
ROR
(
C
[
7
]
,
50
)
,
C
[
4
]
=
C
[
4
]
−
C
[
7
]
{\displaystyle C[7]=C[7]\oplus C[4],\ \ C[7]={\text{ROR}}(C[7],50),\ \ C[4]=C[4]-C[7]}
C
[
1
]
=
C
[
1
]
⊕
C
[
2
]
,
C
[
1
]
=
ROR
(
C
[
1
]
,
13
)
,
C
[
2
]
=
C
[
2
]
−
C
[
1
]
{\displaystyle C[1]=C[1]\oplus C[2],\ \ C[1]={\text{ROR}}(C[1],13),\ \ C[2]=C[2]-C[1]}
C
[
7
]
=
C
[
7
]
⊕
C
[
6
]
,
C
[
7
]
=
ROR
(
C
[
7
]
,
24
)
,
C
[
6
]
=
C
[
6
]
−
C
[
7
]
{\displaystyle C[7]=C[7]\oplus C[6],\ \ C[7]={\text{ROR}}(C[7],24),\ \ C[6]=C[6]-C[7]}
C
[
5
]
=
C
[
5
]
⊕
C
[
4
]
,
C
[
5
]
=
ROR
(
C
[
5
]
,
34
)
,
C
[
4
]
=
C
[
4
]
−
C
[
5
]
{\displaystyle C[5]=C[5]\oplus C[4],\ \ C[5]={\text{ROR}}(C[5],34),\ \ C[4]=C[4]-C[5]}
C
[
3
]
=
C
[
3
]
⊕
C
[
2
]
,
C
[
3
]
=
ROR
(
C
[
3
]
,
30
)
,
C
[
2
]
=
C
[
2
]
−
C
[
3
]
{\displaystyle C[3]=C[3]\oplus C[2],\ \ C[3]={\text{ROR}}(C[3],30),\ \ C[2]=C[2]-C[3]}
C
[
1
]
=
C
[
1
]
⊕
C
[
0
]
,
C
[
1
]
=
ROR
(
C
[
1
]
,
39
)
,
C
[
0
]
=
C
[
0
]
−
C
[
1
]
{\displaystyle C[1]=C[1]\oplus C[0],\ \ C[1]={\text{ROR}}(C[1],39),\ \ C[0]=C[0]-C[1]}
C
[
7
]
=
C
[
7
]
−
(
2
⋅
r
−
1
)
{\displaystyle C[7]=C[7]-(2\cdot r-1)}
C
[
6
]
=
C
[
6
]
−
T
[
(
2
⋅
r
)
mod
3
]
{\displaystyle C[6]=C[6]-T[(2\cdot r){\text{ mod }}3]}
C
[
5
]
=
C
[
5
]
−
T
[
(
2
⋅
r
−
1
)
mod
3
]
{\displaystyle C[5]=C[5]-T[(2\cdot r-1){\text{ mod }}3]}
For
i
=
0
to
7
do
C
[
i
]
=
C
[
i
]
−
K
[
(
(
2
⋅
r
−
1
)
+
i
)
mod
9
]
{\displaystyle {\text{For }}i=0{\text{ to }}7{\text{ do }}C[i]=C[i]-K[((2\cdot r-1)+i){\text{ mod }}9]}
C
[
3
]
=
C
[
3
]
⊕
C
[
4
]
,
C
[
3
]
=
ROR
(
C
[
3
]
,
56
)
,
C
[
4
]
=
C
[
4
]
−
C
[
3
]
{\displaystyle C[3]=C[3]\oplus C[4],\ \ C[3]={\text{ROR}}(C[3],56),\ \ C[4]=C[4]-C[3]}
C
[
5
]
=
C
[
5
]
⊕
C
[
2
]
,
C
[
5
]
=
ROR
(
C
[
5
]
,
54
)
,
C
[
2
]
=
C
[
2
]
−
C
[
5
]
{\displaystyle C[5]=C[5]\oplus C[2],\ \ C[5]={\text{ROR}}(C[5],54),\ \ C[2]=C[2]-C[5]}
C
[
7
]
=
C
[
7
]
⊕
C
[
0
]
,
C
[
7
]
=
ROR
(
C
[
7
]
,
9
)
,
C
[
0
]
=
C
[
0
]
−
C
[
7
]
{\displaystyle C[7]=C[7]\oplus C[0],\ \ C[7]={\text{ROR}}(C[7],9),\ \ C[0]=C[0]-C[7]}
C
[
1
]
=
C
[
1
]
⊕
C
[
6
]
,
C
[
1
]
=
ROR
(
C
[
1
]
,
44
)
,
C
[
6
]
=
C
[
6
]
−
C
[
1
]
{\displaystyle C[1]=C[1]\oplus C[6],\ \ C[1]={\text{ROR}}(C[1],44),\ \ C[6]=C[6]-C[1]}
C
[
7
]
=
C
[
7
]
⊕
C
[
2
]
,
C
[
7
]
=
ROR
(
C
[
7
]
,
39
)
,
C
[
2
]
=
C
[
2
]
−
C
[
7
]
{\displaystyle C[7]=C[7]\oplus C[2],\ \ C[7]={\text{ROR}}(C[7],39),\ \ C[2]=C[2]-C[7]}
C
[
5
]
=
C
[
5
]
⊕
C
[
0
]
,
C
[
5
]
=
ROR
(
C
[
5
]
,
36
)
,
C
[
0
]
=
C
[
0
]
−
C
[
5
]
{\displaystyle C[5]=C[5]\oplus C[0],\ \ C[5]={\text{ROR}}(C[5],36),\ \ C[0]=C[0]-C[5]}
C
[
3
]
=
C
[
3
]
⊕
C
[
6
]
,
C
[
3
]
=
ROR
(
C
[
3
]
,
49
)
,
C
[
6
]
=
C
[
6
]
−
C
[
3
]
{\displaystyle C[3]=C[3]\oplus C[6],\ \ C[3]={\text{ROR}}(C[3],49),\ \ C[6]=C[6]-C[3]}
C
[
1
]
=
C
[
1
]
⊕
C
[
4
]
,
C
[
1
]
=
ROR
(
C
[
1
]
,
17
)
,
C
[
4
]
=
C
[
4
]
−
C
[
1
]
{\displaystyle C[1]=C[1]\oplus C[4],\ \ C[1]={\text{ROR}}(C[1],17),\ \ C[4]=C[4]-C[1]}
C
[
3
]
=
C
[
3
]
⊕
C
[
0
]
,
C
[
3
]
=
ROR
(
C
[
3
]
,
42
)
,
C
[
0
]
=
C
[
0
]
−
C
[
3
]
{\displaystyle C[3]=C[3]\oplus C[0],\ \ C[3]={\text{ROR}}(C[3],42),\ \ C[0]=C[0]-C[3]}
C
[
5
]
=
C
[
5
]
⊕
C
[
6
]
,
C
[
5
]
=
ROR
(
C
[
5
]
,
14
)
,
C
[
6
]
=
C
[
6
]
−
C
[
5
]
{\displaystyle C[5]=C[5]\oplus C[6],\ \ C[5]={\text{ROR}}(C[5],14),\ \ C[6]=C[6]-C[5]}
C
[
7
]
=
C
[
7
]
⊕
C
[
4
]
,
C
[
7
]
=
ROR
(
C
[
7
]
,
27
)
,
C
[
4
]
=
C
[
4
]
−
C
[
7
]
{\displaystyle C[7]=C[7]\oplus C[4],\ \ C[7]={\text{ROR}}(C[7],27),\ \ C[4]=C[4]-C[7]}
C
[
1
]
=
C
[
1
]
⊕
C
[
2
]
,
C
[
1
]
=
ROR
(
C
[
1
]
,
33
)
,
C
[
2
]
=
C
[
2
]
−
C
[
1
]
{\displaystyle C[1]=C[1]\oplus C[2],\ \ C[1]={\text{ROR}}(C[1],33),\ \ C[2]=C[2]-C[1]}
C
[
7
]
=
C
[
7
]
⊕
C
[
6
]
,
C
[
7
]
=
ROR
(
C
[
7
]
,
37
)
,
C
[
6
]
=
C
[
6
]
−
C
[
7
]
{\displaystyle C[7]=C[7]\oplus C[6],\ \ C[7]={\text{ROR}}(C[7],37),\ \ C[6]=C[6]-C[7]}
C
[
5
]
=
C
[
5
]
⊕
C
[
4
]
,
C
[
5
]
=
ROR
(
C
[
5
]
,
19
)
,
C
[
4
]
=
C
[
4
]
−
C
[
5
]
{\displaystyle C[5]=C[5]\oplus C[4],\ \ C[5]={\text{ROR}}(C[5],19),\ \ C[4]=C[4]-C[5]}
C
[
3
]
=
C
[
3
]
⊕
C
[
2
]
,
C
[
3
]
=
ROR
(
C
[
3
]
,
36
)
,
C
[
2
]
=
C
[
2
]
−
C
[
3
]
{\displaystyle C[3]=C[3]\oplus C[2],\ \ C[3]={\text{ROR}}(C[3],36),\ \ C[2]=C[2]-C[3]}
C
[
1
]
=
C
[
1
]
⊕
C
[
0
]
,
C
[
1
]
=
ROR
(
C
[
1
]
,
46
)
,
C
[
0
]
=
C
[
0
]
−
C
[
1
]
{\displaystyle C[1]=C[1]\oplus C[0],\ \ C[1]={\text{ROR}}(C[1],46),\ \ C[0]=C[0]-C[1]}
}
{\displaystyle \}}
C
[
6
]
=
C
[
6
]
−
T
[
1
]
{\displaystyle C[6]=C[6]-T[1]}
C
[
5
]
=
C
[
5
]
−
T
[
0
]
{\displaystyle C[5]=C[5]-T[0]}
For
i
=
0
to
7
do
P
[
i
]
=
C
[
i
]
−
K
[
i
]
{\displaystyle {\text{For }}i=0{\text{ to }}7{\text{ do }}P[i]=C[i]-K[i]}
Return
P
{\displaystyle {\text{Return }}P}
בעיות מתמטיות ואלגוריתמים
![{\displaystyle [0..2^{64}-1]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5509a84d41069186d0a5d9176d016cb81a38176)
![{\displaystyle K[8]=K[0]\ \oplus \ K[1]\ \oplus \ K[2]\ \oplus \ K[3]\ \oplus \ K[4]\ \oplus \ K[5]\ \oplus \ K[6]\ \oplus \ K[7]\ \oplus \ C_{240}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/16c3aad099b641fc6a4bd9b31dda12980cf585eb)
![{\displaystyle T[2]=T[0]\ \oplus \ T[1]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/13bd0d3cfc516ecd89871dd55e29890d2cdd3186)
![{\displaystyle P=P[0],P[1],...,P[7]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c30fd28033e05bead7cbd169c8a382017f7828dd)
![{\displaystyle P[0]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fb333ff7c14b9494615b586d8e18beea8697d44e)
![{\displaystyle \ \ \ \ C[i]=P[i]+K[i]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b151b2e7ab336aed044a3ff69f4f8a9d3b7c0a99)
![{\displaystyle C[5]=C[5]+T[0]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4d9e04e689eabf93774860c6fa742016f2ef3a5b)
![{\displaystyle C[6]=C[6]+T[1]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cb8f0360d1ce56244e5214d333155986286a833d)
![{\displaystyle C[0]=C[0]+C[1],\ \ C[1]={\text{ROL}}(C[1],46),\ \ C[1]=C[1]\oplus C[0]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/76b389ab1393834be692fdf140a2a486dbaf38a6)
![{\displaystyle C[2]=C[2]+C[3],\ \ C[3]={\text{ROL}}(C[3],36),\ \ C[3]=C[3]\oplus C[2]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1608fd6774dde99d1ea3c1c3f28f9235b809e60b)
![{\displaystyle C[4]=C[4]+C[5],\ \ C[5]={\text{ROL}}(C[5],19),\ \ C[5]=C[5]\oplus C[4]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dc6ac8f0aeb537ae8e9f5213c21706b11af2503a)
![{\displaystyle C[6]=C[6]+C[7],\ \ C[7]={\text{ROL}}(C[7],37),\ \ C[7]=C[7]\oplus C[6]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/29d0005523860e8dcde04df32064d7b726e0cf78)
![{\displaystyle C[2]=C[2]+C[1],\ \ C[1]={\text{ROL}}(C[1],33),\ \ C[1]=C[1]\oplus C[2]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/efa2a28b503e389627202a6d2e7ae75306822f93)
![{\displaystyle C[4]=C[4]+C[7],\ \ C[7]={\text{ROL}}(C[7],27),\ \ C[7]=C[7]\oplus C[4]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0a52ec9eb9dfe868a83ae3bbaefd72cef8e6c6e9)
![{\displaystyle C[6]=C[6]+C[5],\ \ C[5]={\text{ROL}}(C[5],14),\ \ C[5]=C[5]\oplus C[6]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1420e9afdd7766166f7337b69311c85d6cc3a3b3)
![{\displaystyle C[0]=C[0]+C[3],\ \ C[3]={\text{ROL}}(C[3],42),\ \ C[3]=C[3]\oplus C[0]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3b96a9098adddd495eaffebd48ae41a1c4fd2675)
![{\displaystyle C[4]=C[4]+C[1],\ \ C[1]={\text{ROL}}(C[1],17),\ \ C[1]=C[1]\oplus C[4]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5b920c0994b10d8ccb864679e872b4215b036c53)
![{\displaystyle C[6]=C[6]+C[3],\ \ C[3]={\text{ROL}}(C[3],49),\ \ C[3]=C[3]\oplus C[6]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8c06f206db82ccde69678a6f337276299bf89554)
![{\displaystyle C[0]=C[0]+C[5],\ \ C[5]={\text{ROL}}(C[5],36),\ \ C[5]=C[5]\oplus C[0]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0e27d498bf8de1e0bd96036deb545742dceaa095)
![{\displaystyle C[2]=C[2]+C[7],\ \ C[7]={\text{ROL}}(C[7],39),\ \ C[7]=C[7]\oplus C[2]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a49f835a1fe9f695e4a7ce2733ca1f16bfea6a18)
![{\displaystyle C[6]=C[6]+C[1],\ \ C[1]={\text{ROL}}(C[1],44),\ \ C[1]=C[1]\oplus C[6]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/98d5c0bf4ff724c3ae72f619b585e43fc9176e69)
![{\displaystyle C[0]=C[0]+C[7],\ \ C[7]={\text{ROL}}(C[7],9),\ \ C[7]=C[7]\oplus C[0]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4843bd92c5def37a788f6030929aeb94f3107365)
![{\displaystyle C[2]=C[2]+C[5],\ \ C[5]={\text{ROL}}(C[5],54),\ \ C[5]=C[5]\oplus C[2]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b8b5ce70de0274228f93fab9f160b4477a8c2d97)
![{\displaystyle C[4]=C[4]+C[3],\ \ C[3]={\text{ROL}}(C[3],56),\ \ C[3]=C[3]\oplus C[4]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/848f4d11e98c59adafb64138d97284c9c63458bf)
![{\displaystyle {\text{For }}i=0{\text{ to }}7{\text{ do }}C[i]=C[i]+K[((2\cdot r-1)+i){\text{ mod }}9]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4ea9555b7ce691af515345ee27bfa7af99e9a6b4)
![{\displaystyle C[5]=C[5]+T[(2\cdot r-1){\text{ mod }}3]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/236a5de7ef10a29c1c1437d033d96ebb473e3a23)
![{\displaystyle C[6]=C[6]+T[(2\cdot r){\text{ mod }}3]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eef990fd210b0ecb70e2c3cb0ab9f58c9d808332)
![{\displaystyle C[7]=C[7]+(2\cdot r-1)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f506d37cb6e3467f1dee06cb08373b0d95d27512)
![{\displaystyle C[0]=C[0]+C[1],\ \ C[1]={\text{ROL}}(C[1],39),\ \ C[1]=C[1]\oplus C[0]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cc0d04638a954e79af48be782252623091b8d221)
![{\displaystyle C[2]=C[2]+C[3],\ \ C[3]={\text{ROL}}(C[3],30),\ \ C[3]=C[3]\oplus C[2]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/234110ff99c1a5686343477d86eeb06772f1c58b)
![{\displaystyle C[4]=C[4]+C[5],\ \ C[5]={\text{ROL}}(C[5],34),\ \ C[5]=C[5]\oplus C[4]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c0415328ee31fc9f357a440744c8889a33b8f33d)
![{\displaystyle C[6]=C[6]+C[7],\ \ C[7]={\text{ROL}}(C[7],24),\ \ C[7]=C[7]\oplus C[6]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9d6e467d65a4364ecde3f6965912f75242a87577)
![{\displaystyle C[2]=C[2]+C[1],\ \ C[1]={\text{ROL}}(C[1],13),\ \ C[1]=C[1]\oplus C[2]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0af78777c5f12fb5dc88ae4e803b253da41f08e8)
![{\displaystyle C[4]=C[4]+C[7],\ \ C[7]={\text{ROL}}(C[7],50),\ \ C[7]=C[7]\oplus C[4]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9def19915d05797a57498db5132e28273676f87f)
![{\displaystyle C[6]=C[6]+C[5],\ \ C[5]={\text{ROL}}(C[5],10),\ \ C[5]=C[5]\oplus C[6]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/27dbd02f8fecfe51935770f049456e14edabfafd)
![{\displaystyle C[0]=C[0]+C[3],\ \ C[3]={\text{ROL}}(C[3],17),\ \ C[3]=C[3]\oplus C[0]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/431c02c3f6f3ad0ed451e200c84640c2f7b42af8)
![{\displaystyle C[4]=C[4]+C[1],\ \ C[1]={\text{ROL}}(C[1],25),\ \ C[1]=C[1]\oplus C[4]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f94a3b7842cc2c647012b4cd7cff2b90b614add3)
![{\displaystyle C[6]=C[6]+C[3],\ \ C[3]={\text{ROL}}(C[3],29),\ \ C[3]=C[3]\oplus C[6]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9e4d220aefbc0f7886d726a0cc3099045089edf5)
![{\displaystyle C[0]=C[0]+C[5],\ \ C[5]={\text{ROL}}(C[5],39),\ \ C[5]=C[5]\oplus C[0]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2d09b99361cff9b8429b067c7f84ebe957f6adba)
![{\displaystyle C[2]=C[2]+C[7],\ \ C[7]={\text{ROL}}(C[7],43),\ \ C[7]=C[7]\oplus C[2]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/64c7a6c465e2d76366ed7d13c0305c8df7dd8c1c)
![{\displaystyle C[6]=C[6]+C[1],\ \ C[1]={\text{ROL}}(C[1],8),\ \ C[1]=C[1]\oplus C[6]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a153bafe7586dc879fd758aeac664c482dcc2138)
![{\displaystyle C[0]=C[0]+C[7],\ \ C[7]={\text{ROL}}(C[7],35),\ \ C[7]=C[7]\oplus C[0]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/95c6681bed9a1e3f2949bca1d8595f19b72f82f3)
![{\displaystyle C[2]=C[2]+C[5],\ \ C[5]={\text{ROL}}(C[5],56),\ \ C[5]=C[5]\oplus C[2]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e8e811267055be0be87b0a637caa70bfba0fd7ec)
![{\displaystyle C[4]=C[4]+C[3],\ \ C[3]={\text{ROL}}(C[3],22),\ \ C[3]=C[3]\oplus C[4]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b7a7001fd4f2a87f6277bdd6c138185ec0caffd1)
![{\displaystyle {\text{For }}i=0{\text{ to }}7{\text{ do }}C[i]=C[i]+K[((2\cdot r)+i){\text{ mod }}9]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/96c8ba7c9ded66aaf6da804cd9c324f4871d35c4)
![{\displaystyle C[5]=C[5]+T[(2\cdot r){\text{ mod }}3]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8881ff537488f3c29f54b71e0921b0f5d85ff75d)
![{\displaystyle C[6]=C[6]+T[((2\cdot r)+1){\text{ mod }}3]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a87818c7070983c282301057378dccfdbc2dba2e)
![{\displaystyle C[7]=C[7]+(2\cdot r)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/40f1ee284273992652871aef7840b53b726a4bf1)
![{\displaystyle C[7]=C[7]-(2\cdot r)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b3ca8e1a376e19e9e3371630fcac0a7ba919768a)
![{\displaystyle C[6]=C[6]-T[((2\cdot r)+1){\text{ mod }}3]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e6fd37d143f1e0e99a6fc86f0c7db0a7187331b7)
![{\displaystyle C[5]=C[5]-T[(2\cdot r){\text{ mod }}3]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/15fa352bce9aedd58d79c15196cd52683c3a8545)
![{\displaystyle {\text{For }}i=0{\text{ to }}7{\text{ do }}C[i]=C[i]-K[((2\cdot r)+i){\text{ mod }}9]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b51c9ae3371d2899d9a16afc0b9189ebfc2bab59)
![{\displaystyle C[3]=C[3]\oplus C[4],\ \ C[3]={\text{ROR}}(C[3],22),\ \ C[4]=C[4]-C[3]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2d7f1aa46397bfc24945c4120fd11e0e4ffad67b)
![{\displaystyle C[5]=C[5]\oplus C[2],\ \ C[5]={\text{ROR}}(C[5],56),\ \ C[2]=C[2]-C[5]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9861b11d98d5254feb39c0c662ccaaf25df187fe)
![{\displaystyle C[7]=C[7]\oplus C[0],\ \ C[7]={\text{ROR}}(C[7],35),\ \ C[0]=C[0]-C[7]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/063a2ebaa544e4012f0ca15ddca8d6b2408a8105)
![{\displaystyle C[1]=C[1]\oplus C[6],\ \ C[1]={\text{ROR}}(C[1],8),\ \ C[6]=C[6]-C[1]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/598903343c1fcd9baba1405fb89bb6fe8cb64264)
![{\displaystyle C[7]=C[7]\oplus C[2],\ \ C[7]={\text{ROR}}(C[7],43),\ \ C[2]=C[2]-C[7]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b16d0324b395702b7aafb46fa71e2c06510c544c)
![{\displaystyle C[5]=C[5]\oplus C[0],\ \ C[5]={\text{ROR}}(C[5],39),\ \ C[0]=C[0]-C[5]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/99d933dbab61027444a10ecf78277371f1cd93c6)
![{\displaystyle C[3]=C[3]\oplus C[6],\ \ C[3]={\text{ROR}}(C[3],29),\ \ C[6]=C[6]-C[3]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/22cca2dcd4a3c7b55f15bf81d824b69b96f77b79)
![{\displaystyle C[1]=C[1]\oplus C[4],\ \ C[1]={\text{ROR}}(C[1],25),\ \ C[4]=C[4]-C[1]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5569724ce53d3c24189d3bf82768dbe3ed372c3a)
![{\displaystyle C[3]=C[3]\oplus C[0],\ \ C[3]={\text{ROR}}(C[3],17),\ \ C[0]=C[0]-C[3]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c10ba9216f4a721859c65d2f84eb3cd9fa42d6c0)
![{\displaystyle C[5]=C[5]\oplus C[6],\ \ C[5]={\text{ROR}}(C[5],10),\ \ C[6]=C[6]-C[5]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7849ef5dee081207d862434b2dc04e5c9f74b866)
![{\displaystyle C[7]=C[7]\oplus C[4],\ \ C[7]={\text{ROR}}(C[7],50),\ \ C[4]=C[4]-C[7]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4806914dc58d1cf83debab58de6e33f55a4760fc)
![{\displaystyle C[1]=C[1]\oplus C[2],\ \ C[1]={\text{ROR}}(C[1],13),\ \ C[2]=C[2]-C[1]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/44be8eb0e1351903782a355f53bd8116ebe60e7d)
![{\displaystyle C[7]=C[7]\oplus C[6],\ \ C[7]={\text{ROR}}(C[7],24),\ \ C[6]=C[6]-C[7]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/015d41f18540c35c2fa30f40ac792c905b522119)
![{\displaystyle C[5]=C[5]\oplus C[4],\ \ C[5]={\text{ROR}}(C[5],34),\ \ C[4]=C[4]-C[5]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/98974df21408b7fccfc57fc60bc8c35cd5b8f385)
![{\displaystyle C[3]=C[3]\oplus C[2],\ \ C[3]={\text{ROR}}(C[3],30),\ \ C[2]=C[2]-C[3]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/63e61988f577bf9f87bb346a5851b1137899b395)
![{\displaystyle C[1]=C[1]\oplus C[0],\ \ C[1]={\text{ROR}}(C[1],39),\ \ C[0]=C[0]-C[1]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f8f2cf7a379e3463aef207892fbe4482d76654b8)
![{\displaystyle C[7]=C[7]-(2\cdot r-1)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6bbf91a63e197e859f5de6bd154bf48157248eb9)
![{\displaystyle C[6]=C[6]-T[(2\cdot r){\text{ mod }}3]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c24d385ec061743414de3da50bd516fab80373fa)
![{\displaystyle C[5]=C[5]-T[(2\cdot r-1){\text{ mod }}3]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5f061e30840e494812c7dc892a0e1a91ec799bef)
![{\displaystyle {\text{For }}i=0{\text{ to }}7{\text{ do }}C[i]=C[i]-K[((2\cdot r-1)+i){\text{ mod }}9]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/449768379abc0075ea295a01a66325e3ce06eafa)
![{\displaystyle C[3]=C[3]\oplus C[4],\ \ C[3]={\text{ROR}}(C[3],56),\ \ C[4]=C[4]-C[3]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/750150d82f52da94cf35f545951491bfad4ea86d)
![{\displaystyle C[5]=C[5]\oplus C[2],\ \ C[5]={\text{ROR}}(C[5],54),\ \ C[2]=C[2]-C[5]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3f70b3ee0bd774e8d61d1b717469b7e5b029db0b)
![{\displaystyle C[7]=C[7]\oplus C[0],\ \ C[7]={\text{ROR}}(C[7],9),\ \ C[0]=C[0]-C[7]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5f0b08affaa83313f9efdd378fd20437c718d9c5)
![{\displaystyle C[1]=C[1]\oplus C[6],\ \ C[1]={\text{ROR}}(C[1],44),\ \ C[6]=C[6]-C[1]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/43a3c9405fa937eb3bc8faf4c61b4a04625e45cf)
![{\displaystyle C[7]=C[7]\oplus C[2],\ \ C[7]={\text{ROR}}(C[7],39),\ \ C[2]=C[2]-C[7]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bb4759b3f91340284498178f200be197cab974cd)
![{\displaystyle C[5]=C[5]\oplus C[0],\ \ C[5]={\text{ROR}}(C[5],36),\ \ C[0]=C[0]-C[5]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/09818b4a0db08450aebf74114b1a98f2ca0c722a)
![{\displaystyle C[3]=C[3]\oplus C[6],\ \ C[3]={\text{ROR}}(C[3],49),\ \ C[6]=C[6]-C[3]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f174e7f2a7bf8311f0ecea31b86a027b32a53c45)
![{\displaystyle C[1]=C[1]\oplus C[4],\ \ C[1]={\text{ROR}}(C[1],17),\ \ C[4]=C[4]-C[1]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b7452fe0691dd825c31afcae7370009ed35c2e48)
![{\displaystyle C[3]=C[3]\oplus C[0],\ \ C[3]={\text{ROR}}(C[3],42),\ \ C[0]=C[0]-C[3]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/60aaa08be90f47ea109d8c2e7facce20717453d1)
![{\displaystyle C[5]=C[5]\oplus C[6],\ \ C[5]={\text{ROR}}(C[5],14),\ \ C[6]=C[6]-C[5]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b83ca069f43c39c9115e457b18e250e71e46c565)
![{\displaystyle C[7]=C[7]\oplus C[4],\ \ C[7]={\text{ROR}}(C[7],27),\ \ C[4]=C[4]-C[7]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dc4d75a4d8e0d8383f1e6e5b6dcb28d06468ecdb)
![{\displaystyle C[1]=C[1]\oplus C[2],\ \ C[1]={\text{ROR}}(C[1],33),\ \ C[2]=C[2]-C[1]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c572b792d4a8babfe11650255772122cf851bc79)
![{\displaystyle C[7]=C[7]\oplus C[6],\ \ C[7]={\text{ROR}}(C[7],37),\ \ C[6]=C[6]-C[7]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6dcd751795c20fd4f4dfc3aa6a4f4d922ba18a7f)
![{\displaystyle C[5]=C[5]\oplus C[4],\ \ C[5]={\text{ROR}}(C[5],19),\ \ C[4]=C[4]-C[5]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c0c2018de00de0dfab09c375595ca3c4f06af3bb)
![{\displaystyle C[3]=C[3]\oplus C[2],\ \ C[3]={\text{ROR}}(C[3],36),\ \ C[2]=C[2]-C[3]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/61b4fd85d15958f47e9b2b7a8682473c80e2d6c3)
![{\displaystyle C[1]=C[1]\oplus C[0],\ \ C[1]={\text{ROR}}(C[1],46),\ \ C[0]=C[0]-C[1]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fcafde3346f7976392d4105a2dcbdfdb2928d9c4)
![{\displaystyle C[6]=C[6]-T[1]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ba717ada5e3ab31a10cb437d7038daf4c6326f41)
![{\displaystyle C[5]=C[5]-T[0]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/01aae762ba54c6cca5ea48246bea5cfa43c7b61d)
![{\displaystyle {\text{For }}i=0{\text{ to }}7{\text{ do }}P[i]=C[i]-K[i]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d5f92d170886176cf915aa8db6c72153db8201d1)
