From a281b792cacd8141eac48fbf566eb365f3acf85c Mon Sep 17 00:00:00 2001 From: David Rusu Date: Mon, 3 Nov 2025 12:56:35 +0400 Subject: [PATCH] fix(zkey): 2^17 ptau rather than 2^21 --- .github/workflows/build-circuits.yml | 4 ++-- CONTRIBUTING.md | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/build-circuits.yml b/.github/workflows/build-circuits.yml index ea05320..8cc501f 100644 --- a/.github/workflows/build-circuits.yml +++ b/.github/workflows/build-circuits.yml @@ -76,8 +76,8 @@ jobs: dir: mantle env: VERSION: ${{ needs.setup.outputs.version }} - PTAU_URL: "https://storage.googleapis.com/zkevm/ptau/powersOfTau28_hez_final_21.ptau" - PTAU_FILE: "powersOfTau28_hez_final_21.ptau" + PTAU_URL: "https://storage.googleapis.com/zkevm/ptau/powersOfTau28_hez_final_17.ptau" + PTAU_FILE: "powersOfTau28_hez_final_17.ptau" steps: - name: Install Rust Toolchain uses: actions-rust-lang/setup-rust-toolchain@fb51252c7ba57d633bc668f941da052e410add48 diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 20e0d74..02fd5af 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -32,7 +32,7 @@ For each supported platform (Linux x86_64, macOS aarch64, Windows x86_64): - **Proving keys** (`{circuit}-{version}.zkey.tar.gz`) Groth16 proving keys (.zkey files) for each circuit, required for generating proofs -These proving keys are generated using the Hermez Powers of Tau ceremony (`powersOfTau28_hez_final_21.ptau`), which supports circuits with up to 2^21 (~2M) constraints. The keys are platform-independent and can be used with any compatible prover implementation. +These proving keys are generated using the Hermez Powers of Tau ceremony (`powersOfTau28_hez_final_17.ptau`), which supports circuits with up to 2^17 constraints. The keys are platform-independent and can be used with any compatible prover implementation. ### Example