fix(zkey): 2^17 ptau rather than 2^21

This commit is contained in:
David Rusu 2025-11-03 12:56:35 +04:00
parent 7ce5d3705d
commit a281b792ca
2 changed files with 3 additions and 3 deletions

View File

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

View File

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