Skip to content

feat: re-export Section and SectionId#2015

Merged
bobbinth merged 2 commits into0xMiden:nextfrom
lambdaclass:fabrizioorsi/re-export-Section
Oct 22, 2025
Merged

feat: re-export Section and SectionId#2015
bobbinth merged 2 commits into0xMiden:nextfrom
lambdaclass:fabrizioorsi/re-export-Section

Conversation

@lima-limon-inc
Copy link
Copy Markdown
Contributor

This PR follows up on #1984 and is required for: 0xMiden/miden-client#1313

With version 0.18 of the VM, now Section and SectionId are required to create a Package.

Signed-off-by: Tomas Fabrizio Orsi <tomas.orsi@lambdaclass.com>
@lima-limon-inc lima-limon-inc force-pushed the fabrizioorsi/re-export-Section branch from 667b82f to 64f04e0 Compare October 22, 2025 22:17
CHANGELOG.md Outdated
- [BREAKING] Enable computing the transaction ID from the data in a `TransactionHeader` ([#1973]https://github.com/0xMiden/miden-base/pull/1973).
- [BREAKING] Change `Account` to `PartialAccount` conversion to generally track only minimal data ([#1963]https://github.com/0xMiden/miden-base/pull/1963).
- Added `AccountTree::apply_mutations_with_reversions` ([#2002](https://github.com/0xMiden/miden-base/pull/2002)).
- Added `Section` and `SectionId` to re-export section ([#2015](https://github.com/0xMiden/miden-base/pull/2015)).
Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

nit: I think this can just get added to the previous log line and the PR number appended as well

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Noted, changed in this commit: c34008f

Signed-off-by: Tomas Fabrizio Orsi <tomas.orsi@lambdaclass.com>
Copy link
Copy Markdown
Contributor

@bobbinth bobbinth left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good! Thank you!

@bobbinth bobbinth merged commit c3cc60c into 0xMiden:next Oct 22, 2025
17 checks passed
mmagician added a commit that referenced this pull request Oct 29, 2025
* feat: init ntx faucet

* chore: update changelog

* refactor: address nits & comments

* refactor: add comment in burn procedure

* feat: BURN & MINT notes

* refactor: revert changes and address nits

* refactor: cleanup

* fix: new mock_chain method fix

* refactor: minor comment updates

* refactor: use account_id::is_equal

* refactor: split faucet/mod.rs into two

* fix: fix merge issues & nits

* refactor: address nits

* refactor: address nits

* refactor: use AccountId in ntx faucet contructor

* feat: add doc comments & update well_known_note

* refactor: address nits

* refactor: address pad nits

* refactor: address nits

* feat: add distribute padding procedure

* fix: rustfmt

* fix: make tests async

* refactor: address nit

* fix: fix stack comment

* refactor: add padding in distribute

* Update crates/miden-lib/asm/miden/contracts/faucets/network_fungible.masm

Co-authored-by: Marti <marti@miden.team>

* refactor: move burn proc to contracts/faucets/mod.masm

* refactor: address MINT note nit

* refactor: address basic fungible faucet comment

* refactor: set default faucet decimals

* Update crates/miden-testing/tests/scripts/faucet.rs

Co-authored-by: Marti <marti@miden.team>

* refactor: address nits

* refactor: address padding stack comment nits

* refactor: clarify comment

* refactor: address comment nits

* feat: consume minted output note from ntx faucet

* feat: add test & fix lint warnings

* refactor: address stack comments

* fix: changelog

* fix: minor updates

* chore: clean up stack comments in MINT note script

* chore: address PR comment regarding test code comment being incorrect

* chore: remove debug_assert_eq statement from well_known_note logic

* chore: rustfmt

* Update crates/miden-testing/tests/scripts/faucet.rs

Co-authored-by: Marti <marti@miden.team>

* Update crates/miden-testing/tests/scripts/faucet.rs

Co-authored-by: Marti <marti@miden.team>

* Update crates/miden-testing/tests/scripts/faucet.rs

Co-authored-by: Marti <marti@miden.team>

* feat: improve network faucet mint / burn tests to show asset balance increase / decrease

* Update crates/miden-lib/asm/note_scripts/MINT.masm

Co-authored-by: Philipp Gackstatter <PhilippGackstatter@users.noreply.github.com>

* Update crates/miden-lib/asm/miden/contracts/faucets/network_fungible.masm

Co-authored-by: Philipp Gackstatter <PhilippGackstatter@users.noreply.github.com>

* Update crates/miden-lib/asm/miden/contracts/faucets/network_fungible.masm

Co-authored-by: Philipp Gackstatter <PhilippGackstatter@users.noreply.github.com>

* Update crates/miden-lib/asm/note_scripts/MINT.masm

Co-authored-by: Philipp Gackstatter <PhilippGackstatter@users.noreply.github.com>

* refactor: improve faucet documentation and make BURN note generic

* refactor: remove usage of local memory in faucets::distribute

* refactor: fix stack comment in MINT note

* refactor: fix padding comments in MINT note

* Update crates/miden-lib/asm/miden/contracts/faucets/basic_fungible.masm

Co-authored-by: Philipp Gackstatter <PhilippGackstatter@users.noreply.github.com>

* Update crates/miden-testing/tests/scripts/faucet.rs

Co-authored-by: Philipp Gackstatter <PhilippGackstatter@users.noreply.github.com>

* chore: explicitly consume both authenticated and unauthenticated note in test (#2013)

* chore: explicitly try consume both authenticated and unauthenticated note

* chore: update test description

* feat: re-export Section and SectionId (#2015)

* chore: migrate docs from mdbook to docusaurus

- Migrated documentation from mdbook to docusaurus
- Updated protocol_library.md with detailed formatting and resolved merge conflicts
- Added proper markdown links and structure
- Incorporated new procedures from next branch
- Added build and deployment workflows for docs

* chore(Makefile): add serve-docs command and implement checking for NPM dependency

* docs(README): add section explaining external documentation

* chore(docs): convert .json docusaurus category files to yml format

* fix(docs): fix broken links

* chore: use specific ref for trigger-deploy-docs.yml workflow

* docs: implement custom styling

* Update crates/miden-lib/src/account/interface/mod.rs

Co-authored-by: Philipp Gackstatter <PhilippGackstatter@users.noreply.github.com>

* refactor: truncate stack explicitly in MINT note before call

* fix: fix comment to reference correct faucet metadata slot index

* refactor: update to use procedure_digest! macro for faucets

* Update crates/miden-lib/src/account/faucets/network_fungible.rs

Co-authored-by: Philipp Gackstatter <PhilippGackstatter@users.noreply.github.com>

* Update crates/miden-lib/src/account/faucets/network_fungible.rs

Co-authored-by: Philipp Gackstatter <PhilippGackstatter@users.noreply.github.com>

* refactor: use BasicFungibleFaucet inside NetworkFungibleFaucet to reduce duplication

* fix: update to use fully qualified path of FungibleAsset::MAX_AMOUNT for ntx faucet doc comment

* refactor: store owner_account_id as AccountId in NetworkFungibleFaucet

* refactor: add padding to stack comments in /facuets/mod.masm

* refactor: revert send_note test to use NoteType::Public

* refactor: simplify create_network_fungible_faucet signature

---------

Co-authored-by: Bobbin Threadbare <43513081+bobbinth@users.noreply.github.com>
Co-authored-by: Marti <marti@miden.team>
Co-authored-by: Philipp Gackstatter <PhilippGackstatter@users.noreply.github.com>
Co-authored-by: Tomas Fabrizio Orsi <tomas.orsi@lambdaclass.com>
Co-authored-by: keinberger <philipp.keinberger@gmail.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants