Ref https://github.com/0xMiden/miden-base/issues/2280 The note script entrypoint marked with `#[note_script]` attribute macros has to be marked with `@note_script` attribute in the generated MASM package.
Ref 0xMiden/protocol#2280
The note script entrypoint marked with
#[note_script]attribute macros has to be marked with@note_scriptattribute in the generated MASM package.