diff --git a/axiom-query/src/axiom_aggregation2/readme.md b/axiom-query/src/axiom_aggregation2/readme.md index 5e336784..3b71cb04 100644 --- a/axiom-query/src/axiom_aggregation2/readme.md +++ b/axiom-query/src/axiom_aggregation2/readme.md @@ -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.