Merge pull request #13500 from supermassive/patch-2

Fix dynamic array spec
This commit is contained in:
Daniel Kirchner 2022-09-09 17:07:46 +02:00 committed by GitHub
commit 34be07b37a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -191,9 +191,9 @@ on the type of ``X`` being
- ``T[]`` where ``X`` has ``k`` elements (``k`` is assumed to be of type ``uint256``):
``enc(X) = enc(k) enc([X[0], ..., X[k-1]])``
``enc(X) = enc(k) enc((X[0], ..., X[k-1]))``
i.e. it is encoded as if it were an array of static size ``k``, prefixed with
i.e. it is encoded as if it were a tuple with ``k`` elements of the same type (resp. an array of static size ``k``), prefixed with
the number of elements.
- ``bytes``, of length ``k`` (which is assumed to be of type ``uint256``):