Hashing should be flat not recursive (CPP)

## Feature Request

**Description**
It’s also not clear how things like H(a,(b,c)) are handled. In any case, we need to clearly specify these things so that they can be matched by verifiers..

**Proposed Solution**
The simplest choice is to just flatten this, but I think that it may be done recursively as H(a,H(b,c)).

Issue không nêu tên tệp, test hoặc entry point nào. Trước tiên, hãy xác định các triển khai hashing và verifier, sau đó làm rõ liệu các đầu vào lồng nhau nên được làm phẳng hay được hashing đệ quy, và hành vi đó nên được đặc tả như thế nào. Công việc được xem là hoàn tất khi quy tắc hashing đã được thống nhất và được các verifier áp dụng nhất quán.

Do mô hình lập chỉ mục viết ra từ nội dung của issue.