feat(protocol): enable shasta fork

[smtmfft]

close #628 and open a new one to merge main

[Copilot]

Pull request overview

This PR enables the Shasta fork in the protocol by adding comprehensive support for Shasta proposals, including new task descriptors, request handling, proof generation, and aggregation capabilities across multiple proof systems (SP1, RISC0, SGX).

Key Changes:

• Added Shasta-specific task descriptors and request types for guest input generation and proof generation
• Implemented Shasta proposal processing with new aggregation workflows
• Extended proof system support (SP1, RISC0, SGX) to handle Shasta aggregation
• Updated build and deployment scripts to support Shasta image IDs and configuration

Reviewed changes

Copilot reviewed 94 out of 104 changed files in this pull request and generated no comments.

Show a summary per file

File	Description
taskdb/src/lib.rs	Added ShastaGuestInputTaskDescriptor and ShastaProofTaskDescriptor enums
script/update_imageid.sh	Added extraction and handling for Shasta aggregation image IDs
script/update_env.sh	Added SGX instance ID configuration for Shasta fork
script/test_aggregation_priority.py	Updated default test parameters for event contract and block numbers
script/stress_shasta_proposal.py	New comprehensive stress testing script for Shasta proposals
script/stress_batch.py	Updated example command with new contract address
script/shasta_event_decoder.py	New decoder implementation for Shasta event data structures
script/setup-bonsai.sh	Updated verifier addresses and added boundless agent URL
script/publish-image.sh	Added Cargo project root detection logic
script/prove-shasta.sh	New script for Shasta proof generation
script/build.sh	Disabled legacy SGX MRENCLAVE update logic
script/IInbox.json	New ABI file for Shasta inbox contract interface
reqpool/src/request.rs	Added Shasta request types and removed PartialOrd/Ord traits from Status
reqpool/src/lib.rs	Changed to wildcard export for all request types
reqactor/src/backend.rs	Added backend processing for Shasta guest input and proof generation
reqactor/src/actor.rs	Added test helpers for Shasta request validation
reqactor/Cargo.toml	Added env_logger dev dependency
provers/sp1/guest/src/shasta_aggregation.rs	New SP1 guest program for Shasta aggregation
provers/sp1/guest/Cargo.toml	Added shasta-aggregation binary and updated reth-primitives branch
provers/sp1/driver/src/lib.rs	Implemented shasta_aggregate method for SP1 prover
provers/sp1/builder/src/main.rs	Added sp1-shasta-aggregation to build pipeline
provers/sgx/prover/src/sgx_register_utils.rs	Fixed query call error handling
provers/sgx/prover/src/remote_prover.rs	Added shasta_aggregate support and improved error messages
provers/sgx/prover/src/local_prover.rs	Implemented local Shasta aggregation for SGX
provers/sgx/prover/src/lib.rs	Added shasta_aggregate method to SGX prover trait
provers/sgx/guest/src/sgx_server.rs	Added Shasta aggregation endpoint and dynamic instance ID lookup
provers/sgx/guest/src/one_shot.rs	Implemented shasta_aggregate verification logic
provers/sgx/guest/src/main.rs	Added ShastaAggregate command
provers/sgx/guest/src/app_args.rs	Changed instance ID to per-fork map configuration
provers/sgx/config/sgx-guest.local.manifest.template	Added DEV_SHASTA_HEIGHT environment variable
provers/risc0/guest/src/shasta_aggregation.rs	New RISC0 guest program for Shasta aggregation
provers/risc0/guest/src/boundless_shasta_aggregation.rs	Boundless-style Shasta aggregation implementation
provers/risc0/guest/src/boundless_batch.rs	New boundless batch verification program
provers/risc0/guest/src/boundless_agg.rs	New boundless aggregation program
provers/risc0/guest/Cargo.toml	Added new binary targets and dependencies
lib/src/manifest/mod.rs	New manifest module for types and codec

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.