STR-1331 Optimistic Fulfiller Duties Execution (#137)

* make connector k fields private, remove unused field

* remove connector_k from ClaimTx::finalize arguments

* wip

* fix: remove unused vars/args

* feat/refactor(duty-tracker): add executor to handle withdrawal fulfillment; refactor executors into separate module

* fix(s2): return bitvm::wots::Signature instead of flattened bytes

* fix(stake-chain): update docs on OPERATOR_FUNDS

* refactor(duty-tracker): add a constants module for order of pks from s2

* feat(duty-tracker): handle duty to broadcast claim

* refactor(tx-graph): make connectors a part of PayoutOptimisticTx

* feat(duty-tracker): handle broadcasting payout optimistic tx

* refactor(tx-graph): use array of sigs for finalizing PayoutOptimisticTx

* chore(duty-tracker): fix typo

* refactor(duty-tracker): move executors to a separate module

* fix(duty-tracker): fix rebase issues

* chore(docker,dev-cli): update params to match strata

* feat(docker): automine blocks

* feat(tx-graph,connectors): cache full disprove scripts per graph gen

* chore(deps): update strata

* fix(operator-wallet): do not shuffle outputs in pre-stake tx

* fix(duty-tracker): verify checkpoint sig during validation

* feat(duty-tracker): impl Display for OperatorDuty

* fix(duty-tracker): allow higher states when processing lower ones

* fix(duty-tracker): restore current state upon error

* chore(duty-tracker): filter out empty duties to reduce noise in logs

* chore(duty-tracker): add extra logging when processing assignments

* fix(duty-tracker): use the correct pre-image and key in stake tx finalization

* fix(duty-tracker): use the right construction and funds for withdrawal fulfillment

* refactor(tx-graph): embed input amounts during tx construction

* refactor(tx-graph): make input counts pub

* fix(executors): use the right seed for wots

* refactor(executors): extract partials from state during graph settlement

* chore(duty-tracker): increase log level for s2 session events

* fix(duty-tracker): emit FulfillWithdrawal only after StakeTxReady

* fix(duty-tracker): use correct or_else semantics for path bifurcation

* fix(duty-tracker): check not only presense of all nonces/sigs but also all graphs

* fix(duty-tracker): handle more possible states in assignment stf

* fix(duty-tracker): handle more possible states in stake confirmation stf

* fix(duty-tracker): handle more possible states in fulfillment confirmation stf

* fix(duty-tracker): handle more possible states in claim confirmation stf

* refactor(stake-chain)!: only compute the sighash just in time

* fix(db): do not replace existing entry in stake table

* fix(executors): only update persistence in the event loop

* refactor(docker): use host dns instead of IPS for flexibility

* fix(duty-tracker): update call after rebase

* chore(duty-tracker): increase log level for graph building

* chore(connectors): log time to generate full scripts

* chore(deps): update bitvm to optimized version

* chore(docker): remove certs

* fix(bridge-proof): update tests with new data and updated tx structures

* chore: ignore bak and pem files from codespell check

* docs(agent): update documentation on interop field

* fxi(duty-tracker): update test data for checkpoint predicate

* refactor(csm): get deposit_txid directly

* fix(csm): assert that the input amount must be greater than 0

* refactor(predicates): simplify serialization error check

* chore(csm): increase log level

* refactor(contract-manager): remove redundant call to `into_iter`

* revert(csm): restore or_else semantics but restore state upon error

* refactor(contract-manager): remove redundant contract counter

* refactor(executors): clarify where VOUT comes from

* refactor(duty-tracker): move constants to inside executors module

* fix: address review comments

* refactor(stake-chain): overhaul stake tx api

* fix(docker): set BRIDGE_DENOMINATION to 10 btc

* chore(docker): reduce nag_interval and bury_depth

* feat(duty-tracker): make multi-threaded graph gen opt-in

* refactor(contract-manager): do not commit stake data upon every assignment

* chore(persister): add log when persisting stake chain data

* docs(tx-driver): update doc after removing deadline param

* chore(csm): plant flags where bodies are buried

* fix(dev-cli): update agg key to match params

* feat(csm): use macro to cache pog

* chore(persister): log more errors

* chore: address reviews

* refactor(stake-chain): add hash field in StakeTx to simplify advancement

* fix: remove redundant refs after rebase

---------

Co-authored-by: Keagan McClelland <[email protected]>

Author: Rajil1213

.codespellrc

@@ -1,3 +1,3 @@
 [codespell]
-skip = .git,target,Cargo.toml,Cargo.lock,mutants*,./bin/assert-splitter/src/chunker_primitives.rs,*.bin,*.borsh,seed
+skip = .git,target,Cargo.toml,Cargo.lock,mutants*,./bin/assert-splitter/src/chunker_primitives.rs,*.bin,*.borsh,seed,*.pem,*.bak
 ignore-words-list = crate,ser,ment,groth