Halo infinite: Proof-carrying data from additive polynomial commitments

Dan Boneh, Justin Drake, Ben Fisch, Ariel Gabizon · 2021 · DOI 10.1007/978-3-030-84242-0_23

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it

open at publisher browse 1 citing papers

representative citing papers

cs.CR · 2026-06-22 · unverdicted · novelty 4.0

Proposes cryptographic certificates of validity by translating logical policy predicates into succinct proof systems for verifying AI agent actions.

Showing 1 of 1 citing paper.

Cryptographic certificates of validity for trustworthy AI cs.CR · 2026-06-22 · unverdicted · none · ref 5
Proposes cryptographic certificates of validity by translating logical policy predicates into succinct proof systems for verifying AI agent actions.