package zeth_proto

Get desktop application:
View/edit binary Protocol Buffers messages

• rpc GetConfiguration (google.protobuf.Empty, ProverConfiguration)

  prover.proto:24

  Get some configuration information

  message ProverConfiguration

  prover.proto:14

  Information describing configuration options of the server that may be of interest to clients.

  • string zksnark = 1

    The zk-snark scheme used by this server ("GROTH16" or "PGHR13").

  • optional PairingParameters pairing_parameters = 2

    PairingParameters used by the server

• rpc GetVerificationKey (google.protobuf.Empty, VerificationKey)

  prover.proto:27

  Fetch the verification key from the prover server

  message VerificationKey

  snark_messages.proto:8

  • oneof VK

    • VerificationKeyPGHR13 pghr13_verification_key = 1

    • VerificationKeyGROTH16 groth16_verification_key = 2

• rpc Prove (ProofInputs, ExtendedProofAndPublicData)

  prover.proto:30

  Request a proof generation on the given inputs

  message ProofInputs

  zeth_messages.proto:26

  • string mk_root = 1

  • repeated JoinsplitInput js_inputs = 2

    List of inputs to the Joinsplit

  • repeated ZethNote js_outputs = 3

    List of output to the Joinsplit

  • string pub_in_value = 4

    Hexadecimal string representing a uint64 value

  • string pub_out_value = 5

    Hexadecimal string representing a uint64 value

  • string h_sig = 6

  • string phi = 7

  message ExtendedProofAndPublicData

  zeth_messages.proto:41

  The extended proof and related public data for the Zeth statement using ProofInputs data

  • optional ExtendedProof extended_proof = 1

    The extended proof (with single public input - the hash of public_data).

  • repeated string public_data = 2

    The public data (public inputs to the Zeth statement). Each element in the array is a hex-encoded member of the scalar field for the pairing being used.

Used in: ExtendedProofAndPublicData

• oneof EP

  • ExtendedProofPGHR13 pghr13_extended_proof = 1

  • ExtendedProofGROTH16 groth16_extended_proof = 2

Used in: ExtendedProof

• optional Group1Point a = 1

• optional Group2Point b = 2

• optional Group1Point c = 3

• string inputs = 4

Contains the proof along with the public inputs

Used in: ExtendedProof

• optional Group1Point a = 1

• optional Group1Point a_p = 2

• optional Group2Point b = 3

• optional Group1Point b_p = 4

• optional Group1Point c = 5

• optional Group1Point c_p = 6

• optional Group1Point h = 7

• optional Group1Point k = 8

• string inputs = 9

The points in G1 are represented in affine form. The coordinates are encoded as JSON objects. In this case (where coordinates are base field elements), these are plain JSON strings. e.g. Let A be a `Group1Point` message. Then `A` is of the form: ``` A = { x_coord = "\"0xa34...ef\"", y_coord = "\"0xae7...dc\"" }

Used in: ExtendedProofGROTH16, ExtendedProofPGHR13, PairingParameters, VerificationKeyGROTH16, VerificationKeyPGHR13

• string x_coord = 1

  First coordinate of the point

• string y_coord = 2

  Second coordinate of the point

The points in G2 are represented in affine form. Coordinates are encoded as JSON objects containing hexadecimal strings. Depending on the pairing, coordinates may be in the base field (simple strings, as for G1) or in extension fields (JSON arrays of strings). e.g. Let A be a `Group2Point` message. Then `A` is of the form: ``` A = { x_coord = "[\"0xa34...ef\", ... \"0xaef...ab\"]", y_coord = "[\"0xae7...dc\", ... \"0xbfe...54\"]" }

Used in: ExtendedProofGROTH16, ExtendedProofPGHR13, PairingParameters, VerificationKeyGROTH16, VerificationKeyPGHR13

• string x_coord = 1

  First coordinate of the point

• string y_coord = 2

  Second coordinate of the point

Used in: ProofInputs

• repeated string merkle_path = 1

  Merkle authentication path to the commitment of the note in the Merkle tree. Each node of the merkle tree is treated as a string

• int64 address = 2

• optional ZethNote note = 3

• string spending_ask = 4

• string nullifier = 5

A set of useful attributes of a pairing. Expand this as clients are required to perform more operations.

Used in: ProverConfiguration

• string name = 1

  Name of the pairing

• string r = 2

  Order of the G1 and G2 subgroups as a hex string.

• string q = 3

  Modulus of the base field as a hex string.

• optional Group1Point generator_g1 = 4

  Generator of G1

• optional Group2Point generator_g2 = 5

  Generator of G2

Used in: VerificationKey

• optional Group1Point alpha_g1 = 1

• optional Group2Point beta_g2 = 2

• optional Group2Point delta_g2 = 4

• string abc_g1 = 5

Used in: VerificationKey

• optional Group2Point a = 1

• optional Group1Point b = 2

• optional Group2Point c = 3

• optional Group2Point gamma = 4

• optional Group1Point gamma_beta_g1 = 5

• optional Group2Point gamma_beta_g2 = 6

• optional Group2Point z = 7

• string ic = 8

Used in: JoinsplitInput, ProofInputs

• string apk = 1

• string value = 2

  Hex string representing a int64 value

• string rho = 3

• string trap_r = 4