Content
@
0 reply
26 recasts
27 reactions
spiritual
@sp0
We have deployed a PoC for intra circuit blob consistency check. The circuit will take the commitment, challenge point z, and valuation y of the batch commit transaction package as public inputs. Provers must provide blob as witnesses. We apply Fiat Shamir to obtain the anonymous random challenge point z, so the circuit enforces z=hash (batch commit blob). And, the circuit constraint p (z)=y, where p (X) is the Lagrangian interpolation polynomial of blob. @dhhhsn
0 reply
0 recast
0 reaction
