zeth.core.zksnark.PGHR13 Class Reference

Inheritance diagram for zeth.core.zksnark.PGHR13:

Collaboration diagram for zeth.core.zksnark.PGHR13:

Classes
class	Proof
class	VerificationKey

Static Public Member Functions
str	get_contract_name (PairingParameters pp)
List[int]	verification_key_to_contract_parameters (IVerificationKey vk, PairingParameters pp)
PGHR13.VerificationKey	verification_key_from_proto (snark_messages_pb2.VerificationKey vk_obj)
snark_messages_pb2.VerificationKey	verification_key_to_proto (IVerificationKey vk)
PGHR13.VerificationKey	verification_key_from_json_dict (Dict[str, Any] json_dict)
PGHR13.Proof	proof_from_json_dict (Dict[str, Any] json_dict)
ExtendedProof	extended_proof_from_proto (snark_messages_pb2.ExtendedProof ext_proof_proto)
snark_messages_pb2.ExtendedProof	extended_proof_to_proto (ExtendedProof ext_proof)
List[int]	proof_to_contract_parameters (IProof proof, PairingParameters pp)
Static Public Member Functions inherited from zeth.core.zksnark.IZKSnarkProvider
IVerificationKey	verification_key_from_proto (snark_messages_pb2.VerificationKey vk_obj)

Detailed Description

Definition at line 296 of file zksnark.py.

Member Function Documentation

extended_proof_from_proto()

ExtendedProof zeth.core.zksnark.PGHR13.extended_proof_from_proto ( snark_messages_pb2.ExtendedProof  ext_proof_proto )

static

Reimplemented from zeth.core.zksnark.IZKSnarkProvider.

Definition at line 437 of file zksnark.py.

    def extended_proof_from_proto(
            ext_proof_proto: snark_messages_pb2.ExtendedProof) -> ExtendedProof:
        ext_proof = ext_proof_proto.pghr13_extended_proof
        return ExtendedProof(
            proof=PGHR13.Proof(
                a=g1_point_from_proto(ext_proof.a),
                a_p=g1_point_from_proto(ext_proof.a_p),
                b=g2_point_from_proto(ext_proof.b),
                b_p=g1_point_from_proto(ext_proof.b_p),
                c=g1_point_from_proto(ext_proof.c),
                c_p=g1_point_from_proto(ext_proof.c_p),
                h=g1_point_from_proto(ext_proof.h),
                k=g1_point_from_proto(ext_proof.k)),
            inputs=cast(List[str], json.loads(ext_proof.inputs)))
 

Here is the call graph for this function:

extended_proof_to_proto()

snark_messages_pb2.ExtendedProof zeth.core.zksnark.PGHR13.extended_proof_to_proto ( ExtendedProof  ext_proof )

static

Reimplemented from zeth.core.zksnark.IZKSnarkProvider.

Definition at line 453 of file zksnark.py.

    def extended_proof_to_proto(
            ext_proof: ExtendedProof) -> snark_messages_pb2.ExtendedProof:
        proof = ext_proof.proof
        assert isinstance(proof, PGHR13.Proof)
        extproof_proto = snark_messages_pb2.ExtendedProof()
        proof_proto = extproof_proto.pghr13_extended_proof \
            # pylint: disable=no-member
        g1_point_to_proto(proof.a, proof_proto.a)
        g1_point_to_proto(proof.a_p, proof_proto.a_p)
        g2_point_to_proto(proof.b, proof_proto.b)
        g1_point_to_proto(proof.b_p, proof_proto.b_p)
        g1_point_to_proto(proof.c, proof_proto.c)
        g1_point_to_proto(proof.c_p, proof_proto.c_p)
        g1_point_to_proto(proof.h, proof_proto.h)
        g1_point_to_proto(proof.k, proof_proto.k)
        proof_proto.inputs = json.dumps(ext_proof.inputs)
        return extproof_proto
 

Here is the call graph for this function:

get_contract_name()

str zeth.core.zksnark.PGHR13.get_contract_name ( PairingParameters  pp )

static

Get the verifier and mixer contracts for this SNARK.

Reimplemented from zeth.core.zksnark.IZKSnarkProvider.

Definition at line 388 of file zksnark.py.

    def get_contract_name(pp: PairingParameters) -> str:
        return _contract_name("Pghr13", pp)
 

proof_from_json_dict()

PGHR13.Proof zeth.core.zksnark.PGHR13.proof_from_json_dict ( Dict[str, Any]  json_dict )

