Skip to content

prover is panic #226

@jusl-song

Description

@jusl-song

./main prover

14:46:13 WRN function registered multiple times name=github.com/consensys/gnark/std/algebra/sw_bls24315.init.func1
14:46:13 WRN function registered multiple times name=github.com/consensys/gnark/std/algebra/sw_bls12377.init.func1
14:46:13 WRN function registered multiple times name=github.com/consensys/gnark/std/math/bits.nTrits
14:46:13 WRN function registered multiple times name=github.com/consensys/gnark/std/math/bits.nNaf
14:46:13 WRN function registered multiple times name=github.com/consensys/gnark/std/math/bits.IthBit
14:46:13 WRN function registered multiple times name=github.com/consensys/gnark/std/math/bits.NBits
14:46:13 WRN function registered multiple times name=github.com/consensys/gnark/std/math/mod.BigMulModP
begin loading r1cs...
load r1cs finished...... quit
finish loading r1cs...
begin loading proving key...
{"@timestamp":"2025-12-09T14:46:24.696Z","caller":"prover_service/prover.go:225","content":"start reading proving key","level":"info"}
finish loading proving key...
begin loading verifying key...
finish loading verifying key...
begin to generate proof for batch: 1
14:46:30 ERR error="unsatisfied constraint" backend=groth16 curve=BN254 id=780195 nbConstraints=827537
generate and verify proof error: constraint #780195 is not satisfied: 1 ⋅ 12064933988015572783907034385499241060915376780179021129590100176766683885080 != 1488617946935000140687420137048498062671252455098958903941181775889314959870
panic: runtime error: invalid memory address or nil pointer dereference
[signal SIGSEGV: segmentation violation code=0x1 addr=0x0 pc=0xcf7f95]

goroutine 1 [running]:
github.com/consensys/gnark/internal/backend/bn254/groth16.(*Proof).writeTo(0x0, {0x12c80a0, 0xc01237a090}, 0x1?)
/root/go/pkg/mod/github.com/gatechain/gnark@v0.7.1/internal/backend/bn254/groth16/marshal.go:46 +0xd5
github.com/consensys/gnark/internal/backend/bn254/groth16.(*Proof).WriteRawTo(0x12c7f60?, {0x12c80a0?, 0xc01237a090?})
/root/go/pkg/mod/github.com/gatechain/gnark@v0.7.1/internal/backend/bn254/groth16/marshal.go:35 +0x25
gate-zkmerkle-proof/service/prover_service.(*Prover).Run(0xc0001c6bd0, 0x0)
/opt/proof-of-reserves-master/service/prover_service/prover.go:181 +0x488
gate-zkmerkle-proof/service/prover_service.Handler(0x0)
/opt/proof-of-reserves-master/service/prover_service/service.go:23 +0x8f
gate-zkmerkle-proof/client.ProverCommand.func1(0xc00004e400?, {0x100b937?, 0x4?, 0x100b93b?})
/opt/proof-of-reserves-master/client/prover.go:14 +0x1a
github.com/spf13/cobra.(*Command).execute(0xc000398308, {0x1a77a80, 0x0, 0x0})
/root/go/pkg/mod/github.com/spf13/cobra@v1.7.0/command.go:944 +0x867
github.com/spf13/cobra.(*Command).ExecuteC(0xc000201808)
/root/go/pkg/mod/github.com/spf13/cobra@v1.7.0/command.go:1068 +0x3a5
github.com/spf13/cobra.(*Command).Execute(...)
/root/go/pkg/mod/github.com/spf13/cobra@v1.7.0/command.go:992
main.main()
/opt/proof-of-reserves-master/main.go:25 +0x1b4

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions