Itoh–Tsujii inversion algorithm: Difference between revisions

Content deleted Content added
No edit summary
MinusBot (talk | contribs)
m top: Proper minus signs and other cleanup. Report bugs, errors, and suggestions at User talk:MinusBot
 
(2 intermediate revisions by one other user not shown)
Line 1:
While the algorithm is often called the Itoh-Tsujii algorithm, it was first presented by Feng .<ref>{{cite journal |title=A VLSI architecture for fast inversion in {{math|GF(2<sup>''m''</sup>)}}|journal=[[IEEE Transactions on Computers]] |volume=38 |issue=10 |pages=1383-13861383–1386 |date=1989 |first=Gui-Liang |last=Feng}}</ref>.
Feng's paper was received on March 13, 1987 and published in October 1989. Itoh and Tsujii's paper was received on July 8, 1987 and published in 1988 .<ref>{{cite journal |journal=[[Information and Computation]]|volume=78 |pages=171-177171–177 |date=1988 |first1=Toshiya |last1=Itoh|first2=Shigeo |last2=Tsujii |title=A fast algorithm for computing multiplicative inverses in {{math|GF(2<sup>''m''</sup>)}} }}</ref>.
 
Feng and Itoh-Tsujii algorithm is first used to invert elements in [[finite field]] {{math|GF(2<sup>''m''</sup>)}} using
Line 24:
</math>
 
The above {{math|''A''<sup>-1−1</sup>}} expression itself is close to that of the multiplicative Norm function in [[finite field]], which is defined as
<math display="block">
Norm(A)=\prod_{i=0}^{m-1}{A^{2^i}}.
Line 31:
This viewpoint leads us to consider the additive absolute Trace function
<ref>{{cite web |url=http://eprint.iacr.org/2020/482.pdf |title=A Trace Based {{math|GF(2<sup>''n''</sup>)}} Inversion Algorithm
|access-date=Jan 10, 2025 |archive-url=http://eprint.iacr.org/2020/482 |first1=Haining|last1=Fan
|archive-date=May 6, 2020 }}</ref>
, which is defined as
Line 42:
A=\sum_{i=1}^{m-1}{A^{2^i}}
</math>
and can express {{math|''A''<sup>-1−1</sup>}} as
<math display="block">
A^{-1}=A^{-2}\sum_{i=1}^{m-1}{A^{2^i}}=\sum_{i=1}^{m-1}{A^{2^i-2}}=\sum_{j=0}^{m-2}{(A^2)^{2^{j}-1}}.
Line 62:
</math>
 
This additive formula needs 3 multiplications, 4 additions and 6 squarings.
 
But the multiplicative formula
Line 69:
</math>
needs 4 multiplications and 7 squarings.
 
 
== See also ==