{
  "baselines": {
    "BFV/BGV": "best-aligned for exact modular/integer arithmetic circuits",
    "CKKS": "best-aligned for approximate real/complex arithmetic; not exact finite-field output",
    "OpenFHE/SEAL/Concrete/TFHE-rs": "recommended future measured-baseline libraries",
    "TFHE/FHEW": "best-aligned for Boolean gates, comparisons, lookup/PBS-style workloads"
  },
  "c7_block_size": 1,
  "c7_mode": "coordinate",
  "comparison_type": "operation-count/proxy table, not optimized external-library timing",
  "preset": "c7_standard_toy_noisy",
  "rows": [
    {
      "best_external_baseline_family": "BFV/BGV",
      "bfv_bgv_ciphertext_adds": 1,
      "bfv_bgv_ciphertext_muls": 0,
      "ckks_applicable": "approximate-only",
      "inputs": 2,
      "notes": "encrypted x+y over F_q",
      "operation": "add",
      "sable_c7_dense_fallback_terms_bound": 18,
      "sable_c7_mode": "coordinate",
      "sable_c7_public_clpn_rows": 1746,
      "sable_c7_public_entries": 18,
      "sable_c7_relation_status": "coordinate blocks are linearly independent; no within-block kernel relations",
      "sable_ct_adds_or_subs": 1,
      "sable_ct_muls": 0,
      "sable_depth": 0,
      "sable_failure_bound_est": 0.004813949162605161,
      "sable_final_row_support_est": 16,
      "sable_public_constants": 0,
      "sable_public_scalar_muls": 0,
      "tfhe_fhew_bootstrap_gate_proxy": ""
    },
    {
      "best_external_baseline_family": "BFV/BGV",
      "bfv_bgv_ciphertext_adds": 1,
      "bfv_bgv_ciphertext_muls": 0,
      "ckks_applicable": "approximate-only",
      "inputs": 2,
      "notes": "encrypted x-y over F_q",
      "operation": "sub",
      "sable_c7_dense_fallback_terms_bound": 18,
      "sable_c7_mode": "coordinate",
      "sable_c7_public_clpn_rows": 1746,
      "sable_c7_public_entries": 18,
      "sable_c7_relation_status": "coordinate blocks are linearly independent; no within-block kernel relations",
      "sable_ct_adds_or_subs": 1,
      "sable_ct_muls": 0,
      "sable_depth": 0,
      "sable_failure_bound_est": 0.004813949162605161,
      "sable_final_row_support_est": 16,
      "sable_public_constants": 0,
      "sable_public_scalar_muls": 0,
      "tfhe_fhew_bootstrap_gate_proxy": ""
    },
    {
      "best_external_baseline_family": "BFV/BGV",
      "bfv_bgv_ciphertext_adds": 0,
      "bfv_bgv_ciphertext_muls": 0,
      "ckks_applicable": "approximate-only",
      "inputs": 1,
      "notes": "public scalar -1 times encrypted x",
      "operation": "neg",
      "sable_c7_dense_fallback_terms_bound": 18,
      "sable_c7_mode": "coordinate",
      "sable_c7_public_clpn_rows": 1746,
      "sable_c7_public_entries": 18,
      "sable_c7_relation_status": "coordinate blocks are linearly independent; no within-block kernel relations",
      "sable_ct_adds_or_subs": 0,
      "sable_ct_muls": 0,
      "sable_depth": 0,
      "sable_failure_bound_est": 0.004813949162605161,
      "sable_final_row_support_est": 16,
      "sable_public_constants": 0,
      "sable_public_scalar_muls": 1,
      "tfhe_fhew_bootstrap_gate_proxy": ""
    },
    {
      "best_external_baseline_family": "BFV/BGV",
      "bfv_bgv_ciphertext_adds": 0,
      "bfv_bgv_ciphertext_muls": 0,
      "ckks_applicable": "approximate-only",
      "inputs": 1,
      "notes": "public scalar times encrypted x",
      "operation": "scalar_mul",
      "sable_c7_dense_fallback_terms_bound": 18,
      "sable_c7_mode": "coordinate",
      "sable_c7_public_clpn_rows": 1746,
      "sable_c7_public_entries": 18,
      "sable_c7_relation_status": "coordinate blocks are linearly independent; no within-block kernel relations",
      "sable_ct_adds_or_subs": 0,
      "sable_ct_muls": 0,
      "sable_depth": 0,
      "sable_failure_bound_est": 0.004813949162605161,
      "sable_final_row_support_est": 16,
      "sable_public_constants": 0,
      "sable_public_scalar_muls": 1,
      "tfhe_fhew_bootstrap_gate_proxy": ""
    },
    {
      "best_external_baseline_family": "BFV/BGV",
      "bfv_bgv_ciphertext_adds": 1,
      "bfv_bgv_ciphertext_muls": 0,
      "ckks_applicable": "approximate-only",
      "inputs": 1,
      "notes": "x+c using public exact cI_N",
      "operation": "add_const",
      "sable_c7_dense_fallback_terms_bound": 18,
      "sable_c7_mode": "coordinate",
      "sable_c7_public_clpn_rows": 1746,
      "sable_c7_public_entries": 18,
      "sable_c7_relation_status": "coordinate blocks are linearly independent; no within-block kernel relations",
      "sable_ct_adds_or_subs": 1,
      "sable_ct_muls": 0,
      "sable_depth": 0,
      "sable_failure_bound_est": 0.005656499731869194,
      "sable_final_row_support_est": 16,
      "sable_public_constants": 1,
      "sable_public_scalar_muls": 0,
      "tfhe_fhew_bootstrap_gate_proxy": ""
    },
    {
      "best_external_baseline_family": "BFV/BGV",
      "bfv_bgv_ciphertext_adds": 0,
      "bfv_bgv_ciphertext_muls": 1,
      "ckks_applicable": "approximate-only",
      "inputs": 2,
      "notes": "encrypted multiplication x*y",
      "operation": "mul",
      "sable_c7_dense_fallback_terms_bound": 18,
      "sable_c7_mode": "coordinate",
      "sable_c7_public_clpn_rows": 1746,
      "sable_c7_public_entries": 18,
      "sable_c7_relation_status": "coordinate blocks are linearly independent; no within-block kernel relations",
      "sable_ct_adds_or_subs": 0,
      "sable_ct_muls": 1,
      "sable_depth": 1,
      "sable_failure_bound_est": 0.004813949162605161,
      "sable_final_row_support_est": 16,
      "sable_public_constants": 0,
      "sable_public_scalar_muls": 0,
      "tfhe_fhew_bootstrap_gate_proxy": ""
    },
    {
      "best_external_baseline_family": "BFV/BGV",
      "bfv_bgv_ciphertext_adds": 0,
      "bfv_bgv_ciphertext_muls": 1,
      "ckks_applicable": "approximate-only",
      "inputs": 1,
      "notes": "encrypted square x^2",
      "operation": "square",
      "sable_c7_dense_fallback_terms_bound": 18,
      "sable_c7_mode": "coordinate",
      "sable_c7_public_clpn_rows": 1746,
      "sable_c7_public_entries": 18,
      "sable_c7_relation_status": "coordinate blocks are linearly independent; no within-block kernel relations",
      "sable_ct_adds_or_subs": 0,
      "sable_ct_muls": 1,
      "sable_depth": 1,
      "sable_failure_bound_est": 0.004813949162605161,
      "sable_final_row_support_est": 16,
      "sable_public_constants": 0,
      "sable_public_scalar_muls": 0,
      "tfhe_fhew_bootstrap_gate_proxy": ""
    },
    {
      "best_external_baseline_family": "BFV/BGV",
      "bfv_bgv_ciphertext_adds": 2,
      "bfv_bgv_ciphertext_muls": 0,
      "ckks_applicable": "approximate-only",
      "inputs": 2,
      "notes": "3x+2y+5",
      "operation": "affine",
      "sable_c7_dense_fallback_terms_bound": 18,
      "sable_c7_mode": "coordinate",
      "sable_c7_public_clpn_rows": 1746,
      "sable_c7_public_entries": 18,
      "sable_c7_relation_status": "coordinate blocks are linearly independent; no within-block kernel relations",
      "sable_ct_adds_or_subs": 2,
      "sable_ct_muls": 0,
      "sable_depth": 0,
      "sable_failure_bound_est": 0.0066300860233784115,
      "sable_final_row_support_est": 16,
      "sable_public_constants": 1,
      "sable_public_scalar_muls": 2,
      "tfhe_fhew_bootstrap_gate_proxy": ""
    },
    {
      "best_external_baseline_family": "BFV/BGV",
      "bfv_bgv_ciphertext_adds": 4,
      "bfv_bgv_ciphertext_muls": 0,
      "ckks_applicable": "approximate-only",
      "inputs": 4,
      "notes": "public-coefficient dot product",
      "operation": "dot4",
      "sable_c7_dense_fallback_terms_bound": 18,
      "sable_c7_mode": "coordinate",
      "sable_c7_public_clpn_rows": 1746,
      "sable_c7_public_entries": 18,
      "sable_c7_relation_status": "coordinate blocks are linearly independent; no within-block kernel relations",
      "sable_ct_adds_or_subs": 4,
      "sable_ct_muls": 0,
      "sable_depth": 0,
      "sable_failure_bound_est": 0.009041433899094063,
      "sable_final_row_support_est": 16,
      "sable_public_constants": 1,
      "sable_public_scalar_muls": 4,
      "tfhe_fhew_bootstrap_gate_proxy": ""
    },
    {
      "best_external_baseline_family": "BFV/BGV",
      "bfv_bgv_ciphertext_adds": 2,
      "bfv_bgv_ciphertext_muls": 2,
      "ckks_applicable": "approximate-only",
      "inputs": 1,
      "notes": "3+2x+5x^2 via Horner",
      "operation": "poly2",
      "sable_c7_dense_fallback_terms_bound": 18,
      "sable_c7_mode": "coordinate",
      "sable_c7_public_clpn_rows": 1746,
      "sable_c7_public_entries": 18,
      "sable_c7_relation_status": "coordinate blocks are linearly independent; no within-block kernel relations",
      "sable_ct_adds_or_subs": 2,
      "sable_ct_muls": 2,
      "sable_depth": 2,
      "sable_failure_bound_est": 1.0,
      "sable_final_row_support_est": 256,
      "sable_public_constants": 2,
      "sable_public_scalar_muls": 1,
      "tfhe_fhew_bootstrap_gate_proxy": ""
    },
    {
      "best_external_baseline_family": "BFV/BGV",
      "bfv_bgv_ciphertext_adds": 0,
      "bfv_bgv_ciphertext_muls": 3,
      "ckks_applicable": "approximate-only",
      "inputs": 4,
      "notes": "balanced product x1*x2*x3*x4",
      "operation": "product4",
      "sable_c7_dense_fallback_terms_bound": 18,
      "sable_c7_mode": "coordinate",
      "sable_c7_public_clpn_rows": 1746,
      "sable_c7_public_entries": 18,
      "sable_c7_relation_status": "coordinate blocks are linearly independent; no within-block kernel relations",
      "sable_ct_adds_or_subs": 0,
      "sable_ct_muls": 3,
      "sable_depth": 2,
      "sable_failure_bound_est": 0.04723417980729373,
      "sable_final_row_support_est": 256,
      "sable_public_constants": 0,
      "sable_public_scalar_muls": 0,
      "tfhe_fhew_bootstrap_gate_proxy": ""
    },
    {
      "best_external_baseline_family": "BFV/BGV",
      "bfv_bgv_ciphertext_adds": 2,
      "bfv_bgv_ciphertext_muls": 2,
      "ckks_applicable": "approximate-only",
      "inputs": 4,
      "notes": "x1*x2+x3*x4+5",
      "operation": "quadratic_form",
      "sable_c7_dense_fallback_terms_bound": 18,
      "sable_c7_mode": "coordinate",
      "sable_c7_public_clpn_rows": 1746,
      "sable_c7_public_entries": 18,
      "sable_c7_relation_status": "coordinate blocks are linearly independent; no within-block kernel relations",
      "sable_ct_adds_or_subs": 2,
      "sable_ct_muls": 2,
      "sable_depth": 1,
      "sable_failure_bound_est": 0.0066300860233784115,
      "sable_final_row_support_est": 16,
      "sable_public_constants": 1,
      "sable_public_scalar_muls": 0,
      "tfhe_fhew_bootstrap_gate_proxy": ""
    },
    {
      "best_external_baseline_family": "TFHE/FHEW",
      "bfv_bgv_ciphertext_adds": 0,
      "bfv_bgv_ciphertext_muls": 1,
      "ckks_applicable": "not preferred for exact Boolean gates",
      "inputs": 2,
      "notes": "Boolean AND as xy",
      "operation": "and",
      "sable_c7_dense_fallback_terms_bound": 18,
      "sable_c7_mode": "coordinate",
      "sable_c7_public_clpn_rows": 1746,
      "sable_c7_public_entries": 18,
      "sable_c7_relation_status": "coordinate blocks are linearly independent; no within-block kernel relations",
      "sable_ct_adds_or_subs": 0,
      "sable_ct_muls": 1,
      "sable_depth": 1,
      "sable_failure_bound_est": 0.004813949162605161,
      "sable_final_row_support_est": 16,
      "sable_public_constants": 0,
      "sable_public_scalar_muls": 0,
      "tfhe_fhew_bootstrap_gate_proxy": 1
    },
    {
      "best_external_baseline_family": "TFHE/FHEW",
      "bfv_bgv_ciphertext_adds": 2,
      "bfv_bgv_ciphertext_muls": 1,
      "ckks_applicable": "not preferred for exact Boolean gates",
      "inputs": 2,
      "notes": "Boolean OR as x+y-xy",
      "operation": "or",
      "sable_c7_dense_fallback_terms_bound": 18,
      "sable_c7_mode": "coordinate",
      "sable_c7_public_clpn_rows": 1746,
      "sable_c7_public_entries": 18,
      "sable_c7_relation_status": "coordinate blocks are linearly independent; no within-block kernel relations",
      "sable_ct_adds_or_subs": 2,
      "sable_ct_muls": 1,
      "sable_depth": 1,
      "sable_failure_bound_est": 0.005656499731869194,
      "sable_final_row_support_est": 16,
      "sable_public_constants": 0,
      "sable_public_scalar_muls": 0,
      "tfhe_fhew_bootstrap_gate_proxy": 1
    },
    {
      "best_external_baseline_family": "TFHE/FHEW",
      "bfv_bgv_ciphertext_adds": 2,
      "bfv_bgv_ciphertext_muls": 1,
      "ckks_applicable": "not preferred for exact Boolean gates",
      "inputs": 2,
      "notes": "Boolean XOR as x+y-2xy",
      "operation": "xor",
      "sable_c7_dense_fallback_terms_bound": 18,
      "sable_c7_mode": "coordinate",
      "sable_c7_public_clpn_rows": 1746,
      "sable_c7_public_entries": 18,
      "sable_c7_relation_status": "coordinate blocks are linearly independent; no within-block kernel relations",
      "sable_ct_adds_or_subs": 2,
      "sable_ct_muls": 1,
      "sable_depth": 1,
      "sable_failure_bound_est": 0.005656499731869194,
      "sable_final_row_support_est": 16,
      "sable_public_constants": 0,
      "sable_public_scalar_muls": 1,
      "tfhe_fhew_bootstrap_gate_proxy": 1
    },
    {
      "best_external_baseline_family": "TFHE/FHEW",
      "bfv_bgv_ciphertext_adds": 1,
      "bfv_bgv_ciphertext_muls": 0,
      "ckks_applicable": "not preferred for exact Boolean gates",
      "inputs": 1,
      "notes": "Boolean NOT as 1-x",
      "operation": "not",
      "sable_c7_dense_fallback_terms_bound": 18,
      "sable_c7_mode": "coordinate",
      "sable_c7_public_clpn_rows": 1746,
      "sable_c7_public_entries": 18,
      "sable_c7_relation_status": "coordinate blocks are linearly independent; no within-block kernel relations",
      "sable_ct_adds_or_subs": 1,
      "sable_ct_muls": 0,
      "sable_depth": 0,
      "sable_failure_bound_est": 0.005656499731869194,
      "sable_final_row_support_est": 16,
      "sable_public_constants": 1,
      "sable_public_scalar_muls": 0,
      "tfhe_fhew_bootstrap_gate_proxy": 0
    },
    {
      "best_external_baseline_family": "TFHE/FHEW",
      "bfv_bgv_ciphertext_adds": 1,
      "bfv_bgv_ciphertext_muls": 1,
      "ckks_applicable": "not preferred for exact Boolean gates",
      "inputs": 2,
      "notes": "Boolean NAND as 1-xy",
      "operation": "nand",
      "sable_c7_dense_fallback_terms_bound": 18,
      "sable_c7_mode": "coordinate",
      "sable_c7_public_clpn_rows": 1746,
      "sable_c7_public_entries": 18,
      "sable_c7_relation_status": "coordinate blocks are linearly independent; no within-block kernel relations",
      "sable_ct_adds_or_subs": 1,
      "sable_ct_muls": 1,
      "sable_depth": 1,
      "sable_failure_bound_est": 0.005656499731869194,
      "sable_final_row_support_est": 16,
      "sable_public_constants": 1,
      "sable_public_scalar_muls": 0,
      "tfhe_fhew_bootstrap_gate_proxy": 1
    },
    {
      "best_external_baseline_family": "TFHE/FHEW",
      "bfv_bgv_ciphertext_adds": 3,
      "bfv_bgv_ciphertext_muls": 1,
      "ckks_applicable": "not preferred for exact Boolean gates",
      "inputs": 2,
      "notes": "Boolean NOR as 1-(x+y-xy)",
      "operation": "nor",
      "sable_c7_dense_fallback_terms_bound": 18,
      "sable_c7_mode": "coordinate",
      "sable_c7_public_clpn_rows": 1746,
      "sable_c7_public_entries": 18,
      "sable_c7_relation_status": "coordinate blocks are linearly independent; no within-block kernel relations",
      "sable_ct_adds_or_subs": 2,
      "sable_ct_muls": 1,
      "sable_depth": 1,
      "sable_failure_bound_est": 0.0066300860233784115,
      "sable_final_row_support_est": 16,
      "sable_public_constants": 1,
      "sable_public_scalar_muls": 0,
      "tfhe_fhew_bootstrap_gate_proxy": 1
    },
    {
      "best_external_baseline_family": "TFHE/FHEW",
      "bfv_bgv_ciphertext_adds": 3,
      "bfv_bgv_ciphertext_muls": 1,
      "ckks_applicable": "not preferred for exact Boolean gates",
      "inputs": 2,
      "notes": "Boolean XNOR as 1-(x+y-2xy)",
      "operation": "xnor",
      "sable_c7_dense_fallback_terms_bound": 18,
      "sable_c7_mode": "coordinate",
      "sable_c7_public_clpn_rows": 1746,
      "sable_c7_public_entries": 18,
      "sable_c7_relation_status": "coordinate blocks are linearly independent; no within-block kernel relations",
      "sable_ct_adds_or_subs": 2,
      "sable_ct_muls": 1,
      "sable_depth": 1,
      "sable_failure_bound_est": 0.0066300860233784115,
      "sable_final_row_support_est": 16,
      "sable_public_constants": 1,
      "sable_public_scalar_muls": 1,
      "tfhe_fhew_bootstrap_gate_proxy": 1
    },
    {
      "best_external_baseline_family": "TFHE/FHEW",
      "bfv_bgv_ciphertext_adds": 2,
      "bfv_bgv_ciphertext_muls": 1,
      "ckks_applicable": "not preferred for exact Boolean gates",
      "inputs": 2,
      "notes": "Boolean implication as 1-x+xy",
      "operation": "implies",
      "sable_c7_dense_fallback_terms_bound": 18,
      "sable_c7_mode": "coordinate",
      "sable_c7_public_clpn_rows": 1746,
      "sable_c7_public_entries": 18,
      "sable_c7_relation_status": "coordinate blocks are linearly independent; no within-block kernel relations",
      "sable_ct_adds_or_subs": 2,
      "sable_ct_muls": 1,
      "sable_depth": 1,
      "sable_failure_bound_est": 0.0066300860233784115,
      "sable_final_row_support_est": 16,
      "sable_public_constants": 1,
      "sable_public_scalar_muls": 0,
      "tfhe_fhew_bootstrap_gate_proxy": 1
    }
  ]
}
