Baseline proxy: preset=toy_depth2 circuit=and2
Circuit: inputs=2 adds=0 muls=1 depth=1
Notes: AND(x,y)=xy
SABLE proxy:
  final failure bound: 0.000214098
  row support fresh/final: 4 / 16
  sparse field-operation proxy: 1600
TFHE/FHEW-style proxy:
  bootstrapped gate count: 1
SABLE cost is a sparse-field-operation proxy; TFHE cost is a bootstrapped-gate count. Use this to choose benchmark circuits, not to claim wall-clock superiority.

------------------------------------------------------------------------

Baseline proxy: preset=toy_depth2 circuit=or2
Circuit: inputs=2 adds=2 muls=1 depth=1
Notes: OR(x,y)=x+y-xy
SABLE proxy:
  final failure bound: 0.000225249
  row support fresh/final: 4 / 16
  sparse field-operation proxy: 2400
TFHE/FHEW-style proxy:
  bootstrapped gate count: 1
SABLE cost is a sparse-field-operation proxy; TFHE cost is a bootstrapped-gate count. Use this to choose benchmark circuits, not to claim wall-clock superiority.

------------------------------------------------------------------------

Baseline proxy: preset=toy_depth2 circuit=xor2_qary
Circuit: inputs=2 adds=2 muls=1 depth=1
Notes: XOR over {0,1} in F_q: x+y-2xy
SABLE proxy:
  final failure bound: 0.000225249
  row support fresh/final: 4 / 16
  sparse field-operation proxy: 2400
TFHE/FHEW-style proxy:
  bootstrapped gate count: 1
SABLE cost is a sparse-field-operation proxy; TFHE cost is a bootstrapped-gate count. Use this to choose benchmark circuits, not to claim wall-clock superiority.

------------------------------------------------------------------------

Baseline proxy: preset=toy_depth2 circuit=degree2_dot16
Circuit: inputs=32 adds=15 muls=16 depth=1
Notes: sum of 16 pairwise products
SABLE proxy:
  final failure bound: 0.000429791
  row support fresh/final: 4 / 16
  sparse field-operation proxy: 31600
TFHE/FHEW-style proxy:
  bootstrapped gate count: 16
SABLE cost is a sparse-field-operation proxy; TFHE cost is a bootstrapped-gate count. Use this to choose benchmark circuits, not to claim wall-clock superiority.

------------------------------------------------------------------------

Baseline proxy: preset=toy_depth2 circuit=degree4_tree
Circuit: inputs=4 adds=0 muls=3 depth=2
Notes: x1*x2*x3*x4 by balanced tree
SABLE proxy:
  final failure bound: 0.000473618
  row support fresh/final: 4 / 256
  sparse field-operation proxy: 76800
TFHE/FHEW-style proxy:
  bootstrapped gate count: 3
SABLE cost is a sparse-field-operation proxy; TFHE cost is a bootstrapped-gate count. Use this to choose benchmark circuits, not to claim wall-clock superiority.

------------------------------------------------------------------------

Baseline proxy: preset=toy_depth2 circuit=validity_check8
Circuit: inputs=8 adds=12 muls=8 depth=2
Notes: small synthetic voting/validity check
SABLE proxy:
  final failure bound: 0.278142
  row support fresh/final: 4 / 256
  sparse field-operation proxy: 281600
TFHE/FHEW-style proxy:
  bootstrapped gate count: 20
SABLE cost is a sparse-field-operation proxy; TFHE cost is a bootstrapped-gate count. Use this to choose benchmark circuits, not to claim wall-clock superiority.
