mirror of
https://github.com/vacp2p/linea-monorepo.git
synced 2026-01-07 22:54:08 -05:00
05d14d8df7
* bump to beta v2.1-rc16 * add a prover config file for devnet * update srs url * bump constraints to cbc6bcb and go-corset to v1.1.1 * use go-corset v1.1.1 * use go-corset v1.1.3 * feat(state-manager): insertion and ephemeral filters . * chores(versions): align the constraints version * chores(version): align the corset version * chores(version): update the zkevm.bin * chores(version): update the zkevm.bin * fix(limits): removes discrepancy between the sepolia and the mainnet config file * chores(release): update the verifier contracts * testing(contract): updates the post-release testdata * chores(contracts): update the contracts * chores(constraints): updates constraints and corset to use the right value * chores(mod): updates the corset dependency and zkevm.bin * testing(contract): updates the testdata * chores(config): update the sample config to use the right version --------- Co-authored-by: gusiri <dreamerty@postech.ac.kr> Co-authored-by: Bogdan Ursu <bogdanursuoffice@gmail.com>
154 lines
4.1 KiB
Makefile
154 lines
4.1 KiB
Makefile
# required for `source`
|
|
SHELL := /usr/bin/env bash
|
|
CORSET_ROOT := $(shell pwd)/../go-corset
|
|
|
|
VERSION := $(shell git rev-parse --short=7 HEAD)
|
|
|
|
LINUX_AMD64_FLAGS := CGO_ENABLED=1 CC="x86_64-linux-musl-gcc" CXX="x86_64-linux-musl-g++" GOOS="linux" GOARCH="amd64"
|
|
DARWIN_ARM64_FLAGS := CGO_ENABLED=1 GOOS="linux" GOARCH="arm64"
|
|
|
|
# Ensure that we are using go-corset from the monorepo
|
|
GO_CORSET := PATH="${CORSET_ROOT}/bin":$$PATH
|
|
|
|
# these targets are not defined as depending on source files,
|
|
# so they should be recompiled by default “just in case”.
|
|
.PHONY: \
|
|
copy-prover-assets \
|
|
download-srs \
|
|
bin/proofless \
|
|
bin/compression-aggregation-sample \
|
|
bin/state-manager-inspector \
|
|
zkevm/arithmetization/zkevm.bin \
|
|
lib/compressor \
|
|
lib/shnarf-calculator \
|
|
lib/compressor-and-shnarf-calculator \
|
|
lib/compressor-and-shnarf-calculator-local \
|
|
docker \
|
|
bin/prover \
|
|
bin/checker \
|
|
go-corset \
|
|
testdata \
|
|
|
|
|
|
##
|
|
## This rule produces the go-corset binary
|
|
##
|
|
go-corset:
|
|
cd ${CORSET_ROOT} && make build
|
|
|
|
##
|
|
## Build and bundle the go-corset trace-expander dependency
|
|
##
|
|
zkevm/arithmetization/zkevm.bin: go-corset
|
|
cd ../constraints && $(GO_CORSET) make zkevm.bin && mv zkevm.bin ../prover/zkevm/arithmetization
|
|
|
|
##
|
|
## Generate the setup for all provers job for sepolia (to be run with S3 access)
|
|
##
|
|
setup-sepolia: bin/prover
|
|
bin/prover setup --config ./config/config-sepolia-full.toml --dict ./lib/compressor/compressor_dict.bin --assets-dir ./prover-assets
|
|
|
|
##
|
|
## Generate the setup for all provers job for mainnet (to be run with S3 access)
|
|
##
|
|
setup-mainnet: bin/prover
|
|
bin/prover setup --config ./config/config-mainnet-full.toml --dict ./lib/compressor/compressor_dict.bin --assets-dir ./prover-assets
|
|
|
|
##
|
|
## Copy the prover assets to the S3 bucket (zkuat)
|
|
##
|
|
copy-prover-assets:
|
|
aws s3 sync --exclude "*prover/dev*" --exclude "*05b9ef1*" --exclude "*05b9ef1*" --exclude "*96e3a19*" --exclude "*a9e4681*" prover-assets s3://zk-uat-prover/prover-assets/ --profile=zk-uat-s3-access
|
|
|
|
download-srs:
|
|
aws s3 sync s3://prover-assets/kzgsrs/ ./prover-assets/kzgsrs --exclude "*" --include "*.memdump"
|
|
|
|
###
|
|
### Controller
|
|
###
|
|
bin/controller:
|
|
mkdir -p bin/
|
|
rm -f $@
|
|
go build -o $@ ./cmd/controller
|
|
|
|
##
|
|
## Prover (setup and prove)
|
|
##
|
|
bin/prover:
|
|
mkdir -p bin
|
|
rm -f $@
|
|
go build -tags debug -o $@ ./cmd/prover
|
|
|
|
##
|
|
## Compiles the state-manager inspector
|
|
##
|
|
bin/state-manager-inspector:
|
|
mkdir -p bin
|
|
rm -f $@
|
|
go build -o ./$@ ./cmd/dev-tools/state-manager-inspector
|
|
|
|
##
|
|
## Generate the sample generator for the compression and the aggregation
|
|
##
|
|
bin/compression-aggregation-sample:
|
|
mkdir -p bin
|
|
rm -f $@
|
|
go build -o ./$@ -tags nocorset ./cmd/dev-tools/testcase-gen/compression-aggregation
|
|
|
|
##
|
|
## corset-checker
|
|
##
|
|
bin/checker:
|
|
mkdir -p bin
|
|
rm -f $@
|
|
go build -o $@ ./cmd/dev-tools/corset-checker
|
|
|
|
##
|
|
## Build the prover docker image
|
|
##
|
|
docker:
|
|
echo "Building docker image for the prover version ${VERSION}"
|
|
cd .. && docker buildx build -f prover/Dockerfile --build-context prover=prover/ --build-context corset=corset/ --build-context constraints=constraints/ -t consensys/linea-prover .
|
|
|
|
##
|
|
## Build compressor library
|
|
##
|
|
lib/compressor:
|
|
CGO_ENABLED=1 go build -tags=nocorset -buildmode=c-shared -o lib/compressor/build/libblob_compressor_native_jna ./lib/compressor/blob_compressor.go
|
|
|
|
##
|
|
## Build the shnarf calculator library
|
|
##
|
|
lib/shnarf-calculator:
|
|
CGO_ENABLED=1 go build -tags=nocorset -buildmode=c-shared -o lib/shnarf_calculator/build/libshnarf_calculator_native_jna ./lib/shnarf_calculator/shnarf_calculator.go
|
|
|
|
##
|
|
## Build the compressor and the shnarf-calculator for local system
|
|
##
|
|
lib/compressor-and-shnarf-calculator-local: lib/compressor lib/shnarf_calculator
|
|
|
|
##
|
|
## Run all the unit-tests
|
|
##
|
|
test:
|
|
go test ./...
|
|
|
|
##
|
|
## Run the CI linting
|
|
##
|
|
ci-lint:
|
|
golangci-lint run --timeout 5m
|
|
|
|
##
|
|
## Echo, the CGO flags. Usefull for testing manually
|
|
##
|
|
cgo-flags:
|
|
@echo $(CORSET_FLAGS)
|
|
|
|
#
|
|
# Update the prover's testdata in ../testdata/prover
|
|
#
|
|
make update-testdata-for-coordinator:
|
|
go test -timeout 30m -tags amd64,nocorset -run TestSamples github.com/consensys/linea-monorepo/prover/backend/testing -v
|
|
cp -f backend/testing/**/*-*-zkProof.json ../testdata/prover/output
|