pub fn generate_proving_ctx( def_circuit_commit: [F; 8], io_commits: Vec<IoCommit>, ) -> OnionTraceCtx