Trustless partial contract state query

[ple1n]

Suppose we have a contract that contains a merkle tree of name-hash mapping, and it requires the merkle tree to be signed by a hardcoded publickey. It's possible to query this state remotely from another peer.

The peer responds with the answer along with a zk-proof proving that (1) the peer's state is valid, (2) the answer is part of the state by proof of merkle inclusion.

Otherwise the local node has to fetch the entire state and verify it locally before querying a single thing. Alternatively the peer can fetch the answer along with the signature and merkle path, which Locutus does not support either. (ZKP for that seems like a bad example.)

It's one of the edge cases that Locutus can not handle. Probably requires some custom code as I am not sure whether Locutus is responsible for it.