halo2-verifier.move

halo2-verifier.move copied to clipboard

todo list of make the verifier production usable on aptos

1

Although we had verified the correctness of the verifier. Still many problems to be resolved to make it usable on aptos mainnet. - [ ] aptos limit on elments mem...

nanne007

related https://github.com/scroll-tech/snark-verifier/pull/24

nanne007

guangyuz

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...

nanne007

try to push the functions to aptos natives.

nanne007

currently, omega is calculated in the place for the bn254 curve. we can pre-compute them for k from 1 to 28.

nanne007

implement transcript with blake2b hashing method

1

since aptos support blake2b, we can add this. should share most of the code in current transcipt, only relace the keccak256 part with blake2b.

nanne007