assurances data: Wrong state merklization for storage (assurances, block 1_004)

[dakk]

Account storage for service 0 is encoded as "0x008100e4007a0019e6b29b0a65b9591762ce5143ed30d0261e5d24a320175250", while the formula is the following:

So, in theory, since 2**32-1 is 0xffffff and service id is 0x000000, the first bytes should to be 0x00ff00ff00ff00ff.

[sourabhniyogi]

Will post a derivation after a new update!

[sourabhniyogi]

We agree with your derivation, we still had some 0.4.x code around... will update!

ComputeC_sh(s=0, h=0xffffffff00000000000000000000000000000000000000000000000000000000)=00ff00ff00ff00ff000000000000000000000000000000000000000000000000

[dakk]

We agree with your derivation, we still had some 0.4.x code around... will update!

ComputeC_sh(s=0, h=0xffffffff00000000000000000000000000000000000000000000000000000000)=00ff00ff00ff00ff000000000000000000000000000000000000000000000000

I suspected it (y) You may find my tool jambiato useful in those situation; you can tag GP version/formula on your code, and check if there's something outdated: https://github.com/dakk/jambiato

[sourabhniyogi]

fixed in 0.6.2.4

[dakk]

This is still wrong in my opinion; this would be correct if "k" is a zero hash

[sourabhniyogi]

We have k as 00000000 here and padded to a zero hash.

SetServiceStorage(s=0, k=00000000, v=63803b10) C(s, concat(0xFFFFFFFF,k[0:28])=0xffffffff00000000000000000000000000000000000000000000000000000000)=00ff00ff00ff00ff000000000000000000000000000000000000000000000000

but I see we missed this hash so you are right..

[jaymansfield]

We have k as 00000000 here and padded to a zero hash.

SetServiceStorage(s=0, k=00000000, v=63803b10) C(s, concat(0xFFFFFFFF,k[0:28])=0xffffffff00000000000000000000000000000000000000000000000000000000)=00ff00ff00ff00ff000000000000000000000000000000000000000000000000

but I see we missed this hash so you are right..

I get a different value for k see #74 (comment)

[sourabhniyogi]

I get a different value for k see #74 (comment)

We are in agreement --
https://github.com/jam-duna/jamtestnet/blob/main/data/assurances/state_transitions/1_004.json#L206-L207