org.cryptimeleon.math.structures.groups.debug

Class DebugBilinearMap

java.lang.Object

org.cryptimeleon.math.structures.groups.debug.DebugBilinearMap

All Implemented Interfaces:

java.util.function.BiFunction<GroupElement,GroupElement,GroupElement>, BilinearMap

public class DebugBilinearMap
extends java.lang.Object
implements BilinearMap

A BilinearMap implementing a fast, but insecure pairing over Zn. Allows for counting group operations and (multi-)exponentiations as well as pairings on the bilinear group level.

The bilinear map works by mapping (Zn,+) x (Zn,+) to (Zn,+) via (a,b) -> a*b (multiplication in Zn). It is insecure since DLOG is trivial in Zn.

The counting capability is implemented by wrapping two LazyBilinearMaps which contain DebugBilinearGroupImpls themselves. All operations are executed in both groups, one counts total group operations and one counts each (multi-)exponentiation as one unit. This allows for tracking both kinds of data.

See Also:

DebugBilinearGroup

Constructor Summary

Constructors

Constructor and Description
DebugBilinearMap(LazyBilinearMap bilMapTotal, LazyBilinearMap bilMapNoExpMultiExp)

Method Summary

Modifier and Type	Method and Description
GroupElement	apply(GroupElement g1, GroupElement g2) Corresponds to this.apply(g1, g2, 1).
GroupElement	apply(GroupElement g1, GroupElement g2, java.math.BigInteger exponent) Computes \(e(g1,g2)^\text{exponent}\).
boolean	equals(java.lang.Object other)
java.lang.String	formatCounterData() Formats the count data of the default bucket for printing.
java.lang.String	formatCounterData(java.lang.String bucketName) Formats the count data of the bucket with the given name for printing.
java.lang.String	formatCounterDataAllBuckets() Formats the count data of all buckets for printing.
java.lang.String	formatCounterDataAllBuckets(boolean summaryOnly) Formats the counter data of all buckets for printing.
Group	getG1() Returns the source group G1 associated with this bilinear map.
Group	getG2() Returns the source group G2 associated with this bilinear map.
Group	getGT() Returns the target group GT associated with this bilinear map.
long	getNumPairings() Retrieves number of parings computed in this bilinear group from the default bucket.
long	getNumPairings(java.lang.String bucketName) Retrieves number of pairings computed in this bilinear group from the bucket with the given name.
long	getNumPairingsAllBuckets() Sums up pairings across all buckets, including default bucket.
int	hashCode()
boolean	isSymmetric() Returns true if e(g,h).equals(e(h,g)) for all g, h.
void	resetNumPairings() Resets pairing counter for the default bucket.
void	resetNumPairings(java.lang.String bucketName) Resets pairing counter for the bucket with the given name.
void	resetNumPairingsAllBuckets() Resets pairing counter for all buckets.
void	setBucket(java.lang.String name) Sets the currently used operation count storage bucket to the one with the given name.
void	setDefaultBucket() Activates the default bucket.
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.cryptimeleon.math.structures.groups.elliptic.BilinearMap

apply, apply, applyExpr, applyExpr, applyExpr, applyExpr, innerProduct

Methods inherited from interface java.util.function.BiFunction

andThen

Constructor Detail

DebugBilinearMap

public DebugBilinearMap(LazyBilinearMap bilMapTotal,
                        LazyBilinearMap bilMapNoExpMultiExp)

Method Detail

getG1

public Group getG1()

Description copied from interface: BilinearMap

Returns the source group G1 associated with this bilinear map.

Specified by:

getG1 in interface BilinearMap

getG2

public Group getG2()

Description copied from interface: BilinearMap

Returns the source group G2 associated with this bilinear map.

Specified by:

getG2 in interface BilinearMap

getGT

public Group getGT()

Description copied from interface: BilinearMap

Returns the target group GT associated with this bilinear map.

Specified by:

getGT in interface BilinearMap

apply

public GroupElement apply(GroupElement g1,
                          GroupElement g2,
                          java.math.BigInteger exponent)

Description copied from interface: BilinearMap

Computes \(e(g1,g2)^\text{exponent}\).

Depending on the bilinear map and the involved groups, this may be more efficiently implemented than computing it directly via apply(g1,g2).pow(exponent). For example, implementations should do exponentiation in the group with the cheapest group operation.

Specified by:

apply in interface BilinearMap

Parameters:

g1 - left hand side argument for the pairing function

g2 - right hand side argument for the pairing function

exponent - the exponent to apply to the result of the pairing

apply

public GroupElement apply(GroupElement g1,
                          GroupElement g2)

Description copied from interface: BilinearMap

Corresponds to this.apply(g1, g2, 1).

Specified by:

apply in interface java.util.function.BiFunction<GroupElement,GroupElement,GroupElement>

Specified by:

apply in interface BilinearMap

Parameters:

g1 - left hand side argument for the pairing function

g2 - right hand side argument for the pairing function

isSymmetric

public boolean isSymmetric()

Description copied from interface: BilinearMap

Returns true if e(g,h).equals(e(h,g)) for all g, h.

Specified by:

isSymmetric in interface BilinearMap

equals

public boolean equals(java.lang.Object other)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

setBucket

public void setBucket(java.lang.String name)

Sets the currently used operation count storage bucket to the one with the given name. If a bucket with the given name does not exist, a new one is created.

All operations executed after setting a bucket will be counted within that bucket only.

Parameters:

name - the name of the bucket to enable

setDefaultBucket

public void setDefaultBucket()

Activates the default bucket.

getNumPairings

public long getNumPairings(java.lang.String bucketName)

Retrieves number of pairings computed in this bilinear group from the bucket with the given name.

Parameters:

bucketName - the name of the bucket to obtain pairing numbers from

getNumPairings

public long getNumPairings()

Retrieves number of parings computed in this bilinear group from the default bucket.

getNumPairingsAllBuckets

public long getNumPairingsAllBuckets()

Sums up pairings across all buckets, including default bucket.

resetNumPairings

public void resetNumPairings(java.lang.String bucketName)

Resets pairing counter for the bucket with the given name.

Parameters:

bucketName - the name of the bucket to reset pairing counter for

resetNumPairings

public void resetNumPairings()

Resets pairing counter for the default bucket.

resetNumPairingsAllBuckets

public void resetNumPairingsAllBuckets()

Resets pairing counter for all buckets.

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

formatCounterData

public java.lang.String formatCounterData(java.lang.String bucketName)

Formats the count data of the bucket with the given name for printing.

Parameters:

bucketName - the name of the bucket whose data to format for printing

Returns:

a string detailing the results of counting

formatCounterData

public java.lang.String formatCounterData()

Formats the count data of the default bucket for printing.

Returns:

a string detailing the results of counting

formatCounterDataAllBuckets

public java.lang.String formatCounterDataAllBuckets()

Formats the count data of all buckets for printing.

Returns:

a string detailing results of counting

See Also:

this#formatCounterDataAllBuckets(boolean)

formatCounterDataAllBuckets

public java.lang.String formatCounterDataAllBuckets(boolean summaryOnly)

Formats the counter data of all buckets for printing.

The summed up results are added at the end.

Parameters:

summaryOnly - if true, only formats the summed up results across all buckets; otherwise, outputs results of every bucket plus the summary

Returns:

a string detailing results of counting

See Also:

this#formatCounterDataAllBuckets()