Use CeloCanoeVerifierAddressFetcher instead of CanoeVerifierAddressFetcherDeployedByEigenLabs

[seolaoh]

• Complete updating elfs (eigenda-range-elf-embedded, aggregation-elf), while generating eigenda-range-elf-embedded, got an error

  cd programs/range/eigenda && cargo prove build --output-directory ../../../elf --elf-name eigenda-range-elf-embedded --docker --tag v5.2.4 --features embedded && cd ../../aggregation && cargo prove build --output-directory ../../elf --elf-name aggregation-elf --docker --tag v5.2.4

[ezdac]

I finally figured out what the issue was with ELF compilation:

We put the CeloCanoeVerifierAddressFetcher in celo-kona's celo-host crate and made the range-eigenda depend on it.
celo-host's dependency tree is quite large, thus we might not want this as a dependency in range-eigenda anyways.

Now the actual elf compilation issue was:

• blst was added to range-eigenda as a transitive dependency and cargo prove has to compile it
• blst requires a C compiler and linking - since we are compiling to an "obscure" 32bit-riscv target gcc requires extra cross-compilation toolchains
• the docker-image that is used in the reproducible sp1 build toolchain cargo prove --docker does not have this c toolchain available
  • see the sp1 Dockerfile ( this line just builds the cargo prove toolchain locally, but the download of the cpp toolchain like in sp1up is missing)

In any case I think we don't want to pull in and compile the whole celo-host dependency in the eigenda program.

As a temporary fix in op-succinct I just inlined the fetcher in the range-eigenda crate directly, but we might also consider putting it in a small crate e.g. in celo-kona

[github-actions]

Performance Comparison (ELF: eigenda-range-elf-embedded)

Range 17008592~17008597

Metric	Base Branch	Current PR	Diff (%)
Total Instructions	2189506280	2191007840	0.07%
Oracle Verify Cycles	100069536	100069536	0.00%
Derivation Cycles	815553517	817186774	0.20%
Block Execution Cycles	95949703	96302315	0.37%
Blob Verification Cycles	728	728	0.00%
Total SP1 Gas	2837801305	2838595922	0.03%
Cycles per Block	437901256	438201568	0.07%
Cycles per Transaction	312786611	313001120	0.07%
BN Pair Cycles	0	0	0.00%
BN Add Cycles	0	0	0.00%
BN Mul Cycles	0	0	0.00%
KZG Eval Cycles	0	0	0.00%
EC Recover Cycles	0	0	0.00%
P256 Verify Cycles	0	0	0.00%

[ezdac]

Now the fetcher is put in a utils crate and is used by the range-eigenda program as well as in the eigenda-host