Skip to content
This repository was archived by the owner on Jun 10, 2026. It is now read-only.

fix: bind public inputs to Fiat-Shamir transcript - #5

Open
jiayaoqijia wants to merge 1 commit into
leanEthereum:mainfrom
jiayaoqijia:fix/bind-public-inputs-to-transcript
Open

jiayaoqijia wants to merge 1 commit into
leanEthereum:mainfrom
jiayaoqijia:fix/bind-public-inputs-to-transcript

Commits

Commits on Feb 28, 2026