scroll-tech / ceno

Accelerate Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol
Apache License 2.0
57 stars 7 forks source link

feat : fibonacci with risc-v in zkvm implemented #547

Open mahmudsudo opened 3 weeks ago

mahmudsudo commented 3 weeks ago

closes #353

kunxian-xia commented 3 weeks ago

Unfortunately this is not what we have in mind. We want the fibonacci guest program to be written in Rust and then use ceno's rust toolchain to compile the source to ELF. This will then be proved/verified by ceno prover/verifier.

matthiasgoergens commented 2 weeks ago

Unfortunately this is not what we have in mind. We want the fibonacci guest program to be written in Rust and then use ceno's rust toolchain to compile the source to ELF. This will then be proved/verified by ceno prover/verifier.

Yes, exactly. We don't particularly care about Fibonacci, it's just an example of a simple ELF.

naure commented 2 weeks ago

Hi, thanks for trying this out. The specifics such as in this example are going to change until we stabilize it into a SDK.