CBOR Metadata is not supported in the Bytecode circuit

[oclaw]

By default solidity compiler adds to the binary representation of the bytecode CBOR-encoded metadata: https://docs.soliditylang.org/en/latest/metadata.html

Expected behavior: circuit ignores this bytecode part or supports constraints for it
Actual behavior: circuit tries to treat this metadata as the code part and satisfiability check breaks.

Workaround: pass to circuit contracts compiled with --no-cbor-metadata option

[ETatuzova]

It is not a bug. It's a problem.

Final bytecode circuit design depends on non-implemented and non-designed transaction circuit and MPT trie design. Bytecode hash is a part of account's state -- i.e. is a part of account MPT trie, and it is also used in transaction hash.

But what exactly bytecode hash is used (with metadata or not, what hash function is used) and how exactly bytecode hash used depends on cluster architecture. IFinal circuit design also depends on it. When we will have its description, we'll finalize bytecode circuit according to it.

[oclaw]

Ok. Anyway it needs to be addressed somehow, so will keep the issue