zkDT

Zero Knowledge Proofs for Decision Tree Predictions and Accuracy

Venue
ACM CCS 2020
Date
2020-10-01
Proof system
Aurora backend; circuit of size O(d + h) for tree inference
Hardware
Intel Xeon Platinum 8124M
Numbers from
survey
Paper
https://dl.acm.org/doi/10.1145/3372297.3417278

Reported benchmarks

modeldatasetproving time sproof size mbverification time s
Decision tree (1029 nodes, 23 levels)5000 samples x 54 features2500.28715.6

Notes

Validates all inference-path nodes across the whole test set in one step rather than per-sample. Later revisited via matrix lookup arguments (cq+, zkcq+, cq++), which removes the prover's dependence on tree size.

Our reading

Citation neighbourhood

Builds on
  • none recorded
Cited by, in this corpus

Edges are a proxy: paper A's text mentions B anywhere (body or bibliography). See the full graph.

Discussed in