From 5af58614e893022816c9932a05bd544c9f63b3c7 Mon Sep 17 00:00:00 2001 From: Bobbin Threadbare Date: Wed, 22 Jan 2025 02:00:42 -0800 Subject: [PATCH] chore: increment crate versions to v0.12.0 and update changelog --- CHANGELOG.md | 18 +- Cargo.lock | 355 +++++++++++++++++---------------- LICENSE | 2 +- README.md | 2 +- air/Cargo.toml | 6 +- assembly/Cargo.toml | 6 +- core/Cargo.toml | 4 +- core/src/utils/sync/rw_lock.rs | 6 +- docs/src/intro/main.md | 2 +- docs/src/intro/usage.md | 2 +- miden/Cargo.toml | 18 +- processor/Cargo.toml | 10 +- prover/Cargo.toml | 8 +- stdlib/Cargo.toml | 14 +- test-utils/Cargo.toml | 12 +- verifier/Cargo.toml | 8 +- 16 files changed, 238 insertions(+), 235 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 08ba1ed4b..d9e0af972 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,17 +1,19 @@ # Changelog +## 0.12.0 (2025-01-22) + #### Highlights -- [BREAKING] Memory is now element-addressable (#1598) +- [BREAKING] Refactored memory to be element-addressable (#1598). #### Changes -- [BREAKING] `Process` no longer takes ownership of the `Host` (#1571). -- [BREAKING] `ProcessState` was converted from a trait to a struct (#1571). -- [BREAKING] `Host` and `AdviceProvider` traits simplified (#1572). -- [BREAKING] `MastForest` serialization/deserialization will store/read decorator data at the end of the binary (#1531). +- [BREAKING] Resolved flag collision in `--verify` command and added functionality for optional input/output files (#1513). +- [BREAKING] Refactored `MastForest` serialization/deserialization to put decorator data at the end of the binary (#1531). +- [BREAKING] Refactored `Process` struct to no longer take ownership of the `Host` (#1571). +- [BREAKING] Converted `ProcessState` from a trait to a struct (#1571). +- [BREAKING] Simplified `Host` and `AdviceProvider` traits (#1572). - [BREAKING] Updated Winterfell dependency to v0.11 (#1586). -- [BREAKING] resolved flag collision in `--verify` command and added functionality for optional input/output files (#1513). -- [BREAKING] Cleanup benchmarks and examples in the `miden-vm` crate (#1587) -- [BREAKING] Use `thiserror` 2.0 to derive errors and refactor them (#1588). +- [BREAKING] Cleaned up benchmarks and examples in the `miden-vm` crate (#1587) +- [BREAKING] Switched to `thiserror` 2.0 derive errors and refactored errors (#1588). - Moved handling of `FalconSigToStack` event from system event handlers to the `DefaultHost` (#1630). #### Enhancements diff --git a/Cargo.lock b/Cargo.lock index dbe6e24e5..5dc6cfb59 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -82,11 +82,12 @@ dependencies = [ [[package]] name = "anstyle-wincon" -version = "3.0.6" +version = "3.0.7" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "2109dbce0e72be3ec00bed26e6a7479ca384ad226efdd66db8fa2e3a38c83125" +checksum = "ca3534e77181a9cc07539ad51f2141fe32f6c3ffd4df76db8ad92346b003ae4e" dependencies = [ "anstyle", + "once_cell", "windows-sys 0.59.0", ] @@ -163,7 +164,16 @@ version = "0.5.3" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "0700ddab506f33b20a03b13996eccd309a48e5ff77d0d95926aa0210fb4e95f1" dependencies = [ - "bit-vec", + "bit-vec 0.6.3", +] + +[[package]] +name = "bit-set" +version = "0.8.0" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "08807e080ed7f9d5433fa9b275196cfc35414f66a0c79d864dc51a0d825231a3" +dependencies = [ + "bit-vec 0.8.0", ] [[package]] @@ -172,6 +182,12 @@ version = "0.6.3" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "349f9b6a179ed607305526ca489b34ad0a41aed5f7980fa90eb03160b69598fb" +[[package]] +name = "bit-vec" +version = "0.8.0" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "5e764a1d40d510daf35e07be9eb06e75770908c27d411ee6c92109c9840eaaf7" + [[package]] name = "bitflags" version = "1.3.2" @@ -180,15 +196,15 @@ checksum = "bef38d45163c2f1dde094a7dfd33ccf595c92905c8f8f4fdc18d06fb1037718a" [[package]] name = "bitflags" -version = "2.6.0" +version = "2.8.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "b048fb63fd8b5923fc5aa7b340d8e156aec7ec02f0c78fa8a6ddc2613f6f71de" +checksum = "8f68f53c83ab957f72c32642f3868eec03eb974d1fb82e453128456482613d36" [[package]] name = "blake3" -version = "1.5.4" +version = "1.5.5" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "d82033247fd8e890df8f740e407ad4d038debb9eb1f40533fffb32e7d17dc6f7" +checksum = "b8ee0c1824c4dea5b5f81736aff91bae041d2c07ee1192bec91054e10e3e601e" dependencies = [ "arrayref", "arrayvec", @@ -214,9 +230,9 @@ dependencies = [ [[package]] name = "bstr" -version = "1.11.0" +version = "1.11.3" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "1a68f1f47cdf0ec8ee4b941b2eee2a80cb796db73118c0dd09ac63fbe405be22" +checksum = "531a9155a481e2ee699d4f98f43c0ca4ff8ee1bfd55c31e9e98fb29d2b176fe0" dependencies = [ "memchr", "regex-automata 0.4.9", @@ -243,9 +259,9 @@ checksum = "37b2a672a2cb129a2e41c10b1224bb368f9f37a2b16b612598138befd7b37eb5" [[package]] name = "cc" -version = "1.2.1" +version = "1.2.10" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "fd9de9f2205d5ef3fd67e685b0df337994ddd4495e2a28d185500d0e1edfea47" +checksum = "13208fcbb66eaeffe09b99fffbe1af420f00a7b35aa99ad683dfc1aa76145229" dependencies = [ "jobserver", "libc", @@ -287,9 +303,9 @@ dependencies = [ [[package]] name = "clap" -version = "4.5.21" +version = "4.5.27" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "fb3b4b9e5a7c7514dfa52869339ee98b3156b0bfb4e8a77c4ff4babb64b1604f" +checksum = "769b0145982b4b48713e01ec42d61614425f27b7058bda7180a3a41f30104796" dependencies = [ "clap_builder", "clap_derive", @@ -297,9 +313,9 @@ dependencies = [ [[package]] name = "clap_builder" -version = "4.5.21" +version = "4.5.27" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "b17a95aa67cc7b5ebd32aa5370189aa0d79069ef1c64ce893bd30fb24bff20ec" +checksum = "1b26884eb4b57140e4d2d93652abfa49498b938b3c9179f9fc487b0acc3edad7" dependencies = [ "anstream", "anstyle", @@ -309,9 +325,9 @@ dependencies = [ [[package]] name = "clap_derive" -version = "4.5.18" +version = "4.5.24" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "4ac6a0c7b1a9e9a5186361f67dfa1b88213572f427fb9ab038efb2bd8c582dab" +checksum = "54b755194d6389280185988721fffba69495eed5ee9feeee9a599b53db80318c" dependencies = [ "heck", "proc-macro2", @@ -321,9 +337,9 @@ dependencies = [ [[package]] name = "clap_lex" -version = "0.7.3" +version = "0.7.4" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "afb84c814227b90d6895e01398aee0d8033c00e7466aca416fb6a8e0eb19d8a7" +checksum = "f46ad14479a25103f283c0f10005961cf086d8dc42205bb44c46ac563475dca6" [[package]] name = "clipboard-win" @@ -420,9 +436,9 @@ dependencies = [ [[package]] name = "crossbeam-deque" -version = "0.8.5" +version = "0.8.6" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "613f8cc01fe9cf1a3eb3d7f488fd2fa8388403e97039e2f73692932e291a770d" +checksum = "9dd111b7b7f7d55b72c0a6ae361660ee5853c9af73f70c3c2ef6858b950e2e51" dependencies = [ "crossbeam-epoch", "crossbeam-utils", @@ -439,9 +455,9 @@ dependencies = [ [[package]] name = "crossbeam-utils" -version = "0.8.20" +version = "0.8.21" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "22ec99545bb0ed0ea7bb9b8e1e9122ea386ff8a48c0922e43f36d45ab09e0e80" +checksum = "d0a5c400df2834b80a4c3327b3aad3a4c4cd4de0629063962b03235697506a28" [[package]] name = "crunchy" @@ -546,12 +562,12 @@ checksum = "5443807d6dff69373d433ab9ef5378ad8df50ca6298caf15de6e52e24aaf54d5" [[package]] name = "errno" -version = "0.3.9" +version = "0.3.10" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "534c5cf6194dfab3db3242765c03bbe257cf92f22b38f6bc0c58d59108a820ba" +checksum = "33d852cb9b869c2a9b3df2f71a3074817f01e1844f839a144f5fcef059a4eb5d" dependencies = [ "libc", - "windows-sys 0.52.0", + "windows-sys 0.59.0", ] [[package]] @@ -574,9 +590,9 @@ dependencies = [ [[package]] name = "fastrand" -version = "2.2.0" +version = "2.3.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "486f806e73c5707928240ddc295403b1b93c96a02038563881c4a2fd84b81ac4" +checksum = "37909eebbb50d72f9059c3b6d82c0463f2ff062c9e95845c43a6c9c0355411be" [[package]] name = "fixedbitset" @@ -586,9 +602,9 @@ checksum = "0ce7134b9999ecaf8bcd65542e436736ef32ddca1b3e06094cb6ec5755203b80" [[package]] name = "float-cmp" -version = "0.9.0" +version = "0.10.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "98de4bbd547a563b716d8dfa9aad1cb19bfab00f4fa09a6a4ed21dbcf44ce9c4" +checksum = "b09cf3155332e944990140d967ff5eceb70df778b34f77d8075db46e4704e6d8" dependencies = [ "num-traits", ] @@ -689,9 +705,9 @@ dependencies = [ [[package]] name = "generator" -version = "0.8.3" +version = "0.8.4" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "dbb949699c3e4df3a183b1d2142cb24277057055ed23c68ed58894f76c517223" +checksum = "cc6bd114ceda131d3b1d665eba35788690ad37f5916457286b32ab6fd3c438dd" dependencies = [ "cfg-if", "libc", @@ -729,9 +745,9 @@ checksum = "07e28edb80900c19c28f1072f2e8aeca7fa06b23cd4169cefe1af5aa3260783f" [[package]] name = "glob" -version = "0.3.1" +version = "0.3.2" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "d2fabcfbdc87f4758337ca535fb41a6d701b65693ce38287d856d1674551ec9b" +checksum = "a8d1add55171497b4705a648c6b583acafb01d58050a51727785f0b2c8e0a2b2" [[package]] name = "half" @@ -775,9 +791,9 @@ checksum = "ce23b50ad8242c51a442f3ff322d56b02f08852c77e4c0b4d3fd684abc89c683" [[package]] name = "indexmap" -version = "2.6.0" +version = "2.7.1" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "707907fe3c25f5424cce2cb7e1cbcafee6bdbe735ca90ef77c29e84591e5b9da" +checksum = "8c9c992b02b5b4c94ea26e32fe5bccb7aa7d9f390ab5c1221ff895bc7ea8b652" dependencies = [ "equivalent", "hashbrown", @@ -785,13 +801,13 @@ dependencies = [ [[package]] name = "is-terminal" -version = "0.4.13" +version = "0.4.14" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "261f68e344040fbd0edea105bef17c66edf46f984ddb1115b775ce31be948f4b" +checksum = "3f187290c0ed3dfe3f7c85bedddd320949b68fc86ca0ceb71adfb05b3dc3af2a" dependencies = [ "hermit-abi", "libc", - "windows-sys 0.52.0", + "windows-sys 0.59.0", ] [[package]] @@ -826,9 +842,9 @@ dependencies = [ [[package]] name = "itoa" -version = "1.0.13" +version = "1.0.14" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "540654e97a3f4470a492cd30ff187bc95d89557a903a2bbf112e2fae98104ef2" +checksum = "d75a2a4b1b190afb6f5425f10f6a8f959d2ea0b9c2b1d79553551850539e4674" [[package]] name = "jobserver" @@ -841,10 +857,11 @@ dependencies = [ [[package]] name = "js-sys" -version = "0.3.72" +version = "0.3.77" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "6a88f1bda2bd75b0452a14784937d796722fdebfe50df998aeb3f0b7603019a9" +checksum = "1cfaf33c695fc6e08064efbc1f72ec937429614f25eef83af942d0e227c3a28f" dependencies = [ + "once_cell", "wasm-bindgen", ] @@ -864,7 +881,7 @@ source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "55cb077ad656299f160924eb2912aa147d7339ea7d69e1b5517326fdcec3c1ca" dependencies = [ "ascii-canvas", - "bit-set", + "bit-set 0.5.3", "ena", "itertools 0.11.0", "lalrpop-util", @@ -892,9 +909,9 @@ checksum = "bbd2bcb4c963f2ddae06a2efc7e9f3591312473c50c6685e1f298068316e66fe" [[package]] name = "libc" -version = "0.2.164" +version = "0.2.169" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "433bfe06b8c75da9b2e3fbea6e5329ff87748f0b144ef75306e674c3f6f7c13f" +checksum = "b5aba8db14291edd000dfcc4d620c7ebfb122c613afb886ca8803fa4e128a20a" [[package]] name = "libm" @@ -908,15 +925,15 @@ version = "0.1.3" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "c0ff37bd590ca25063e35af745c343cb7a0271906fb7b37e4813e8f79f00268d" dependencies = [ - "bitflags 2.6.0", + "bitflags 2.8.0", "libc", ] [[package]] name = "linux-raw-sys" -version = "0.4.14" +version = "0.4.15" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "78b3ae25bc7c8c38cec158d1f2757ee79e9b3740fbc7ccf0e59e4b08d793fa89" +checksum = "d26c52dbd32dccf2d10cac7725f8eae5296885fb5703b261f7d0a0739ec807ab" [[package]] name = "lock_api" @@ -930,9 +947,9 @@ dependencies = [ [[package]] name = "log" -version = "0.4.22" +version = "0.4.25" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "a7a70ba024b9dc04c27ea2f0c0548feb474ec5c54bba33a7f72f873a39d07b24" +checksum = "04cbf5b083de1c7e0222a7a51dbfdba1cbe1c6ab0b15e29fff3f6c077fd9cd9f" dependencies = [ "value-bag", ] @@ -990,7 +1007,7 @@ version = "0.30.0" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "9c3572083504c43e14aec05447f8a3d57cce0f66d7a3c1b9058572eca4d70ab9" dependencies = [ - "bitflags 2.6.0", + "bitflags 2.8.0", "block", "core-graphics-types", "foreign-types", @@ -1001,12 +1018,12 @@ dependencies = [ [[package]] name = "miden-air" -version = "0.11.0" +version = "0.12.0" dependencies = [ "criterion", "miden-core", "proptest", - "thiserror 2.0.3", + "thiserror 2.0.11", "winter-air", "winter-prover", "winter-rand-utils", @@ -1014,7 +1031,7 @@ dependencies = [ [[package]] name = "miden-assembly" -version = "0.11.0" +version = "0.12.0" dependencies = [ "aho-corasick", "lalrpop", @@ -1025,14 +1042,14 @@ dependencies = [ "regex", "rustc_version 0.4.1", "smallvec", - "thiserror 2.0.3", + "thiserror 2.0.11", "tracing", "unicode-width 0.2.0", ] [[package]] name = "miden-core" -version = "0.11.0" +version = "0.12.0" dependencies = [ "lock_api", "loom", @@ -1044,7 +1061,7 @@ dependencies = [ "num-traits", "parking_lot", "proptest", - "thiserror 2.0.3", + "thiserror 2.0.11", "winter-math", "winter-rand-utils", "winter-utils", @@ -1052,9 +1069,9 @@ dependencies = [ [[package]] name = "miden-crypto" -version = "0.13.0" +version = "0.13.1" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "a74af93a5640786def85a08a1fc25e02d8681ed0449ffb4898f4832a5fa08958" +checksum = "a06bf3ad2a85f3f8f0da73b6357c77e482b1ceb36cacda8a2d85caae3bd1f702" dependencies = [ "blake3", "cc", @@ -1064,7 +1081,7 @@ dependencies = [ "rand", "rand_core", "sha3", - "thiserror 2.0.3", + "thiserror 2.0.11", "winter-crypto", "winter-math", "winter-utils", @@ -1116,7 +1133,7 @@ dependencies = [ "syn", "terminal_size", "textwrap", - "thiserror 2.0.3", + "thiserror 2.0.11", "trybuild", "unicode-width 0.1.14", ] @@ -1134,14 +1151,14 @@ dependencies = [ [[package]] name = "miden-processor" -version = "0.11.0" +version = "0.12.0" dependencies = [ "logtest", "miden-air", "miden-assembly", "miden-core", "miden-test-utils", - "thiserror 2.0.3", + "thiserror 2.0.11", "tracing", "winter-fri", "winter-prover", @@ -1150,7 +1167,7 @@ dependencies = [ [[package]] name = "miden-prover" -version = "0.11.0" +version = "0.12.0" dependencies = [ "elsa", "miden-air", @@ -1164,7 +1181,7 @@ dependencies = [ [[package]] name = "miden-stdlib" -version = "0.11.0" +version = "0.12.0" dependencies = [ "blake3", "criterion", @@ -1203,18 +1220,18 @@ dependencies = [ [[package]] name = "miden-verifier" -version = "0.11.0" +version = "0.12.0" dependencies = [ "miden-air", "miden-core", - "thiserror 2.0.3", + "thiserror 2.0.11", "tracing", "winter-verifier", ] [[package]] name = "miden-vm" -version = "0.11.0" +version = "0.12.0" dependencies = [ "assert_cmd", "blake3", @@ -1245,9 +1262,9 @@ dependencies = [ [[package]] name = "miniz_oxide" -version = "0.8.0" +version = "0.8.3" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "e2d80299ef12ff69b16a84bb182e3b9df68b5a91574d3d4fa6e41b65deec4df1" +checksum = "b8402cab7aefae129c6977bb0ff1b8fd9a04eb5b51efc50a70bea51cda0c7924" dependencies = [ "adler2", ] @@ -1264,7 +1281,7 @@ version = "0.27.1" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "2eb04e9c688eff1c89d72b407f168cf79bb9e867a9d3323ed6c01519eb9cc053" dependencies = [ - "bitflags 2.6.0", + "bitflags 2.8.0", "cfg-if", "libc", ] @@ -1381,9 +1398,9 @@ dependencies = [ [[package]] name = "object" -version = "0.36.5" +version = "0.36.7" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "aedf0a2d09c573ed1d8d85b30c119153926a2b36dce0ab28322c09a117a4683e" +checksum = "62948e14d923ea95ea2c7c86c71013138b66525b86bdc08d2dcc262bdb497b87" dependencies = [ "memchr", ] @@ -1462,9 +1479,9 @@ dependencies = [ [[package]] name = "pin-project-lite" -version = "0.2.15" +version = "0.2.16" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "915a1e146535de9163f3987b8944ed8cf49a18bb0056bcebcdcece385cece4ff" +checksum = "3b3cff922bd51709b605d9ead9aa71031d81447142d828eb4a6eba76fe619f9b" [[package]] name = "pin-utils" @@ -1523,9 +1540,9 @@ checksum = "925383efa346730478fb4838dbe9137d2a47675ad789c546d150a6e1dd4ab31c" [[package]] name = "predicates" -version = "3.1.2" +version = "3.1.3" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "7e9086cc7640c29a356d1a29fd134380bee9d8f79a17410aa76e7ad295f42c97" +checksum = "a5d19ee57562043d37e82899fade9a22ebab7be9cef5026b07fda9cdd4293573" dependencies = [ "anstyle", "difflib", @@ -1537,15 +1554,15 @@ dependencies = [ [[package]] name = "predicates-core" -version = "1.0.8" +version = "1.0.9" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "ae8177bee8e75d6846599c6b9ff679ed51e882816914eec639944d7c9aa11931" +checksum = "727e462b119fe9c93fd0eb1429a5f7647394014cf3c04ab2c0350eeb09095ffa" [[package]] name = "predicates-tree" -version = "1.0.11" +version = "1.0.12" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "41b740d195ed3166cd147c8047ec98db0e22ec019eb8eeb76d343b795304fb13" +checksum = "72dd2d6d381dfb73a193c7fca536518d7caee39fc8503f74e7dc0be0531b425c" dependencies = [ "predicates-core", "termtree", @@ -1563,22 +1580,22 @@ dependencies = [ [[package]] name = "proc-macro2" -version = "1.0.92" +version = "1.0.93" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "37d3544b3f2748c54e147655edb5025752e2303145b5aefb3c3ea2c78b973bb0" +checksum = "60946a68e5f9d28b0dc1c21bb8a97ee7d018a8b322fa57838ba31cc878e22d99" dependencies = [ "unicode-ident", ] [[package]] name = "proptest" -version = "1.5.0" +version = "1.6.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "b4c2511913b88df1637da85cc8d96ec8e43a3f8bb8ccb71ee1ac240d6f3df58d" +checksum = "14cae93065090804185d3b75f0bf93b8eeda30c7a9b4a33d3bdb3988d6229e50" dependencies = [ - "bit-set", - "bit-vec", - "bitflags 2.6.0", + "bit-set 0.8.0", + "bit-vec 0.8.0", + "bitflags 2.8.0", "lazy_static", "num-traits", "rand", @@ -1598,9 +1615,9 @@ checksum = "a1d01941d82fa2ab50be1e79e6714289dd7cde78eba4c074bc5a4374f650dfe0" [[package]] name = "quote" -version = "1.0.37" +version = "1.0.38" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "b5b9d34b8991d19d98081b46eacdd8eb58c6f2b201139f7c5f643cc155a633af" +checksum = "0e4dccaaaf89514f546c693ddc140f729f958c247918a13380cccc6078391acc" dependencies = [ "proc-macro2", ] @@ -1666,11 +1683,11 @@ dependencies = [ [[package]] name = "redox_syscall" -version = "0.5.7" +version = "0.5.8" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "9b6dfecf2c74bce2466cabf93f6664d6998a69eb21e39f4207930065b27b771f" +checksum = "03a862b389f93e68874fbf580b9de08dd02facb9a788ebadaf4a3fd33cf58834" dependencies = [ - "bitflags 2.6.0", + "bitflags 2.8.0", ] [[package]] @@ -1749,27 +1766,27 @@ version = "0.4.1" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "cfcb3a22ef46e85b45de6ee7e79d063319ebb6594faafcf1c225ea92ab6e9b92" dependencies = [ - "semver 1.0.23", + "semver 1.0.25", ] [[package]] name = "rustix" -version = "0.38.41" +version = "0.38.44" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "d7f649912bc1495e167a6edee79151c84b1bad49748cb4f1f1167f459f6224f6" +checksum = "fdb5bc1ae2baa591800df16c9ca78619bf65c0488b41b96ccec5d11220d8c154" dependencies = [ - "bitflags 2.6.0", + "bitflags 2.8.0", "errno", "libc", "linux-raw-sys", - "windows-sys 0.52.0", + "windows-sys 0.59.0", ] [[package]] name = "rustversion" -version = "1.0.18" +version = "1.0.19" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "0e819f2bc632f285be6d7cd36e25940d45b2391dd6d9b939e79de557f7014248" +checksum = "f7c45b9784283f1b2e7fb61b42047c2fd678ef0960d4f6f1eba131594cc369d4" [[package]] name = "rusty-fork" @@ -1789,7 +1806,7 @@ version = "13.0.0" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "02a2d683a4ac90aeef5b1013933f6d977bd37d51ff3f4dad829d4931a7e6be86" dependencies = [ - "bitflags 2.6.0", + "bitflags 2.8.0", "cfg-if", "clipboard-win", "libc", @@ -1840,9 +1857,9 @@ dependencies = [ [[package]] name = "semver" -version = "1.0.23" +version = "1.0.25" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "61697e0a1c7e512e84a621326239844a24d8207b4669b41bc18b32ea5cbf988b" +checksum = "f79dfe2d285b0488816f30e700a7438c5a73d816b5b7d3ac72fbc48b0d185e03" [[package]] name = "semver-parser" @@ -1852,18 +1869,18 @@ checksum = "388a1df253eca08550bef6c72392cfe7c30914bf41df5269b68cbd6ff8f570a3" [[package]] name = "serde" -version = "1.0.215" +version = "1.0.217" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "6513c1ad0b11a9376da888e3e0baa0077f1aed55c17f50e7b2397136129fb88f" +checksum = "02fc4265df13d6fa1d00ecff087228cc0a2b5f3c0e87e258d8b94a156e984c70" dependencies = [ "serde_derive", ] [[package]] name = "serde_derive" -version = "1.0.215" +version = "1.0.217" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "ad1e866f866923f252f05c889987993144fb74e722403468a4ebd70c3cd756c0" +checksum = "5a9bf7cf98d04a2b28aead066b7496853d4779c9cc183c440dbac457641e19a0" dependencies = [ "proc-macro2", "quote", @@ -1872,9 +1889,9 @@ dependencies = [ [[package]] name = "serde_json" -version = "1.0.133" +version = "1.0.137" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "c7fceb2473b9166b2294ef05efcb65a3db80803f0b03ef86a5fc88a2b85ee377" +checksum = "930cfb6e6abf99298aaad7d29abbef7a9999a9a8806a40088f55f0dcec03146b" dependencies = [ "itoa", "memchr", @@ -1972,9 +1989,9 @@ dependencies = [ [[package]] name = "strip-ansi-escapes" -version = "0.2.0" +version = "0.2.1" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "55ff8ef943b384c414f54aefa961dd2bd853add74ec75e7ac74cf91dba62bcfa" +checksum = "2a8f8038e7e7969abb3f1b7c2a811225e9296da208539e0f79c5251d6cac0025" dependencies = [ "vte", ] @@ -1987,18 +2004,18 @@ checksum = "7da8b5736845d9f2fcb837ea5d9e2628564b3b043a70948a3f0b778838c5fb4f" [[package]] name = "supports-color" -version = "3.0.1" +version = "3.0.2" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "8775305acf21c96926c900ad056abeef436701108518cf890020387236ac5a77" +checksum = "c64fc7232dd8d2e4ac5ce4ef302b1d81e0b80d055b9d77c7c4f51f6aa4c867d6" dependencies = [ "is_ci", ] [[package]] name = "supports-hyperlinks" -version = "3.0.0" +version = "3.1.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "2c0a1e5168041f5f3ff68ff7d95dcb9c8749df29f6e7e89ada40dd4c9de404ee" +checksum = "804f44ed3c63152de6a9f90acbea1a110441de43006ea51bcce8f436196a288b" [[package]] name = "supports-unicode" @@ -2008,9 +2025,9 @@ checksum = "b7401a30af6cb5818bb64852270bb722533397edcfc7344954a38f420819ece2" [[package]] name = "syn" -version = "2.0.89" +version = "2.0.96" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "44d46482f1c1c87acd84dea20c1bf5ebff4c757009ed6bf19cfd36fb10e92c4e" +checksum = "d5d0adab1ae378d7f53bdebc67a39f1f151407ef230f0ce2883572f5d8985c80" dependencies = [ "proc-macro2", "quote", @@ -2025,12 +2042,13 @@ checksum = "42a4d50cdb458045afc8131fd91b64904da29548bcb63c7236e0844936c13078" [[package]] name = "tempfile" -version = "3.14.0" +version = "3.15.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "28cce251fcbc87fac86a866eeb0d6c2d536fc16d06f184bb61aeae11aa4cee0c" +checksum = "9a8a559c81686f576e8cd0290cd2a24a2a9ad80c98b3478856500fcbd7acd704" dependencies = [ "cfg-if", "fastrand", + "getrandom", "once_cell", "rustix", "windows-sys 0.59.0", @@ -2068,9 +2086,9 @@ dependencies = [ [[package]] name = "termtree" -version = "0.4.1" +version = "0.5.1" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "3369f5ac52d5eb6ab48c6b4ffdc8efbcad6b89c765749064ba298f2c68a16a76" +checksum = "8f50febec83f5ee1df3015341d8bd429f2d1cc62bcba7ea2076759d315084683" [[package]] name = "test-case" @@ -2127,11 +2145,11 @@ dependencies = [ [[package]] name = "thiserror" -version = "2.0.3" +version = "2.0.11" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "c006c85c7651b3cf2ada4584faa36773bd07bac24acfb39f3c431b36d7e667aa" +checksum = "d452f284b73e6d76dd36758a0c8684b1d5be31f92b89d07fd5822175732206fc" dependencies = [ - "thiserror-impl 2.0.3", + "thiserror-impl 2.0.11", ] [[package]] @@ -2147,9 +2165,9 @@ dependencies = [ [[package]] name = "thiserror-impl" -version = "2.0.3" +version = "2.0.11" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "f077553d607adc1caf65430528a576c757a71ed73944b66ebb58ef2bbd243568" +checksum = "26afc1baea8a989337eeb52b6e72a039780ce45c3edfcc9c5b9d112feeb173c2" dependencies = [ "proc-macro2", "quote", @@ -2221,9 +2239,9 @@ dependencies = [ [[package]] name = "tracing" -version = "0.1.40" +version = "0.1.41" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "c3523ab5a71916ccf420eebdf5521fcef02141234bbc0b8a49f2fdc4544364ef" +checksum = "784e0ac535deb450455cbfa28a6f0df145ea1bb7ae51b821cf5e7927fdcfbdd0" dependencies = [ "pin-project-lite", "tracing-attributes", @@ -2232,9 +2250,9 @@ dependencies = [ [[package]] name = "tracing-attributes" -version = "0.1.27" +version = "0.1.28" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "34704c8d6ebcbc939824180af020566b01a7c01f80641264eba0999f6c2b6be7" +checksum = "395ae124c09f9e6918a2310af6038fba074bcf474ac352496d5910dd59a2226d" dependencies = [ "proc-macro2", "quote", @@ -2243,9 +2261,9 @@ dependencies = [ [[package]] name = "tracing-core" -version = "0.1.32" +version = "0.1.33" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "c06d3da6113f116aaee68e4d601191614c9053067f9ab7f6edbcb161237daa54" +checksum = "e672c95779cf947c5311f83787af4fa8fffd12fb27e4993211a84bdfd9610f9c" dependencies = [ "once_cell", "valuable", @@ -2277,9 +2295,9 @@ dependencies = [ [[package]] name = "tracing-subscriber" -version = "0.3.18" +version = "0.3.19" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "ad0f048c97dbd9faa9b7df56362b8ebcaa52adb06b498c050d2f4e32f90a7a8b" +checksum = "e8189decb5ac0fa7bc8b96b7cb9b2701d60d48805aca84a238004d665fcc4008" dependencies = [ "matchers", "nu-ansi-term", @@ -2295,9 +2313,9 @@ dependencies = [ [[package]] name = "trybuild" -version = "1.0.101" +version = "1.0.102" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "8dcd332a5496c026f1e14b7f3d2b7bd98e509660c04239c58b0ba38a12daded4" +checksum = "9f14b5c02a137632f68194ec657ecb92304138948e8957c932127eb1b58c23be" dependencies = [ "dissimilar", "glob", @@ -2365,9 +2383,9 @@ checksum = "06abde3611657adf66d383f00b093d7faecc7fa57071cce2578660c9f1010821" [[package]] name = "valuable" -version = "0.1.0" +version = "0.1.1" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "830b7e5d4d90034032940e4ace0d9a9a057e7a45cd94e6c007832e39edb82f6d" +checksum = "ba73ea9cf16a25df0c8caa16c51acb937d5712a8429db78a3ee29d5dcacd3a65" [[package]] name = "value-bag" @@ -2383,22 +2401,11 @@ checksum = "0b928f33d975fc6ad9f86c8f283853ad26bdd5b10b7f1542aa2fa15e2289105a" [[package]] name = "vte" -version = "0.11.1" +version = "0.14.1" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "f5022b5fbf9407086c180e9557be968742d839e68346af7792b8592489732197" +checksum = "231fdcd7ef3037e8330d8e17e61011a2c244126acc0a982f4040ac3f9f0bc077" dependencies = [ - "utf8parse", - "vte_generate_state_changes", -] - -[[package]] -name = "vte_generate_state_changes" -version = "0.1.2" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "2e369bee1b05d510a7b4ed645f5faa90619e05437111783ea5848f28d97d3c2e" -dependencies = [ - "proc-macro2", - "quote", + "memchr", ] [[package]] @@ -2428,24 +2435,24 @@ checksum = "9c8d87e72b64a3b4db28d11ce29237c246188f4f51057d65a7eab63b7987e423" [[package]] name = "wasm-bindgen" -version = "0.2.95" +version = "0.2.100" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "128d1e363af62632b8eb57219c8fd7877144af57558fb2ef0368d0087bddeb2e" +checksum = "1edc8929d7499fc4e8f0be2262a241556cfc54a0bea223790e71446f2aab1ef5" dependencies = [ "cfg-if", "once_cell", + "rustversion", "wasm-bindgen-macro", ] [[package]] name = "wasm-bindgen-backend" -version = "0.2.95" +version = "0.2.100" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "cb6dd4d3ca0ddffd1dd1c9c04f94b868c37ff5fac97c30b97cff2d74fce3a358" +checksum = "2f0a0651a5c2bc21487bde11ee802ccaf4c51935d0d3d42a6101f98161700bc6" dependencies = [ "bumpalo", "log", - "once_cell", "proc-macro2", "quote", "syn", @@ -2454,9 +2461,9 @@ dependencies = [ [[package]] name = "wasm-bindgen-macro" -version = "0.2.95" +version = "0.2.100" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "e79384be7f8f5a9dd5d7167216f022090cf1f9ec128e6e6a482a2cb5c5422c56" +checksum = "7fe63fc6d09ed3792bd0897b314f53de8e16568c2b3f7982f468c0bf9bd0b407" dependencies = [ "quote", "wasm-bindgen-macro-support", @@ -2464,9 +2471,9 @@ dependencies = [ [[package]] name = "wasm-bindgen-macro-support" -version = "0.2.95" +version = "0.2.100" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "26c6ab57572f7a24a4985830b120de1594465e5d500f24afe89e16b4e833ef68" +checksum = "8ae87ea40c9f689fc23f209965b6fb8a99ad69aeeb0231408be24920604395de" dependencies = [ "proc-macro2", "quote", @@ -2477,15 +2484,18 @@ dependencies = [ [[package]] name = "wasm-bindgen-shared" -version = "0.2.95" +version = "0.2.100" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "65fc09f10666a9f147042251e0dda9c18f166ff7de300607007e96bdebc1068d" +checksum = "1a05d73b933a847d6cccdda8f838a22ff101ad9bf93e33684f39c1f5f0eece3d" +dependencies = [ + "unicode-ident", +] [[package]] name = "web-sys" -version = "0.3.72" +version = "0.3.77" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "f6488b90108c040df0fe62fa815cbdee25124641df01814dd7282749234c6112" +checksum = "33b6dd2ef9186f1f2072e409e99cd22a975331a6b3591b12c764e0e55c60d5d2" dependencies = [ "js-sys", "wasm-bindgen", @@ -2595,15 +2605,6 @@ dependencies = [ "windows-targets 0.48.5", ] -[[package]] -name = "windows-sys" -version = "0.52.0" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "282be5f36a8ce781fad8c8ae18fa3f9beff57ec1b52cb3de0789201425d9a33d" -dependencies = [ - "windows-targets 0.52.6", -] - [[package]] name = "windows-sys" version = "0.59.0" @@ -2736,9 +2737,9 @@ checksum = "589f6da84c646204747d1270a2a5661ea66ed1cced2631d546fdfb155959f9ec" [[package]] name = "winnow" -version = "0.6.20" +version = "0.6.24" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "36c1fec1a2bb5866f07c25f68c26e565c4c200aebb96d7e55710c19d3e8ac49b" +checksum = "c8d71a593cc5c42ad7876e2c1fda56f314f3754c084128833e64f1345ff8a03a" dependencies = [ "memchr", ] diff --git a/LICENSE b/LICENSE index 29e2918f3..6355ccf43 100644 --- a/LICENSE +++ b/LICENSE @@ -1,6 +1,6 @@ MIT License -Copyright (c) 2024 Polygon (previously Matic) +Copyright (c) 2025 Polygon (previously Matic) Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal diff --git a/README.md b/README.md index 18a9782b2..b745b6312 100644 --- a/README.md +++ b/README.md @@ -22,7 +22,7 @@ Miden VM is a zero-knowledge virtual machine written in Rust. For any program ex ### Status and features -Miden VM is currently on release v0.11. In this release, most of the core features of the VM have been stabilized, and most of the STARK proof generation has been implemented. While we expect to keep making changes to the VM internals, the external interfaces should remain relatively stable, and we will do our best to minimize the amount of breaking changes going forward. +Miden VM is currently on release v0.12. In this release, most of the core features of the VM have been stabilized, and most of the STARK proof generation has been implemented. While we expect to keep making changes to the VM internals, the external interfaces should remain relatively stable, and we will do our best to minimize the amount of breaking changes going forward. The next version of the VM is being developed in the [next](https://github.com/0xPolygonMiden/miden-vm/tree/next) branch. There is also a documentation for the latest features and changes in the next branch [documentation next branch](https://0xpolygonmiden.github.io/miden-vm/intro/main.html). diff --git a/air/Cargo.toml b/air/Cargo.toml index 627cd691b..924a0e5d5 100644 --- a/air/Cargo.toml +++ b/air/Cargo.toml @@ -1,8 +1,8 @@ [package] name = "miden-air" -version = "0.11.0" +version = "0.12.0" description = "Algebraic intermediate representation of Miden VM processor" -documentation = "https://docs.rs/miden-air/0.11.0" +documentation = "https://docs.rs/miden-air/0.12.0" readme = "README.md" categories = ["cryptography", "no-std"] keywords = ["air", "arithmetization", "crypto", "miden"] @@ -32,7 +32,7 @@ testing = [] [dependencies] thiserror = { workspace = true } -vm-core = { package = "miden-core", path = "../core", version = "0.11", default-features = false } +vm-core = { package = "miden-core", path = "../core", version = "0.12", default-features = false } winter-air = { package = "winter-air", version = "0.11", default-features = false } winter-prover = { package = "winter-prover", version = "0.11", default-features = false } diff --git a/assembly/Cargo.toml b/assembly/Cargo.toml index 86276f8f4..45c55ce24 100644 --- a/assembly/Cargo.toml +++ b/assembly/Cargo.toml @@ -1,8 +1,8 @@ [package] name = "miden-assembly" -version = "0.11.0" +version = "0.12.0" description = "Miden VM assembly language" -documentation = "https://docs.rs/miden-assembly/0.11.0" +documentation = "https://docs.rs/miden-assembly/0.12.0" readme = "README.md" categories = ["compilers", "no-std"] keywords = ["assembler", "assembly", "language", "miden"] @@ -34,7 +34,7 @@ smallvec = { version = "1.13", features = ["union", "const_generics", "const_new thiserror = { workspace = true } tracing = { version = "0.1", default-features = false, features = ["attributes"] } unicode-width = { version = "0.2", features = ["no_std"] } -vm-core = { package = "miden-core", path = "../core", version = "0.11", default-features = false, features = [ +vm-core = { package = "miden-core", path = "../core", version = "0.12", default-features = false, features = [ "diagnostics", ] } diff --git a/core/Cargo.toml b/core/Cargo.toml index e840b429b..978f90d0d 100644 --- a/core/Cargo.toml +++ b/core/Cargo.toml @@ -1,8 +1,8 @@ [package] name = "miden-core" -version = "0.11.0" +version = "0.12.0" description = "Miden VM core components" -documentation = "https://docs.rs/miden-core/0.11.0" +documentation = "https://docs.rs/miden-core/0.12.0" readme = "README.md" categories = ["emulators", "no-std"] keywords = ["instruction-set", "miden", "program"] diff --git a/core/src/utils/sync/rw_lock.rs b/core/src/utils/sync/rw_lock.rs index 5a5cc5a72..d1423e0be 100644 --- a/core/src/utils/sync/rw_lock.rs +++ b/core/src/utils/sync/rw_lock.rs @@ -27,13 +27,13 @@ pub type RwLockWriteGuard<'a, T> = lock_api::RwLockWriteGuard<'a, Spinlock, T>; /// This is fundamentally a spinlock, in that blocking operations on the lock will spin until /// they succeed in acquiring/releasing the lock. /// -/// To acheive the ability to share the underlying data with multiple readers, or hold +/// To achieve the ability to share the underlying data with multiple readers, or hold /// exclusive access for one writer, the lock state is based on a "locked" count, where shared /// access increments the count by an even number, and acquiring exclusive access relies on the /// use of the lowest order bit to stop further shared acquisition, and indicate that the lock /// is exclusively held (the difference between the two is irrelevant from the perspective of /// a thread attempting to acquire the lock, but internally the state uses `usize::MAX` as the -/// "exlusively locked" sentinel). +/// "exclusively locked" sentinel). /// /// This mechanism gets us the following: /// @@ -244,7 +244,7 @@ mod test { use loom::{model::Builder, sync::Arc}; - use super::rwlock::{RwLock, Spinlock}; + use super::{RwLock, Spinlock}; #[test] fn test_rwlock_loom() { diff --git a/docs/src/intro/main.md b/docs/src/intro/main.md index 993772763..f8d5a987c 100644 --- a/docs/src/intro/main.md +++ b/docs/src/intro/main.md @@ -2,7 +2,7 @@ Miden VM is a zero-knowledge virtual machine written in Rust. For any program executed on Miden VM, a STARK-based proof of execution is automatically generated. This proof can then be used by anyone to verify that the program was executed correctly without the need for re-executing the program or even knowing the contents of the program. ## Status and features -Miden VM is currently on release v0.11. In this release, most of the core features of the VM have been stabilized, and most of the STARK proof generation has been implemented. While we expect to keep making changes to the VM internals, the external interfaces should remain relatively stable, and we will do our best to minimize the amount of breaking changes going forward. +Miden VM is currently on release v0.12. In this release, most of the core features of the VM have been stabilized, and most of the STARK proof generation has been implemented. While we expect to keep making changes to the VM internals, the external interfaces should remain relatively stable, and we will do our best to minimize the amount of breaking changes going forward. At this point, Miden VM is good enough for experimentation, and even for real-world applications, but it is not yet ready for production use. The codebase has not been audited and contains known and unknown bugs and security flaws. diff --git a/docs/src/intro/usage.md b/docs/src/intro/usage.md index 44423c16e..a2656617b 100644 --- a/docs/src/intro/usage.md +++ b/docs/src/intro/usage.md @@ -1,6 +1,6 @@ # Usage -Before you can use Miden VM, you'll need to make sure you have Rust [installed](https://www.rust-lang.org/tools/install). Miden VM v0.11 requires Rust version **1.82** or later. +Before you can use Miden VM, you'll need to make sure you have Rust [installed](https://www.rust-lang.org/tools/install). Miden VM v0.12 requires Rust version **1.82** or later. Miden VM consists of several crates, each of which exposes a small set of functionality. The most notable of these crates are: diff --git a/miden/Cargo.toml b/miden/Cargo.toml index 0c55a8a86..57b62ce03 100644 --- a/miden/Cargo.toml +++ b/miden/Cargo.toml @@ -1,8 +1,8 @@ [package] name = "miden-vm" -version = "0.11.0" +version = "0.12.0" description = "Miden virtual machine" -documentation = "https://docs.rs/miden-vm/0.11.0" +documentation = "https://docs.rs/miden-vm/0.12.0" readme = "README.md" categories = ["cryptography", "emulators", "no-std"] keywords = ["miden", "stark", "virtual-machine", "zkp"] @@ -61,22 +61,22 @@ std = ["assembly/std", "processor/std", "prover/std", "verifier/std"] internal = ["dep:serde", "dep:serde_derive", "dep:serde_json", "dep:hex"] [dependencies] -assembly = { package = "miden-assembly", path = "../assembly", version = "0.11", default-features = false } +assembly = { package = "miden-assembly", path = "../assembly", version = "0.12", default-features = false } blake3 = "1.5" clap = { version = "4.4", features = ["derive"], optional = true } hex = { version = "0.4", optional = true } -processor = { package = "miden-processor", path = "../processor", version = "0.11", default-features = false } -prover = { package = "miden-prover", path = "../prover", version = "0.11", default-features = false } +processor = { package = "miden-processor", path = "../processor", version = "0.12", default-features = false } +prover = { package = "miden-prover", path = "../prover", version = "0.12", default-features = false } rustyline = { version = "13.0", default-features = false, optional = true } serde = { version = "1.0", optional = true } serde_derive = { version = "1.0", optional = true } serde_json = { version = "1.0", optional = true } -stdlib = { package = "miden-stdlib", path = "../stdlib", version = "0.11", default-features = false } +stdlib = { package = "miden-stdlib", path = "../stdlib", version = "0.12", default-features = false } tracing = { version = "0.1", default-features = false, features = ["attributes"] } tracing-subscriber = { version = "0.3", optional = true, features = ["std", "env-filter"] } tracing-forest = { version = "0.1", optional = true, features = ["ansi", "smallvec"] } -verifier = { package = "miden-verifier", path = "../verifier", version = "0.11", default-features = false } -vm-core = { package = "miden-core", path = "../core", version = "0.11", default-features = false } +verifier = { package = "miden-verifier", path = "../verifier", version = "0.12", default-features = false } +vm-core = { package = "miden-core", path = "../core", version = "0.12", default-features = false } [dev-dependencies] assert_cmd = "2.0" @@ -85,7 +85,7 @@ escargot = "0.5" num-bigint = "0.4" predicates = "3.1" test-utils = { package = "miden-test-utils", path = "../test-utils" } -vm-core = { package = "miden-core", path = "../core", version = "0.11" } +vm-core = { package = "miden-core", path = "../core", version = "0.12" } winter-fri = { package = "winter-fri", version = "0.11" } rand_chacha = "0.3" walkdir = "2.5" diff --git a/processor/Cargo.toml b/processor/Cargo.toml index a2867798d..4f9e19c3f 100644 --- a/processor/Cargo.toml +++ b/processor/Cargo.toml @@ -1,8 +1,8 @@ [package] name = "miden-processor" -version = "0.11.0" +version = "0.12.0" description = "Miden VM processor" -documentation = "https://docs.rs/miden-processor/0.11.0" +documentation = "https://docs.rs/miden-processor/0.12.0" readme = "README.md" categories = ["emulators", "no-std"] keywords = ["miden", "virtual-machine"] @@ -24,14 +24,14 @@ std = ["vm-core/std", "winter-prover/std", "thiserror/std"] testing = ["miden-air/testing"] [dependencies] -miden-air = { package = "miden-air", path = "../air", version = "0.11", default-features = false } +miden-air = { package = "miden-air", path = "../air", version = "0.12", default-features = false } tracing = { version = "0.1", default-features = false, features = ["attributes"] } -vm-core = { package = "miden-core", path = "../core", version = "0.11", default-features = false } +vm-core = { package = "miden-core", path = "../core", version = "0.12", default-features = false } winter-prover = { package = "winter-prover", version = "0.11", default-features = false } thiserror = { workspace = true } [dev-dependencies] -assembly = { package = "miden-assembly", path = "../assembly", version = "0.11", default-features = false } +assembly = { package = "miden-assembly", path = "../assembly", version = "0.12", default-features = false } logtest = { version = "2.0", default-features = false } test-utils = { package = "miden-test-utils", path = "../test-utils" } winter-fri = { package = "winter-fri", version = "0.11" } diff --git a/prover/Cargo.toml b/prover/Cargo.toml index 2dc9f783a..98153876c 100644 --- a/prover/Cargo.toml +++ b/prover/Cargo.toml @@ -1,8 +1,8 @@ [package] name = "miden-prover" -version = "0.11.0" +version = "0.12.0" description = "Miden VM prover" -documentation = "https://docs.rs/miden-prover/0.11.0" +documentation = "https://docs.rs/miden-prover/0.12.0" readme = "README.md" categories = ["cryptography", "emulators", "no-std"] keywords = ["miden", "prover", "stark", "zkp"] @@ -21,8 +21,8 @@ metal = ["dep:miden-gpu", "dep:elsa", "dep:pollster", "concurrent", "std"] std = ["air/std", "processor/std", "winter-prover/std"] [dependencies] -air = { package = "miden-air", path = "../air", version = "0.11", default-features = false } -processor = { package = "miden-processor", path = "../processor", version = "0.11", default-features = false } +air = { package = "miden-air", path = "../air", version = "0.12", default-features = false } +processor = { package = "miden-processor", path = "../processor", version = "0.12", default-features = false } tracing = { version = "0.1", default-features = false, features = ["attributes"] } winter-maybe-async = { package = "winter-maybe-async", version = "0.11", default-features = false } winter-prover = { package = "winter-prover", version = "0.11", default-features = false } diff --git a/stdlib/Cargo.toml b/stdlib/Cargo.toml index 5d35ff006..0685639a4 100644 --- a/stdlib/Cargo.toml +++ b/stdlib/Cargo.toml @@ -1,8 +1,8 @@ [package] name = "miden-stdlib" -version = "0.11.0" +version = "0.12.0" description = "Miden VM standard library" -documentation = "https://docs.rs/miden-stdlib/0.11.0" +documentation = "https://docs.rs/miden-stdlib/0.12.0" readme = "README.md" categories = ["cryptography", "mathematics"] keywords = ["miden", "program", "stdlib"] @@ -31,16 +31,16 @@ std = ["assembly/std"] with-debug-info = [] [dependencies] -assembly = { package = "miden-assembly", path = "../assembly", version = "0.11", default-features = false } +assembly = { package = "miden-assembly", path = "../assembly", version = "0.12", default-features = false } [dev-dependencies] blake3 = "1.5" criterion = "0.5" -miden-air = { package = "miden-air", path = "../air", version = "0.11", default-features = false } +miden-air = { package = "miden-air", path = "../air", version = "0.12", default-features = false } num = "0.4" num-bigint = "0.4" pretty_assertions = "1.4" -processor = { package = "miden-processor", path = "../processor", version = "0.11", default-features = false, features = [ +processor = { package = "miden-processor", path = "../processor", version = "0.12", default-features = false, features = [ "testing", ] } rand = { version = "0.8", default-features = false } @@ -48,9 +48,9 @@ serde_json = "1.0" sha2 = "0.10" sha3 = "0.10" test-utils = { package = "miden-test-utils", path = "../test-utils" } -vm-core = { package = "miden-core", path = "../core", version = "0.11", default-features = false } +vm-core = { package = "miden-core", path = "../core", version = "0.12", default-features = false } winter-air = { package = "winter-air", version = "0.11" } winter-fri = { package = "winter-fri", version = "0.11" } [build-dependencies] -assembly = { package = "miden-assembly", path = "../assembly", version = "0.11" } +assembly = { package = "miden-assembly", path = "../assembly", version = "0.12" } diff --git a/test-utils/Cargo.toml b/test-utils/Cargo.toml index 5646e622f..9ea34714e 100644 --- a/test-utils/Cargo.toml +++ b/test-utils/Cargo.toml @@ -24,17 +24,17 @@ std = [ ] [dependencies] -air = { package = "miden-air", path = "../air", version = "0.11", default-features = false } -assembly = { package = "miden-assembly", path = "../assembly", version = "0.11", default-features = false, features = [ +air = { package = "miden-air", path = "../air", version = "0.12", default-features = false } +assembly = { package = "miden-assembly", path = "../assembly", version = "0.12", default-features = false, features = [ "testing", ] } -processor = { package = "miden-processor", path = "../processor", version = "0.11", default-features = false, features = [ +processor = { package = "miden-processor", path = "../processor", version = "0.12", default-features = false, features = [ "testing", ] } -prover = { package = "miden-prover", path = "../prover", version = "0.11", default-features = false } +prover = { package = "miden-prover", path = "../prover", version = "0.12", default-features = false } test-case = "3.2" -verifier = { package = "miden-verifier", path = "../verifier", version = "0.11", default-features = false } -vm-core = { package = "miden-core", path = "../core", version = "0.11", default-features = false } +verifier = { package = "miden-verifier", path = "../verifier", version = "0.12", default-features = false } +vm-core = { package = "miden-core", path = "../core", version = "0.12", default-features = false } winter-prover = { package = "winter-prover", version = "0.11", default-features = false } [target.'cfg(target_family = "wasm")'.dependencies] diff --git a/verifier/Cargo.toml b/verifier/Cargo.toml index b83739580..fd66f5fff 100644 --- a/verifier/Cargo.toml +++ b/verifier/Cargo.toml @@ -1,8 +1,8 @@ [package] name = "miden-verifier" -version = "0.11.0" +version = "0.12.0" description="Miden VM execution verifier" -documentation = "https://docs.rs/miden-verifier/0.11.0" +documentation = "https://docs.rs/miden-verifier/0.12.0" readme = "README.md" categories = ["cryptography", "no-std"] keywords = ["miden", "stark", "verifier", "zkp"] @@ -22,8 +22,8 @@ default = ["std"] std = ["air/std", "vm-core/std", "winter-verifier/std", "thiserror/std"] [dependencies] -air = { package = "miden-air", path = "../air", version = "0.11", default-features = false } +air = { package = "miden-air", path = "../air", version = "0.12", default-features = false } tracing = { version = "0.1", default-features = false, features = ["attributes"] } -vm-core = { package = "miden-core", path = "../core", version = "0.11", default-features = false } +vm-core = { package = "miden-core", path = "../core", version = "0.12", default-features = false } winter-verifier = { package = "winter-verifier", version = "0.11", default-features = false } thiserror = { workspace = true }