ds.ov2.test
Class Bignat_protocols_stubs

java.lang.Object
  ds.ov2.test.Bignat_protocols_stubs

public class Bignat_protocols_stubs
extends Object

Stub code for running methods on the card. Defines one stub method for each protocol step in Bignat_protocols.id. The stub methods are the top entry point into the OV-chip protocol layer for host driver code. Each stub method performs the following actions:

1. argument conversion (for instance from BigInteger to Bignat)
2. transfers the arguments to the card (possibly using several APDU's)
3. invokes the right method on the card
4. transfers the results back (again with possibly several APDU's)
5. result conversion
6. and finally packages several results into one tuple object

CPP Preprocessing

no cpp preprocessing needed

Execution Environment:

host

Author:

idl compiler

Version:

automatically generated from Bignat_protocols.id

Nested Class Summary

static class	Bignat_protocols_stubs.Div_result_result Result record for step div_result of protocol div.
static class	Bignat_protocols_stubs.Rsa_exp_result_result Result record for step rsa_exp_result of protocol RSA_exp.
static class	Bignat_protocols_stubs.Subtract_result_result Result record for step subtract_result of protocol subtract.

Field Summary

private Host_protocol	hp_add_1 Host protocol instance for step add_1 of protocol add.
private Host_protocol	hp_add_2 Host protocol instance for step add_2 of protocol add.
private Host_protocol	hp_add_init Host protocol instance for step add_init of protocol add.
private Host_protocol	hp_add_result Host protocol instance for step add_result of protocol add.
private Host_protocol	hp_demont_1 Host protocol instance for step demont_1 of protocol demontgomerize.
private Host_protocol	hp_demont_2 Host protocol instance for step demont_2 of protocol demontgomerize.
private Host_protocol	hp_demont_init Host protocol instance for step demont_init of protocol demontgomerize.
private Host_protocol	hp_demont_result Host protocol instance for step demont_result of protocol demontgomerize.
private Host_protocol	hp_div_1 Host protocol instance for step div_1 of protocol div.
private Host_protocol	hp_div_2 Host protocol instance for step div_2 of protocol div.
private Host_protocol	hp_div_init Host protocol instance for step div_init of protocol div.
private Host_protocol	hp_div_result Host protocol instance for step div_result of protocol div.
private Host_protocol	hp_mont_mult_1 Host protocol instance for step mont_mult_1 of protocol mont_mult.
private Host_protocol	hp_mont_mult_2 Host protocol instance for step mont_mult_2 of protocol mont_mult.
private Host_protocol	hp_mont_mult_init Host protocol instance for step mont_mult_init of protocol mont_mult.
private Host_protocol	hp_mont_mult_result Host protocol instance for step mont_mult_result of protocol mont_mult.
private Host_protocol	hp_mult_1 Host protocol instance for step mult_1 of protocol mult.
private Host_protocol	hp_mult_2 Host protocol instance for step mult_2 of protocol mult.
private Host_protocol	hp_mult_init Host protocol instance for step mult_init of protocol mult.
private Host_protocol	hp_mult_result Host protocol instance for step mult_result of protocol mult.
private Host_protocol	hp_rsa_exp_full_empty Host protocol instance for step rsa_exp_full_empty of protocol RSA_exp.
private Host_protocol	hp_rsa_exp_full_exp Host protocol instance for step rsa_exp_full_exp of protocol RSA_exp.
private Host_protocol	hp_rsa_exp_init Host protocol instance for step rsa_exp_init of protocol RSA_exp.
private Host_protocol	hp_rsa_exp_parts_empty Host protocol instance for step rsa_exp_parts_empty of protocol RSA_exp.
private Host_protocol	hp_rsa_exp_parts_exp Host protocol instance for step rsa_exp_parts_exp of protocol RSA_exp.
private Host_protocol	hp_rsa_exp_result Host protocol instance for step rsa_exp_result of protocol RSA_exp.
private Host_protocol	hp_short_sq_4_mult_1 Host protocol instance for step short_sq_4_mult_1 of protocol short_square_4_mult.
private Host_protocol	hp_short_sq_4_mult_2 Host protocol instance for step short_sq_4_mult_2 of protocol short_square_4_mult.
private Host_protocol	hp_short_sq_4_mult_init Host protocol instance for step short_sq_4_mult_init of protocol short_square_4_mult.
private Host_protocol	hp_short_sq_4_mult_result Host protocol instance for step short_sq_4_mult_result of protocol short_square_4_mult.
private Host_protocol	hp_short_sq_mult_1 Host protocol instance for step short_sq_mult_1 of protocol short_squared_mult.
private Host_protocol	hp_short_sq_mult_2 Host protocol instance for step short_sq_mult_2 of protocol short_squared_mult.
private Host_protocol	hp_short_sq_mult_init Host protocol instance for step short_sq_mult_init of protocol short_squared_mult.
private Host_protocol	hp_short_sq_mult_result Host protocol instance for step short_sq_mult_result of protocol short_squared_mult.
private Host_protocol	hp_sq_mult_1 Host protocol instance for step sq_mult_1 of protocol squared_mult.
private Host_protocol	hp_sq_mult_2 Host protocol instance for step sq_mult_2 of protocol squared_mult.
private Host_protocol	hp_sq_mult_4_1 Host protocol instance for step sq_mult_4_1 of protocol squared_mult_4.
private Host_protocol	hp_sq_mult_4_2 Host protocol instance for step sq_mult_4_2 of protocol squared_mult_4.
private Host_protocol	hp_sq_mult_4_init Host protocol instance for step sq_mult_4_init of protocol squared_mult_4.
private Host_protocol	hp_sq_mult_4_result Host protocol instance for step sq_mult_4_result of protocol squared_mult_4.
private Host_protocol	hp_sq_mult_init Host protocol instance for step sq_mult_init of protocol squared_mult.
private Host_protocol	hp_sq_mult_result Host protocol instance for step sq_mult_result of protocol squared_mult.
private Host_protocol	hp_subtract_1 Host protocol instance for step subtract_1 of protocol subtract.
private Host_protocol	hp_subtract_2 Host protocol instance for step subtract_2 of protocol subtract.
private Host_protocol	hp_subtract_init Host protocol instance for step subtract_init of protocol subtract.
private Host_protocol	hp_subtract_result Host protocol instance for step subtract_result of protocol subtract.
private PrintWriter	out The output channel for debugging information of the OV-chip protocol layer.
private Bignat_protocols_description	protocol_description A protocol description instance from Bignat_protocols.id.
private boolean	with_apdu_script Controls apdutool line printing.

Constructor Summary

Bignat_protocols_stubs(Bignat_protocols_description d, PrintWriter o, boolean script)
Stub constructor.

Method Summary

long	add_1_call(CardChannel _cc) Call step add_1 of protocol add on the card.
long	add_2_call(CardChannel _cc) Call step add_2 of protocol add on the card.
void	add_init_call(CardChannel _cc, BigInteger _bignats_r_1_host_arg, BigInteger _bignats_r_2_host_arg) Call step add_init of protocol add on the card.
BigInteger	add_result_call(CardChannel _cc) Call step add_result of protocol add on the card.
long	demont_1_call(CardChannel _cc, int _rounds_host_arg) Call step demont_1 of protocol demontgomerize on the card.
long	demont_2_call(CardChannel _cc, int _rounds_host_arg) Call step demont_2 of protocol demontgomerize on the card.
void	demont_init_call(CardChannel _cc, BigInteger _bignats_r_1_host_arg, Host_modulus _bignats_modulus_host_arg) Call step demont_init of protocol demontgomerize on the card.
BigInteger	demont_result_call(CardChannel _cc) Call step demont_result of protocol demontgomerize on the card.
long	div_1_call(CardChannel _cc, int _rounds_host_arg) Call step div_1 of protocol div on the card.
long	div_2_call(CardChannel _cc, int _rounds_host_arg) Call step div_2 of protocol div on the card.
void	div_init_call(CardChannel _cc, BigInteger _bignats_n_1_host_arg, BigInteger _bignats_n_2_host_arg) Call step div_init of protocol div on the card.
Bignat_protocols_stubs.Div_result_result	div_result_call(CardChannel _cc) Call step div_result of protocol div on the card.
private void	init_hp_add_1(Bignat_protocols_description d, PrintWriter out, boolean script) Initialization method for hp_add_1.
private void	init_hp_add_2(Bignat_protocols_description d, PrintWriter out, boolean script) Initialization method for hp_add_2.
private void	init_hp_add_init(Bignat_protocols_description d, PrintWriter out, boolean script) Initialization method for hp_add_init.
private void	init_hp_add_result(Bignat_protocols_description d, PrintWriter out, boolean script) Initialization method for hp_add_result.
private void	init_hp_demont_1(Bignat_protocols_description d, PrintWriter out, boolean script) Initialization method for hp_demont_1.
private void	init_hp_demont_2(Bignat_protocols_description d, PrintWriter out, boolean script) Initialization method for hp_demont_2.
private void	init_hp_demont_init(Bignat_protocols_description d, PrintWriter out, boolean script) Initialization method for hp_demont_init.
private void	init_hp_demont_result(Bignat_protocols_description d, PrintWriter out, boolean script) Initialization method for hp_demont_result.
private void	init_hp_div_1(Bignat_protocols_description d, PrintWriter out, boolean script) Initialization method for hp_div_1.
private void	init_hp_div_2(Bignat_protocols_description d, PrintWriter out, boolean script) Initialization method for hp_div_2.
private void	init_hp_div_init(Bignat_protocols_description d, PrintWriter out, boolean script) Initialization method for hp_div_init.
private void	init_hp_div_result(Bignat_protocols_description d, PrintWriter out, boolean script) Initialization method for hp_div_result.
private void	init_hp_mont_mult_1(Bignat_protocols_description d, PrintWriter out, boolean script) Initialization method for hp_mont_mult_1.
private void	init_hp_mont_mult_2(Bignat_protocols_description d, PrintWriter out, boolean script) Initialization method for hp_mont_mult_2.
private void	init_hp_mont_mult_init(Bignat_protocols_description d, PrintWriter out, boolean script) Initialization method for hp_mont_mult_init.
private void	init_hp_mont_mult_result(Bignat_protocols_description d, PrintWriter out, boolean script) Initialization method for hp_mont_mult_result.
private void	init_hp_mult_1(Bignat_protocols_description d, PrintWriter out, boolean script) Initialization method for hp_mult_1.
private void	init_hp_mult_2(Bignat_protocols_description d, PrintWriter out, boolean script) Initialization method for hp_mult_2.
private void	init_hp_mult_init(Bignat_protocols_description d, PrintWriter out, boolean script) Initialization method for hp_mult_init.
private void	init_hp_mult_result(Bignat_protocols_description d, PrintWriter out, boolean script) Initialization method for hp_mult_result.
private void	init_hp_rsa_exp_full_empty(Bignat_protocols_description d, PrintWriter out, boolean script) Initialization method for hp_rsa_exp_full_empty.
private void	init_hp_rsa_exp_full_exp(Bignat_protocols_description d, PrintWriter out, boolean script) Initialization method for hp_rsa_exp_full_exp.
private void	init_hp_rsa_exp_init(Bignat_protocols_description d, PrintWriter out, boolean script) Initialization method for hp_rsa_exp_init.
private void	init_hp_rsa_exp_parts_empty(Bignat_protocols_description d, PrintWriter out, boolean script) Initialization method for hp_rsa_exp_parts_empty.
private void	init_hp_rsa_exp_parts_exp(Bignat_protocols_description d, PrintWriter out, boolean script) Initialization method for hp_rsa_exp_parts_exp.
private void	init_hp_rsa_exp_result(Bignat_protocols_description d, PrintWriter out, boolean script) Initialization method for hp_rsa_exp_result.
private void	init_hp_short_sq_4_mult_1(Bignat_protocols_description d, PrintWriter out, boolean script) Initialization method for hp_short_sq_4_mult_1.
private void	init_hp_short_sq_4_mult_2(Bignat_protocols_description d, PrintWriter out, boolean script) Initialization method for hp_short_sq_4_mult_2.
private void	init_hp_short_sq_4_mult_init(Bignat_protocols_description d, PrintWriter out, boolean script) Initialization method for hp_short_sq_4_mult_init.
private void	init_hp_short_sq_4_mult_result(Bignat_protocols_description d, PrintWriter out, boolean script) Initialization method for hp_short_sq_4_mult_result.
private void	init_hp_short_sq_mult_1(Bignat_protocols_description d, PrintWriter out, boolean script) Initialization method for hp_short_sq_mult_1.
private void	init_hp_short_sq_mult_2(Bignat_protocols_description d, PrintWriter out, boolean script) Initialization method for hp_short_sq_mult_2.
private void	init_hp_short_sq_mult_init(Bignat_protocols_description d, PrintWriter out, boolean script) Initialization method for hp_short_sq_mult_init.
private void	init_hp_short_sq_mult_result(Bignat_protocols_description d, PrintWriter out, boolean script) Initialization method for hp_short_sq_mult_result.
private void	init_hp_sq_mult_1(Bignat_protocols_description d, PrintWriter out, boolean script) Initialization method for hp_sq_mult_1.
private void	init_hp_sq_mult_2(Bignat_protocols_description d, PrintWriter out, boolean script) Initialization method for hp_sq_mult_2.
private void	init_hp_sq_mult_4_1(Bignat_protocols_description d, PrintWriter out, boolean script) Initialization method for hp_sq_mult_4_1.
private void	init_hp_sq_mult_4_2(Bignat_protocols_description d, PrintWriter out, boolean script) Initialization method for hp_sq_mult_4_2.
private void	init_hp_sq_mult_4_init(Bignat_protocols_description d, PrintWriter out, boolean script) Initialization method for hp_sq_mult_4_init.
private void	init_hp_sq_mult_4_result(Bignat_protocols_description d, PrintWriter out, boolean script) Initialization method for hp_sq_mult_4_result.
private void	init_hp_sq_mult_init(Bignat_protocols_description d, PrintWriter out, boolean script) Initialization method for hp_sq_mult_init.
private void	init_hp_sq_mult_result(Bignat_protocols_description d, PrintWriter out, boolean script) Initialization method for hp_sq_mult_result.
private void	init_hp_subtract_1(Bignat_protocols_description d, PrintWriter out, boolean script) Initialization method for hp_subtract_1.
private void	init_hp_subtract_2(Bignat_protocols_description d, PrintWriter out, boolean script) Initialization method for hp_subtract_2.
private void	init_hp_subtract_init(Bignat_protocols_description d, PrintWriter out, boolean script) Initialization method for hp_subtract_init.
private void	init_hp_subtract_result(Bignat_protocols_description d, PrintWriter out, boolean script) Initialization method for hp_subtract_result.
long	mont_mult_1_call(CardChannel _cc, int _rounds_host_arg) Call step mont_mult_1 of protocol mont_mult on the card.
long	mont_mult_2_call(CardChannel _cc, int _rounds_host_arg) Call step mont_mult_2 of protocol mont_mult on the card.
void	mont_mult_init_call(CardChannel _cc, BigInteger _bignats_n_1_host_arg, BigInteger _bignats_n_2_host_arg, Host_modulus _bignats_modulus_host_arg) Call step mont_mult_init of protocol mont_mult on the card.
BigInteger	mont_mult_result_call(CardChannel _cc) Call step mont_mult_result of protocol mont_mult on the card.
long	mult_1_call(CardChannel _cc, int _rounds_host_arg) Call step mult_1 of protocol mult on the card.
long	mult_2_call(CardChannel _cc, int _rounds_host_arg) Call step mult_2 of protocol mult on the card.
void	mult_init_call(CardChannel _cc, BigInteger _bignats_r_1_host_arg, BigInteger _bignats_r_2_host_arg) Call step mult_init of protocol mult on the card.
BigInteger	mult_result_call(CardChannel _cc) Call step mult_result of protocol mult on the card.
long	rsa_exp_full_empty_call(CardChannel _cc) Call step rsa_exp_full_empty of protocol RSA_exp on the card.
long	rsa_exp_full_exp_call(CardChannel _cc) Call step rsa_exp_full_exp of protocol RSA_exp on the card.
void	rsa_exp_init_call(CardChannel _cc, BigInteger _bignats_n_1_host_arg, BigInteger _bignats_s_1_host_arg, BigInteger _bignats_n_2_host_arg) Call step rsa_exp_init of protocol RSA_exp on the card.
long	rsa_exp_parts_empty_call(CardChannel _cc) Call step rsa_exp_parts_empty of protocol RSA_exp on the card.
long	rsa_exp_parts_exp_call(CardChannel _cc) Call step rsa_exp_parts_exp of protocol RSA_exp on the card.
Bignat_protocols_stubs.Rsa_exp_result_result	rsa_exp_result_call(CardChannel _cc) Call step rsa_exp_result of protocol RSA_exp on the card.
long	short_sq_4_mult_1_call(CardChannel _cc) Call step short_sq_4_mult_1 of protocol short_square_4_mult on the card.
long	short_sq_4_mult_2_call(CardChannel _cc) Call step short_sq_4_mult_2 of protocol short_square_4_mult on the card.
void	short_sq_4_mult_init_call(CardChannel _cc, BigInteger _bignats_s_1_host_arg, BigInteger _bignats_s_2_host_arg, Host_modulus _bignats_modulus_host_arg) Call step short_sq_4_mult_init of protocol short_square_4_mult on the card.
BigInteger	short_sq_4_mult_result_call(CardChannel _cc) Call step short_sq_4_mult_result of protocol short_square_4_mult on the card.
long	short_sq_mult_1_call(CardChannel _cc, int _rounds_host_arg) Call step short_sq_mult_1 of protocol short_squared_mult on the card.
long	short_sq_mult_2_call(CardChannel _cc, int _rounds_host_arg) Call step short_sq_mult_2 of protocol short_squared_mult on the card.
void	short_sq_mult_init_call(CardChannel _cc, BigInteger _bignats_s_1_host_arg, BigInteger _bignats_s_2_host_arg, Host_modulus _bignats_modulus_host_arg) Call step short_sq_mult_init of protocol short_squared_mult on the card.
BigInteger	short_sq_mult_result_call(CardChannel _cc) Call step short_sq_mult_result of protocol short_squared_mult on the card.
long	sq_mult_1_call(CardChannel _cc, int _rounds_host_arg) Call step sq_mult_1 of protocol squared_mult on the card.
long	sq_mult_2_call(CardChannel _cc, int _rounds_host_arg) Call step sq_mult_2 of protocol squared_mult on the card.
long	sq_mult_4_1_call(CardChannel _cc) Call step sq_mult_4_1 of protocol squared_mult_4 on the card.
long	sq_mult_4_2_call(CardChannel _cc) Call step sq_mult_4_2 of protocol squared_mult_4 on the card.
void	sq_mult_4_init_call(CardChannel _cc, BigInteger _bignats_r_1_host_arg, BigInteger _bignats_r_2_host_arg, Host_modulus _bignats_mult_modulus_host_arg) Call step sq_mult_4_init of protocol squared_mult_4 on the card.
BigInteger	sq_mult_4_result_call(CardChannel _cc) Call step sq_mult_4_result of protocol squared_mult_4 on the card.
void	sq_mult_init_call(CardChannel _cc, BigInteger _bignats_n_1_host_arg, BigInteger _bignats_n_2_host_arg, Host_modulus _bignats_modulus_host_arg) Call step sq_mult_init of protocol squared_mult on the card.
BigInteger	sq_mult_result_call(CardChannel _cc) Call step sq_mult_result of protocol squared_mult on the card.
long	subtract_1_call(CardChannel _cc) Call step subtract_1 of protocol subtract on the card.
long	subtract_2_call(CardChannel _cc) Call step subtract_2 of protocol subtract on the card.
void	subtract_init_call(CardChannel _cc, BigInteger _bignats_r_1_host_arg, BigInteger _bignats_r_2_host_arg) Call step subtract_init of protocol subtract on the card.
Bignat_protocols_stubs.Subtract_result_result	subtract_result_call(CardChannel _cc) Call step subtract_result of protocol subtract on the card.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

protocol_description

private Bignat_protocols_description protocol_description

A protocol description instance from Bignat_protocols.id. Used to access the host initializers, which are additional parameters for the APDU type constructors of arguments or results. Initialized in the constructor.

out

private PrintWriter out

The output channel for debugging information of the OV-chip protocol layer. Initialized in the constructor.

with_apdu_script

private boolean with_apdu_script

Controls apdutool line printing. Initialized in the constructor, if true, the OV-chip protocol layer prints apdutool lines as part of its debugging output.

hp_mont_mult_init

private Host_protocol hp_mont_mult_init

Host protocol instance for step mont_mult_init of protocol mont_mult. Initialized via init_hp_mont_mult_init (which is called from the constructor).

hp_mont_mult_1

private Host_protocol hp_mont_mult_1

Host protocol instance for step mont_mult_1 of protocol mont_mult. Initialized via init_hp_mont_mult_1 (which is called from the constructor).

hp_mont_mult_2

private Host_protocol hp_mont_mult_2

Host protocol instance for step mont_mult_2 of protocol mont_mult. Initialized via init_hp_mont_mult_2 (which is called from the constructor).

hp_mont_mult_result

private Host_protocol hp_mont_mult_result

Host protocol instance for step mont_mult_result of protocol mont_mult. Initialized via init_hp_mont_mult_result (which is called from the constructor).

hp_demont_init

private Host_protocol hp_demont_init

Host protocol instance for step demont_init of protocol demontgomerize. Initialized via init_hp_demont_init (which is called from the constructor).

hp_demont_1

private Host_protocol hp_demont_1

Host protocol instance for step demont_1 of protocol demontgomerize. Initialized via init_hp_demont_1 (which is called from the constructor).

hp_demont_2

private Host_protocol hp_demont_2

Host protocol instance for step demont_2 of protocol demontgomerize. Initialized via init_hp_demont_2 (which is called from the constructor).

hp_demont_result

private Host_protocol hp_demont_result

Host protocol instance for step demont_result of protocol demontgomerize. Initialized via init_hp_demont_result (which is called from the constructor).

hp_div_init

private Host_protocol hp_div_init

Host protocol instance for step div_init of protocol div. Initialized via init_hp_div_init (which is called from the constructor).

hp_div_1

private Host_protocol hp_div_1

Host protocol instance for step div_1 of protocol div. Initialized via init_hp_div_1 (which is called from the constructor).

hp_div_2

private Host_protocol hp_div_2

Host protocol instance for step div_2 of protocol div. Initialized via init_hp_div_2 (which is called from the constructor).

hp_div_result

private Host_protocol hp_div_result

Host protocol instance for step div_result of protocol div. Initialized via init_hp_div_result (which is called from the constructor).

hp_rsa_exp_init

private Host_protocol hp_rsa_exp_init

Host protocol instance for step rsa_exp_init of protocol RSA_exp. Initialized via init_hp_rsa_exp_init (which is called from the constructor).

hp_rsa_exp_parts_empty

private Host_protocol hp_rsa_exp_parts_empty

Host protocol instance for step rsa_exp_parts_empty of protocol RSA_exp. Initialized via init_hp_rsa_exp_parts_empty (which is called from the constructor).

hp_rsa_exp_parts_exp

private Host_protocol hp_rsa_exp_parts_exp

Host protocol instance for step rsa_exp_parts_exp of protocol RSA_exp. Initialized via init_hp_rsa_exp_parts_exp (which is called from the constructor).

hp_rsa_exp_full_empty

private Host_protocol hp_rsa_exp_full_empty

Host protocol instance for step rsa_exp_full_empty of protocol RSA_exp. Initialized via init_hp_rsa_exp_full_empty (which is called from the constructor).

hp_rsa_exp_full_exp

private Host_protocol hp_rsa_exp_full_exp

Host protocol instance for step rsa_exp_full_exp of protocol RSA_exp. Initialized via init_hp_rsa_exp_full_exp (which is called from the constructor).

hp_rsa_exp_result

private Host_protocol hp_rsa_exp_result

Host protocol instance for step rsa_exp_result of protocol RSA_exp. Initialized via init_hp_rsa_exp_result (which is called from the constructor).

hp_sq_mult_init

private Host_protocol hp_sq_mult_init

Host protocol instance for step sq_mult_init of protocol squared_mult. Initialized via init_hp_sq_mult_init (which is called from the constructor).

hp_sq_mult_1

private Host_protocol hp_sq_mult_1

Host protocol instance for step sq_mult_1 of protocol squared_mult. Initialized via init_hp_sq_mult_1 (which is called from the constructor).

hp_sq_mult_2

private Host_protocol hp_sq_mult_2

Host protocol instance for step sq_mult_2 of protocol squared_mult. Initialized via init_hp_sq_mult_2 (which is called from the constructor).

hp_sq_mult_result

private Host_protocol hp_sq_mult_result

Host protocol instance for step sq_mult_result of protocol squared_mult. Initialized via init_hp_sq_mult_result (which is called from the constructor).

hp_short_sq_mult_init

private Host_protocol hp_short_sq_mult_init

Host protocol instance for step short_sq_mult_init of protocol short_squared_mult. Initialized via init_hp_short_sq_mult_init (which is called from the constructor).

hp_short_sq_mult_1

private Host_protocol hp_short_sq_mult_1

Host protocol instance for step short_sq_mult_1 of protocol short_squared_mult. Initialized via init_hp_short_sq_mult_1 (which is called from the constructor).

hp_short_sq_mult_2

private Host_protocol hp_short_sq_mult_2

Host protocol instance for step short_sq_mult_2 of protocol short_squared_mult. Initialized via init_hp_short_sq_mult_2 (which is called from the constructor).

hp_short_sq_mult_result

private Host_protocol hp_short_sq_mult_result

Host protocol instance for step short_sq_mult_result of protocol short_squared_mult. Initialized via init_hp_short_sq_mult_result (which is called from the constructor).

hp_sq_mult_4_init

private Host_protocol hp_sq_mult_4_init

Host protocol instance for step sq_mult_4_init of protocol squared_mult_4. Initialized via init_hp_sq_mult_4_init (which is called from the constructor).

hp_sq_mult_4_1

private Host_protocol hp_sq_mult_4_1

Host protocol instance for step sq_mult_4_1 of protocol squared_mult_4. Initialized via init_hp_sq_mult_4_1 (which is called from the constructor).

hp_sq_mult_4_2

private Host_protocol hp_sq_mult_4_2

Host protocol instance for step sq_mult_4_2 of protocol squared_mult_4. Initialized via init_hp_sq_mult_4_2 (which is called from the constructor).

hp_sq_mult_4_result

private Host_protocol hp_sq_mult_4_result

Host protocol instance for step sq_mult_4_result of protocol squared_mult_4. Initialized via init_hp_sq_mult_4_result (which is called from the constructor).

hp_short_sq_4_mult_init

private Host_protocol hp_short_sq_4_mult_init

Host protocol instance for step short_sq_4_mult_init of protocol short_square_4_mult. Initialized via init_hp_short_sq_4_mult_init (which is called from the constructor).

hp_short_sq_4_mult_1

private Host_protocol hp_short_sq_4_mult_1

Host protocol instance for step short_sq_4_mult_1 of protocol short_square_4_mult. Initialized via init_hp_short_sq_4_mult_1 (which is called from the constructor).

hp_short_sq_4_mult_2

private Host_protocol hp_short_sq_4_mult_2

Host protocol instance for step short_sq_4_mult_2 of protocol short_square_4_mult. Initialized via init_hp_short_sq_4_mult_2 (which is called from the constructor).

hp_short_sq_4_mult_result

private Host_protocol hp_short_sq_4_mult_result

Host protocol instance for step short_sq_4_mult_result of protocol short_square_4_mult. Initialized via init_hp_short_sq_4_mult_result (which is called from the constructor).

hp_add_init

private Host_protocol hp_add_init

Host protocol instance for step add_init of protocol add. Initialized via init_hp_add_init (which is called from the constructor).

hp_add_1

private Host_protocol hp_add_1

Host protocol instance for step add_1 of protocol add. Initialized via init_hp_add_1 (which is called from the constructor).

hp_add_2

private Host_protocol hp_add_2

Host protocol instance for step add_2 of protocol add. Initialized via init_hp_add_2 (which is called from the constructor).

hp_add_result

private Host_protocol hp_add_result

Host protocol instance for step add_result of protocol add. Initialized via init_hp_add_result (which is called from the constructor).

hp_subtract_init

private Host_protocol hp_subtract_init

Host protocol instance for step subtract_init of protocol subtract. Initialized via init_hp_subtract_init (which is called from the constructor).

hp_subtract_1

private Host_protocol hp_subtract_1

Host protocol instance for step subtract_1 of protocol subtract. Initialized via init_hp_subtract_1 (which is called from the constructor).

hp_subtract_2

private Host_protocol hp_subtract_2

Host protocol instance for step subtract_2 of protocol subtract. Initialized via init_hp_subtract_2 (which is called from the constructor).

hp_subtract_result

private Host_protocol hp_subtract_result

Host protocol instance for step subtract_result of protocol subtract. Initialized via init_hp_subtract_result (which is called from the constructor).

hp_mult_init

private Host_protocol hp_mult_init

Host protocol instance for step mult_init of protocol mult. Initialized via init_hp_mult_init (which is called from the constructor).

hp_mult_1

private Host_protocol hp_mult_1

Host protocol instance for step mult_1 of protocol mult. Initialized via init_hp_mult_1 (which is called from the constructor).

hp_mult_2

private Host_protocol hp_mult_2

Host protocol instance for step mult_2 of protocol mult. Initialized via init_hp_mult_2 (which is called from the constructor).

hp_mult_result

private Host_protocol hp_mult_result

Host protocol instance for step mult_result of protocol mult. Initialized via init_hp_mult_result (which is called from the constructor).

Constructor Detail

Bignat_protocols_stubs

public Bignat_protocols_stubs(Bignat_protocols_description d,
                              PrintWriter o,
                              boolean script)

Stub constructor. Initializes all host protocol instances from Bignat_protocols.id.

Parameters:

d - protocol description instance for Bignat_protocols.id

o - channel for printing debugging information, pass null for disabling debugging information

script - if true, print apdutool lines for all APDUs as part of the debugging information.

Method Detail

init_hp_mont_mult_init

private void init_hp_mont_mult_init(Bignat_protocols_description d,
                                    PrintWriter out,
                                    boolean script)

Initialization method for hp_mont_mult_init.

Parameters:

d - description instance for Bignat_protocols.id

out - the debugging out channel, null for disabling debugging output

script - whether this step prints apdutool lines

mont_mult_init_call

public void mont_mult_init_call(CardChannel _cc,
                                BigInteger _bignats_n_1_host_arg,
                                BigInteger _bignats_n_2_host_arg,
                                Host_modulus _bignats_modulus_host_arg)
                         throws CardException

Call step mont_mult_init of protocol mont_mult on the card.

Parameters:

_cc - communication channel to the applet, must not be null

_bignats_n_1_host_arg - argument bignats.n_1 to be converted to Bignat

_bignats_n_2_host_arg - argument bignats.n_2 to be converted to Bignat

_bignats_modulus_host_arg - argument bignats.modulus to be converted to Modulus

Throws:

CardException - in case of communication errors

init_hp_mont_mult_1

private void init_hp_mont_mult_1(Bignat_protocols_description d,
                                 PrintWriter out,
                                 boolean script)

Initialization method for hp_mont_mult_1.

Parameters:

d - description instance for Bignat_protocols.id

out - the debugging out channel, null for disabling debugging output

script - whether this step prints apdutool lines

mont_mult_1_call

public long mont_mult_1_call(CardChannel _cc,
                             int _rounds_host_arg)
                      throws CardException

Call step mont_mult_1 of protocol mont_mult on the card.

Parameters:

_cc - communication channel to the applet, must not be null

_rounds_host_arg - argument rounds to be converted to APDU_short

Returns:

Duration of the call in nanoseconds. The measurement includes (de-)serialization but not the allocation of argument and result arrays.

Throws:

CardException - in case of communication errors

init_hp_mont_mult_2

private void init_hp_mont_mult_2(Bignat_protocols_description d,
                                 PrintWriter out,
                                 boolean script)

Initialization method for hp_mont_mult_2.

Parameters:

d - description instance for Bignat_protocols.id

out - the debugging out channel, null for disabling debugging output

script - whether this step prints apdutool lines

mont_mult_2_call

public long mont_mult_2_call(CardChannel _cc,
                             int _rounds_host_arg)
                      throws CardException

Call step mont_mult_2 of protocol mont_mult on the card.

Parameters:

_cc - communication channel to the applet, must not be null

_rounds_host_arg - argument rounds to be converted to APDU_short

Returns:

Duration of the call in nanoseconds. The measurement includes (de-)serialization but not the allocation of argument and result arrays.

Throws:

CardException - in case of communication errors

init_hp_mont_mult_result

private void init_hp_mont_mult_result(Bignat_protocols_description d,
                                      PrintWriter out,
                                      boolean script)

Initialization method for hp_mont_mult_result.

Parameters:

d - description instance for Bignat_protocols.id

out - the debugging out channel, null for disabling debugging output

script - whether this step prints apdutool lines

mont_mult_result_call

public BigInteger mont_mult_result_call(CardChannel _cc)
                                 throws CardException

Call step mont_mult_result of protocol mont_mult on the card.

Parameters:

_cc - communication channel to the applet, must not be null

Returns:

result bignats.r_1 converted from Bignat

Throws:

CardException - in case of communication errors

init_hp_demont_init

private void init_hp_demont_init(Bignat_protocols_description d,
                                 PrintWriter out,
                                 boolean script)

Initialization method for hp_demont_init.

Parameters:

d - description instance for Bignat_protocols.id

out - the debugging out channel, null for disabling debugging output

script - whether this step prints apdutool lines

demont_init_call

public void demont_init_call(CardChannel _cc,
                             BigInteger _bignats_r_1_host_arg,
                             Host_modulus _bignats_modulus_host_arg)
                      throws CardException

Call step demont_init of protocol demontgomerize on the card.

Parameters:

_cc - communication channel to the applet, must not be null

_bignats_r_1_host_arg - argument bignats.r_1 to be converted to Bignat

_bignats_modulus_host_arg - argument bignats.modulus to be converted to Modulus

Throws:

CardException - in case of communication errors

init_hp_demont_1

private void init_hp_demont_1(Bignat_protocols_description d,
                              PrintWriter out,
                              boolean script)

Initialization method for hp_demont_1.

Parameters:

d - description instance for Bignat_protocols.id

out - the debugging out channel, null for disabling debugging output

script - whether this step prints apdutool lines

demont_1_call

public long demont_1_call(CardChannel _cc,
                          int _rounds_host_arg)
                   throws CardException

Call step demont_1 of protocol demontgomerize on the card.

Parameters:

_cc - communication channel to the applet, must not be null

_rounds_host_arg - argument rounds to be converted to APDU_short

Returns:

Duration of the call in nanoseconds. The measurement includes (de-)serialization but not the allocation of argument and result arrays.

Throws:

CardException - in case of communication errors

init_hp_demont_2

private void init_hp_demont_2(Bignat_protocols_description d,
                              PrintWriter out,
                              boolean script)

Initialization method for hp_demont_2.

Parameters:

d - description instance for Bignat_protocols.id

out - the debugging out channel, null for disabling debugging output

script - whether this step prints apdutool lines

demont_2_call

public long demont_2_call(CardChannel _cc,
                          int _rounds_host_arg)
                   throws CardException

Call step demont_2 of protocol demontgomerize on the card.

Parameters:

_cc - communication channel to the applet, must not be null

_rounds_host_arg - argument rounds to be converted to APDU_short

Returns:

Duration of the call in nanoseconds. The measurement includes (de-)serialization but not the allocation of argument and result arrays.

Throws:

CardException - in case of communication errors

init_hp_demont_result

private void init_hp_demont_result(Bignat_protocols_description d,
                                   PrintWriter out,
                                   boolean script)

Initialization method for hp_demont_result.

Parameters:

d - description instance for Bignat_protocols.id

out - the debugging out channel, null for disabling debugging output

script - whether this step prints apdutool lines

demont_result_call

public BigInteger demont_result_call(CardChannel _cc)
                              throws CardException

Call step demont_result of protocol demontgomerize on the card.

Parameters:

_cc - communication channel to the applet, must not be null

Returns:

result bignats.r_2 converted from Bignat

Throws:

CardException - in case of communication errors

init_hp_div_init

private void init_hp_div_init(Bignat_protocols_description d,
                              PrintWriter out,
                              boolean script)

Initialization method for hp_div_init.

Parameters:

d - description instance for Bignat_protocols.id

out - the debugging out channel, null for disabling debugging output

script - whether this step prints apdutool lines

div_init_call

public void div_init_call(CardChannel _cc,
                          BigInteger _bignats_n_1_host_arg,
                          BigInteger _bignats_n_2_host_arg)
                   throws CardException

Call step div_init of protocol div on the card.

Parameters:

_cc - communication channel to the applet, must not be null

_bignats_n_1_host_arg - argument bignats.n_1 to be converted to Bignat

_bignats_n_2_host_arg - argument bignats.n_2 to be converted to Bignat

Throws:

CardException - in case of communication errors

init_hp_div_1

private void init_hp_div_1(Bignat_protocols_description d,
                           PrintWriter out,
                           boolean script)

Initialization method for hp_div_1.

Parameters:

d - description instance for Bignat_protocols.id

out - the debugging out channel, null for disabling debugging output

script - whether this step prints apdutool lines

div_1_call

public long div_1_call(CardChannel _cc,
                       int _rounds_host_arg)
                throws CardException

Call step div_1 of protocol div on the card.

Parameters:

_cc - communication channel to the applet, must not be null

_rounds_host_arg - argument rounds to be converted to APDU_short

Returns:

Duration of the call in nanoseconds. The measurement includes (de-)serialization but not the allocation of argument and result arrays.

Throws:

CardException - in case of communication errors

init_hp_div_2

private void init_hp_div_2(Bignat_protocols_description d,
                           PrintWriter out,
                           boolean script)

Initialization method for hp_div_2.

Parameters:

d - description instance for Bignat_protocols.id

out - the debugging out channel, null for disabling debugging output

script - whether this step prints apdutool lines

div_2_call

public long div_2_call(CardChannel _cc,
                       int _rounds_host_arg)
                throws CardException

Call step div_2 of protocol div on the card.

Parameters:

_cc - communication channel to the applet, must not be null

_rounds_host_arg - argument rounds to be converted to APDU_short

Returns:

Duration of the call in nanoseconds. The measurement includes (de-)serialization but not the allocation of argument and result arrays.

Throws:

CardException - in case of communication errors

init_hp_div_result

private void init_hp_div_result(Bignat_protocols_description d,
                                PrintWriter out,
                                boolean script)

Initialization method for hp_div_result.

Parameters:

d - description instance for Bignat_protocols.id

out - the debugging out channel, null for disabling debugging output

script - whether this step prints apdutool lines

div_result_call

public Bignat_protocols_stubs.Div_result_result div_result_call(CardChannel _cc)
                                                         throws CardException

Call step div_result of protocol div on the card.

Parameters:

_cc - communication channel to the applet, must not be null

Returns:

Div_result_result record containing all results.

Throws:

CardException - in case of communication errors

init_hp_rsa_exp_init

private void init_hp_rsa_exp_init(Bignat_protocols_description d,
                                  PrintWriter out,
                                  boolean script)

Initialization method for hp_rsa_exp_init.

Parameters:

d - description instance for Bignat_protocols.id

out - the debugging out channel, null for disabling debugging output

script - whether this step prints apdutool lines

rsa_exp_init_call

public void rsa_exp_init_call(CardChannel _cc,
                              BigInteger _bignats_n_1_host_arg,
                              BigInteger _bignats_s_1_host_arg,
                              BigInteger _bignats_n_2_host_arg)
                       throws CardException

Call step rsa_exp_init of protocol RSA_exp on the card.

Parameters:

_cc - communication channel to the applet, must not be null

_bignats_n_1_host_arg - argument bignats.n_1 to be converted to Bignat

_bignats_s_1_host_arg - argument bignats.s_1 to be converted to Bignat

_bignats_n_2_host_arg - argument bignats.n_2 to be converted to Bignat

Throws:

CardException - in case of communication errors

init_hp_rsa_exp_parts_empty

private void init_hp_rsa_exp_parts_empty(Bignat_protocols_description d,
                                         PrintWriter out,
                                         boolean script)

Initialization method for hp_rsa_exp_parts_empty.

Parameters:

d - description instance for Bignat_protocols.id

out - the debugging out channel, null for disabling debugging output

script - whether this step prints apdutool lines

rsa_exp_parts_empty_call

public long rsa_exp_parts_empty_call(CardChannel _cc)
                              throws CardException

Call step rsa_exp_parts_empty of protocol RSA_exp on the card.

Parameters:

_cc - communication channel to the applet, must not be null

Returns:

Duration of the call in nanoseconds. The measurement includes (de-)serialization but not the allocation of argument and result arrays.

Throws:

CardException - in case of communication errors

init_hp_rsa_exp_parts_exp

private void init_hp_rsa_exp_parts_exp(Bignat_protocols_description d,
                                       PrintWriter out,
                                       boolean script)

Initialization method for hp_rsa_exp_parts_exp.

Parameters:

d - description instance for Bignat_protocols.id

out - the debugging out channel, null for disabling debugging output

script - whether this step prints apdutool lines

rsa_exp_parts_exp_call

public long rsa_exp_parts_exp_call(CardChannel _cc)
                            throws CardException

Call step rsa_exp_parts_exp of protocol RSA_exp on the card.

Parameters:

_cc - communication channel to the applet, must not be null

Returns:

Duration of the call in nanoseconds. The measurement includes (de-)serialization but not the allocation of argument and result arrays.

Throws:

CardException - in case of communication errors

init_hp_rsa_exp_full_empty

private void init_hp_rsa_exp_full_empty(Bignat_protocols_description d,
                                        PrintWriter out,
                                        boolean script)

Initialization method for hp_rsa_exp_full_empty.

Parameters:

d - description instance for Bignat_protocols.id

out - the debugging out channel, null for disabling debugging output

script - whether this step prints apdutool lines

rsa_exp_full_empty_call

public long rsa_exp_full_empty_call(CardChannel _cc)
                             throws CardException

Call step rsa_exp_full_empty of protocol RSA_exp on the card.

Parameters:

_cc - communication channel to the applet, must not be null

Returns:

Duration of the call in nanoseconds. The measurement includes (de-)serialization but not the allocation of argument and result arrays.

Throws:

CardException - in case of communication errors

init_hp_rsa_exp_full_exp

private void init_hp_rsa_exp_full_exp(Bignat_protocols_description d,
                                      PrintWriter out,
                                      boolean script)

Initialization method for hp_rsa_exp_full_exp.

Parameters:

d - description instance for Bignat_protocols.id

out - the debugging out channel, null for disabling debugging output

script - whether this step prints apdutool lines

rsa_exp_full_exp_call

public long rsa_exp_full_exp_call(CardChannel _cc)
                           throws CardException

Call step rsa_exp_full_exp of protocol RSA_exp on the card.

Parameters:

_cc - communication channel to the applet, must not be null

Returns:

Duration of the call in nanoseconds. The measurement includes (de-)serialization but not the allocation of argument and result arrays.

Throws:

CardException - in case of communication errors

init_hp_rsa_exp_result

private void init_hp_rsa_exp_result(Bignat_protocols_description d,
                                    PrintWriter out,
                                    boolean script)

Initialization method for hp_rsa_exp_result.

Parameters:

d - description instance for Bignat_protocols.id

out - the debugging out channel, null for disabling debugging output

script - whether this step prints apdutool lines

rsa_exp_result_call

public Bignat_protocols_stubs.Rsa_exp_result_result rsa_exp_result_call(CardChannel _cc)
                                                                 throws CardException

Call step rsa_exp_result of protocol RSA_exp on the card.

Parameters:

_cc - communication channel to the applet, must not be null

Returns:

Rsa_exp_result_result record containing all results.

Throws:

CardException - in case of communication errors

init_hp_sq_mult_init

private void init_hp_sq_mult_init(Bignat_protocols_description d,
                                  PrintWriter out,
                                  boolean script)

Initialization method for hp_sq_mult_init.

Parameters:

d - description instance for Bignat_protocols.id

out - the debugging out channel, null for disabling debugging output

script - whether this step prints apdutool lines

sq_mult_init_call

public void sq_mult_init_call(CardChannel _cc,
                              BigInteger _bignats_n_1_host_arg,
                              BigInteger _bignats_n_2_host_arg,
                              Host_modulus _bignats_modulus_host_arg)
                       throws CardException

Call step sq_mult_init of protocol squared_mult on the card.

Parameters:

_cc - communication channel to the applet, must not be null

_bignats_n_1_host_arg - argument bignats.n_1 to be converted to Bignat

_bignats_n_2_host_arg - argument bignats.n_2 to be converted to Bignat

_bignats_modulus_host_arg - argument bignats.modulus to be converted to Modulus

Throws:

CardException - in case of communication errors

init_hp_sq_mult_1

private void init_hp_sq_mult_1(Bignat_protocols_description d,
                               PrintWriter out,
                               boolean script)

Initialization method for hp_sq_mult_1.

Parameters:

d - description instance for Bignat_protocols.id

out - the debugging out channel, null for disabling debugging output

script - whether this step prints apdutool lines

sq_mult_1_call

public long sq_mult_1_call(CardChannel _cc,
                           int _rounds_host_arg)
                    throws CardException

Call step sq_mult_1 of protocol squared_mult on the card.

Parameters:

_cc - communication channel to the applet, must not be null

_rounds_host_arg - argument rounds to be converted to APDU_short

Returns:

Duration of the call in nanoseconds. The measurement includes (de-)serialization but not the allocation of argument and result arrays.

Throws:

CardException - in case of communication errors

init_hp_sq_mult_2

private void init_hp_sq_mult_2(Bignat_protocols_description d,
                               PrintWriter out,
                               boolean script)

Initialization method for hp_sq_mult_2.

Parameters:

d - description instance for Bignat_protocols.id

out - the debugging out channel, null for disabling debugging output

script - whether this step prints apdutool lines

sq_mult_2_call

public long sq_mult_2_call(CardChannel _cc,
                           int _rounds_host_arg)
                    throws CardException

Call step sq_mult_2 of protocol squared_mult on the card.

Parameters:

_cc - communication channel to the applet, must not be null

_rounds_host_arg - argument rounds to be converted to APDU_short

Returns:

Duration of the call in nanoseconds. The measurement includes (de-)serialization but not the allocation of argument and result arrays.

Throws:

CardException - in case of communication errors

init_hp_sq_mult_result

private void init_hp_sq_mult_result(Bignat_protocols_description d,
                                    PrintWriter out,
                                    boolean script)

Initialization method for hp_sq_mult_result.

Parameters:

d - description instance for Bignat_protocols.id

out - the debugging out channel, null for disabling debugging output

script - whether this step prints apdutool lines

sq_mult_result_call

public BigInteger sq_mult_result_call(CardChannel _cc)
                               throws CardException

Call step sq_mult_result of protocol squared_mult on the card.

Parameters:

_cc - communication channel to the applet, must not be null

Returns:

result bignats.r_1 converted from Bignat

Throws:

CardException - in case of communication errors

init_hp_short_sq_mult_init

private void init_hp_short_sq_mult_init(Bignat_protocols_description d,
                                        PrintWriter out,
                                        boolean script)

Initialization method for hp_short_sq_mult_init.

Parameters:

d - description instance for Bignat_protocols.id

out - the debugging out channel, null for disabling debugging output

script - whether this step prints apdutool lines

short_sq_mult_init_call

public void short_sq_mult_init_call(CardChannel _cc,
                                    BigInteger _bignats_s_1_host_arg,
                                    BigInteger _bignats_s_2_host_arg,
                                    Host_modulus _bignats_modulus_host_arg)
                             throws CardException

Call step short_sq_mult_init of protocol short_squared_mult on the card.

Parameters:

_cc - communication channel to the applet, must not be null

_bignats_s_1_host_arg - argument bignats.s_1 to be converted to Bignat

_bignats_s_2_host_arg - argument bignats.s_2 to be converted to Bignat

_bignats_modulus_host_arg - argument bignats.modulus to be converted to Modulus

Throws:

CardException - in case of communication errors

init_hp_short_sq_mult_1

private void init_hp_short_sq_mult_1(Bignat_protocols_description d,
                                     PrintWriter out,
                                     boolean script)

Initialization method for hp_short_sq_mult_1.

Parameters:

d - description instance for Bignat_protocols.id

out - the debugging out channel, null for disabling debugging output

script - whether this step prints apdutool lines

short_sq_mult_1_call

public long short_sq_mult_1_call(CardChannel _cc,
                                 int _rounds_host_arg)
                          throws CardException

Call step short_sq_mult_1 of protocol short_squared_mult on the card.

Parameters:

_cc - communication channel to the applet, must not be null

_rounds_host_arg - argument rounds to be converted to APDU_short

Returns:

Duration of the call in nanoseconds. The measurement includes (de-)serialization but not the allocation of argument and result arrays.

Throws:

CardException - in case of communication errors

init_hp_short_sq_mult_2

private void init_hp_short_sq_mult_2(Bignat_protocols_description d,
                                     PrintWriter out,
                                     boolean script)

Initialization method for hp_short_sq_mult_2.

Parameters:

d - description instance for Bignat_protocols.id

out - the debugging out channel, null for disabling debugging output

script - whether this step prints apdutool lines

short_sq_mult_2_call

public long short_sq_mult_2_call(CardChannel _cc,
                                 int _rounds_host_arg)
                          throws CardException

Call step short_sq_mult_2 of protocol short_squared_mult on the card.

Parameters:

_cc - communication channel to the applet, must not be null

_rounds_host_arg - argument rounds to be converted to APDU_short

Returns:

Duration of the call in nanoseconds. The measurement includes (de-)serialization but not the allocation of argument and result arrays.

Throws:

CardException - in case of communication errors

init_hp_short_sq_mult_result

private void init_hp_short_sq_mult_result(Bignat_protocols_description d,
                                          PrintWriter out,
                                          boolean script)

Initialization method for hp_short_sq_mult_result.

Parameters:

d - description instance for Bignat_protocols.id

out - the debugging out channel, null for disabling debugging output

script - whether this step prints apdutool lines

short_sq_mult_result_call

public BigInteger short_sq_mult_result_call(CardChannel _cc)
                                     throws CardException

Call step short_sq_mult_result of protocol short_squared_mult on the card.

Parameters:

_cc - communication channel to the applet, must not be null

Returns:

result bignats.dr_1 converted from Bignat

Throws:

CardException - in case of communication errors

init_hp_sq_mult_4_init

private void init_hp_sq_mult_4_init(Bignat_protocols_description d,
                                    PrintWriter out,
                                    boolean script)

Initialization method for hp_sq_mult_4_init.

Parameters:

d - description instance for Bignat_protocols.id

out - the debugging out channel, null for disabling debugging output

script - whether this step prints apdutool lines

sq_mult_4_init_call

public void sq_mult_4_init_call(CardChannel _cc,
                                BigInteger _bignats_r_1_host_arg,
                                BigInteger _bignats_r_2_host_arg,
                                Host_modulus _bignats_mult_modulus_host_arg)
                         throws CardException

Call step sq_mult_4_init of protocol squared_mult_4 on the card.

Parameters:

_cc - communication channel to the applet, must not be null

_bignats_r_1_host_arg - argument bignats.r_1 to be converted to Bignat

_bignats_r_2_host_arg - argument bignats.r_2 to be converted to Bignat

_bignats_mult_modulus_host_arg - argument bignats.mult_modulus to be converted to Modulus

Throws:

CardException - in case of communication errors

init_hp_sq_mult_4_1

private void init_hp_sq_mult_4_1(Bignat_protocols_description d,
                                 PrintWriter out,
                                 boolean script)

Initialization method for hp_sq_mult_4_1.

Parameters:

d - description instance for Bignat_protocols.id

out - the debugging out channel, null for disabling debugging output

script - whether this step prints apdutool lines

sq_mult_4_1_call

public long sq_mult_4_1_call(CardChannel _cc)
                      throws CardException

Call step sq_mult_4_1 of protocol squared_mult_4 on the card.

Parameters:

_cc - communication channel to the applet, must not be null

Returns:

Duration of the call in nanoseconds. The measurement includes (de-)serialization but not the allocation of argument and result arrays.

Throws:

CardException - in case of communication errors

init_hp_sq_mult_4_2

private void init_hp_sq_mult_4_2(Bignat_protocols_description d,
                                 PrintWriter out,
                                 boolean script)

Initialization method for hp_sq_mult_4_2.

Parameters:

d - description instance for Bignat_protocols.id

out - the debugging out channel, null for disabling debugging output

script - whether this step prints apdutool lines

sq_mult_4_2_call

public long sq_mult_4_2_call(CardChannel _cc)
                      throws CardException

Call step sq_mult_4_2 of protocol squared_mult_4 on the card.

Parameters:

_cc - communication channel to the applet, must not be null

Returns:

Duration of the call in nanoseconds. The measurement includes (de-)serialization but not the allocation of argument and result arrays.

Throws:

CardException - in case of communication errors

init_hp_sq_mult_4_result

private void init_hp_sq_mult_4_result(Bignat_protocols_description d,
                                      PrintWriter out,
                                      boolean script)

Initialization method for hp_sq_mult_4_result.

Parameters:

d - description instance for Bignat_protocols.id

out - the debugging out channel, null for disabling debugging output

script - whether this step prints apdutool lines

sq_mult_4_result_call

public BigInteger sq_mult_4_result_call(CardChannel _cc)
                                 throws CardException

Call step sq_mult_4_result of protocol squared_mult_4 on the card.

Parameters:

_cc - communication channel to the applet, must not be null

Returns:

result bignats.r_3 converted from Bignat

Throws:

CardException - in case of communication errors

init_hp_short_sq_4_mult_init

private void init_hp_short_sq_4_mult_init(Bignat_protocols_description d,
                                          PrintWriter out,
                                          boolean script)

Initialization method for hp_short_sq_4_mult_init.

Parameters:

d - description instance for Bignat_protocols.id

out - the debugging out channel, null for disabling debugging output

script - whether this step prints apdutool lines

short_sq_4_mult_init_call

public void short_sq_4_mult_init_call(CardChannel _cc,
                                      BigInteger _bignats_s_1_host_arg,
                                      BigInteger _bignats_s_2_host_arg,
                                      Host_modulus _bignats_modulus_host_arg)
                               throws CardException

Call step short_sq_4_mult_init of protocol short_square_4_mult on the card.

Parameters:

_cc - communication channel to the applet, must not be null

_bignats_s_1_host_arg - argument bignats.s_1 to be converted to Bignat

_bignats_s_2_host_arg - argument bignats.s_2 to be converted to Bignat

_bignats_modulus_host_arg - argument bignats.modulus to be converted to Modulus

Throws:

CardException - in case of communication errors

init_hp_short_sq_4_mult_1

private void init_hp_short_sq_4_mult_1(Bignat_protocols_description d,
                                       PrintWriter out,
                                       boolean script)

Initialization method for hp_short_sq_4_mult_1.

Parameters:

d - description instance for Bignat_protocols.id

out - the debugging out channel, null for disabling debugging output

script - whether this step prints apdutool lines

short_sq_4_mult_1_call

public long short_sq_4_mult_1_call(CardChannel _cc)
                            throws CardException

Call step short_sq_4_mult_1 of protocol short_square_4_mult on the card.

Parameters:

_cc - communication channel to the applet, must not be null

Returns:

Duration of the call in nanoseconds. The measurement includes (de-)serialization but not the allocation of argument and result arrays.

Throws:

CardException - in case of communication errors

init_hp_short_sq_4_mult_2

private void init_hp_short_sq_4_mult_2(Bignat_protocols_description d,
                                       PrintWriter out,
                                       boolean script)

Initialization method for hp_short_sq_4_mult_2.

Parameters:

d - description instance for Bignat_protocols.id

out - the debugging out channel, null for disabling debugging output

script - whether this step prints apdutool lines

short_sq_4_mult_2_call

public long short_sq_4_mult_2_call(CardChannel _cc)
                            throws CardException

Call step short_sq_4_mult_2 of protocol short_square_4_mult on the card.

Parameters:

_cc - communication channel to the applet, must not be null

Returns:

Duration of the call in nanoseconds. The measurement includes (de-)serialization but not the allocation of argument and result arrays.

Throws:

CardException - in case of communication errors

init_hp_short_sq_4_mult_result

private void init_hp_short_sq_4_mult_result(Bignat_protocols_description d,
                                            PrintWriter out,
                                            boolean script)

Initialization method for hp_short_sq_4_mult_result.

Parameters:

d - description instance for Bignat_protocols.id

out - the debugging out channel, null for disabling debugging output

script - whether this step prints apdutool lines

short_sq_4_mult_result_call

public BigInteger short_sq_4_mult_result_call(CardChannel _cc)
                                       throws CardException

Call step short_sq_4_mult_result of protocol short_square_4_mult on the card.

Parameters:

_cc - communication channel to the applet, must not be null

Returns:

result bignats.dr_1 converted from Bignat

Throws:

CardException - in case of communication errors

init_hp_add_init

private void init_hp_add_init(Bignat_protocols_description d,
                              PrintWriter out,
                              boolean script)

Initialization method for hp_add_init.

Parameters:

d - description instance for Bignat_protocols.id

out - the debugging out channel, null for disabling debugging output

script - whether this step prints apdutool lines

add_init_call

public void add_init_call(CardChannel _cc,
                          BigInteger _bignats_r_1_host_arg,
                          BigInteger _bignats_r_2_host_arg)
                   throws CardException

Call step add_init of protocol add on the card.

Parameters:

_cc - communication channel to the applet, must not be null

_bignats_r_1_host_arg - argument bignats.r_1 to be converted to Bignat

_bignats_r_2_host_arg - argument bignats.r_2 to be converted to Bignat

Throws:

CardException - in case of communication errors

init_hp_add_1

private void init_hp_add_1(Bignat_protocols_description d,
                           PrintWriter out,
                           boolean script)

Initialization method for hp_add_1.

Parameters:

d - description instance for Bignat_protocols.id

out - the debugging out channel, null for disabling debugging output

script - whether this step prints apdutool lines

add_1_call

public long add_1_call(CardChannel _cc)
                throws CardException

Call step add_1 of protocol add on the card.

Parameters:

_cc - communication channel to the applet, must not be null

Returns:

Duration of the call in nanoseconds. The measurement includes (de-)serialization but not the allocation of argument and result arrays.

Throws:

CardException - in case of communication errors

init_hp_add_2

private void init_hp_add_2(Bignat_protocols_description d,
                           PrintWriter out,
                           boolean script)

Initialization method for hp_add_2.

Parameters:

d - description instance for Bignat_protocols.id

out - the debugging out channel, null for disabling debugging output

script - whether this step prints apdutool lines

add_2_call

public long add_2_call(CardChannel _cc)
                throws CardException

Call step add_2 of protocol add on the card.

Parameters:

_cc - communication channel to the applet, must not be null

Returns:

Duration of the call in nanoseconds. The measurement includes (de-)serialization but not the allocation of argument and result arrays.

Throws:

CardException - in case of communication errors

init_hp_add_result

private void init_hp_add_result(Bignat_protocols_description d,
                                PrintWriter out,
                                boolean script)

Initialization method for hp_add_result.

Parameters:

d - description instance for Bignat_protocols.id

out - the debugging out channel, null for disabling debugging output

script - whether this step prints apdutool lines

add_result_call

public BigInteger add_result_call(CardChannel _cc)
                           throws CardException

Call step add_result of protocol add on the card.

Parameters:

_cc - communication channel to the applet, must not be null

Returns:

result bignats.r_1 converted from Bignat

Throws:

CardException - in case of communication errors

init_hp_subtract_init

private void init_hp_subtract_init(Bignat_protocols_description d,
                                   PrintWriter out,
                                   boolean script)

Initialization method for hp_subtract_init.

Parameters:

d - description instance for Bignat_protocols.id

out - the debugging out channel, null for disabling debugging output

script - whether this step prints apdutool lines

subtract_init_call

public void subtract_init_call(CardChannel _cc,
                               BigInteger _bignats_r_1_host_arg,
                               BigInteger _bignats_r_2_host_arg)
                        throws CardException

Call step subtract_init of protocol subtract on the card.

Parameters:

_cc - communication channel to the applet, must not be null

_bignats_r_1_host_arg - argument bignats.r_1 to be converted to Bignat

_bignats_r_2_host_arg - argument bignats.r_2 to be converted to Bignat

Throws:

CardException - in case of communication errors

init_hp_subtract_1

private void init_hp_subtract_1(Bignat_protocols_description d,
                                PrintWriter out,
                                boolean script)

Initialization method for hp_subtract_1.

Parameters:

d - description instance for Bignat_protocols.id

out - the debugging out channel, null for disabling debugging output

script - whether this step prints apdutool lines

subtract_1_call

public long subtract_1_call(CardChannel _cc)
                     throws CardException

Call step subtract_1 of protocol subtract on the card.

Parameters:

_cc - communication channel to the applet, must not be null

Returns:

Duration of the call in nanoseconds. The measurement includes (de-)serialization but not the allocation of argument and result arrays.

Throws:

CardException - in case of communication errors

init_hp_subtract_2

private void init_hp_subtract_2(Bignat_protocols_description d,
                                PrintWriter out,
                                boolean script)

Initialization method for hp_subtract_2.

Parameters:

d - description instance for Bignat_protocols.id

out - the debugging out channel, null for disabling debugging output

script - whether this step prints apdutool lines

subtract_2_call

public long subtract_2_call(CardChannel _cc)
                     throws CardException

Call step subtract_2 of protocol subtract on the card.

Parameters:

_cc - communication channel to the applet, must not be null

Returns:

Duration of the call in nanoseconds. The measurement includes (de-)serialization but not the allocation of argument and result arrays.

Throws:

CardException - in case of communication errors

init_hp_subtract_result

private void init_hp_subtract_result(Bignat_protocols_description d,
                                     PrintWriter out,
                                     boolean script)

Initialization method for hp_subtract_result.

Parameters:

d - description instance for Bignat_protocols.id

out - the debugging out channel, null for disabling debugging output

script - whether this step prints apdutool lines

subtract_result_call

public Bignat_protocols_stubs.Subtract_result_result subtract_result_call(CardChannel _cc)
                                                                   throws CardException

Call step subtract_result of protocol subtract on the card.

Parameters:

_cc - communication channel to the applet, must not be null

Returns:

Subtract_result_result record containing all results.

Throws:

CardException - in case of communication errors

init_hp_mult_init

private void init_hp_mult_init(Bignat_protocols_description d,
                               PrintWriter out,
                               boolean script)

Initialization method for hp_mult_init.

Parameters:

d - description instance for Bignat_protocols.id

out - the debugging out channel, null for disabling debugging output

script - whether this step prints apdutool lines

mult_init_call

public void mult_init_call(CardChannel _cc,
                           BigInteger _bignats_r_1_host_arg,
                           BigInteger _bignats_r_2_host_arg)
                    throws CardException

Call step mult_init of protocol mult on the card.

Parameters:

_cc - communication channel to the applet, must not be null

_bignats_r_1_host_arg - argument bignats.r_1 to be converted to Bignat

_bignats_r_2_host_arg - argument bignats.r_2 to be converted to Bignat

Throws:

CardException - in case of communication errors

init_hp_mult_1

private void init_hp_mult_1(Bignat_protocols_description d,
                            PrintWriter out,
                            boolean script)

Initialization method for hp_mult_1.

Parameters:

d - description instance for Bignat_protocols.id

out - the debugging out channel, null for disabling debugging output

script - whether this step prints apdutool lines

mult_1_call

public long mult_1_call(CardChannel _cc,
                        int _rounds_host_arg)
                 throws CardException

Call step mult_1 of protocol mult on the card.

Parameters:

_cc - communication channel to the applet, must not be null

_rounds_host_arg - argument rounds to be converted to APDU_short

Returns:

Duration of the call in nanoseconds. The measurement includes (de-)serialization but not the allocation of argument and result arrays.

Throws:

CardException - in case of communication errors

init_hp_mult_2

private void init_hp_mult_2(Bignat_protocols_description d,
                            PrintWriter out,
                            boolean script)

Initialization method for hp_mult_2.

Parameters:

d - description instance for Bignat_protocols.id

out - the debugging out channel, null for disabling debugging output

script - whether this step prints apdutool lines

mult_2_call

public long mult_2_call(CardChannel _cc,
                        int _rounds_host_arg)
                 throws CardException

Call step mult_2 of protocol mult on the card.

Parameters:

_cc - communication channel to the applet, must not be null

_rounds_host_arg - argument rounds to be converted to APDU_short

Returns:

Duration of the call in nanoseconds. The measurement includes (de-)serialization but not the allocation of argument and result arrays.

Throws:

CardException - in case of communication errors

init_hp_mult_result

private void init_hp_mult_result(Bignat_protocols_description d,
                                 PrintWriter out,
                                 boolean script)

Initialization method for hp_mult_result.

Parameters:

d - description instance for Bignat_protocols.id

out - the debugging out channel, null for disabling debugging output

script - whether this step prints apdutool lines

mult_result_call

public BigInteger mult_result_call(CardChannel _cc)
                            throws CardException

Call step mult_result of protocol mult on the card.

Parameters:

_cc - communication channel to the applet, must not be null

Returns:

result bignats.dr_1 converted from Bignat

Throws:

CardException - in case of communication errors