[
  "function compute_powers_of_alpha(tuple(tuple(uint256),tuple(uint256),tuple(uint256),tuple(uint256),tuple(uint256)[9],tuple(uint256),tuple(uint256),tuple(uint256),tuple(uint256),tuple(uint256),tuple(uint256),tuple(uint256),tuple(uint256),tuple(uint256),tuple(uint256),tuple(uint256),tuple(uint256),tuple(uint256),tuple(uint256,uint256))) pure",
  "function prepare_queries(tuple(uint256,uint256,tuple(uint256),tuple(uint256,uint256)[2],tuple(uint256,uint256)[7],tuple(uint256,uint256)[4],tuple(uint256,uint256),tuple(uint256,uint256)[4],tuple(uint256,uint256),tuple(uint256)[3],tuple(uint256[2],uint256[2])[2]),tuple(uint256[],tuple(uint256,uint256)[4],tuple(uint256,uint256),tuple(uint256,uint256)[4],tuple(uint256)[4],tuple(uint256)[1],tuple(uint256)[1],tuple(uint256)[3],tuple(uint256),tuple(uint256),tuple(uint256),tuple(uint256,uint256),tuple(uint256,uint256),tuple(uint256),tuple(uint256),tuple(uint256),tuple(uint256),tuple(uint256),tuple(uint256),tuple(uint256,uint256),tuple(uint256,uint256)),tuple(tuple(uint256),tuple(uint256),tuple(uint256),tuple(uint256),tuple(uint256)[9],tuple(uint256),tuple(uint256),tuple(uint256),tuple(uint256),tuple(uint256),tuple(uint256),tuple(uint256),tuple(uint256),tuple(uint256),tuple(uint256),tuple(uint256),tuple(uint256),tuple(uint256),tuple(uint256,uint256))) view returns (tuple(tuple(uint256,uint256)[13],tuple(uint256)[13],tuple(uint256,uint256)[6],tuple(uint256)[6]))",
  "function rescue_custom_gate_linearization_contribution(tuple(uint256,uint256,tuple(uint256),tuple(uint256,uint256)[2],tuple(uint256,uint256)[7],tuple(uint256,uint256)[4],tuple(uint256,uint256),tuple(uint256,uint256)[4],tuple(uint256,uint256),tuple(uint256)[3],tuple(uint256[2],uint256[2])[2]),tuple(uint256[],tuple(uint256,uint256)[4],tuple(uint256,uint256),tuple(uint256,uint256)[4],tuple(uint256)[4],tuple(uint256)[1],tuple(uint256)[1],tuple(uint256)[3],tuple(uint256),tuple(uint256),tuple(uint256),tuple(uint256,uint256),tuple(uint256,uint256),tuple(uint256),tuple(uint256),tuple(uint256),tuple(uint256),tuple(uint256),tuple(uint256),tuple(uint256,uint256),tuple(uint256,uint256)),tuple(tuple(uint256),tuple(uint256),tuple(uint256),tuple(uint256),tuple(uint256)[9],tuple(uint256),tuple(uint256),tuple(uint256),tuple(uint256),tuple(uint256),tuple(uint256),tuple(uint256),tuple(uint256),tuple(uint256),tuple(uint256),tuple(uint256),tuple(uint256),tuple(uint256),tuple(uint256,uint256))) view returns (tuple(uint256,uint256))",
  "function verify_serialized_proof(uint256[],uint256[]) view returns (bool)"
]