EvaluateTx doesnt seem to take creation of script context into consideration

[grim-i-am]

Salut Matthias,

The Execution Unit values returned by EvaluateTx for my typed minting policy script do not compensate for the creation of the script context for my transaction with 1 input and 3 outputs.

The "raw" execution units for my plutus script are { mem: 640976, steps: 278795843 }

Submitting a transaction with one input and 3 outputs failed leading me to create this cardano node issue, on which you and I had a discussion.

So I'm implementing Ogmios to with the intention of calculating the proper execution units, however EvaluateTx is giving me the same values as above.

{
   "type": "jsonwsp/response",
   "version": "1.0",
   "servicename": "ogmios",
   "methodname": "EvaluateTx",
   "result": {
      "EvaluationResult": {
         "mint:0": {
            "memory": 640976,
            "steps": 278795843
         }
      }
   },
   "reflection": null
}

I am definitely evaluating the final and complete transaction.

Thanks for any feedback.

[KtorZ]

Hey!

That you get the same result as with the cardano-cli is fully expected (and reassuring!), because it uses the same underlying functions. So, we may not fully exclude the possibility of a bug in the evaluator.

Are you able to:

(a) share the precise different steps you do between transaction evaluation and the actual submission
(b) share one example of transactions that you're submitting, the base16-encoded CBOR.

[KtorZ]

Do you also have the transaction that you successful evaluate but fail to submit ?

[grim-i-am]

I didn't build the transaction with the result from evaluate as I knew that it would fail. The ex units returned by evaluate have the same values that I was using when I created the cardano-node issue.

If you need it I can recreate that tx

[grim-i-am]

Actually, here you go.

