zeth.core.zksnark.IZKSnarkProvider Class Reference

Inheritance diagram for zeth.core.zksnark.IZKSnarkProvider:

Collaboration diagram for zeth.core.zksnark.IZKSnarkProvider:

Static Public Member Functions
str	get_contract_name (PairingParameters pp)
List[int]	verification_key_to_contract_parameters (IVerificationKey vk, PairingParameters pp)
IVerificationKey	verification_key_from_proto (snark_messages_pb2.VerificationKey vk_obj)
snark_messages_pb2.VerificationKey	verification_key_to_proto (IVerificationKey vk)
IVerificationKey	verification_key_from_json_dict (Dict[str, Any] json_dict)
IProof	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)

Detailed Description

Interface to be implemented by specific zk-snark providers. Ideally, the
rest of the logic should deal only with this interface and have no
understanding of the underlying mechanisms.

Definition at line 84 of file zksnark.py.

Member Function Documentation

extended_proof_from_proto()

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

static

Reimplemented in zeth.core.zksnark.PGHR13, and zeth.core.zksnark.Groth16.

Definition at line 131 of file zksnark.py.

    def extended_proof_from_proto(
            ext_proof_proto: snark_messages_pb2.ExtendedProof
    ) -> ExtendedProof:
        pass
 

extended_proof_to_proto()

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

static

Reimplemented in zeth.core.zksnark.PGHR13, and zeth.core.zksnark.Groth16.

Definition at line 138 of file zksnark.py.

    def extended_proof_to_proto(
            ext_proof: ExtendedProof) -> snark_messages_pb2.ExtendedProof:
        pass
 

get_contract_name()

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

static

Get the verifier and mixer contracts for this SNARK.

Reimplemented in zeth.core.zksnark.PGHR13, and zeth.core.zksnark.Groth16.

Definition at line 93 of file zksnark.py.

    def get_contract_name(pp: PairingParameters) -> str:
        """
        Get the verifier and mixer contracts for this SNARK.
        """
        pass
 

proof_from_json_dict()

IProof zeth.core.zksnark.IZKSnarkProvider.proof_from_json_dict ( Dict[str, Any]  json_dict )

static

Reimplemented in zeth.core.zksnark.PGHR13, and zeth.core.zksnark.Groth16.

Definition at line 126 of file zksnark.py.

    def proof_from_json_dict(json_dict: Dict[str, Any]) -> IProof:
        pass
 

proof_to_contract_parameters()

List[int] zeth.core.zksnark.IZKSnarkProvider.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 in zeth.core.zksnark.PGHR13, and zeth.core.zksnark.Groth16.

Definition at line 144 of file zksnark.py.

    def proof_to_contract_parameters(
            proof: IProof, pp: PairingParameters) -> List[int]:
        """
        Generate the leading parameters to the mix function for this SNARK, from a
        GenericProof object.
        """
        pass
 
 

verification_key_from_json_dict()

IVerificationKey zeth.core.zksnark.IZKSnarkProvider.verification_key_from_json_dict ( Dict[str, Any]  json_dict )

static

Reimplemented in zeth.core.zksnark.PGHR13, and zeth.core.zksnark.Groth16.

Definition at line 120 of file zksnark.py.

    def verification_key_from_json_dict(
            json_dict: Dict[str, Any]) -> IVerificationKey:
        pass
 

verification_key_from_proto()

IVerificationKey zeth.core.zksnark.IZKSnarkProvider.verification_key_from_proto ( snark_messages_pb2.VerificationKey  vk_obj )

static

Definition at line 108 of file zksnark.py.

    def verification_key_from_proto(
            vk_obj: snark_messages_pb2.VerificationKey) -> IVerificationKey:
        pass
 

verification_key_to_contract_parameters()

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

static

Reimplemented in zeth.core.zksnark.PGHR13, and zeth.core.zksnark.Groth16.

Definition at line 101 of file zksnark.py.

    def verification_key_to_contract_parameters(
            vk: IVerificationKey,
            pp: PairingParameters) -> List[int]:
        pass
 

verification_key_to_proto()

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

static

Reimplemented in zeth.core.zksnark.PGHR13, and zeth.core.zksnark.Groth16.

Definition at line 114 of file zksnark.py.

    def verification_key_to_proto(
            vk: IVerificationKey) -> snark_messages_pb2.VerificationKey:
        pass
 

---

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

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