nejasan dio predavanja

[nick]

Ja se najdublje ispricavam sto prigovaram oko dijela predavanja na kojem nisam bio, no nazalost bio sam sprijecen kolokvijem u istom terminu tako da nisam mogao biti prisutan dok se predavala kriptoanaliza DESa. Tako da sam sada u nedoumici da li meni nesto trivijalno promice ili postoji greska u predavanjima na Netu. Naime, pokusavam implementirati DES cracker za DES od 3 runde, kako je prikazano u predavanjima, stoga sam se upustio u detaljnu analizu predavanja danog na http://web.math.hr/~duje/kript/desan.html (da nebi mislili da mi je zbilja dosadno :-) ) i upao u problem. Naime, nakon primjera 5 slijedi tvrdnja 1, pa onda sljedeci redovi:
R3 = L2 xor f(R2,K3) = R1 xor f(R2,K3) = L0 xor f(R0,K1) xor f(R2,K3),
R*3 = L*0 xor f(R*0,K1) xor f(R*2,K3),
R'3 = L'0 xor f(R2,K3) xor f(R*2,K3).
Zanima me kako je dobiven posljednji redak... cini mi se da bi tu trebalo po analogiji pisati:
R'3 = L'0 xor f(R'0,K1) xor f(R'2,K3)
Pokusavao sam shvatiti kako bi se ovo sto trenutno pise u skripti moglo dobiti, no nisam uspio. Dakle, ili mi promice nesto ili postoji greska na webu?

[duje]

Evo pojasljenja:
U cijelom tom poglavlju koristi se sljedeca oznaka:
R xor R* = R'.
Dakle, u
R3 = L2 xor f(R2,K3) = R1 xor f(R2,K3) = L0 xor f(R0,K1) xor f(R2,K3),
R*3 = L*0 xor f(R*0,K1) xor f(R*2,K3),
R'3 = L'0 xor f(R2,K3) xor f(R*2,K3),
drugi redak je dobiven po analogiji s prvim,
no u trecem retku se ne mozemo pozvati na analogiju,
vec ga moramo izacunati. Imamo:

R'3 = R3 xor R*3 = (L0 xor f(R0,K1) xor f(R2,K3)) xor (L*0 xor f(R*0,K1) xor f(R*2,K3)) =
(L0 xor L*0) xor (f(R0,K1) xor f(R*0,K1)) xor (f(R2,K3) xor f(R*2,K3))
= L'0 xor f(R2,K3) xor f(R*2,K3).

U zadnjem koraku smo koristili (bitnu) pretpostavku da je R0=R*0,
zbog koje je f(R0,K1) = f(R*0,K1), pa smo srednju zagradu mogli izostaviti.