static

Reimplemented from zeth.core.zksnark.IZKSnarkProvider.

Definition at line 433 of file zksnark.py.

    def proof_from_json_dict(json_dict: Dict[str, Any]) -> PGHR13.Proof:
        return PGHR13.Proof.from_json_dict(json_dict)
 

proof_to_contract_parameters()

List[int] zeth.core.zksnark.PGHR13.proof_to_contract_parameters ( IProof  proof, PairingParameters  pp  )

static

Generate the leading parameters to the mix function for this SNARK, from a
GenericProof object.

Reimplemented from zeth.core.zksnark.IZKSnarkProvider.

Definition at line 472 of file zksnark.py.

    def proof_to_contract_parameters(
            proof: IProof, pp: PairingParameters) -> List[int]:
        assert isinstance(proof, PGHR13.Proof)
        return \
            g1_point_to_contract_parameters(proof.a) + \
            g1_point_to_contract_parameters(proof.a_p) + \
            g2_point_to_contract_parameters(proof.b) + \
            g1_point_to_contract_parameters(proof.b_p) + \
            g1_point_to_contract_parameters(proof.c) + \
            g1_point_to_contract_parameters(proof.c_p) + \
            g1_point_to_contract_parameters(proof.h) + \
            g1_point_to_contract_parameters(proof.k)
 
 

Here is the call graph for this function:

verification_key_from_json_dict()

PGHR13.VerificationKey zeth.core.zksnark.PGHR13.verification_key_from_json_dict ( Dict[str, Any]  json_dict )

static

Reimplemented from zeth.core.zksnark.IZKSnarkProvider.

Definition at line 428 of file zksnark.py.

    def verification_key_from_json_dict(
            json_dict: Dict[str, Any]) -> PGHR13.VerificationKey:
        return PGHR13.VerificationKey.from_json_dict(json_dict)
 

verification_key_from_proto()

PGHR13.VerificationKey zeth.core.zksnark.PGHR13.verification_key_from_proto ( snark_messages_pb2.VerificationKey  vk_obj )

static

Definition at line 408 of file zksnark.py.

    def verification_key_from_proto(
            vk_obj: snark_messages_pb2.VerificationKey) -> PGHR13.VerificationKey:
        vk = vk_obj.pghr13_verification_key
        return PGHR13.VerificationKey(
            a=g2_point_from_proto(vk.a),
            b=g1_point_from_proto(vk.b),
            c=g2_point_from_proto(vk.c),
            g=g2_point_from_proto(vk.gamma),
            gb1=g1_point_from_proto(vk.gamma_beta_g1),
            gb2=g2_point_from_proto(vk.gamma_beta_g2),
            z=g2_point_from_proto(vk.z),
            ic=[G1Point.from_json_list(ic)
                for ic in json.loads(vk.ic)])
 

Here is the call graph for this function:

verification_key_to_contract_parameters()

List[int] zeth.core.zksnark.PGHR13.verification_key_to_contract_parameters ( IVerificationKey  vk, PairingParameters  pp  )

static

Reimplemented from zeth.core.zksnark.IZKSnarkProvider.

Definition at line 392 of file zksnark.py.

    def verification_key_to_contract_parameters(
            vk: IVerificationKey,
            pp: PairingParameters) -> List[int]:
        assert isinstance(vk, PGHR13.VerificationKey)
        return \
            g2_point_to_contract_parameters(vk.a) + \
            g1_point_to_contract_parameters(vk.b) + \
            g2_point_to_contract_parameters(vk.c) + \
            g2_point_to_contract_parameters(vk.g) + \
            g1_point_to_contract_parameters(vk.gb1) + \
            g2_point_to_contract_parameters(vk.gb2) + \
            g2_point_to_contract_parameters(vk.z) + \
            sum([g1_point_to_contract_parameters(ic)
                 for ic in vk.ic], [])
 

Here is the call graph for this function:

verification_key_to_proto()

snark_messages_pb2.VerificationKey zeth.core.zksnark.PGHR13.verification_key_to_proto ( IVerificationKey  vk )

static

Reimplemented from zeth.core.zksnark.IZKSnarkProvider.

Definition at line 423 of file zksnark.py.

    def verification_key_to_proto(
            vk: IVerificationKey) -> snark_messages_pb2.VerificationKey:
        raise Exception("not implemented")
 

---

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

• /home/runner/work/zeth/zeth/client/zeth/core/zksnark.py