search

zkmove / halo2-verifier.move

A set of tooling of halo2 circuits verification in Move environments
Apache License 2.0
16 stars 4 forks source link

impl shplonk verifier #56

Closed nanne007 closed 8 months ago

nanne007 commented 9 months ago

currently, halo2 have two kzg pcs variants: gwc and shplonk.

we have gwc for now, while shplonk is missing.

should add the variant two.

nanne007 commented 9 months ago

the logic should be the same as rust implementation here https://github.com/privacy-scaling-explorations/halo2/blob/6fc6d7ca018f3899b030618cb18580249b1e7c82/halo2_proofs/src/poly/kzg/multiopen/shplonk/verifier.rs#L45

nanne007 commented 8 months ago

closed in #61