kona-proof is used at run time in 1 crate.

Depender (with downloads and own rev deps) kona-proof version
120 kona-proof-interop ^0.3.0