// Parameters for the subcircuit library
  // l: The number of public wires
  // l_D: The number of interface wires (private)
  // m: The total number of wires
  // n: The maximum number of constraints
  export const setupParams = 
 {
  "l": 512,
  "l_D": 2204,
  "m_D": 39719,
  "n": 8192
}