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

address the issue of too many elements #47

Open nanne007 opened 9 months ago

nanne007 commented 9 months ago

Currently, Aptos limits the max mem usage for crypto elements. 501701412647_ pic Thus, it cannot support complex computation of our plonk verifier which produces many temporary elements. We need to address this to make the code production usable on aptos.

related issue: https://github.com/aptos-labs/aptos-core/pull/11142#issuecomment-1836083839