From 11ea6d89638b8d4a3f7819b9f447bdc4dd81bd40 Mon Sep 17 00:00:00 2001 From: yanziseeker <153156292+AdventureSeeker987@users.noreply.github.com> Date: Wed, 24 Jan 2024 01:28:16 +0800 Subject: [PATCH] chore: fix link (#27) --- axiom-query/src/axiom_aggregation2/readme.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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.