Add D to chain specs - assurances/3_002

[jaymansfield]

DEBUG[03-03|12:53:34.579] 334: PC 1962 LOAD_IMM                    g=9081 pvmHash=7aa9..78e2 reg="[8 4278056040 0 256 0 4278058975 2953942612 4278056088 3 4278056408 8 4278056408 0]"
DEBUG[03-03|12:53:34.579] 335: PC 1965 ECALLI                      g=9081 pvmHash=7aa9..78e2 reg="[8 4278056040 0 256 0 4278058975 2953942612 4278056088 3 4278056408 8 4278056408 0]"
DEBUG[03-03|12:53:34.579] QUERY chargeGas                          gasCharged=10  beforeGas=9081 afterGas=9071
DEBUG[03-03|12:53:34.580] QUERY OK                                 h=0x6a0d4a19d199505713fc65f531038e73f1d885645632c8ae503c4f0c4d5e19a7 z=3 w7=150,323,855,362 w8=38              len(anchor_timeslot)=2
DEBUG[03-03|12:53:34.580] 335: PC 1967 ECALLI COMPLETE             g=9071 reg="[8 4278056040 0 256 0 4278058975 2953942612 150323855362 38 4278056408 8 4278056408 0]"

I have a different result for this host call.

Input hash: 0x6a0d4a19d199505713fc65f531038e73f1d885645632c8ae503c4f0c4d5e19a7
Input length: 3

Pre-state value for this hash:

s=2953942612|h=0x6a0d4a19d199505713fc65f531038e73f1d885645632c8ae503c4f0c4d5e19a7 l=3|t=[29 31 35] tlen=3

Your results:
w7=150,323,855,362
w8=38

My results:

w7=3 +(2^32)x
w7=3 +(2^32)(29)
w7=3 + (4294967296)(29)
w7=124554051587

w8=y+(2^32)z
w8=31+(2^32)(35)
w8=31+(4294967296)(35)
w8=150323855391

[sourabhniyogi]

w7=150,323,855,362
w8=38

After the "FORGET" host call the prestate [29 31 35] becomes [35 38], around here:

DEBUG[03-03|12:53:34.578] 324: PC 1929 ECALLI                      g=9101 pvmHash=0270..948d reg="[8 4278056040 0 256 0 4278058975 2953942612 4278056088 3 0 4278056408 4278056408 0]"
DEBUG[03-03|12:53:34.578] FORGET chargeGas                         gasCharged=10  beforeGas=9101 afterGas=9091
DEBUG[03-03|12:53:34.579] FORGET OK                                h=0x6a0d4a19d199505713fc65f531038e73f1d885645632c8ae503c4f0c4d5e19a7 z=3 newvalue="[35 38]"
DEBUG[03-03|12:53:34.579] 324: PC 1931 ECALLI COMPLETE             g=9091 reg="[8 4278056040 0 256 0 4278058975 2953942612 0 3 0 4278056408 4278056408 0]"

0.6.3 is clear here about a length 3 becoming length 2 here:

Thus the query results demand x=35, y=38 here:

w7 = 2+(2^32) x   =150,323,855,362
w8 = y = 38

[jaymansfield]

What value do you use for constant D?

"y < t - D" is false for me.

y=31
t=38
D=28800

Becomes 31 < -28762

[sourabhniyogi]

Ah thats the problem, I forgot to put the D I wanted for tiny/small/medium/large to enable forget to not take 4 hours but like 40 seconds or something like that to enable forget to be testable.

Will add it to tiny/small/medium/large chain specs as preimages are pretty important to test.

I had D as 0 actually to force a forget but didn't really think about updating the chain specs and intended to keep going with both sides of D in later fibs.

Let me suggest something more precise so that solicit/forget can be tested within a minute in a fib update.

[sourabhniyogi]

Added a new D to the chainspecs.json -- its very low, only 6 right now for tiny. But, this enables "fast" forget