Skip to content

Commit

Permalink
chore: fix link (#27)
Browse files Browse the repository at this point in the history
  • Loading branch information
AdventureSeeker987 committed Jan 23, 2024
1 parent c28faed commit 11ea6d8
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion axiom-query/src/axiom_aggregation2/readme.md
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@ If feature "keygen" is on, then you must run with `CARGO_PROFILE_DEV_DEBUG_ASSER

The final test will generate the EVM proof and try to run it against the snark verifier smart contract if you enable feature "revm". For the latter you need Solidity version 0.8.19 (the pragma is fixed to 0.8.19 in snark verifier).

Note the computeProof was generated using the trusted setup [here ](https://docs.axiom.xyz/transparency-and-security/kzg-trusted-setup) so for aggregation circuits to be consistent you will also need to download the same trusted setup and either put it in `axiom-query/params` or set `PARAMS_DIR` environmental variable.
Note the computeProof was generated using the trusted setup [here ](https://docs.axiom.xyz/docs/transparency-and-security/kzg-trusted-setup) so for aggregation circuits to be consistent you will also need to download the same trusted setup and either put it in `axiom-query/params` or set `PARAMS_DIR` environmental variable.

## Regenerating test inputs
The tests above depend on certain pre-generated input files. To regenerate them and run all commands above, use the [integration_test.sh](./integration_test.sh) script.

0 comments on commit 11ea6d8

Please sign in to comment.