use.miden::kernels::prologue
use.miden::kernels::note
use.miden::kernels::utils

# CONSTANTS
# =================================================================================================

const.OUTPUT_NOTES_OFFSET=10000

# The memory address at which the number of output notes is stored.
const.NUM_OUTPUT_NOTES_PTR=2

# TEST UTILS
# =================================================================================================

proc.create_mock_notes
    # populate note 0
    push.0.0.0.0
    push.10000.1 add mem_storew dropw

    push.4971367433844007373.6865378877711457391.6192928128976544201.16994954375718956636
    push.10000.2 add mem_storew dropw

    push.2
    push.10000.4 add mem_store

    push.100.0.0.12033618204333965312
    push.10000.5 add mem_storew dropw

    push.100.0.0.12033618204333965322
    push.10000.6 add mem_storew dropw

    # populate note 1
    push.0.0.0.0
    push.10000.1024.1 add add mem_storew dropw

    push.15062732436723170369.16031702086052852913.9880193448805748429.441140777156950738
    push.10000.1024.2 add add mem_storew dropw

    push.3
    push.10000.1024.4 add add mem_store

    push.100.0.0.12033618204333965312
    push.10000.1024.5 add add mem_storew dropw

    push.100.0.0.12033618204333965322
    push.10000.1024.6 add add mem_storew dropw

    push.100.0.0.12033618204333965332
    push.10000.1024.7 add add mem_storew dropw

    # populate note 2
    push.0.0.0.0
    push.10000.2048.1 add add mem_storew dropw

    push.11560658416092014562.11788259604945421763.219158347382774148.14003125957588498723
    push.10000.2048.2 add add mem_storew dropw

    push.3
    push.10000.2048.4 add add mem_store

    push.100.0.0.12033618204333965312
    push.10000.2048.5 add add mem_storew dropw

    push.100.0.0.12033618204333965322
    push.10000.2048.6 add add mem_storew dropw

    push.100.0.0.12033618204333965332
    push.10000.2048.7 add add mem_storew dropw

    # set num output notes
    push.3.2 mem_store
end

begin
    exec.prologue::prepare_transaction
    exec.create_mock_notes
    breakpoint
    exec.note::compute_output_notes_commitment
end