types.json

{
    "VerifierData": {
        "key": "VerifierKey",
        "public_inputs_indexes": "Vec<u32>"
    },
    "VerifierKey": {
        "n": "u32",
        "arithmetic": "ArithmeticVerifierKey",
        "logic": "LogicVerifierKey",
        "range": "RangeVerifierKey",
        "fixed_base": "FixedBaseVerifierKey",
        "variable_base": "VariableVaseVerifierKey",
        "lookup": "LookupVerifierKey",
        "permutation": "PermutationVerifierKey"
    },
    "ArithmeticVerifierKey": {
        "q_m": "Commitment",
        "q_l": "Commitment",
        "q_r": "Commitment",
        "q_o": "Commitment",
        "q_4": "Commitment",
        "q_c": "Commitment",
        "q_arith": "Commitment"
    },
    "Commitment": "G1Affine",
    "G1Affine": {
        "x": "Fp",
        "y": "Fp",
        "infinity": "Choice"
    },
    "Fp": "[u64;6]",
    "Choice": "u8",
    "LogicVerifierKey": {
        "q_c": "Commitment",
        "q_logic": "Commitment"
    },
    "RangeVerifierKey": {
        "q_range": "Commitment"
    },
    "FixedBaseVerifierKey": {
        "q_l": "Commitment",
        "q_r": "Commitment",
        "q_fixed_group_add": "Commitment"
    },
    "VariableVaseVerifierKey": {
        "q_variable_group_add": "Commitment"
    },
    "LookupVerifierKey": {
        "q_lookup": "Commitment",
        "table_1": "Commitment",
        "table_2": "Commitment",
        "table_3": "Commitment",
        "table_4": "Commitment"
    },
    "PermutationVerifierKey": {
        "left_sigma": "Commitment",
        "right_sigma": "Commitment",
        "out_sigma": "Commitment",
        "fourth_sigma": "Commitment"
    },
    "Proof": {
        "a_comm": "Commitment",
        "b_comm": "Commitment",
        "c_comm": "Commitment",
        "d_comm": "Commitment",
        "f_comm": "Commitment",
        "h_1_comm": "Commitment",
        "h_2_comm": "Commitment",
        "z_comm": "Commitment",
        "p_comm": "Commitment",
        "t_1_comm": "Commitment",
        "t_2_comm": "Commitment",
        "t_3_comm": "Commitment",
        "t_4_comm": "Commitment",
        "w_z_comm": "Commitment",
        "w_zw_comm": "Commitment",
        "evaluations": "ProofEvaluations"
    },
    "ProofEvaluations": {
        "a_eval": "BlsScalar",
        "b_eval": "BlsScalar",
        "c_eval": "BlsScalar",
        "d_eval": "BlsScalar",
        "a_next_eval": "BlsScalar",
        "b_next_eval": "BlsScalar",
        "d_next_eval": "BlsScalar",
        "q_arith_eval": "BlsScalar",
        "q_c_eval": "BlsScalar",
        "q_l_eval": "BlsScalar",
        "q_r_eval": "BlsScalar",
        "q_lookup_eval": "BlsScalar",
        "left_sigma_eval": "BlsScalar",
        "right_sigma_eval": "BlsScalar",
        "out_sigma_eval": "BlsScalar",
        "lin_poly_eval": "BlsScalar",
        "perm_eval": "BlsScalar",
        "lookup_perm_eval": "BlsScalar",
        "h_1_eval": "BlsScalar",
        "h_1_next_eval": "BlsScalar",
        "h_2_eval": "BlsScalar",
        "f_eval": "BlsScalar",
        "table_eval": "BlsScalar",
        "table_next_eval": "BlsScalar"
    },
    "BlsScalar": "[u64;4]",
    "PublicInputValue": "Vec<BlsScalar>",
    "Transcript": "[u8]",
    "FullcodecRng": {
        "x": "(<u32>)",
        "y": "(<u32>)",
        "z": "(<u32>)",
        "w": "(<u32>)"
    }
}