Indescribable encoding `Context.Proof_encoding.V2.Tree32.tree_proof_encoding`
If an encoding is used in a layer 1 operation, it needs to be 'describable' in order to appear in RPC calls and for the ./tezos-codec describe
command.
During development of SCORU proofs, the encoding Context.Proof_encoding.V2.Tree32.tree_proof_encoding
was discovered to be indescribable; any attempt to describe it will result in the describer entering an infinite loop and filling the RAM of the machine.
To reproduce, check out the branch https://gitlab.com/tezos/tezos/-/commits/thomas.athorne@indescribable-encoding and run:
make tezos-codec
./tezos-codec describe alpha.operation binary schema
The commit !5352 (77129cb4) has changes that essentially 'comment out' the offending encodings, and it should remove the hanging behaviour, showing that it's that specific encoding which is at fault.
Edited by Thomas Athorne