fix: Pass stipend to the new frame in far call

[0xVolosnikov]

Brings into line with out-of-circuit implementation

[shamatar]

Did you check that harness doesn't also miss this value during witness generation?

[0xVolosnikov]

Did you check

Yep, I added simple tests with EVM interpreter, everything works after this fix

[0xVolosnikov]

zksync-protocol/crates/zk_evm/src/opcodes/execution/far_call.rs

Line 638 in 6e470f4

stipend: callee_stipend,

[shamatar]

I'm talking about harness and not non-circuit VM. Harness breaks down our continuous block execution into multiple circuit instances linked together

[0xVolosnikov]

Witgen in harness doesn't change anything in callstack entries, they are produced by non-circuit VM. And yes, simple tests in test harness are green, local proving is successful

[shamatar]

Such things

zksync-protocol/crates/circuit_definitions/src/aux_definitions/witness_oracle.rs

Line 410 in 6e470f4

fn get_callstack_witness(

and similar one that creates an initial state of the circuit for start. If you did run your tests with circuit chunking being set to 1 cycle then it would be tested, otherwise (if all your test takes 1 circuit chunk to run) - then it may be breaking on transition from one circuit to another

[0xVolosnikov]

Ran the tests again with 1 cycle per main VM snapshot (per circuit), everything is ok.