Patent ID: 8433742
Filing Date: 2013-04-30
Classification: G06F,H03M

Abstract:
1. A method for checking a result of an operation involving a first number and a second number, comprising: determining a modulus base p of the first number and a modulus base p of the second number; performing the operation using the modulus base p of the first number and the modulus base p of the second number; calculating a modulus base p of a result of the operation involving the first number and the second number; comparing a result of the performing of the operation with a result of the calculation to identify potential errors associated with the operation; and repeating the determining, performing, calculating, and comparing operations to identify additional potential errors associated with the operation, wherein the determining and calculating operations are repeated using moduli base q; wherein p and q are Mersenne prime numbers; wherein the moduli base p and base q are computed using a shared circuit that performs additions using subsets of consecutive bits in the first number and the second number; wherein the number of bits in a given subset is greater than or equal to the product of a first characteristic number associated with the modulus base p and a second characteristic number associated with the modulus base q; and wherein a given characteristic number associated with a given modulus base is a number of bits in a binary representation of the given modulus base.