search

EspressoSystems / hyperplonk

MIT License
184 stars 39 forks source link

verify validity of subclaims in plonk verification #49

Closed zhenfeizhang closed 2 years ago

zhenfeizhang commented 2 years ago

todo: verify validity of subclaims

_Originally posted by @zhenfeizhang in https://github.com/EspressoSystems/hyperplonk/pull/39#discussion_r934031967_