This is a Jolt verifier canister.

        It has set up the Preprocess of fibonacci, sha2, sha3 in the Jolt example.

        Therefore, it can verify the proof generated by these circuits.

        Each program has uploaded 1-2 proofs, so it can also be directly verified through command.

        to verify fibonacci(10)'s proof, call:
        dfx canister --network ic call p6xvw-7iaaa-aaaap-aaana-cai verify_jolt_proof '(0:nat32, 0:nat32)'

        to verify fibonacci(50)'s proof, call:
        dfx canister --network ic call p6xvw-7iaaa-aaaap-aaana-cai verify_jolt_proof '(0:nat32, 1:nat32)'


        
        See https://github.com/flyq/jolt_verifier_canister for more details.