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

move common modules from main package #63

Closed nanne007 closed 8 months ago

nanne007 commented 8 months ago

after we merged shplonk features, the package of halo2-verifier.move grows too big, now we cannot publish the package directly to aptos devnet. will raise error like:

NCLUDING DEPENDENCY AptosFramework
INCLUDING DEPENDENCY AptosStdlib
INCLUDING DEPENDENCY MoveStdlib
BUILDING halo2-verifier
package size 69271 bytes
{
  "Error": "Unexpected error: The package is larger than 60000 bytes (69271 bytes)! To lower the size you may want to include fewer artifacts via --included-artifacts. You can also override this check with `--override-size-check"
}

We need to refactor the package into two packages, so that we can deploy them separately .

We can move all modules except params.move, protocol.move, transcript.move into a standalone package.

nanne007 commented 8 months ago

tutorials.md should be updated to reflect the change.

zhmoly commented 8 months ago

https://github.com/zkmove/halo2-verifier.move/tree/refactor Pushed commit for basic refactor