test_contracts.test_bw6_761_contract.TestBW6_761Contract Class Reference

Inheritance diagram for test_contracts.test_bw6_761_contract.TestBW6_761Contract:

Collaboration diagram for test_contracts.test_bw6_761_contract.TestBW6_761Contract:

Public Member Functions
None	test_bw6_ecadd (self)
None	test_bw6_ecmul (self)
None	test_bw6_ecpairing (self)

Static Public Member Functions
None	setUpClass ()

Detailed Description

Definition at line 87 of file test_bw6_761_contract.py.

Member Function Documentation

setUpClass()

None test_contracts.test_bw6_761_contract.TestBW6_761Contract.setUpClass ( )

static

Definition at line 90 of file test_bw6_761_contract.py.

    def setUpClass() -> None:
        print("Deploying TestBW6_761.sol")
        _web3, eth = mock.open_test_web3()
        _bw6_interface, bw6_instance = mock.deploy_contract(
            eth,
            eth.accounts[0],
            "TestBW6_761",
            {})
        global BW6_INSTANCE  # pylint: disable=global-statement
        BW6_INSTANCE = bw6_instance
 

test_bw6_ecadd()

None test_contracts.test_bw6_761_contract.TestBW6_761Contract.test_bw6_ecadd

(

self

)

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

Definition at line 101 of file test_bw6_761_contract.py.

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

test_bw6_ecmul()

None test_contracts.test_bw6_761_contract.TestBW6_761Contract.test_bw6_ecmul

(

self

)

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

Definition at line 108 of file test_bw6_761_contract.py.

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

test_bw6_ecpairing()

None test_contracts.test_bw6_761_contract.TestBW6_761Contract.test_bw6_ecpairing

(

self

)

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

Definition at line 115 of file test_bw6_761_contract.py.

    def test_bw6_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 = BW6_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 = BW6_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_bw6_761_contract.py