From eabf4da7b4ae12a3bba6b51b087688bf898170b6 Mon Sep 17 00:00:00 2001 From: Andrey Date: Thu, 5 Sep 2024 16:24:06 +0300 Subject: [PATCH] refactor: update kenrel proc hashes after rebase --- Cargo.lock | 20 +++--- miden-lib/src/transaction/procedures.rs | 96 ++++++++++++------------- miden-tx/src/verifier/mod.rs | 3 +- 3 files changed, 60 insertions(+), 59 deletions(-) diff --git a/Cargo.lock b/Cargo.lock index 604b8ed17..03af73bba 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -146,9 +146,9 @@ checksum = "37b2a672a2cb129a2e41c10b1224bb368f9f37a2b16b612598138befd7b37eb5" [[package]] name = "cc" -version = "1.1.15" +version = "1.1.16" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "57b6a275aa2903740dc87da01c62040406b8812552e97129a63ea8850a17c6e6" +checksum = "e9d013ecb737093c0e86b151a7b837993cf9ec6c502946cfb44bedc392421e0b" dependencies = [ "jobserver", "libc", @@ -190,18 +190,18 @@ dependencies = [ [[package]] name = "clap" -version = "4.5.16" +version = "4.5.17" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "ed6719fffa43d0d87e5fd8caeab59be1554fb028cd30edc88fc4369b17971019" +checksum = "3e5a21b8495e732f1b3c364c9949b201ca7bae518c502c80256c96ad79eaf6ac" dependencies = [ "clap_builder", ] [[package]] name = "clap_builder" -version = "4.5.15" +version = "4.5.17" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "216aec2b177652e3846684cbfe25c9964d18ec45234f0f5da5157b207ed1aab6" +checksum = "8cf2dd12af7a047ad9d6da2b6b249759a22a7abc0f474c1dae1777afa4b21a73" dependencies = [ "anstyle", "clap_lex", @@ -1472,9 +1472,9 @@ dependencies = [ [[package]] name = "serde_json" -version = "1.0.127" +version = "1.0.128" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "8043c06d9f82bd7271361ed64f415fe5e12a77fdb52e573e7f06a516dea329ad" +checksum = "6ff5456707a1de34e7e37f2a6fd3d3f808c318259cbd01ab6377795054b483d8" dependencies = [ "indexmap", "itoa", @@ -1574,9 +1574,9 @@ dependencies = [ [[package]] name = "supports-color" -version = "3.0.0" +version = "3.0.1" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "9829b314621dfc575df4e409e79f9d6a66a3bd707ab73f23cb4aa3a854ac854f" +checksum = "8775305acf21c96926c900ad056abeef436701108518cf890020387236ac5a77" dependencies = [ "is_ci", ] diff --git a/miden-lib/src/transaction/procedures.rs b/miden-lib/src/transaction/procedures.rs index 5d1ece6a1..79f234f83 100644 --- a/miden-lib/src/transaction/procedures.rs +++ b/miden-lib/src/transaction/procedures.rs @@ -37,45 +37,45 @@ impl TransactionKernel { ]), // incr_account_nonce Digest::new([ - Felt::new(11251993684560653453), - Felt::new(5231315954748375505), - Felt::new(6829555386766719516), - Felt::new(861981902332051880), + Felt::new(6166980265541679115), + Felt::new(14180799872462142156), + Felt::new(2778474088493363690), + Felt::new(1238401418236321485), ]), // get_account_item Digest::new([ - Felt::new(6804600891105189676), - Felt::new(16357628444217998414), - Felt::new(9431845352605151209), - Felt::new(15608374733320272356), + Felt::new(8242100606610843280), + Felt::new(12256919645951393204), + Felt::new(2951068718765716503), + Felt::new(8986453979900819291), ]), // set_account_item Digest::new([ - Felt::new(16244037745099512397), - Felt::new(16681829146325299211), - Felt::new(1331329308944150161), - Felt::new(16938907804846009042), + Felt::new(7498941893890508814), + Felt::new(5585745677648937735), + Felt::new(13176054907168595727), + Felt::new(14561446422739981128), ]), // get_account_map_item Digest::new([ - Felt::new(3623586774841825559), - Felt::new(3709840750311142467), - Felt::new(12112504263612227679), - Felt::new(7718484063050107365), + Felt::new(5940336313866490980), + Felt::new(9709935953040633522), + Felt::new(2215378650076306714), + Felt::new(7584412679403612847), ]), // set_account_map_item Digest::new([ - Felt::new(17054146566056119736), - Felt::new(16675792548721351168), - Felt::new(17840066796402754003), - Felt::new(4494493169083431642), + Felt::new(9257525779338879284), + Felt::new(5994228928952574041), + Felt::new(3477745056362616903), + Felt::new(1514247258411024664), ]), // set_account_code Digest::new([ - Felt::new(4526386433602912172), - Felt::new(15601621292843281722), - Felt::new(6836940574893007865), - Felt::new(4561881232782527243), + Felt::new(4083640213314520131), + Felt::new(11866061748990108757), + Felt::new(7174634238671132507), + Felt::new(16972174329470134023), ]), // account_vault_get_balance Digest::new([ @@ -93,17 +93,17 @@ impl TransactionKernel { ]), // account_vault_add_asset Digest::new([ - Felt::new(2077165816463172772), - Felt::new(6872053568248293880), - Felt::new(11884643902037361372), - Felt::new(11504756226677395192), + Felt::new(441011557193836424), + Felt::new(14128779488787237713), + Felt::new(9097945909079837843), + Felt::new(1927790173066110370), ]), // account_vault_remove_asset Digest::new([ - Felt::new(14790659034050634409), - Felt::new(10792738914573874947), - Felt::new(15240944025598720155), - Felt::new(12388802549660890868), + Felt::new(6000868439702831595), + Felt::new(9778474833766934115), + Felt::new(1146161010038681475), + Felt::new(1950819778618127304), ]), // get_note_assets_info Digest::new([ @@ -156,17 +156,17 @@ impl TransactionKernel { ]), // create_note Digest::new([ - Felt::new(14929021903257629840), - Felt::new(8604463029064930594), - Felt::new(988290775185352928), - Felt::new(8754535948183372308), + Felt::new(14778603067944873506), + Felt::new(14071319835769664212), + Felt::new(13946705703761691189), + Felt::new(68248535266635199), ]), // add_asset_to_note Digest::new([ - Felt::new(1388074421163142360), - Felt::new(9875906781970083545), - Felt::new(11032933281715356329), - Felt::new(6589288277095637140), + Felt::new(14950372948135486500), + Felt::new(16795936443880575519), + Felt::new(10590371208545379138), + Felt::new(3493796503081669802), ]), // get_account_vault_commitment Digest::new([ @@ -177,17 +177,17 @@ impl TransactionKernel { ]), // mint_asset Digest::new([ - Felt::new(7447962799646185052), - Felt::new(2576161227455352778), - Felt::new(17024702477581969886), - Felt::new(1577277405866978216), + Felt::new(11833462197234963951), + Felt::new(521365474344899632), + Felt::new(12219339115593432087), + Felt::new(3026752009521887157), ]), // burn_asset Digest::new([ - Felt::new(4798014337306650503), - Felt::new(9491313619529755262), - Felt::new(9813790657994357862), - Felt::new(18320657353147964360), + Felt::new(2613729911428583836), + Felt::new(3409713366391106845), + Felt::new(4618787175150657117), + Felt::new(13550289764852635265), ]), // get_fungible_faucet_total_issuance Digest::new([ diff --git a/miden-tx/src/verifier/mod.rs b/miden-tx/src/verifier/mod.rs index 704c82d0a..d97856209 100644 --- a/miden-tx/src/verifier/mod.rs +++ b/miden-tx/src/verifier/mod.rs @@ -37,7 +37,8 @@ impl TransactionVerifier { transaction.account_update().init_state_hash(), transaction.input_notes().commitment(), transaction.block_ref(), - // TODO: change the hardcoded offset to the kernel index used in the current transaction + // TODO: change the hardcoded offset to the kernel index used in the current + // transaction 0, ); let stack_outputs = TransactionKernel::build_output_stack(