Skip to content

Proof Aggregation does not work for circom2 #135

@ghost

Description

Updated poseidon_recursive test to circom2 and got errors:

Step: verify recursive proof
[2022-05-07T03:26:29Z INFO plonkit::recursive] individual_inputs: [
[
Fr(0x115cc0f5e7d690413df64c6b9662e9cf2a3617f2743245519e19607a4417189a),
],
[
Fr(0x20a3af0435914ccd84b806164531b0cd36e37d4efb93efab76913a93e1f30996),
],
[
Fr(0x0427b43899bdfc36d3d4f26c018dd73f5437ea8e5f533fc122441881d5d0b737),
],
]
[2022-05-07T03:26:29Z INFO plonkit] Proof is invalid!

...

Step: verify via smart contract

...

  1. Plonk
    Should return true when proof is correct:
    Error: missing revert data in call exception; Transaction reverted without a reason string [ See: https://links.ethers.org/v5-errors-CALL_EXCEPTION ] (error={"stackTrace":[{"type":0,"sourceReference":{"function":"verifyAggregatedProof","contract":"KeysWithPlonkVerifier","sourceName":"contracts/verifier.sol","sourceContent":"// SPDX-License-Identifier: MIT OR Apache-2.0\n// Based on: https://github.com/matter-labs/zksync/blob/master/core/bin/key_generator/src/verifier_contract_generator/VerifierTemplate.sol, rev#4012188\n\npragma solidity >=0.5.0 <0.9.0;\n\npragma experimental ABIEncoderV2;\n\nlibrary PairingsBn254 {\n ... ...

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions