Skip to content

Derive the public-input limb claims instead of transmitting them - #6

Closed
scaraven wants to merge 1 commit into
leanvm-mainfrom
feat/drop-prover-public-input-challenge
Closed

Derive the public-input limb claims instead of transmitting them#6
scaraven wants to merge 1 commit into
leanvm-mainfrom
feat/drop-prover-public-input-challenge

Derive the public-input limb claims instead of transmitting them

7f80c64
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
Rustdoc
succeeded Sep 30, 2026 in 26s