org.bouncycastle.crypto.hash2curve.test

Class BLS12_381SubgroupCheckTest

java.lang.Object

junit.framework.Assert

junit.framework.TestCase

org.bouncycastle.crypto.hash2curve.test.BLS12_381SubgroupCheckTest

All Implemented Interfaces:

junit.framework.Test

public class BLS12_381SubgroupCheckTest
extends junit.framework.TestCase

Tests for the Bowe-style fast subgroup-membership checks. The headline test in each direction is "the new fast check agrees with the slow [r] P == 0 test on every input we throw at it" — that's what proves the optimisation is correct.

Constructor Summary

Constructors

Constructor and Description
BLS12_381SubgroupCheckTest()

Method Summary

Modifier and Type	Method and Description
void	testG1FastCheckAgreesWithSlow()
void	testG1FastCheckAgreesWithSlowOffSubgroup() The fast G1 check against [r] P == 0 on points outside the subgroup: random curve points, their components of small order dividing the cofactor h = 3 * 11^2 * 10177^2 * 859267^2 * 52437899^2 (orders 3 and 11 make the double-and-add by |x| meet its doubling and inverse cases), and the same points with the cofactor cleared.
void	testG1GeneratorIsInSubgroup()
void	testG1InfinityIsInSubgroup()
void	testG1ScalarMultiplesAreInSubgroup()
void	testG2FastCheckAgreesWithSlow()
void	testG2GeneratorIsInSubgroup()
void	testG2InfinityIsInSubgroup()
void	testG2RejectsOffSubgroupPoint()
void	testG2ScalarMultiplesAreInSubgroup()
void	testPsiG2IsOnCurve()
void	testSigmaG1IsOnCurve()

Methods inherited from class junit.framework.TestCase

assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertFalse, assertFalse, assertNotNull, assertNotNull, assertNotSame, assertNotSame, assertNull, assertNull, assertSame, assertSame, assertTrue, assertTrue, countTestCases, createResult, fail, fail, failNotEquals, failNotSame, failSame, format, getName, run, run, runBare, runTest, setName, setUp, tearDown, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

BLS12_381SubgroupCheckTest

public BLS12_381SubgroupCheckTest()

Method Detail

testG1GeneratorIsInSubgroup

public void testG1GeneratorIsInSubgroup()

testG1ScalarMultiplesAreInSubgroup

public void testG1ScalarMultiplesAreInSubgroup()

testG1InfinityIsInSubgroup

public void testG1InfinityIsInSubgroup()

testG1FastCheckAgreesWithSlow

public void testG1FastCheckAgreesWithSlow()

testG1FastCheckAgreesWithSlowOffSubgroup

public void testG1FastCheckAgreesWithSlowOffSubgroup()

The fast G1 check against [r] P == 0 on points outside the subgroup: random curve points, their components of small order dividing the cofactor h = 3 * 11^2 * 10177^2 * 859267^2 * 52437899^2 (orders 3 and 11 make the double-and-add by |x| meet its doubling and inverse cases), and the same points with the cofactor cleared.

testG2GeneratorIsInSubgroup

public void testG2GeneratorIsInSubgroup()

testG2ScalarMultiplesAreInSubgroup

public void testG2ScalarMultiplesAreInSubgroup()

testG2InfinityIsInSubgroup

public void testG2InfinityIsInSubgroup()

testG2FastCheckAgreesWithSlow

public void testG2FastCheckAgreesWithSlow()

testG2RejectsOffSubgroupPoint

public void testG2RejectsOffSubgroupPoint()

testSigmaG1IsOnCurve

public void testSigmaG1IsOnCurve()

testPsiG2IsOnCurve

public void testPsiG2IsOnCurve()