Function sys_prove_keccak 

pub unsafe extern "C" fn sys_prove_keccak(
    claim_digest: *const [u32; 8],
    control_root: *const [u32; 8],
)

Executes the keccak circuit, and then executes the lift predicate in the recursion circuit.

This only triggers the execution of the circuits; it does not add any assumptions. In order to prove that it executed correctly, users must calculate the claim digest and add it to the list of assumptions.

Safety

claim_digest must be aligned and dereferenceable. control_root must be aligned and dereferenceable. input must be aligned and have input_len u32s dereferenceable