/* generated using openapi-typescript-codegen -- do no edit */
/* istanbul ignore file */
/* tslint:disable */
/* eslint-disable */

/**
 * CircuitType choices
 */
export type CircuitType =
  | "boojum"
  | "circom"
  | "gnark"
  | "halo2"
  | "hermez"
  | "jolt"
  | "noir"
  | "openvm"
  | "plonky2"
  | "snarkvm"
  | "sp1";