|
18 | 18 | em{font-style:italic} |
19 | 19 | </style> |
20 | 20 | <h1>#graypaper:polkadot.io</h1> |
21 | | -<p><small>last updated 2026-01-23 03:46 UTC</small></p> |
| 21 | +<p><small>last updated 2026-01-24 03:44 UTC</small></p> |
22 | 22 | <p><a href='room_log.txt'>⇩ plaintext</a> · <a href='../../'>⇦ all rooms</a></p> |
23 | 23 | <hr> |
24 | 24 | <div class='msg'><a class='ts' href='#$G0deSwnlYlCrSn5lIFL__hi6bgWVITql5VyahU4bzpI'>#</a> <a class='ts' name='$G0deSwnlYlCrSn5lIFL__hi6bgWVITql5VyahU4bzpI' href='https://matrix.to/#/!ddsEwXlCWnreEGuqXZ:polkadot.io/$G0deSwnlYlCrSn5lIFL__hi6bgWVITql5VyahU4bzpI' target='_blank'>2024-04-17 20:29</a> <span class='u' style='color:#da6aa2'>syed</span>: <a href="https://matrix.to/#/!hyzRkDqDthePbodYFz:parity.io/$f_DMsIEcDXZegw6Sabnehzc-LrdDQkmq5MbxDDyoZxY?via=parity.io&via=web3.foundation" rel="noopener" target="_blank">https://matrix.to/#/!hyzRkDqDthePbodYFz:parity.io/$f_DMsIEcDXZegw6Sabnehzc-LrdDQkmq5MbxDDyoZxY?via=parity.io&via=web3.foundation</a> |
@@ -7032,6 +7032,9 @@ <h1>#graypaper:polkadot.io</h1> |
7032 | 7032 | And how do you handle the case of e.g. an inner PVM having its initial instruction pointer set to an invalid value? Do you immediately panic when <code>invoke</code> is called without charging the inner PVM any gas?</div> |
7033 | 7033 | <div class='msg reply'><a class='ts' href='#$m1wMO6JT-onF1-BVO2dzAzceQyZ6zxM0uCG1WJldxSE'>#</a> <a class='ts' name='$m1wMO6JT-onF1-BVO2dzAzceQyZ6zxM0uCG1WJldxSE' href='https://matrix.to/#/!ddsEwXlCWnreEGuqXZ:polkadot.io/$m1wMO6JT-onF1-BVO2dzAzceQyZ6zxM0uCG1WJldxSE' target='_blank'>2026-01-20 04:22</a> <span class='u' style='color:#4036ac'>ascriv</span>: I am realising I implicitly assume at pvm start that the ic is at the beginning of a block, good point. No such assumption in gp <span class="edited">(edited)</span></div> |
7034 | 7034 | <div class='msg reply'><a class='ts' href='#$4oAXX3dm66kPebFAqZ5mww26AVpjugaq76DFkbvwPKE'>#</a> <a class='ts' name='$4oAXX3dm66kPebFAqZ5mww26AVpjugaq76DFkbvwPKE' href='https://matrix.to/#/!ddsEwXlCWnreEGuqXZ:polkadot.io/$4oAXX3dm66kPebFAqZ5mww26AVpjugaq76DFkbvwPKE' target='_blank'>2026-01-20 04:23</a> <span class='u' style='color:#da5c80'>jan</span>: Yeah, it doesn't necessarily have to be, although for jumps <em>within</em> the program this is enforced.</div> |
| 7035 | +<div class='msg reply'><a class='ts' href='#$wHFgVJxKxPGiyYdf9t4RSI9fRNy0K5z7WuU3YRDL3Zo'>#</a> <a class='ts' name='$wHFgVJxKxPGiyYdf9t4RSI9fRNy0K5z7WuU3YRDL3Zo' href='https://matrix.to/#/!ddsEwXlCWnreEGuqXZ:polkadot.io/$wHFgVJxKxPGiyYdf9t4RSI9fRNy0K5z7WuU3YRDL3Zo' target='_blank'>2026-01-20 04:31</a> <span class='u' style='color:#da5c80'>jan</span>: In any case, I'm not convinced adding a lookahead to fallthrough is necessarily the right way to go, but, hmm, _maybe_ it wouldn't be a bad idea to have a more general mechanism to immediately panic when the instruction pointer is not "valid", simply to remove the corner case of having zero gas and an invalid instruction pointer at the same time. <span class="edited">(edited)</span></div> |
| 7036 | +<div class='msg reply'><a class='ts' href='#$ZwEfWoe4FLkR2autHuXV3x0vyU12QMq-PZ_lBz3GtzE'>#</a> <a class='ts' name='$ZwEfWoe4FLkR2autHuXV3x0vyU12QMq-PZ_lBz3GtzE' href='https://matrix.to/#/!ddsEwXlCWnreEGuqXZ:polkadot.io/$ZwEfWoe4FLkR2autHuXV3x0vyU12QMq-PZ_lBz3GtzE' target='_blank'>2026-01-20 04:41</a> <span class='u' style='color:#4036ac'>ascriv</span>: Because we shouldn’t spend gas if the pointer is at a weird location?</div> |
| 7037 | +<div class='msg reply'><a class='ts' href='#$nwaBm6TFK5B_V6eb3T8jpKN-Tw_JaDhuroaKehHUgxA'>#</a> <a class='ts' name='$nwaBm6TFK5B_V6eb3T8jpKN-Tw_JaDhuroaKehHUgxA' href='https://matrix.to/#/!ddsEwXlCWnreEGuqXZ:polkadot.io/$nwaBm6TFK5B_V6eb3T8jpKN-Tw_JaDhuroaKehHUgxA' target='_blank'>2026-01-20 04:43</a> <span class='u' style='color:#da5c80'>jan</span>: Functionally I don't think there's anything wrong with it per se, but it is an obscure corner case that people might not necessarily handle correctly.</div> |
7035 | 7038 | <div class='msg reply'><a class='ts' href='#$jbN34S3M4RahFi_JUTuF562lemte9KqjrnNWZ5KgutY'>#</a> <a class='ts' name='$jbN34S3M4RahFi_JUTuF562lemte9KqjrnNWZ5KgutY' href='https://matrix.to/#/!ddsEwXlCWnreEGuqXZ:polkadot.io/$jbN34S3M4RahFi_JUTuF562lemte9KqjrnNWZ5KgutY' target='_blank'>2026-01-20 04:46</a> <span class='u' style='color:#4036ac'>ascriv</span>: In any case I think we need more “weird pvm stuff” in test cases </div> |
7036 | 7039 | <div class='msg reply'><a class='ts' href='#$4U2_YUh4XDN2WPuYVpKd2K_nzH23kEiAAFp7XUyHn0o'>#</a> <a class='ts' name='$4U2_YUh4XDN2WPuYVpKd2K_nzH23kEiAAFp7XUyHn0o' href='https://matrix.to/#/!ddsEwXlCWnreEGuqXZ:polkadot.io/$4U2_YUh4XDN2WPuYVpKd2K_nzH23kEiAAFp7XUyHn0o' target='_blank'>2026-01-20 04:46</a> <span class='u' style='color:#da5c80'>jan</span>: Yes.</div> |
7037 | 7040 | <div class='msg reply'><a class='ts' href='#$71GlihAo5MHFRMhnMEDlnjDPoCMwJC0m5bbV7DxOHyo'>#</a> <a class='ts' name='$71GlihAo5MHFRMhnMEDlnjDPoCMwJC0m5bbV7DxOHyo' href='https://matrix.to/#/!ddsEwXlCWnreEGuqXZ:polkadot.io/$71GlihAo5MHFRMhnMEDlnjDPoCMwJC0m5bbV7DxOHyo' target='_blank'>2026-01-20 04:47</a> <span class='u' style='color:#da5c80'>jan</span>: The new test vector format that will come with the new gas cost model will make it possible to test more of such corner cases.</div> |
0 commit comments