Merge remote-tracking branch 'origin/next' into next-webgpu

.github/ISSUE_TEMPLATE/1-bugreport.yml

@@ -0,0 +1,38 @@
+name: "Bug Report"
+description: "File a bug report"
+labels: ["bug"]
+body:
+  - type: markdown
+    attributes:
+      value: |
+        Thank you for taking the time to fill out this bug report!
+  - type: textarea
+    id: version
+    attributes:
+      label: "Packages versions"
+      description: "Let us know the versions of any other packages used. For example, which version of the VM are you using?"
+      placeholder: "miden-vm: 0.1.0"
+    validations:
+      required: true
+  - type: textarea
+    id: bug-description
+    attributes:
+      label: "Bug description"
+      description: "Describe the behavior you are experiencing."
+      placeholder: "Tell us what happened and what should have happened."
+    validations:
+      required: true
+  - type: textarea
+    id: reproduce-steps
+    attributes:
+      label: "How can this be reproduced?"
+      description: "If possible, describe how to replicate the unexpected behavior that you see."
+      placeholder: "Steps!"
+    validations:
+      required: false
+  - type: textarea
+    id: logs
+    attributes:
+      label: Relevant log output
+      description: Please copy and paste any relevant log output. This is automatically formatted as code, no need for backticks.
+      render: shell

.github/ISSUE_TEMPLATE/2-feature-request.yml

@@ -0,0 +1,20 @@
+name: "Feature request"
+description: "Request new goodies"
+labels: ["enhancement"]
+body:
+  - type: markdown
+    attributes:
+      value: |
+        Thank you for taking the time to fill a feature request!
+  - type: textarea
+    id: scenario-why
+    attributes:
+      label: "Feature description"
+    validations:
+      required: true
+  - type: textarea
+    id: scenario-how
+    attributes:
+      label: "Why is this feature needed?"
+    validations:
+      required: false

.github/ISSUE_TEMPLATE/3-task.yml

@@ -0,0 +1,35 @@
+name: "Task"
+description: "Work item"
+body:
+  - type: markdown
+    attributes:
+      value: |
+        A task should be less than a week worth of work!
+  - type: textarea
+    id: task-what
+    attributes:
+      label: "What should be done?"
+      placeholder: "Impose restrictions on DYN and DYNCALL operation"
+    validations:
+      required: true
+  - type: textarea
+    id: task-how
+    attributes:
+      label: "How should it be done?"
+      placeholder: "Users should be able to specify whether DYN/DYNCALL operations are allowed in a given program"
+    validations:
+      required: true
+  - type: textarea
+    id: task-done
+    attributes:
+      label: "When is this task done?"
+      placeholder: "The task is done when users are able to specify whether DYN/DYNCALL operations are allowed in a given program"
+    validations:
+      required: true
+  - type: textarea
+    id: task-related
+    attributes:
+      label: "Additional context"
+      description: "Add context to the tasks. E.g. other related tasks or relevant discussions on PRs/chats."
+    validations:
+      required: false

.github/ISSUE_TEMPLATE/config.yml

@@ -0,0 +1 @@
+blank_issues_enabled: true

CHANGELOG.md

@@ -1,38 +1,44 @@
 # Changelog
 
-## 0.11.0 (TBD)
+## 0.11.0 (2024-11-04)
 
 #### Enhancements
 
-- Added support for procedure annotation (attribute) syntax to Miden Assembly
+- Added `miden_core::utils::sync::racy_lock` module (#1463).
+- Updated `miden_core::utils` to re-export `std::sync::LazyLock` and `racy_lock::RacyLock as LazyLock` for std and no_std environments, respectively (#1463).
+- Debug instructions can be enabled in the cli `run` command using `--debug` flag (#1502).
+- Added support for procedure annotation (attribute) syntax to Miden Assembly (#1510).
+- Make `miden-prover::prove()` method conditionally asynchronous (#1563).
 
 #### Changes
 
 - [BREAKING] Wrapped `MastForest`s in `Program` and `Library` structs in `Arc` (#1465).
-- `MastForestBuilder`: use `MastNodeId` instead of MAST root to uniquely identify procedures (#1473)
-- Added `miden_core::utils::sync::racy_lock` module (#1463).
-- Updated `miden_core::utils` to re-export `std::sync::LazyLock` and `racy_lock::RacyLock as LazyLock` for std and no_std environments, respectively (#1463).
-- Made the undocumented behavior of the VM with regard to undefined behavior of u32 operations, stricter (#1480)
-- Introduced the `Emit` instruction (#1496)
-- Debug instructions can be enabled in the cli `run` command using `--debug` flag (#1502)
-- [BREAKING] ExecutionOptions::new constructor requires a boolean to explicitly set debug mode (#1502)
-- [BREAKING] The `run` and the `prove` commands in the cli will accept `--trace` flag instead of `--tracing` (#1502)
-
+- `MastForestBuilder`: use `MastNodeId` instead of MAST root to uniquely identify procedures (#1473).
+- Made the undocumented behavior of the VM with regard to undefined behavior of u32 operations, stricter (#1480).
+- Introduced the `Emit` instruction (#1496).
+- [BREAKING] ExecutionOptions::new constructor requires a boolean to explicitly set debug mode (#1502).
+- [BREAKING] The `run` and the `prove` commands in the cli will accept `--trace` flag instead of `--tracing` (#1502).
+- Migrated to new padding rule for RPO (#1343).
+- Migrated to `miden-crypto` v0.11.0 (#1343).
+- Implemented `MastForest` merging (#1534).
+- Rename `EqHash` to `MastNodeFingerprint` and make it `pub` (#1539).
+- Updated Winterfell dependency to v0.10 (#1533).
+- [BREAKING] `DYN` operation now expects a memory address pointing to the procedure hash (#1535).
+- [BREAKING] `DYNCALL` operation fixed, and now expects a memory address pointing to the procedure hash (#1535).
+- Permit child `MastNodeId`s to exceed the `MastNodeId`s of their parents (#1542).
+- Don't validate export names on `Library` deserialization (#1554)
 
 #### Fixes
 
 - Fixed an issue with formatting of blocks in Miden Assembly syntax
 - Fixed the construction of the block hash table (#1506)
-- Fixed a bug in the block stack table (#1511) (#1512)
-- Fixed the construction of the chiplets virtual table (#1514)
+- Fixed a bug in the block stack table (#1511) (#1512) (#1557)
+- Fixed the construction of the chiplets virtual table (#1514) (#1556)
 - Fixed the construction of the chiplets bus (#1516) (#1525)
-
-#### Fixes
-
 - Decorators are now allowed in empty basic blocks (#1466)
+- Return an error if an instruction performs 2 memory accesses at the same memory address in the same cycle (#1561)
 
-
-## 0.10.6 (2024-09-12) - `miden-processor` crate only.
+## 0.10.6 (2024-09-12) - `miden-processor` crate only
 
 #### Enhancements
 
@@ -159,6 +165,8 @@
 #### Stdlib
 
 - Added `init_no_padding` procedure to `std::crypto::hashes::native` (#1313).
+- [BREAKING] `native` module was renamed to the `rpo`, `hash_memory` procedure was renamed to the `hash_memory_words` (#1368).
+- Added `hash_memory` procedure to `std::crypto::hashes::rpo` (#1368).
 
 #### VM Internals