Uses of Class
ds.ov2.bignat.Bignat

Packages that use Bignat

ds.ov2.bignat	Big integer library for Java Card, including a test frame.
ds.ov2.front	Frontoffice code for applet and host side, including a test frame.
ds.ov2.test	Test applet for OV-chip protocol layer and for ds.ov2.bignat functionality.

Uses of Bignat in ds.ov2.bignat

Fields in ds.ov2.bignat declared as Bignat

private Bignat[]	Bignat_array.a The array of the contained bignats.
private static Bignat[]	Resize.double_bignats Array of registered double-sized bignats.
private static Bignat[]	Resize.long_bignats Array of registered long bignats.
Bignat	Modulus.m The modulus itself.
Bignat	Modulus.mod_x_2 Modulus times 2.
Bignat	Modulus.mod_x_3 Modulus times 3.
private static Bignat[]	Resize.short_bignats Array of registered short bignats.
private Bignat[]	Vector.temp References of temporaries used inside exponent_mod and mont_rsa_exponent_mod.

Methods in ds.ov2.bignat that return Bignat

static Bignat	Convenience.bn_from_bi(int bignat_size, BigInteger bi) Convert BigInteger into Bignat.
Bignat	Bignat_array.get(short i) Return element i.

Methods in ds.ov2.bignat with parameters of type Bignat

