zk-OPML

zk-OPML: Using zero-knowledge proofs to optimize OPML

Venue
Journal of King Saud University CIS
Date
2026
Paper
https://link.springer.com/article/10.1007/s44443-026-00573-1

Approach

Optimistic verification + selective ZKPs for isolated ONNX operators

Notes

Decomposes inference to operator level and generates ZKPs only where needed.

Our reading

Citation neighbourhood

Builds on
  • none recorded
Cited by, in this corpus
  • none recorded

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

Discussed in