Skip to content

Latest commit

 

History

History
163 lines (114 loc) · 4.32 KB

development.md

File metadata and controls

163 lines (114 loc) · 4.32 KB

Development

This document covers development-related actions in zkSync.

Committing changes

zksync uses pre-commit git hooks for basic code integrity checks. Hooks are set up automatically within the workspace initialization process. These hooks will not allow to commit the code which does not pass several checks.

Currently the following criteria are checked:

  • Code should always be formatted via cargo fmt.
  • Dummy Prover should not be staged for commit (see below for the explanation).

Using Dummy Prover

Using the real prover for the development can be not really handy, since it's pretty slow and resource consuming.

Instead, one may want to use the Dummy Prover: lightweight version of prover, which does not actually proves anything, but acts like it does.

To enable the dummy prover, run:

zksync dummy-prover enable

And after that you will be able to use the dummy prover instead of actual prover:

zksync dummy-prover # Instead of `zksync prover`

Warning: setup-dummy-prover subcommand changes the Verifier.sol contract, which is a part of git repository. Be sure not to commit these changes when using the dummy prover!

If one will need to switch back to the real prover, a following command is required:

zksync dummy-prover disable

This command will revert changes in the contract and redeploy it, so the actual prover will be usable again.

Also you can always check the current status of the dummy verifier:

$ zksync dummy-prover status
Dummy Verifier status: disabled

Database migrations

zkSync uses PostgreSQL as a database backend, and diesel-cli for database migrations management.

Existing migrations are located in core/lib/storage/migrations.

Adding a new migration requires the following actions:

  1. Go to the storage folder:
cd core/lib/storage
  1. Generate a blanket migration:
diesel migration generate name-of-your-migration
  1. Implement migration: up.sql must contain new changes for the DB, and down.sql must revert the migration and return the database into previous state.
  2. Run zksync db-init to apply migration.
  3. Implement corresponding changes in the storage crate.
  4. Implement tests for new functionality.
  5. Run database tests:
zksync db-tests

Testing

  • Running the rust unit-tests (heavy tests such as ones for circuit and database will not be run):

    f cargo test

  • Running the database tests:

    zksync db-tests

  • Running the integration test:

    zksync server # Has to be run in the 1st terminal
zksync prover # Has to be run in the 2nd terminal
zksync integration-simple # Has to be run in the 3rd terminal

  • Running the integration tests for Full Exit operations

    zksync server # Has to be run in the 1st terminal
zksync prover # Has to be run in the 2nd terminal
zksync integration-full-exit # Has to be run in the 3rd terminal

  • Running the circuit tests:

    zksync circuit-tests

  • Running the prover tests:

    zksync prover-tests

  • Running the benchmarks:

    f cargo bench

  • Running the loadtest:

    zksync server # Has to be run in the 1st terminal
zksync prover # Has to be run in the 2nd terminal
zksync loadtest # Has to be run in the 3rd terminal

Developing circuit

  • To generate proofs one must have the universal setup files (which are downloaded during the first initialization).
  • To verify generated proofs one must have verification keys. Verification keys are generated for specific circuit & Verifier.sol contract; without these keys it is impossible to verify proofs on the Ethereum network.

Steps to do after updating circuit:

  1. Update circuit version by updating KEY_DIR in your env file (don't forget to place it to dev.env.example) (last parts of this variable usually means last commit where you updated circuit).
  2. Regenerate verification keys and Verifier contract using zksync verify-keys gen command.
  3. Pack generated verification keys using zksync verify-keys pack command and commit resulting file to repo.

Build and push Docker images to dockerhub:

zksync dockerhub-push

Contracts

Re-build contracts:

zksync build-contracts

Publish source code on etherscan

zksync publish-source