boolean	Bignat.add_carry(Bignat other) Addition with carry report.
void	Bignat.add(Bignat other) Addition.
static BigInteger	Convenience.bi_from_bn(Bignat bn) Convert Bignat into BigInteger.
void	Bignat.copy(Bignat other) Copies other into this.
void	Bignat.exponent_mod(Bignat base, Bignat exponent, Modulus modulus, Bignat mont_one, Bignat temp) Modular power.
void	Vector.exponent_mod(Vector exponent, Modulus modulus, short base_factor_size, Vector base_factors, Bignat mont_one, Bignat result, Bignat temp_arg) Montgomerized modular multi-exponent.
void	Fake_rsa_exponent.fixed_power(Bignat base, Bignat result, short offset) Modular power with preconfigured modulus and exponent.
void	RSA_exponent.fixed_power(Bignat base, Bignat result, short offset) Modular power with preconfigured modulus and exponent.
void	RSA_exponent_interface.fixed_power(Bignat base, Bignat result, short offset) Modular power with preconfigured modulus and exponent.
boolean	Bignat.lesser(Bignat other) Comparison.
void	Bignat.modular_subtraction(Bignat other, Modulus mod) Modular subtraction.
void	Vector.mont_rsa_exponent_mod(Vector exponent, Modulus modulus, RSA_exponent_interface rsa_exponent, Bignat rsa_vector_correction, Bignat result, Bignat temp_1, Bignat temp_2) Modular multi-exponent with Montgomery multiplication.
void	Bignat.montgomery_factor(Bignat mod, Bignat mont_fac) montgomery factors.
void	Bignat.montgomery_mult(Bignat x, Bignat y, Modulus mod) Montgomery multiplication (special modular multiplication).
void	Bignat.montgomery_square(Bignat x, Modulus mod) Optimization for modular Montgomery squares.
void	Bignat.mult_mod(Bignat x, Bignat y, Bignat mod) Inefficient modular multiplication.
void	Bignat.mult(Bignat x, Bignat y) Multiplication.
void	Fake_rsa_exponent.power(Bignat base, Bignat exp, Bignat result, short offset) Modular exponent.
void	RSA_exponent.power(Bignat base, Bignat exp, Bignat result, short offset) Modular power.
void	RSA_exponent_interface.power(Bignat base, Bignat exp, Bignat result, short offset) Modular power.
void	Bignat.rand_mod(Random rand, Bignat mod, short first_mod_digit, byte first_digit_mask) Modular random number generator.
static void	Resize.register_double_bignat(Bignat b) Register the double-sized bignat b.
static void	Resize.register_long_bignat(Bignat b) Register the long bignat b.
static void	Resize.register_short_bignat(Bignat b) Register the short bignat b.
void	Bignat.remainder_divide(Bignat divisor, Bignat quotient) Remainder and Quotient.
boolean	Bignat.same_value(Bignat other) Equality check.
void	Fake_rsa_exponent.set_exponent(Bignat exponent, Bignat temp, short offset) Saves the exponent exponent for later use in Fake_rsa_exponent.modulus.
void	RSA_exponent.set_exponent(Bignat exp, Bignat temp, short offset) Initialize the exponent for subsequent use of this object with fixed_power.
void	RSA_exponent_interface.set_exponent(Bignat exp, Bignat temp, short offset) Initialize the exponent for subsequent use of this object with fixed_power.
void	Fake_rsa_exponent.set_modulus(Bignat mod, short offset) Saves the modulus mod for later use in Fake_rsa_exponent.modulus.
void	RSA_exponent.set_modulus(Bignat mod, short offset) Set modulus.
void	RSA_exponent_interface.set_modulus(Bignat mod, short offset) Set modulus.
void	Bignat_array.set(short i, Bignat b) Set element i.
boolean	Bignat.shift_lesser_debug(Bignat other, short shift, short start) Comparison with debug output.
boolean	Bignat.shift_lesser(Bignat other, short shift, short start) Scaled comparison.
void	Bignat.short_squared_rsa_mult_2(Bignat x, Bignat y, RSA_exponent_interface square_exp, Bignat temp_1, Bignat temp_2) Multiplication of short bignats.
void	Bignat.short_squared_rsa_mult_4(Bignat x, Bignat y, RSA_exponent_interface square_exp, Bignat temp_1, Bignat temp_2) Another multiplication of short bignats.
void	Vector.squared_rsa_exponent_mod(Vector exponent, Modulus modulus, Bignat result, RSA_exponent_interface rsa_exponent, RSA_exponent_interface square_exponent, Bignat temp_1, Bignat temp_2, Bignat temp_3) Modular multi-exponent with squared multiplication.
void	Bignat.squared_rsa_mult_2(Bignat x, Bignat y, Modulus mod, RSA_exponent_interface square_exp, Bignat temp) Modular multiplication.
void	Bignat.squared_rsa_mult_4(Bignat x, Bignat y, Modulus mod, RSA_exponent_interface square_exp, Bignat temp) Yet another modular multiplication.
boolean	Bignat.subtract(Bignat other) Subtraction.
void	Bignat.times_add_add(Bignat second, short second_mult, Bignat third, short third_mult) Special addition for optimizing montgomery_mult.
void	Bignat.times_add_shift(Bignat other, short shift, short mult) Scaled addition.
void	Bignat.times_add(Bignat other, short mult) Scaled addition.
void	Bignat.times_minus(Bignat other, short shift, short mult) Scaled subtraction.

Uses of Bignat in ds.ov2.front

Fields in ds.ov2.front declared as Bignat

