zeth.core.zksnark.Groth16 Class Reference

Inheritance diagram for zeth.core.zksnark.Groth16:

Collaboration diagram for zeth.core.zksnark.Groth16:

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)
Groth16.VerificationKey	verification_key_from_proto (snark_messages_pb2.VerificationKey vk_obj)
snark_messages_pb2.VerificationKey	verification_key_to_proto (IVerificationKey vk)
Groth16.VerificationKey	verification_key_from_json_dict (Dict[str, Any] json_dict)
Groth16.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 153 of file zksnark.py.

Member Function Documentation

extended_proof_from_proto()

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

static

Reimplemented from zeth.core.zksnark.IZKSnarkProvider.

Definition at line 262 of file zksnark.py.

    def extended_proof_from_proto(
            ext_proof_proto: snark_messages_pb2.ExtendedProof) -> ExtendedProof:
        ext_proof = ext_proof_proto.groth16_extended_proof
        return ExtendedProof(
            proof=Groth16.Proof(
                a=g1_point_from_proto(ext_proof.a),
                b=g2_point_from_proto(ext_proof.b),
                c=g1_point_from_proto(ext_proof.c)),
            inputs=json.loads(ext_proof.inputs))
 

Here is the call graph for this function:

extended_proof_to_proto()

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

static

Reimplemented from zeth.core.zksnark.IZKSnarkProvider.

Definition at line 273 of file zksnark.py.

    def extended_proof_to_proto(
            ext_proof: ExtendedProof) -> snark_messages_pb2.ExtendedProof:
        proof = ext_proof.proof
        assert isinstance(proof, Groth16.Proof)
        extproof_proto = snark_messages_pb2.ExtendedProof()
        proof_proto = extproof_proto.groth16_extended_proof \
            # pylint: disable=no-member
        g1_point_to_proto(proof.a, proof_proto.a)
        g2_point_to_proto(proof.b, proof_proto.b)
        g1_point_to_proto(proof.c, proof_proto.c)
        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.Groth16.get_contract_name ( PairingParameters  pp )

static

Get the verifier and mixer contracts for this SNARK.

Reimplemented from zeth.core.zksnark.IZKSnarkProvider.

Definition at line 209 of file zksnark.py.

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

proof_from_json_dict()

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

static

Reimplemented from zeth.core.zksnark.IZKSnarkProvider.

Definition at line 258 of file zksnark.py.

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

proof_to_contract_parameters()

List[int] zeth.core.zksnark.Groth16.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 287 of file zksnark.py.

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

Here is the call graph for this function:

verification_key_from_json_dict()

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

static

Reimplemented from zeth.core.zksnark.IZKSnarkProvider.

Definition at line 253 of file zksnark.py.

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

verification_key_from_proto()

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

static

Definition at line 229 of file zksnark.py.

    def verification_key_from_proto(
            vk_obj: snark_messages_pb2.VerificationKey
    ) -> Groth16.VerificationKey:
        vk = vk_obj.groth16_verification_key
        return Groth16.VerificationKey(
            alpha=g1_point_from_proto(vk.alpha_g1),
            beta=g2_point_from_proto(vk.beta_g2),
            delta=g2_point_from_proto(vk.delta_g2),
            abc=[G1Point.from_json_list(abc)
                 for abc in json.loads(vk.abc_g1)])
 

Here is the call graph for this function:

verification_key_to_contract_parameters()

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

static

Reimplemented from zeth.core.zksnark.IZKSnarkProvider.

Definition at line 213 of file zksnark.py.

    def verification_key_to_contract_parameters(
            vk: IVerificationKey,
            pp: PairingParameters) -> List[int]:
        assert isinstance(vk, Groth16.VerificationKey)
        minus_beta = g2_point_negate(vk.beta, pp)
        minus_delta = g2_point_negate(vk.delta, pp)
        return \
            g1_point_to_contract_parameters(vk.alpha) + \
            g2_point_to_contract_parameters(minus_beta) + \
            g2_point_to_contract_parameters(minus_delta) + \
            sum(
                [g1_point_to_contract_parameters(abc)
                 for abc in vk.abc],
                [])
 

Here is the call graph for this function:

verification_key_to_proto()

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

static

Reimplemented from zeth.core.zksnark.IZKSnarkProvider.

Definition at line 241 of file zksnark.py.

    def verification_key_to_proto(
            vk: IVerificationKey) -> snark_messages_pb2.VerificationKey:
        assert isinstance(vk, Groth16.VerificationKey)
        vk_obj = snark_messages_pb2.VerificationKey()
        groth16_key = vk_obj.groth16_verification_key  # pylint: disable=no-member
        g1_point_to_proto(vk.alpha, groth16_key.alpha_g1)
        g2_point_to_proto(vk.beta, groth16_key.beta_g2)
        g2_point_to_proto(vk.delta, groth16_key.delta_g2)
        groth16_key.abc_g1 = json.dumps([abc.to_json_list() for abc in vk.abc])
        return vk_obj
 

Here is the call graph for this function:

---

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

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