Enable verifying proofs based on the fork#1011

Merged

yaziciahmet merged 16 commits intonightlyfrom yaziciahmet/risc0-method-ids-in-forks

Aug 20, 2024

+338-313

Commits on Aug 19, 2024

Partially rewrite fork manager

yaziciahmet
authored and
yaziciahmet
committed
Add SpecId to the zk output

yaziciahmet
authored and
yaziciahmet
committed
Lint
yaziciahmet
committed
Verify proofs with the corresponding spec ids
yaziciahmet
committed
Disable lint
yaziciahmet
committed
Remove unused const
yaziciahmet
committed
Remove std
yaziciahmet
committed
Lint
yaziciahmet
committed
Remove Receipt output type
yaziciahmet
committed
Remove risc0 zkvm from mockvm
yaziciahmet
committed
Lint
yaziciahmet
committed
Rename to last_active_spec_id
yaziciahmet
committed
Restore fork logs
yaziciahmet
committed
Lint
yaziciahmet
committed

Commits on Aug 20, 2024