@aztec/bb.js 1.2.0 → 2.0.0-nightly.20250813

package/dest/node-cjs/cbind/generated/api_types.d.ts

@@ -0,0 +1,801 @@
+export type Fr = Uint8Array;
+export interface CircuitBenchmark {
+    circuit: CircuitInput;
+    witness: Uint8Array;
+    settings: ProofSystemSettings;
+    numIterations: number;
+    benchmarkWitnessGeneration: boolean;
+    benchmarkProving: boolean;
+}
+interface MsgpackCircuitBenchmark {
+    circuit: MsgpackCircuitInput;
+    witness: Uint8Array;
+    settings: MsgpackProofSystemSettings;
+    num_iterations: number;
+    benchmark_witness_generation: boolean;
+    benchmark_proving: boolean;
+}
+export interface CircuitBenchmarkResponse {
+    witnessGenerationTimeMs: number;
+    provingTimeMs: number;
+    verificationTimeMs: number;
+    peakMemoryBytes: number;
+}
+interface MsgpackCircuitBenchmarkResponse {
+    witness_generation_time_ms: number;
+    proving_time_ms: number;
+    verification_time_ms: number;
+    peak_memory_bytes: number;
+}
+export interface CircuitCheck {
+    circuit: CircuitInput;
+    witness: Uint8Array;
+    settings: ProofSystemSettings;
+}
+interface MsgpackCircuitCheck {
+    circuit: MsgpackCircuitInput;
+    witness: Uint8Array;
+    settings: MsgpackProofSystemSettings;
+}
+export interface CircuitCheckResponse {
+    satisfied: boolean;
+}
+interface MsgpackCircuitCheckResponse {
+    satisfied: boolean;
+}
+export interface CircuitComputeVk {
+    circuit: CircuitInputNoVK;
+    settings: ProofSystemSettings;
+}
+interface MsgpackCircuitComputeVk {
+    circuit: MsgpackCircuitInputNoVK;
+    settings: MsgpackProofSystemSettings;
+}
+export interface CircuitComputeVkResponse {
+    bytes: Uint8Array;
+}
+interface MsgpackCircuitComputeVkResponse {
+    bytes: Uint8Array;
+}
+export interface CircuitInfo {
+    circuit: CircuitInput;
+    includeGatesPerOpcode: boolean;
+    settings: ProofSystemSettings;
+}
+interface MsgpackCircuitInfo {
+    circuit: MsgpackCircuitInput;
+    include_gates_per_opcode: boolean;
+    settings: MsgpackProofSystemSettings;
+}
+export interface CircuitInfoResponse {
+    totalGates: number;
+    subgroupSize: number;
+    gatesPerOpcode: Record<string, number>;
+}
+interface MsgpackCircuitInfoResponse {
+    total_gates: number;
+    subgroup_size: number;
+    gates_per_opcode: Record<string, number>;
+}
+export interface CircuitInput {
+    name: string;
+    bytecode: Uint8Array;
+    verificationKey: Uint8Array;
+}
+interface MsgpackCircuitInput {
+    name: string;
+    bytecode: Uint8Array;
+    verification_key: Uint8Array;
+}
+export interface CircuitInputNoVK {
+    name: string;
+    bytecode: Uint8Array;
+}
+interface MsgpackCircuitInputNoVK {
+    name: string;
+    bytecode: Uint8Array;
+}
+export interface CircuitProve {
+    circuit: CircuitInput;
+    witness: Uint8Array;
+    settings: ProofSystemSettings;
+}
+interface MsgpackCircuitProve {
+    circuit: MsgpackCircuitInput;
+    witness: Uint8Array;
+    settings: MsgpackProofSystemSettings;
+}
+export interface CircuitProveAndVerify {
+    circuit: CircuitInput;
+    witness: Uint8Array;
+    settings: ProofSystemSettings;
+}
+interface MsgpackCircuitProveAndVerify {
+    circuit: MsgpackCircuitInput;
+    witness: Uint8Array;
+    settings: MsgpackProofSystemSettings;
+}
+export interface CircuitProveAndVerifyResponse {
+    verified: boolean;
+    proof: Fr[];
+    publicInputs: Fr[];
+}
+interface MsgpackCircuitProveAndVerifyResponse {
+    verified: boolean;
+    proof: Uint8Array[];
+    public_inputs: Uint8Array[];
+}
+export interface CircuitProveResponse {
+    publicInputs: Fr[];
+    proof: Fr[];
+}
+interface MsgpackCircuitProveResponse {
+    public_inputs: Uint8Array[];
+    proof: Uint8Array[];
+}
+export interface CircuitVerify {
+    verificationKey: Uint8Array;
+    publicInputs: Fr[];
+    proof: Fr[];
+    settings: ProofSystemSettings;
+}
+interface MsgpackCircuitVerify {
+    verification_key: Uint8Array;
+    public_inputs: Uint8Array[];
+    proof: Uint8Array[];
+    settings: MsgpackProofSystemSettings;
+}
+export interface CircuitVerifyResponse {
+    verified: boolean;
+}
+interface MsgpackCircuitVerifyResponse {
+    verified: boolean;
+}
+export interface CircuitWriteSolidityVerifier {
+    verificationKey: Uint8Array;
+    settings: ProofSystemSettings;
+}
+interface MsgpackCircuitWriteSolidityVerifier {
+    verification_key: Uint8Array;
+    settings: MsgpackProofSystemSettings;
+}
+export interface CircuitWriteSolidityVerifierResponse {
+    solidityCode: string;
+}
+interface MsgpackCircuitWriteSolidityVerifierResponse {
+    solidity_code: string;
+}
+export interface ClientIvcAccumulate {
+    witness: Uint8Array;
+}
+interface MsgpackClientIvcAccumulate {
+    witness: Uint8Array;
+}
+export interface ClientIvcAccumulateResponse {
+}
+interface MsgpackClientIvcAccumulateResponse {
+}
+export interface ClientIvcCheckPrecomputedVk {
+    circuit: CircuitInput;
+}
+interface MsgpackClientIvcCheckPrecomputedVk {
+    circuit: MsgpackCircuitInput;
+}
+export interface ClientIvcCheckPrecomputedVkResponse {
+    valid: boolean;
+    actualVk: Uint8Array;
+}
+interface MsgpackClientIvcCheckPrecomputedVkResponse {
+    valid: boolean;
+    actual_vk: Uint8Array;
+}
+export interface ClientIvcComputeIvcVk {
+    circuit: CircuitInputNoVK;
+}
+interface MsgpackClientIvcComputeIvcVk {
+    circuit: MsgpackCircuitInputNoVK;
+}
+export interface ClientIvcComputeIvcVkResponse {
+    bytes: Uint8Array;
+}
+interface MsgpackClientIvcComputeIvcVkResponse {
+    bytes: Uint8Array;
+}
+export interface ClientIvcComputeStandaloneVk {
+    circuit: CircuitInputNoVK;
+}
+interface MsgpackClientIvcComputeStandaloneVk {
+    circuit: MsgpackCircuitInputNoVK;
+}
+export interface ClientIvcComputeStandaloneVkResponse {
+    bytes: Uint8Array;
+    fields: Fr[];
+}
+interface MsgpackClientIvcComputeStandaloneVkResponse {
+    bytes: Uint8Array;
+    fields: Uint8Array[];
+}
+export interface ClientIvcGates {
+    circuit: CircuitInputNoVK;
+    includeGatesPerOpcode: boolean;
+}
+interface MsgpackClientIvcGates {
+    circuit: MsgpackCircuitInputNoVK;
+    include_gates_per_opcode: boolean;
+}
+export interface ClientIvcGatesResponse {
+    acirOpcodes: number;
+    circuitSize: number;
+    gatesPerOpcode: number[];
+}
+interface MsgpackClientIvcGatesResponse {
+    acir_opcodes: number;
+    circuit_size: number;
+    gates_per_opcode: number[];
+}
+export interface ClientIvcLoad {
+    circuit: CircuitInput;
+}
+interface MsgpackClientIvcLoad {
+    circuit: MsgpackCircuitInput;
+}
+export interface ClientIvcLoadResponse {
+}
+interface MsgpackClientIvcLoadResponse {
+}
+export interface ClientIVCProof {
+    megaProof: Fr[];
+    goblinProof: GoblinProof;
+}
+interface MsgpackClientIVCProof {
+    mega_proof: Uint8Array[];
+    goblin_proof: MsgpackGoblinProof;
+}
+export interface ClientIvcProve {
+}
+interface MsgpackClientIvcProve {
+}
+export interface ClientIvcProveResponse {
+    proof: ClientIVCProof;
+}
+interface MsgpackClientIvcProveResponse {
+    proof: MsgpackClientIVCProof;
+}
+export interface ClientIvcStart {
+    numCircuits: number;
+}
+interface MsgpackClientIvcStart {
+    num_circuits: number;
+}
+export interface ClientIvcStartResponse {
+}
+interface MsgpackClientIvcStartResponse {
+}
+export interface ClientIvcVerify {
+    proof: ClientIVCProof;
+    vk: Uint8Array;
+}
+interface MsgpackClientIvcVerify {
+    proof: MsgpackClientIVCProof;
+    vk: Uint8Array;
+}
+export interface ClientIvcVerifyResponse {
+    valid: boolean;
+}
+interface MsgpackClientIvcVerifyResponse {
+    valid: boolean;
+}
+export interface ECCVMProof {
+    preIpaProof: Fr[];
+    ipaProof: Fr[];
+}
+interface MsgpackECCVMProof {
+    pre_ipa_proof: Uint8Array[];
+    ipa_proof: Uint8Array[];
+}
+export interface GoblinProof {
+    mergeProof: Fr[];
+    eccvmProof: ECCVMProof;
+    translatorProof: Fr[];
+}
+interface MsgpackGoblinProof {
+    merge_proof: Uint8Array[];
+    eccvm_proof: MsgpackECCVMProof;
+    translator_proof: Uint8Array[];
+}
+export interface ProofAsFields {
+    proof: Fr[];
+}
+interface MsgpackProofAsFields {
+    proof: Uint8Array[];
+}
+export interface ProofAsFieldsResponse {
+    fields: Fr[];
+}
+interface MsgpackProofAsFieldsResponse {
+    fields: Uint8Array[];
+}
+export interface ProofSystemSettings {
+    ipaAccumulation: boolean;
+    oracleHashType: string;
+    disableZk: boolean;
+    honkRecursion: number;
+    recursive: boolean;
+}
+interface MsgpackProofSystemSettings {
+    ipa_accumulation: boolean;
+    oracle_hash_type: string;
+    disable_zk: boolean;
+    honk_recursion: number;
+    recursive: boolean;
+}
+export interface VkAsFields {
+    verificationKey: Uint8Array;
+    isMegaHonk: boolean;
+}
+interface MsgpackVkAsFields {
+    verification_key: Uint8Array;
+    is_mega_honk: boolean;
+}
+export interface VkAsFieldsResponse {
+    fields: Fr[];
+}
+interface MsgpackVkAsFieldsResponse {
+    fields: Uint8Array[];
+}
+export interface CircuitBenchmark {
+    circuit: CircuitInput;
+    witness: Uint8Array;
+    settings: ProofSystemSettings;
+    numIterations: number;
+    benchmarkWitnessGeneration: boolean;
+    benchmarkProving: boolean;
+}
+interface MsgpackCircuitBenchmark {
+    circuit: MsgpackCircuitInput;
+    witness: Uint8Array;
+    settings: MsgpackProofSystemSettings;
+    num_iterations: number;
+    benchmark_witness_generation: boolean;
+    benchmark_proving: boolean;
+}
+export interface CircuitBenchmarkResponse {
+    witnessGenerationTimeMs: number;
+    provingTimeMs: number;
+    verificationTimeMs: number;
+    peakMemoryBytes: number;
+}
+interface MsgpackCircuitBenchmarkResponse {
+    witness_generation_time_ms: number;
+    proving_time_ms: number;
+    verification_time_ms: number;
+    peak_memory_bytes: number;
+}
+export interface CircuitCheck {
+    circuit: CircuitInput;
+    witness: Uint8Array;
+    settings: ProofSystemSettings;
+}
+interface MsgpackCircuitCheck {
+    circuit: MsgpackCircuitInput;
+    witness: Uint8Array;
+    settings: MsgpackProofSystemSettings;
+}
+export interface CircuitCheckResponse {
+    satisfied: boolean;
+}
+interface MsgpackCircuitCheckResponse {
+    satisfied: boolean;
+}
+export interface CircuitComputeVk {
+    circuit: CircuitInputNoVK;
+    settings: ProofSystemSettings;
+}
+interface MsgpackCircuitComputeVk {
+    circuit: MsgpackCircuitInputNoVK;
+    settings: MsgpackProofSystemSettings;
+}
+export interface CircuitComputeVkResponse {
+    bytes: Uint8Array;
+}
+interface MsgpackCircuitComputeVkResponse {
+    bytes: Uint8Array;
+}
+export interface CircuitInfo {
+    circuit: CircuitInput;
+    includeGatesPerOpcode: boolean;
+    settings: ProofSystemSettings;
+}
+interface MsgpackCircuitInfo {
+    circuit: MsgpackCircuitInput;
+    include_gates_per_opcode: boolean;
+    settings: MsgpackProofSystemSettings;
+}
+export interface CircuitInfoResponse {
+    totalGates: number;
+    subgroupSize: number;
+    gatesPerOpcode: Record<string, number>;
+}
+interface MsgpackCircuitInfoResponse {
+    total_gates: number;
+    subgroup_size: number;
+    gates_per_opcode: Record<string, number>;
+}
+export interface CircuitInput {
+    name: string;
+    bytecode: Uint8Array;
+    verificationKey: Uint8Array;
+}
+interface MsgpackCircuitInput {
+    name: string;
+    bytecode: Uint8Array;
+    verification_key: Uint8Array;
+}
+export interface CircuitInputNoVK {
+    name: string;
+    bytecode: Uint8Array;
+}
+interface MsgpackCircuitInputNoVK {
+    name: string;
+    bytecode: Uint8Array;
+}
+export interface CircuitProve {
+    circuit: CircuitInput;
+    witness: Uint8Array;
+    settings: ProofSystemSettings;
+}
+interface MsgpackCircuitProve {
+    circuit: MsgpackCircuitInput;
+    witness: Uint8Array;
+    settings: MsgpackProofSystemSettings;
+}
+export interface CircuitProveAndVerify {
+    circuit: CircuitInput;
+    witness: Uint8Array;
+    settings: ProofSystemSettings;
+}
+interface MsgpackCircuitProveAndVerify {
+    circuit: MsgpackCircuitInput;
+    witness: Uint8Array;
+    settings: MsgpackProofSystemSettings;
+}
+export interface CircuitProveAndVerifyResponse {
+    verified: boolean;
+    proof: Fr[];
+    publicInputs: Fr[];
+}
+interface MsgpackCircuitProveAndVerifyResponse {
+    verified: boolean;
+    proof: Uint8Array[];
+    public_inputs: Uint8Array[];
+}
+export interface CircuitProveResponse {
+    publicInputs: Fr[];
+    proof: Fr[];
+}
+interface MsgpackCircuitProveResponse {
+    public_inputs: Uint8Array[];
+    proof: Uint8Array[];
+}
+export interface CircuitVerify {
+    verificationKey: Uint8Array;
+    publicInputs: Fr[];
+    proof: Fr[];
+    settings: ProofSystemSettings;
+}
+interface MsgpackCircuitVerify {
+    verification_key: Uint8Array;
+    public_inputs: Uint8Array[];
+    proof: Uint8Array[];
+    settings: MsgpackProofSystemSettings;
+}
+export interface CircuitVerifyResponse {
+    verified: boolean;
+}
+interface MsgpackCircuitVerifyResponse {
+    verified: boolean;
+}
+export interface CircuitWriteSolidityVerifier {
+    verificationKey: Uint8Array;
+    settings: ProofSystemSettings;
+}
+interface MsgpackCircuitWriteSolidityVerifier {
+    verification_key: Uint8Array;
+    settings: MsgpackProofSystemSettings;
+}
+export interface CircuitWriteSolidityVerifierResponse {
+    solidityCode: string;
+}
+interface MsgpackCircuitWriteSolidityVerifierResponse {
+    solidity_code: string;
+}
+export interface ClientIvcAccumulate {
+    witness: Uint8Array;
+}
+interface MsgpackClientIvcAccumulate {
+    witness: Uint8Array;
+}
+export interface ClientIvcAccumulateResponse {
+}
+interface MsgpackClientIvcAccumulateResponse {
+}
+export interface ClientIvcCheckPrecomputedVk {
+    circuit: CircuitInput;
+}
+interface MsgpackClientIvcCheckPrecomputedVk {
+    circuit: MsgpackCircuitInput;
+}
+export interface ClientIvcCheckPrecomputedVkResponse {
+    valid: boolean;
+    actualVk: Uint8Array;
+}
+interface MsgpackClientIvcCheckPrecomputedVkResponse {
+    valid: boolean;
+    actual_vk: Uint8Array;
+}
+export interface ClientIvcComputeIvcVk {
+    circuit: CircuitInputNoVK;
+}
+interface MsgpackClientIvcComputeIvcVk {
+    circuit: MsgpackCircuitInputNoVK;
+}
+export interface ClientIvcComputeIvcVkResponse {
+    bytes: Uint8Array;
+}
+interface MsgpackClientIvcComputeIvcVkResponse {
+    bytes: Uint8Array;
+}
+export interface ClientIvcComputeStandaloneVk {
+    circuit: CircuitInputNoVK;
+}
+interface MsgpackClientIvcComputeStandaloneVk {
+    circuit: MsgpackCircuitInputNoVK;
+}
+export interface ClientIvcComputeStandaloneVkResponse {
+    bytes: Uint8Array;
+    fields: Fr[];
+}
+interface MsgpackClientIvcComputeStandaloneVkResponse {
+    bytes: Uint8Array;
+    fields: Uint8Array[];
+}
+export interface ClientIvcGates {
+    circuit: CircuitInputNoVK;
+    includeGatesPerOpcode: boolean;
+}
+interface MsgpackClientIvcGates {
+    circuit: MsgpackCircuitInputNoVK;
+    include_gates_per_opcode: boolean;
+}
+export interface ClientIvcGatesResponse {
+    acirOpcodes: number;
+    circuitSize: number;
+    gatesPerOpcode: number[];
+}
+interface MsgpackClientIvcGatesResponse {
+    acir_opcodes: number;
+    circuit_size: number;
+    gates_per_opcode: number[];
+}
+export interface ClientIvcLoad {
+    circuit: CircuitInput;
+}
+interface MsgpackClientIvcLoad {
+    circuit: MsgpackCircuitInput;
+}
+export interface ClientIvcLoadResponse {
+}
+interface MsgpackClientIvcLoadResponse {
+}
+export interface ClientIVCProof {
+    megaProof: Fr[];
+    goblinProof: GoblinProof;
+}
+interface MsgpackClientIVCProof {
+    mega_proof: Uint8Array[];
+    goblin_proof: MsgpackGoblinProof;
+}
+export interface ClientIvcProve {
+}
+interface MsgpackClientIvcProve {
+}
+export interface ClientIvcProveResponse {
+    proof: ClientIVCProof;
+}
+interface MsgpackClientIvcProveResponse {
+    proof: MsgpackClientIVCProof;
+}
+export interface ClientIvcStart {
+    numCircuits: number;
+}
+interface MsgpackClientIvcStart {
+    num_circuits: number;
+}
+export interface ClientIvcStartResponse {
+}
+interface MsgpackClientIvcStartResponse {
+}
+export interface ClientIvcVerify {
+    proof: ClientIVCProof;
+    vk: Uint8Array;
+}
+interface MsgpackClientIvcVerify {
+    proof: MsgpackClientIVCProof;
+    vk: Uint8Array;
+}
+export interface ClientIvcVerifyResponse {
+    valid: boolean;
+}
+interface MsgpackClientIvcVerifyResponse {
+    valid: boolean;
+}
+export interface ECCVMProof {
+    preIpaProof: Fr[];
+    ipaProof: Fr[];
+}
+interface MsgpackECCVMProof {
+    pre_ipa_proof: Uint8Array[];
+    ipa_proof: Uint8Array[];
+}
+export interface GoblinProof {
+    mergeProof: Fr[];
+    eccvmProof: ECCVMProof;
+    translatorProof: Fr[];
+}
+interface MsgpackGoblinProof {
+    merge_proof: Uint8Array[];
+    eccvm_proof: MsgpackECCVMProof;
+    translator_proof: Uint8Array[];
+}
+export interface ProofAsFields {
+    proof: Fr[];
+}
+interface MsgpackProofAsFields {
+    proof: Uint8Array[];
+}
+export interface ProofAsFieldsResponse {
+    fields: Fr[];
+}
+interface MsgpackProofAsFieldsResponse {
+    fields: Uint8Array[];
+}
+export interface ProofSystemSettings {
+    ipaAccumulation: boolean;
+    oracleHashType: string;
+    disableZk: boolean;
+    honkRecursion: number;
+    recursive: boolean;
+}
+interface MsgpackProofSystemSettings {
+    ipa_accumulation: boolean;
+    oracle_hash_type: string;
+    disable_zk: boolean;
+    honk_recursion: number;
+    recursive: boolean;
+}
+export interface VkAsFields {
+    verificationKey: Uint8Array;
+    isMegaHonk: boolean;
+}
+interface MsgpackVkAsFields {
+    verification_key: Uint8Array;
+    is_mega_honk: boolean;
+}
+export interface VkAsFieldsResponse {
+    fields: Fr[];
+}
+interface MsgpackVkAsFieldsResponse {
+    fields: Uint8Array[];
+}
+export declare function toCircuitBenchmark(o: MsgpackCircuitBenchmark): CircuitBenchmark;
+export declare function fromCircuitBenchmark(o: CircuitBenchmark): MsgpackCircuitBenchmark;
+export declare function toCircuitBenchmarkResponse(o: MsgpackCircuitBenchmarkResponse): CircuitBenchmarkResponse;
+export declare function fromCircuitBenchmarkResponse(o: CircuitBenchmarkResponse): MsgpackCircuitBenchmarkResponse;
+export declare function toCircuitCheck(o: MsgpackCircuitCheck): CircuitCheck;
+export declare function fromCircuitCheck(o: CircuitCheck): MsgpackCircuitCheck;
+export declare function toCircuitCheckResponse(o: MsgpackCircuitCheckResponse): CircuitCheckResponse;
+export declare function fromCircuitCheckResponse(o: CircuitCheckResponse): MsgpackCircuitCheckResponse;
+export declare function toCircuitComputeVk(o: MsgpackCircuitComputeVk): CircuitComputeVk;
+export declare function fromCircuitComputeVk(o: CircuitComputeVk): MsgpackCircuitComputeVk;
+export declare function toCircuitComputeVkResponse(o: MsgpackCircuitComputeVkResponse): CircuitComputeVkResponse;
+export declare function fromCircuitComputeVkResponse(o: CircuitComputeVkResponse): MsgpackCircuitComputeVkResponse;
+export declare function toCircuitInfo(o: MsgpackCircuitInfo): CircuitInfo;
+export declare function fromCircuitInfo(o: CircuitInfo): MsgpackCircuitInfo;
+export declare function toCircuitInfoResponse(o: MsgpackCircuitInfoResponse): CircuitInfoResponse;
+export declare function fromCircuitInfoResponse(o: CircuitInfoResponse): MsgpackCircuitInfoResponse;
+export declare function toCircuitInput(o: MsgpackCircuitInput): CircuitInput;
+export declare function fromCircuitInput(o: CircuitInput): MsgpackCircuitInput;
+export declare function toCircuitInputNoVK(o: MsgpackCircuitInputNoVK): CircuitInputNoVK;
+export declare function fromCircuitInputNoVK(o: CircuitInputNoVK): MsgpackCircuitInputNoVK;
+export declare function toCircuitProve(o: MsgpackCircuitProve): CircuitProve;
+export declare function fromCircuitProve(o: CircuitProve): MsgpackCircuitProve;
+export declare function toCircuitProveAndVerify(o: MsgpackCircuitProveAndVerify): CircuitProveAndVerify;
+export declare function fromCircuitProveAndVerify(o: CircuitProveAndVerify): MsgpackCircuitProveAndVerify;
+export declare function toCircuitProveAndVerifyResponse(o: MsgpackCircuitProveAndVerifyResponse): CircuitProveAndVerifyResponse;
+export declare function fromCircuitProveAndVerifyResponse(o: CircuitProveAndVerifyResponse): MsgpackCircuitProveAndVerifyResponse;
+export declare function toCircuitProveResponse(o: MsgpackCircuitProveResponse): CircuitProveResponse;
+export declare function fromCircuitProveResponse(o: CircuitProveResponse): MsgpackCircuitProveResponse;
+export declare function toCircuitVerify(o: MsgpackCircuitVerify): CircuitVerify;
+export declare function fromCircuitVerify(o: CircuitVerify): MsgpackCircuitVerify;
+export declare function toCircuitVerifyResponse(o: MsgpackCircuitVerifyResponse): CircuitVerifyResponse;
+export declare function fromCircuitVerifyResponse(o: CircuitVerifyResponse): MsgpackCircuitVerifyResponse;
+export declare function toCircuitWriteSolidityVerifier(o: MsgpackCircuitWriteSolidityVerifier): CircuitWriteSolidityVerifier;
+export declare function fromCircuitWriteSolidityVerifier(o: CircuitWriteSolidityVerifier): MsgpackCircuitWriteSolidityVerifier;
+export declare function toCircuitWriteSolidityVerifierResponse(o: MsgpackCircuitWriteSolidityVerifierResponse): CircuitWriteSolidityVerifierResponse;
+export declare function fromCircuitWriteSolidityVerifierResponse(o: CircuitWriteSolidityVerifierResponse): MsgpackCircuitWriteSolidityVerifierResponse;
+export declare function toClientIvcAccumulate(o: MsgpackClientIvcAccumulate): ClientIvcAccumulate;
+export declare function fromClientIvcAccumulate(o: ClientIvcAccumulate): MsgpackClientIvcAccumulate;
+export declare function toClientIvcAccumulateResponse(o: MsgpackClientIvcAccumulateResponse): ClientIvcAccumulateResponse;
+export declare function fromClientIvcAccumulateResponse(o: ClientIvcAccumulateResponse): MsgpackClientIvcAccumulateResponse;
+export declare function toClientIvcCheckPrecomputedVk(o: MsgpackClientIvcCheckPrecomputedVk): ClientIvcCheckPrecomputedVk;
+export declare function fromClientIvcCheckPrecomputedVk(o: ClientIvcCheckPrecomputedVk): MsgpackClientIvcCheckPrecomputedVk;
+export declare function toClientIvcCheckPrecomputedVkResponse(o: MsgpackClientIvcCheckPrecomputedVkResponse): ClientIvcCheckPrecomputedVkResponse;
+export declare function fromClientIvcCheckPrecomputedVkResponse(o: ClientIvcCheckPrecomputedVkResponse): MsgpackClientIvcCheckPrecomputedVkResponse;
+export declare function toClientIvcComputeIvcVk(o: MsgpackClientIvcComputeIvcVk): ClientIvcComputeIvcVk;
+export declare function fromClientIvcComputeIvcVk(o: ClientIvcComputeIvcVk): MsgpackClientIvcComputeIvcVk;
+export declare function toClientIvcComputeIvcVkResponse(o: MsgpackClientIvcComputeIvcVkResponse): ClientIvcComputeIvcVkResponse;
+export declare function fromClientIvcComputeIvcVkResponse(o: ClientIvcComputeIvcVkResponse): MsgpackClientIvcComputeIvcVkResponse;
+export declare function toClientIvcComputeStandaloneVk(o: MsgpackClientIvcComputeStandaloneVk): ClientIvcComputeStandaloneVk;
+export declare function fromClientIvcComputeStandaloneVk(o: ClientIvcComputeStandaloneVk): MsgpackClientIvcComputeStandaloneVk;
+export declare function toClientIvcComputeStandaloneVkResponse(o: MsgpackClientIvcComputeStandaloneVkResponse): ClientIvcComputeStandaloneVkResponse;
+export declare function fromClientIvcComputeStandaloneVkResponse(o: ClientIvcComputeStandaloneVkResponse): MsgpackClientIvcComputeStandaloneVkResponse;
+export declare function toClientIvcGates(o: MsgpackClientIvcGates): ClientIvcGates;
+export declare function fromClientIvcGates(o: ClientIvcGates): MsgpackClientIvcGates;
+export declare function toClientIvcGatesResponse(o: MsgpackClientIvcGatesResponse): ClientIvcGatesResponse;
+export declare function fromClientIvcGatesResponse(o: ClientIvcGatesResponse): MsgpackClientIvcGatesResponse;
+export declare function toClientIvcLoad(o: MsgpackClientIvcLoad): ClientIvcLoad;
+export declare function fromClientIvcLoad(o: ClientIvcLoad): MsgpackClientIvcLoad;
+export declare function toClientIvcLoadResponse(o: MsgpackClientIvcLoadResponse): ClientIvcLoadResponse;
+export declare function fromClientIvcLoadResponse(o: ClientIvcLoadResponse): MsgpackClientIvcLoadResponse;
+export declare function toClientIVCProof(o: MsgpackClientIVCProof): ClientIVCProof;
+export declare function fromClientIVCProof(o: ClientIVCProof): MsgpackClientIVCProof;
+export declare function toClientIvcProve(o: MsgpackClientIvcProve): ClientIvcProve;
+export declare function fromClientIvcProve(o: ClientIvcProve): MsgpackClientIvcProve;
+export declare function toClientIvcProveResponse(o: MsgpackClientIvcProveResponse): ClientIvcProveResponse;
+export declare function fromClientIvcProveResponse(o: ClientIvcProveResponse): MsgpackClientIvcProveResponse;
+export declare function toClientIvcStart(o: MsgpackClientIvcStart): ClientIvcStart;
+export declare function fromClientIvcStart(o: ClientIvcStart): MsgpackClientIvcStart;
+export declare function toClientIvcStartResponse(o: MsgpackClientIvcStartResponse): ClientIvcStartResponse;
+export declare function fromClientIvcStartResponse(o: ClientIvcStartResponse): MsgpackClientIvcStartResponse;
+export declare function toClientIvcVerify(o: MsgpackClientIvcVerify): ClientIvcVerify;
+export declare function fromClientIvcVerify(o: ClientIvcVerify): MsgpackClientIvcVerify;
+export declare function toClientIvcVerifyResponse(o: MsgpackClientIvcVerifyResponse): ClientIvcVerifyResponse;
+export declare function fromClientIvcVerifyResponse(o: ClientIvcVerifyResponse): MsgpackClientIvcVerifyResponse;
+export declare function toECCVMProof(o: MsgpackECCVMProof): ECCVMProof;
+export declare function fromECCVMProof(o: ECCVMProof): MsgpackECCVMProof;
+export declare function toGoblinProof(o: MsgpackGoblinProof): GoblinProof;
+export declare function fromGoblinProof(o: GoblinProof): MsgpackGoblinProof;
+export declare function toProofAsFields(o: MsgpackProofAsFields): ProofAsFields;
+export declare function fromProofAsFields(o: ProofAsFields): MsgpackProofAsFields;
+export declare function toProofAsFieldsResponse(o: MsgpackProofAsFieldsResponse): ProofAsFieldsResponse;
+export declare function fromProofAsFieldsResponse(o: ProofAsFieldsResponse): MsgpackProofAsFieldsResponse;
+export declare function toProofSystemSettings(o: MsgpackProofSystemSettings): ProofSystemSettings;
+export declare function fromProofSystemSettings(o: ProofSystemSettings): MsgpackProofSystemSettings;
+export declare function toVkAsFields(o: MsgpackVkAsFields): VkAsFields;
+export declare function fromVkAsFields(o: VkAsFields): MsgpackVkAsFields;
+export declare function toVkAsFieldsResponse(o: MsgpackVkAsFieldsResponse): VkAsFieldsResponse;
+export declare function fromVkAsFieldsResponse(o: VkAsFieldsResponse): MsgpackVkAsFieldsResponse;
+export interface BbApiBase {
+    circuitProve(command: CircuitProve): Promise<CircuitProveResponse>;
+    circuitComputeVk(command: CircuitComputeVk): Promise<CircuitComputeVkResponse>;
+    circuitInfo(command: CircuitInfo): Promise<CircuitInfoResponse>;
+    circuitCheck(command: CircuitCheck): Promise<CircuitCheckResponse>;
+    circuitVerify(command: CircuitVerify): Promise<CircuitVerifyResponse>;
+    clientIvcComputeStandaloneVk(command: ClientIvcComputeStandaloneVk): Promise<ClientIvcComputeStandaloneVkResponse>;
+    clientIvcComputeIvcVk(command: ClientIvcComputeIvcVk): Promise<ClientIvcComputeIvcVkResponse>;
+    clientIvcStart(command: ClientIvcStart): Promise<ClientIvcStartResponse>;
+    clientIvcLoad(command: ClientIvcLoad): Promise<ClientIvcLoadResponse>;
+    clientIvcAccumulate(command: ClientIvcAccumulate): Promise<ClientIvcAccumulateResponse>;
+    clientIvcProve(command: ClientIvcProve): Promise<ClientIvcProveResponse>;
+    clientIvcVerify(command: ClientIvcVerify): Promise<ClientIvcVerifyResponse>;
+    proofAsFields(command: ProofAsFields): Promise<ProofAsFieldsResponse>;
+    vkAsFields(command: VkAsFields): Promise<VkAsFieldsResponse>;
+    circuitWriteSolidityVerifier(command: CircuitWriteSolidityVerifier): Promise<CircuitWriteSolidityVerifierResponse>;
+    circuitProveAndVerify(command: CircuitProveAndVerify): Promise<CircuitProveAndVerifyResponse>;
+    circuitBenchmark(command: CircuitBenchmark): Promise<CircuitBenchmarkResponse>;
+    clientIvcCheckPrecomputedVk(command: ClientIvcCheckPrecomputedVk): Promise<ClientIvcCheckPrecomputedVkResponse>;
+    clientIvcGates(command: ClientIvcGates): Promise<ClientIvcGatesResponse>;
+    destroy(): Promise<void>;
+}
+export {};
+//# sourceMappingURL=api_types.d.ts.map