I don't know the answer to this, but you might be interested in SR-14273: Byte Code Based Value Witnesses
1 Like
I don't know the answer to this, but you might be interested in SR-14273: Byte Code Based Value Witnesses