EigenLayer Native Restaking & Slashing AVS

Timber WolfPROTOCOL LEAD

Actively Validated Service with Consensus Merkle Roots & Slashing Conditions

🛡️Audit Rig

Protocol Files1 Files

EVM Primitives

▸SSZ Beacon Chain State Root Merkle Proof Verification
▸BLS12-381 Aggregate Signature Pairing Checks
▸Operator Quorum Stake Weighting
▸Slashing Registry Freezing Delays

🐺Restaking & AVS Architect

Pass the invariant fuzz suite to unlock a Soulbound NFT mint in Prüfstand.

Architecture Blueprint

StrategyManager holds restaked LSTs/ETH. ServiceManager coordinates task generation, BLS quorum signature aggregation, and fraud proof challenges.

1. Caller ➔ [Entry Call] ➔ ZehnAVSServiceManager.sol

2. Execute protocol-defined state transition

3. Verify invariants hold post-transition

Protocol Files1 Files

EVM Primitives

▸SSZ Beacon Chain State Root Merkle Proof Verification
▸BLS12-381 Aggregate Signature Pairing Checks
▸Operator Quorum Stake Weighting
▸Slashing Registry Freezing Delays

🐺Restaking & AVS Architect

Pass the invariant fuzz suite to unlock a Soulbound NFT mint in Prüfstand.

Architecture Blueprint

StrategyManager holds restaked LSTs/ETH. ServiceManager coordinates task generation, BLS quorum signature aggregation, and fraud proof challenges.

1. Caller ➔ [Entry Call] ➔ ZehnAVSServiceManager.sol

2. Execute protocol-defined state transition

3. Verify invariants hold post-transition

Solidity 0.8.28Prague EVMFoundry Native

UTF-8src/ZehnAVSServiceManager.sol

Ready · Press Ctrl+Enter

⚠️No automated Forge test suite has been authored for this capstone yet — compiling and running an invariant suite isn't available until one exists. You can still edit and compile the protocol files.

🔒

🛡️Protected Zone · Sign In Required

Pioneer Sign-In Required for Capstone Workspace

Guests can explore the curriculum roadmap on the landing page, but you must select an account to edit protocol files, compile multi-contract architectures, and run invariant test suites.

← Return to Curriculum Map🔒 Secure EVM Platform