* chore: support contract verification for fp (succinctlabs#555)

* feat: validate agg (succinctlabs#552)

* test: improve e2e testing with anvil (succinctlabs#549)

* ci: add link + spell checker (succinctlabs#564)

* ci: add link + spell checker

* ci: remove recursive submodules checkout

* docs: use different link for spn

* feat: Add comprehensive logging for range and aggregation proof requests (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 (succinctlabs#554)

* chore: bump kona

* refac: avoid allocations when handling input

* refac: avoid alloc + clone

* chore: nits

* feat: prove task improvements (succinctlabs#558)

* feat: add game prove metrics

* feat: add fast finality proving limit

* chore: nit fixes

* feat: improve fault proof (succinctlabs#563)

* 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 (succinctlabs#561)

* 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

* chore: pin nightly rust toolchain (succinctlabs#580)

* dummy

* pin nightly version

* feat: audit fix (succinctlabs#575)

* 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: unify binary name for celestia docker image (succinctlabs#577)

* feat: improve op-succinct-lite (succinctlabs#583)

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

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

* fix: use end exclusive range (succinctlabs#585)

* 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

* chore: bump hana (succinctlabs#578)

* feat: add cycles + prover gas metrics (succinctlabs#579)

* feat: add cycles + prover gas metrics

Also improved logging for better vis and debugging.

* chore: make fmt happy

* chore: apply comments

* docs: update spn usage (succinctlabs#592)

* docs: make update parameters flow more clear (succinctlabs#590)

* fix

* doc nits

* fix: kzg verification 3.1.0 (succinctlabs#594)

* fix

* refresh gh

* chore: range proof insertion log to debug

* docs: L2 node latency + cleanup (succinctlabs#598)

* add dev section to readme

* doc pass

* chore: bump to op-contracts v3.0.0 (succinctlabs#600)

* test: fix e2e test (succinctlabs#605)

* fix(validity): request deadline (succinctlabs#604)

* fix(validity): request deadline

* fix(fault-proof): request deadline

* fix: add 1T gas limit

The DEFAULT_GAS_LIMIT is 1B.

* fix: add 4h timeout to agg proof request as well

---------

Co-authored-by: fakedev9999 <taehoon@succinct.xyz>

* feat: add op-celestia-indexer to docker compose (succinctlabs#601)

* docs: add missing CELESTIA_INDEXER_RPC

* feat: add op-celestia-indexer to docker compose

* docs: update docs

* fix healthcheck

* docs: add warning for proof window

* docs: udpate start l1 block and op-celestia-indexer

* fix(contracts): upgrade, missing proxy in calldata for proxy admin managed instance (not naked proxies) (succinctlabs#606)

* fix(contracts): upgrade, missing proxy in calldata for proxy admin managed instance (not naked proxies)

* chore: forge fmt

* refac(contracts): use abi.encodeCall

---------

Co-authored-by: emiliano-conduitxyz <emiliano@conduit.xyz>

* feat: support eigenda (succinctlabs#572)

* feat: support eigenda

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

* ci: install sp1 toolchain

* chore: bump elfs

* fix: write proof to stdin for proof agg

* fix: bump hokulea + hardcoded vkey + defer verification

* fmt

* bump elfs

* feat: docker for eigenda

* refac: extract proof bytes from witness data

* refac: remove executor placeholder

* chore: download srs from proxy image

* docs: add eigenda docs

* chore: bump hokulea

* make ci green

* skip canoe proof generation

* chore: bump hokulea

* bump hokulea to support mock mode for sp1-cc proving

* fix: reduce RPC concurrency to prevent rate limit errors (succinctlabs#608)

* chore: remove unused code

* fix: reduce RPC concurrency to prevent rate limit errors

* chore: bump hana to v1.0.0 (succinctlabs#612)

* chore: add missing eigenda flag (succinctlabs#610)

* Fix issues noticed by bugbot

* Update ELF files

* Fix contract deployment.

* Cleanup.

* Revert switch out of CeloSingleChainHost

* Remove commented out line

* Fix formatting

---------

Co-authored-by: fakedev9999 <taehoon@succinct.xyz>
Co-authored-by: Yuwen Zhang <7747842+yuwen01@users.noreply.github.com>
Co-authored-by: SHIVAM SHARMA <shivam691999@gmail.com>
Co-authored-by: Ernesto Ramirez <78889960+0xernesto@users.noreply.github.com>
Co-authored-by: Chris T. <ctian.2001@gmail.com>
Co-authored-by: emiliano-conduitxyz <emiliano@conduit.xyz>
Co-authored-by: Mc01 <marcin.majchrzak@clabs.co>
Co-authored-by: Piers Powlesland <pierspowlesland@gmail.com>