Remove proof details from x/sync

[alarso16]

Why this should be merged

Some of the manager attributes (e.g. hasher, tokenSize) really belong to the database. Additionally, the manager explicitly uses merkledb proof fields for range proof verification and finding the next key.

How this works

Moves range proof verification to a database method. The entire find next key functionality is also moved, with a subtle change to completeWorkItem. All the proto changes are related to the gRPC stuff in x/sync/g_db

How this was tested

Existing UT

Need to be documented in RELEASES.md?

No

[alarso16]

All changes this line and below are cut-and-paste from x/sync/manager.go

[alarso16]

All these tests that don't require the manager will be moved to a different package eventually

[Copilot]

Pull Request Overview

This PR moves proof verification and handling logic from the x/sync package to the x/merkledb package. The main purpose is to improve separation of concerns by moving database-specific operations closer to the database implementation and simplifying the sync manager interface.

• Removes database configuration attributes (hasher, tokenSize, BranchFactor) from sync manager and uses database methods instead
• Moves range proof verification and findNextKey functionality to database methods
• Updates proof marshaling to use binary format instead of protobuf in tests

Reviewed Changes

Copilot reviewed 7 out of 7 changed files in this pull request and generated 3 comments.

Show a summary per file

File	Description
x/sync/sync_test.go	Updates tests to call database methods directly instead of sync manager methods
x/sync/network_server_test.go	Changes proof marshaling from protobuf to binary format
x/sync/manager.go	Removes database configuration fields and moves proof handling to database
x/sync/client_test.go	Updates proof handling to use binary marshaling
x/merkledb/proof_test.go	Adds maxLength parameter to proof verification methods
x/merkledb/proof.go	Updates proof methods to use internal protobuf marshaling
x/merkledb/history_test.go	Adds maxLength parameter to verification calls
x/merkledb/db_test.go	Updates database tests with new return values from commit methods
x/merkledb/db.go	Implements proof verification and findNextKey methods in database
proto/sync/sync.proto	Removes unused gRPC service definitions and related messages
proto/pb/sync/sync.pb.go	Generated code reflecting protobuf changes

---

_{Tip: Customize your code reviews with copilot-instructions.md. Create the file or learn how to get started.}