84a80081825820c013e2f662f0f0086cc7254049db3d835005687f450ce0b52443a37e0dbf3dfb0201838258390068470239c81b85f9fe14c7e2adc1c3109869b7089301eabad35de3404bbb5e680691f653159e437c187c34847021af4b77032dba639ba5f01a02faf080825839004b6456db55fb5d6e47e0364f393ab35c485d5607dbb52a823eb479bd3364099b29fdcddccaaf1dc41b084696b01f57305c5da62762df4f05821a00150bd0a1581c49c27c6bc106c212a861f17d59a0349f4bc0d3980065ebe3cf411c17a149494e56414445525a3001825839004b6456db55fb5d6e47e0364f393ab35c485d5607dbb52a823eb479bd3364099b29fdcddccaaf1dc41b084696b01f57305c5da62762df4f051a1ecc3b0c021a000679bf075820c9abcc20d61d48fbfe293e8177c2a0f8b7e4f77f2fa871cb57fb45f5dfe03ee609a1581c49c27c6bc106c212a861f17d59a0349f4bc0d3980065ebe3cf411c17a149494e56414445525a30010b5820e5e8c7b06915ff4bac9cbdebc44e55e8a9a2ee18d8574769066e7375ac1b37950d81825820adda93595b7e39d4a7c6721c161e9440c03a7e626b9fa7ffc22f032a7e80106c000e81581c18a96db6fd623524cb4520c735c5a91c0759c32ef3563e58335f07f4a400828258200a2c7e5d83d03d219a4f2b587598c85ef2e87b9ab922a200fac70377c794b5605840119653fc5b35f12f2a9c921a294cddf4dfac3f28193cb5b9ef15eafe258246c79d04d260f5d4688af25208b58fedc79b5ffb66400411f65d98a39d65394899098258202cc5602a938855a006b6c8b900638bc004762de0161511d0d1f4d090cf09bb7158407d9fffa8002e44f668d25ca236edac3508eecaa090997dbf9a231a1d2fedfd5eb6209d25473dfbac3f34b6e37ae01b4ac81d2dc0288c2b8b0076604634a1ed0a0381590904590901010000332332233322232332233223232323332223233322232333333332222222232333222323333222232323322323332223232323322332232323333322222332233223322332233223322332223003300200122232325335302d3300530410043333573466e1cd55cea8012400046601064646464646464646464646666ae68cdc39aab9d500a480008cccccccccc058cd40908c8c8cccd5cd19b8735573aa004900011980e181a1aba150023029357426ae8940088d4150d4c154cd5ce249035054310005649926135573ca00226ea8004d5d0a80519a8120129aba150093335502b75ca0546ae854020ccd540add728151aba1500733502403d35742a00c66a04866aa09e08ceb4d5d0a8029919191999ab9a3370e6aae7540092000233501e3232323333573466e1cd55cea80124000466a04c66a078eb4d5d0a80118209aba135744a00446a0b06a60b266ae712401035054310005a49926135573ca00226ea8004d5d0a8011919191999ab9a3370e6aae7540092000233502433503c75a6ae854008c104d5d09aba250022350583530593357389201035054310005a49926135573ca00226ea8004d5d09aba250022350543530553357389201035054310005649926135573ca00226ea8004d5d0a80219a8123ae35742a00666a04866aa09eeb8138d5d0a80118199aba135744a00446a0a06a60a266ae712401035054310005249926135744a00226ae8940044d5d1280089aba25001135744a00226ae8940044d5d1280089aba25001135573ca00226ea8004d5d0a8011919191999ab9a3370ea00290031180d981a9aba135573ca00646666ae68cdc3a8012400846034607e6ae84d55cf280211999ab9a3370ea00690011180d18151aba135573ca00a46666ae68cdc3a802240004603a6eb8d5d09aab9e500623504b35304c3357389201035054310004d49926499264984d55cea80089baa001357426ae8940088d4110d4c114cd5ce2490350543100046499261045135043353044335738920103505435000454984d55cf280089baa0012225335302b3322353008002222222222253353502a333553052120013350572253353502c002210031001502b253353038333573466e3c0300040e80e44d40b4004540b000c840e840e0d4c0100048800800c40b44cd5ce2481115369676e6174757265206d697373696e670002c2212330010030022001222222222212333333333300100b00a00900800700600500400300220012212330010030022001122123300100300212001122123300100300212001122123300100300212001212222300400521222230030052122223002005212222300100520011232230023758002640026aa070446666aae7c004940e08cd40dcc010d5d080118019aba200203123232323333573466e1cd55cea801a4000466600e6464646666ae68cdc39aab9d5002480008cc034c0b8d5d0a80119a8080151aba135744a00446a0686a606a66ae71241035054310003649926135573ca00226ea8004d5d0a801999aa805bae500a35742a00466a018eb8d5d09aba25002235030353031335738921035054310003249926135744a00226aae7940044dd50009110919980080200180110009109198008018011000899aa800bae75a224464460046eac004c8004d540c888c8cccd55cf80112819919a81919aa81798031aab9d5002300535573ca00460086ae8800c0b04d5d080089119191999ab9a3370ea002900011a80418029aba135573ca00646666ae68cdc3a801240044a01046a0546a605666ae71241035054310002c499264984d55cea80089baa001121223002003112200112001232323333573466e1cd55cea8012400046600c600e6ae854008dd69aba135744a00446a0486a604a66ae71241035054310002649926135573ca00226ea80048848cc00400c00880048c8cccd5cd19b8735573aa002900011bae357426aae7940088d4080d4c084cd5ce24810350543100022499261375400224464646666ae68cdc3a800a40084a00e46666ae68cdc3a8012400446a014600c6ae84d55cf280211999ab9a3370ea00690001280511a8119a981219ab9c490103505431000254992649926135573aa00226ea8004484888c00c0104488800844888004480048c8cccd5cd19b8750014800880188cccd5cd19b8750024800080188d406cd4c070cd5ce249035054310001d499264984d55ce9baa0011220021220012001232323232323333573466e1d4005200c200b23333573466e1d4009200a200d23333573466e1d400d200823300b375c6ae854014dd69aba135744a00a46666ae68cdc3a8022400c46601a6eb8d5d0a8039bae357426ae89401c8cccd5cd19b875005480108cc048c050d5d0a8049bae357426ae8940248cccd5cd19b875006480088c050c054d5d09aab9e500b23333573466e1d401d2000230133016357426aae7940308d4080d4c084cd5ce2481035054310002249926499264992649926135573aa00826aae79400c4d55cf280109aab9e500113754002424444444600e01044244444446600c012010424444444600a010244444440082444444400644244444446600401201044244444446600201201040024646464646666ae68cdc3a800a400446660106eb4d5d0a8021bad35742a0066eb4d5d09aba2500323333573466e1d400920002300a300b357426aae7940188d4044d4c048cd5ce2490350543100013499264984d55cea80189aba25001135573ca00226ea80048488c00800c888488ccc00401401000c80048c8c8cccd5cd19b875001480088c018dd71aba135573ca00646666ae68cdc3a80124000460106eb8d5d09aab9e500423500b35300c3357389201035054310000d499264984d55cea80089baa0012122300200321223001003200120011122232323333573466e1cd55cea80124000466aa016600c6ae854008c014d5d09aba25002235007353008335738921035054310000949926135573ca00226ea8004498480048004448848cc00400c008448004c8004d5401888448894cd4d40180044d4d402400c88004884ccd4d402c01488008c010008ccd54c01c480040140100044488008488488cc00401000c4800448848cc00400c00848004448c8c00400488cc00cc0080080052211c18a96db6fd623524cb4520c735c5a91c0759c32ef3563e58335f07f400010480058184010080821a0009c7d01a109e1643f5a11902d1a178383439633237633662633130366332313261383631663137643539613033343966346263306433393830303635656265336366343131633137a169494e56414445525a30aa6b6163636573736f72696573644e6f6e6565636c6173736355464f6a636f6c6c656374696f6e6a496d616765536574203066636f6f72647364302c20306b6465736372697074696f6e7446697273742054657374204e465420526f756e6465696d6167657835697066733a2f2f516d64487031375a5a58715763356863775844466554617777384d514c384c774e524e50756e7144596267757846646e616d6575746573742d63616d706169676e5f305f305f305f3066726172697479633230256774776974746572782468747470733a2f2f7777772e747769747465722e636f6d2f6e66745f696e76616465727a6777656273697465781c68747470733a2f2f7777772e6e6674696e76616465727a2e636f6d2f

[KtorZ]

Trying to evaluate both transactions returns me the same result:

{
  "EvaluationResult": {
    "mint:0": {
      "memory": 640976,
      "steps": 278795843
    }
  }
}

However, running the phase-1 validations I get:

{
  "SubmitFail": [
    {
      "valueNotConserved": {
        "consumed": {
          "coins": 0,
          "assets": {
            "49c27c6bc106c212a861f17d59a0349f4bc0d3980065ebe3cf411c17.494e56414445525a30": 1
          }
        },
        "produced": {
          "coins": 568504603,
          "assets": {
            "49c27c6bc106c212a861f17d59a0349f4bc0d3980065ebe3cf411c17.494e56414445525a30": 1
          }
        }
      }
    },
    {
      "badInputs": [
        {
          "txId": "c013e2f662f0f0086cc7254049db3d835005687f450ce0b52443a37e0dbf3dfb",
          "index": 2
        }
      ]
    }
  ]
}

Which means that the transaction is unbalanced, but the scripts execution seems fine. I think this is a genuine mistake in that case but, do you have a somewhat reproducible case where the submission would indeed fail but, where the evaluation would pass?

[grim-i-am]

I'm sorry that I never got back to you on this. I had decided to shift to native scripts for the time being to make some progress in my project. I will get back to this though and will keep you posted.