Skip to content

Couldn't test proving in risc0 #18

@nguyendinhthang3101

Description

@nguyendinhthang3101

When i test proving with command RUST_LOG=info ./target/release/zktls prove -i ./testdata/input.json --mock -t evm -p r0. It raise error:

[2025-07-29T03:42:58Z INFO  zktls_input_builder::request] Connecting to httpbin.org:443
[2025-07-29T03:42:59Z INFO  zktls_input_builder::request] Sending request complete
[2025-07-29T03:44:00Z INFO  zktls_input_builder::request] Received response complete
[2025-07-29T03:44:00Z INFO  zktls::utils] downloading program from https://github.com/the3cloud/zkvm-programs/releases/download/v0.2.5/zktls-r0
[2025-07-29T03:44:01Z INFO  zktls::utils] downloaded program success /home/jella/.local/zktlsd/zktls-r0
input_len: 6589
WARNING: proving in dev mode. This will not generate valid, secure proofs.
Error: Elf parse error: Invalid Magic Bytes: [52, 30, 42, 46]

It seems zktls-r0 file has wrong format. How can i fix this? Thank you!

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions