test_contracts.test_bls12_377_contract.TestBLS12_377Contract Class Reference

Inheritance diagram for test_contracts.test_bls12_377_contract.TestBLS12_377Contract:

Collaboration diagram for test_contracts.test_bls12_377_contract.TestBLS12_377Contract:

Public Member Functions
None	test_bls12_ecadd (self)
None	test_bls12_ecmul (self)
None	test_bls12_ecpairing (self)

Static Public Member Functions
None	setUpClass ()

Detailed Description

Definition at line 81 of file test_bls12_377_contract.py.

Member Function Documentation

setUpClass()

None test_contracts.test_bls12_377_contract.TestBLS12_377Contract.setUpClass ( )

static

Definition at line 84 of file test_bls12_377_contract.py.

    def setUpClass() -> None:
        print("Deploying TestBLS12_377.sol")
        _web3, eth = mock.open_test_web3()
        _bls12_interface, bls12_instance = mock.deploy_contract(
            eth,
            eth.accounts[0],
            "TestBLS12_377",
            {})
        global BLS12_INSTANCE  # pylint: disable=global-statement
        BLS12_INSTANCE = bls12_instance
 

test_bls12_ecadd()

None test_contracts.test_bls12_377_contract.TestBLS12_377Contract.test_bls12_ecadd

(

self

)

Check that [6] == [2] + [4]

Definition at line 95 of file test_bls12_377_contract.py.

    def test_bls12_ecadd(self) -> None:
        """
        Check that [6] == [2] + [4]
        """
        result = BLS12_INSTANCE.functions.testECAdd(G1_2 + G1_4).call()
        self.assertEqual(G1_6, result)
 

test_bls12_ecmul()

None test_contracts.test_bls12_377_contract.TestBLS12_377Contract.test_bls12_ecmul

(

self

)

Check that [-8] == -2 * [4]

Definition at line 102 of file test_bls12_377_contract.py.

    def test_bls12_ecmul(self) -> None:
        """
        Check that [-8] == -2 * [4]
        """
        result = BLS12_INSTANCE.functions.testECMul(G1_4 + FR_MINUS_2).call()
        self.assertEqual(G1_MINUS_8, result)
 

test_bls12_ecpairing()

None test_contracts.test_bls12_377_contract.TestBLS12_377Contract.test_bls12_ecpairing

(

self

)

Check that e([6], [4]) * e([3],[8]) * e([4],[4]) * e([-8], [8]) == 1

Definition at line 109 of file test_bls12_377_contract.py.

    def test_bls12_ecpairing(self) -> None:
        """
        Check that e([6], [4]) * e([3],[8]) * e([4],[4]) * e([-8], [8]) == 1
        """
        # Note, return result here is uint256(1) or uint256(0) depending on the
        # pairing check result.
        points = G1_6 + G2_4 + G1_3 + G2_8 + G1_4 + G2_4 + G1_MINUS_8 + G2_8
        result = BLS12_INSTANCE.functions.testECPairing(points).call()
        self.assertEqual(1, result)
 
        points = G1_6 + G2_4 + G1_3 + G2_8 + G1_4 + G2_4 + G1_MINUS_8 + G2_4
        result = BLS12_INSTANCE.functions.testECPairing(points).call()
        self.assertEqual(0, result)

---

The documentation for this class was generated from the following file:

• /home/runner/work/zeth/zeth/client/test_contracts/test_bls12_377_contract.py