WEB3-239: Add aggregation support via RISC-V set builder guest

[nategraf]

This PR brings a generic mechanism for receipt aggregation using keccak Merkle tree hashing for efficient on-chain verification. It was developed as a basic aggregation method in support of Boundless, and is complimentary to the upcoming work on aggregation based on the RISC Zero recursion circuit.

This code was developed in the Boundless repository and is being moved into this repository as it's longer-term home.

Closes BM-112

[linear[bot]]

BM-112 Move extensions to the verifier contract into risc0-ethereum

[nategraf]

The doc job failure is weird. Running forge doc locally does not give me any errors https://github.com/risc0/risc0-ethereum/actions/runs/12002223847/job/33453867219?pr=336

[nategraf]

The e2e test job is failing with an error related to CUDA. It seems like the install process of cargo-risczero and r0vm using cargo-install is not working, but I am not sure why yet.

thread 'main' panicked at risc0/circuit/recursion/src/cuda.rs:165:14: called Result::unwrap() on an Err value: cudaLaunchKernelEx(&config, kernel, std::forward(args)...)@/opt/actions-runner/_work/risc0-ethereum/risc0-ethereum/tmp/risc0/risc0/sys/kernels/zkp/cuda/cuda.h:92 failed: "named symbol not found"

https://github.com/risc0/risc0-ethereum/actions/runs/12002223839/job/33453867235?pr=336

[Wollac]

The e2e test job is failing with an error related to CUDA. It seems like the install process of cargo-risczero and r0vm using cargo-install is not working, but I am not sure why yet.

Other branches and PRs are now also suddenly failing with the same CUDA err, I believe this is an risc0 upstream error and can be safely ignored here for now