(package private) Bignat	RSA_mont_card.beta_1 Random beta_1 from the resign protocol and beta from the proof protocoll.
(package private) Bignat	RSA_plain_card.beta_1 Random beta_1 from the resign protocol and beta from the proof protocoll.
(package private) Bignat	RSA_squared_card.beta_1 Random beta_1 from the resign protocol and beta from the proof protocoll.
(package private) Bignat	RSA_mont_card.beta_2 Random beta_2 from the resign protocol.
(package private) Bignat	RSA_plain_card.beta_2 Random beta_2 from the resign protocol.
(package private) Bignat	RSA_squared_card.beta_2 Random beta_2 from the resign protocol.
Bignat	RSA_data.current_blinded_a Current blinded attribute expression.
Bignat	RSA_data.current_blinding Current blinding.
private Bignat	RSA_mont_card.double_small Intermediate value of double small size.
private Bignat	RSA_plain_card.double_small Intermediate value of double small size.
private Bignat	RSA_squared_card.double_small Intermediate value of double small size.
(package private) Bignat	RSA_data.gamma_beta_3 Beta_3 and gamma.
(package private) Bignat	RSA_data.host_alpha Host commitment alpha for the signature protocol.
(package private) Bignat	RSA_data.host_response Host response r for the signature protocol.
Bignat	RSA_data.montgomerized_one Montgomerized 1.
Bignat	RSA_data.new_blinded_a New blinded attribute expression.
Bignat	RSA_data.new_blinding New blinding.
(package private) Bignat	Signature.number The number r.
Bignat	RSA_data.ptls_key The public key of service provider.
(package private) Bignat	RSA_squared_card.ptls_key_times_temp_blinded_a Temporary result RSA_data.ptls_key times the temporary blinded attribute expression.
(package private) Bignat	RSA_data.result Temporary result.
(package private) Bignat	RSA_mont_card.sig_quotient Qutient d in the signature protocol.
(package private) Bignat	RSA_plain_card.sig_quotient Qutient d in the signature protocol.
(package private) Bignat	RSA_squared_card.sig_quotient Qutient d in the signature protocol.
(package private) Bignat	RSA_data.sig_remainder Remainder c in the signature protocol.
private Bignat	RSA_mont_card.temp_2 Temporary.
private Bignat	RSA_plain_card.temp_2 Temporary.
private Bignat	RSA_squared_card.temp_2 Temporary.
private Bignat	RSA_mont_card.temp_3 Temporary.
private Bignat	RSA_plain_card.temp_3 Temporary.
private Bignat	RSA_squared_card.temp_3 Temporary.
private Bignat	RSA_squared_card.temp_4 Temporary.
(package private) Bignat	RSA_mont_card.temp_blinded_a Temporary blinded attribute expression.
(package private) Bignat	RSA_plain_card.temp_blinded_a Temporary blinded attribute expression.
Bignat	RSA_data.v The RSA parameter v.

Methods in ds.ov2.front that return Bignat

Bignat

RSA_data.get_montgomery_correction(short factors) Return the Montgomery correction factor for factors factors.

Methods in ds.ov2.front with parameters of type Bignat

(package private) void	Signature.hash_into_bignat(Bignat b) Copies the hash value Signature.hash into a Bignat.
void	RSA_data.set_blinding(Bignat beta) Set beta.

Uses of Bignat in ds.ov2.test

Fields in ds.ov2.test declared as Bignat

Bignat	Bignats.dr_1 First double-sized RAM Bignat.
Bignat	Bignats.n_1 First long EEPROM Bignat.
Bignat	Bignats.n_2 Second long EEPROM Bignat.
(package private) Bignat	Exponent_perf_description.one_or_correction Variable declaration from Exponent_perf.id.
Bignat	Bignats.r_1 First long RAM Bignat.
Bignat	Bignats.r_2 Second long RAM Bignat.
Bignat	Bignats.r_3 Third long RAM Bignat.
Bignat	Bignats.r_4 Fourth long RAM Bignat.
Bignat	Exponent_perf_card.result The result.
(package private) Bignat	Exponent_perf_description.result Variable declaration from Exponent_perf.id.
Bignat	Bignats.s_1 First short EEPROM Bignat.
Bignat	Bignats.s_2 Second short EEPROM Bignat.
private Bignat	Exponent_perf_card.temp_1 First temporary.
private Bignat	Exponent_perf_card.temp_2 Second temporary.
private Bignat	Exponent_perf_card.temp_3 Third temporary.

Methods in ds.ov2.test with parameters of type Bignat

void	Performance_mult_card.demontgomerize(Bignat n, Modulus m, Bignat result, short rounds) Test Demontgomerization.
void	Performance_mult_card.mont_mult(Bignat fac_1, Bignat fac_2, Modulus m, Bignat result, short rounds) Test Montgomery multiplication.
void	Performance_mult_card.remainder_divide(Bignat divident, Bignat divisor, Bignat remainder, Bignat result, short rounds) Test division and remainder.
void	Exponent_perf_card.vector_exp(Vector base, Vector exponent, Modulus modulus, short base_factor_size, Vector base_factors, Bignat one_or_correction, short variant, boolean doit) Computation method for the vector_exp_1 and vector_exp_2 steps.