Implement risc0 to bitvm2

[ekrembal]

Issue Description

A guest code something like this: https://github.com/risc0/risc0/blob/main/examples/composition/methods/guest/src/main.rs
but it should read the journal with env::read_bytes() then blake3 hash it, then return the 32 byte journal [u32; 8]. method id should be hardcoded. https://www.cs.brandeis.edu/~cs146a/rust/doc-02-21-2015/std/macro.env!.html something like this can be used.

Updated stark-to-snark circuit, that wil have single public input = Blake3(GUEST_SPECIFIC_CONSTNAT, JOURNAL_DIGEST)

JOURNAL_DIGEST should not include any tags, it should be the 32 bytes that is committed from the guest code we write.

• We can utilize risc0-to-fflonk codebase
• We need a single docker that will read a succinct receipt, generate another succinct receipt, proves it to groth16
• We need another utlility function to caluclate GUEST_SPECIFIC_CONSTNAT from a Method_id

Tasks

No response

Deadline of the Issue

15.09.2024

[ozankaymak]

This is done in a seperate repository here.