test_bls12_377_contract.py

Go to the documentation of this file.

# Copyright (c) 2015-2022 Clearmatics Technologies Ltd
#
# SPDX-License-Identifier: LGPL-3.0+
 
from test_commands import mock
from unittest import TestCase
from typing import Any
 
# Data generated by libzeth/tests/core/ec_operation_data_test. Statements to be
# checked match those in that test.
 
 
# Internal convenience function to create an EVM bytes32
def _b32(hex_value: str) -> bytes:
    assert len(hex_value) == 64
    return bytes.fromhex(hex_value)
 
 
# BLS-377 test values
 
FR_MINUS_2 = [
    _b32("12ab655e9a2ca55660b44d1e5c37b00159aa76fed00000010a117fffffffffff")
]
 
G1_2 = [
    _b32("0000000000000000000000000000000000ed453141939e91056edb5a4b5452ed"),
    _b32("7e61f7f3dd2a4b7ee90e97c9a2301955880661656781dc90857aed6d6a416390"),
    _b32("0000000000000000000000000000000000cfb0b9717bc8e5ae04601813171337"),
    _b32("ad99cdae42c561cae80b12f135c64479d6a23f5675ed5ca7e2dd5e8727d7c7ed"),
]
G1_3 = [
    _b32("0000000000000000000000000000000001252b781171f507db36291b433a1f91"),
    _b32("1a46543890a20ca9712e11f66a5d216e63d817bd8d96cef715abc604dcf6ec2e"),
    _b32("00000000000000000000000000000000014a00fa77c727e8987cc438b51bbe01"),
    _b32("2c823a19955ae692c54ce572a61f0ea1fe5cd981533df419fd1330d1f6e6d802"),
]
G1_4 = [
    _b32("0000000000000000000000000000000000c1090c0750892fa132043a3ec67b5d"),
    _b32("fb5aa24b4772bef1724153a759353c27a216259fecad4b19be1f169b2739bd26"),
    _b32("00000000000000000000000000000000003f820683c042b943bfb056956d1c8d"),
    _b32("bc16939f19bd1131ab15caced9f05b7fd009962b3d13907fde8175d86f72e3a4"),
]
G1_6 = [
    _b32("00000000000000000000000000000000010c65c0fb9e6c6ef4cbb27fdc55a07e"),
    _b32("474df11c564bd91e3fa162c32b7fc3dabba5fc508cfdd8938fb4a30f7de5ad9c"),
    _b32("000000000000000000000000000000000149a58ced619866b242313876fe2df3"),
    _b32("188f33b77566a9ddc966ff4d4d5c42d515be862c348f51cc91f1c45a74110ba6"),
]
G1_MINUS_8 = [
    _b32("00000000000000000000000000000000018aff632c0048f5afb5c07fd197a44a"),
    _b32("127c829be3ff6170c6cebc1154bc72633b45de2ac855e0da30cebfa33672e7f3"),
    _b32("0000000000000000000000000000000000be8218b8b1ba93705bf17a91027476"),
    _b32("8383d037cf28b27f9b084d9efb929cc7ff8ad0f1567f8b0edb78c769fed58756"),
]
 
G2_4 = [
    _b32("00000000000000000000000000000000008deeab95264cf16b9e9b87ce615b9c"),
    _b32("8ccff86332b286332c00d4f0f0bb4c9c0fc0923d83231e5e3a3a961c8e266651"),
    _b32("0000000000000000000000000000000000a54cee57ec21b53167f636a9bb1d81"),
    _b32("691edf259b4164867760b250049bbd722021968ab0b927ee5b0d44c70db106f5"),
    _b32("000000000000000000000000000000000113d2333add9290fe17235e413f2d8c"),
    _b32("7f448406f586aefaad39284ac6d80fb7f1741fb37f91c5c6299038063a34bb25"),
    _b32("000000000000000000000000000000000045e1d96afde76075237a8c3472473f"),
    _b32("1c4debf2bf79abf2c8b22fd4ccc5c3da30ee409c293094115bddd5da7de0da8a"),
]
G2_8 = [
    _b32("00000000000000000000000000000000019ece89be3c82b561d87e7898ddfc92"),
    _b32("8d2e86fafa21febc222d8ff38a752fe95b25e19b25410205800385fb047ca1cf"),
    _b32("00000000000000000000000000000000016251c985d96e59d07cc363290ec714"),
    _b32("6682da9bde87ed3d64ccad05403992cc9f3704c7f9a1df34116840d220edba27"),
    _b32("00000000000000000000000000000000012c74d25dd0ca3264d6141945dc309b"),
    _b32("94be879fc67835ab3db6b1faad807bca3e21e122184678fe4ea38affe654e15f"),
    _b32("00000000000000000000000000000000002f302a2d6f3c2a5b53edb53d73c1e3"),
    _b32("f1771c3b929563c62e74e3330adb0f75b1b164fef915d00aa35b5e668524ef2b"),
]
 
 
BLS12_INSTANCE: Any = None
 
 
class TestBLS12_377Contract(TestCase):
 
    @staticmethod
    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
 
    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)
 
    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)
 
    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)