halo2-verifier.move
halo2-verifier.move copied to clipboard
address the issue of too many elements
Currently, Aptos limits the max mem usage for crypto elements.
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