Function sys_prove_keccak

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

Available on crate feature unstable only.

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

Availability

This API is marked as unstable and is only available when the unstable crate feature is enabled. This comes with no stability guarantees, and could be changed or removed at any time.