tracking(holesky): smart contracts

[merklefruit]

Validator registry contract

Beta Give feedback

1. Redesign registry with Validator authentication (BoltValidators) and Bolt-specific logic (BoltManager)
2. Add the ability to authenticate with BLS + SSZ proofs (deprecated) as a validator
3. Add ability to register by simply saving the public keys in a mapping (with no BLS or SSZ checks)
4. Add unit tests
5. Add extensive documentation & registration guide

Restaking integrations: Symbiotic

Beta Give feedback

1. Understand symbiotic abstractions to support external restaked collateral
2. Add basic support for symbiotic vaults & operators
3. Add opt-in logic & stake flow
4. Add opt-out logic & unstake flow -> mostly left to Symbiotic vaults
5. Add slashing flow
6. Test symbiotic integration with BoltManager via unit tests
7. Add unit tests with Symbiotic's foundry fixture
8. Add extensive documentation and integration guide

Restaking integrations: Eigenlayer

Beta Give feedback

1. Understand Eigenlayer abstractions and how they differ from Symbiotic
2. Add basic support for eigenlayer pods & operators
3. Add opt-in logic & stake flow
4. Add opt-out logic & unstake flow
5. Add slashing flow
6. Test eigenlayer integration via unit tests
7. Add unit tests with Eigenlayer's foundry fixture
8. Add extensive documentation and integration guide

Restaking integrations: Proxy + Adapters

Beta Give feedback

1. Design a restaking interface abstraction to remove logic in BoltManager and add any restaking support behind adapter proxy contracts
2. Implement a generic restaking interface
3. Implement the Symbiotic protocol logic by porting it over from BoltManager
4. Implement the Eigenlayer protocol logic by porting it over from BoltManager

Challenger

Beta Give feedback

1. decide if we should do a clean rewrite or use the existing old impl
2. Spike out what removing Relic entails (ref Remove contract dependencies #36)
3. Rewrite challenge resolution logic with MPT proofs
4. Remove contract dependencies #36
   C: smart-contracts T: discussion +2
   
5. add challenge opening unit tests
6. add challenge resolution happy case tests
7. add challenge resolution pathological case tests

Extra

• A further iteration of the registry contract will include a proxy design with Root+Sub registries to handle protocol-specific opt-ins. This is out of scope for the current cycle.
• [blocked - Pectra A] feat(contracts): implement EIP-2935 #237
• feat(contracts): add ChainSpec to BeaconChainUtils #233

Meta

• Commitment registry #95
• Integrate new registry #196
• Challenger implementation V1 #199 On-chain proof challenge game for commitment verification #16