Skip to content

snarkjs plonk setup fails with "circuit too big for this power of tau ceremony" on 0-constraint circuit #624

@jCabala

Description

@jCabala

Bug: snarkjs plonk setup fails with "circuit too big" on 0-constraint circuit

Tool: snarkjs v0.7.5
Command: snarkjs plonk setup

Circuit

pragma circom 2.2.3;

template Main() {
    signal input a;
    a === 15;
}

component main = Main();

Steps to reproduce

circom main.circom --output work/ --r1cs --wasm --sym --O2
node work/main_js/generate_witness.js work/main_js/main.wasm input.json work/witness.wtns
snarkjs plonk setup work/main.r1cs powersOfTau28_hez_final_17.ptau work/circuit_plonk.zkey

snarkjs output

[ERROR] snarkJS: circuit too big for this power of tau ceremony. 0 > 2**17

Environment

  • circom 2.2.3
  • snarkjs 0.7.5
  • node v20.18.3

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions