* ci: add link + spell checker

* ci: remove recursive submodules checkout

* docs: use different link for spn

…sts (succinctlabs#560)

* add : essential logs for range+agg proofs

* chg : if/else into match

---------

Co-authored-by: Yuwen Zhang <7747842+yuwen01@users.noreply.github.com>

* chore: bump kona

* refac: avoid allocations when handling input

* refac: avoid alloc + clone

* chore: nits

* feat: add game prove metrics

* feat: add fast finality proving limit

* chore: nit fixes

* feat: improve game resolution

* feat(fault-proof): separate bond claiming by mode

* docs: fix typo

* feat: set jemalloc as global allocator

* feat: update to support celestia indexer changes

See celestiaorg/optimism#502.
Now handles batcher that switch between DA layers.

* chore: fix logger init

* chore: bump hana for v4 compatibility

* chore: bump celestia range elf

* dummy

* pin nightly version

* tests pass, fixes in

* proposer is running locally

* fix test, still broken though

* more detailed error

* jank proxy

* wrapper solution instead

* cleanup

* fix silly errors;

* tweak forge test

* docs for dgfProposeL2Output;

* spot=false

* bump elf

* nits + docs

* add audit + pin nightly toolchain

* chore: add features support to deploy-fdg-contracts in justfile

* feat(contracts): add missing getters for public values

* fix: end exclusive range

See https://docs.celestia.org/how-to-guides/blobstream-proof-queries.

* refactor(scripts): host method for starting block

* refac: handle when None returned

* change for fetch-l2oo-config as well

Bumps sp1, hana, hokulea for kona-client/v1.0.2 with MSRV 1.86.

…seolaoh/test-2

# Conflicts:
#	.github/workflows/ci.yaml
#	.github/workflows/elf.yml
#	.github/workflows/integration-tests.yml
#	Cargo.lock
#	Cargo.toml
#	book/advanced/verify-binaries.md
#	elf/aggregation-elf
#	elf/celestia-range-elf-embedded
#	elf/eigenda-range-elf-embedded
#	elf/range-elf-bump
#	elf/range-elf-embedded
#	fault-proof/Cargo.toml
#	fault-proof/bin/challenger.rs
#	fault-proof/bin/proposer.rs
#	fault-proof/src/challenger.rs
#	fault-proof/src/config.rs
#	fault-proof/src/lib.rs
#	fault-proof/tests/common/process.rs
#	rust-toolchain.toml
#	scripts/utils/bin/fetch_fault_dispute_game_config.rs
#	scripts/utils/bin/fetch_l2oo_config.rs
#	utils/build/src/lib.rs
#	utils/client/src/client.rs
#	utils/client/src/precompiles/mod.rs
#	utils/eigenda/client/Cargo.toml
#	utils/eigenda/client/src/executor.rs
#	utils/eigenda/host/Cargo.toml
#	utils/eigenda/host/src/host.rs
#	utils/eigenda/host/src/witness_generator.rs
#	utils/host/src/host.rs

- canoe multi-DAcert optimization
- bumped sp1 to v5
- fixed the SRS error (resolves error with large batch)