Proposal to Enhance Aggregation Example with Merkle Tree Commitment

[yhassanzadeh13]

Hello, team!

I’m interested in addressing the TODO in the aggregation example, specifically around committing to the verified proofs in a Merkle tree.

    // TODO: Do something interesting with the proofs here.
    //
    // For example, commit to the verified proofs in a merkle tree. For now, we'll just commit to
    // all the (vkey, input) pairs.

• Before proceeding, I'd like to confirm whether the team would welcome a contribution addressing this TODO in this example.
• There are some open-source implementations of Merkle trees (e.g., https://crates.io/crates/merkle). Would the team recommend using an existing library or implementing a custom solution specific to this example?
• If a custom implementation is preferred, where would you recommend placing the Merkle tree code within the project structure?

Thank you!

[nhtyy]

Thank you for the suggestion and interest, however the aggregation example is meant to be minimal to only show off the intended functionality (ie. proving SP1 within SP1)

Closing as not planned, but in terms of zk-optimized merkle trees I think this is pretty cool https://github.com/cspr-rad/kairos-trie