![sg-doc-holiday[bot]](https://avatars.githubusercontent.com/in/1508860?v=4&s=80)
Co-authored-by: sg-doc-holiday[bot] <219201796+sg-doc-holiday[bot]@users.noreply.github.com>
Signed-off-by: Chris Gianelloni <[email protected]>
![dependabot[bot]](https://avatars.githubusercontent.com/in/29110?v=4&s=80)
* build(deps): update rand requirement from 0.8.5 to 0.10.1 Updates the requirements on [rand](https://github.com/rust-random/rand) to permit the latest version. - [Release notes](https://github.com/rust-random/rand/releases) - [Changelog](https://github.com/rust-random/rand/blob/master/CHANGELOG.md) - [Commits](https://github.com/rust-random/rand/commits/0.10.1) --- updated-dependencies: - dependency-name: rand dependency-version: 0.10.1 dependency-type: direct:production ... Signed-off-by: dependabot[bot] <[email protected]> * fix: adapt rand call sites for 0.10 trait reorganization - bump rand_core 0.9 -> 0.10 and rand_chacha 0.9 -> 0.10 in pallas-crypto - replace 'use rand::Rng' with 'use rand::RngExt' (random/random_range/etc moved) - replace rand::thread_rng().gen() with rand::rng().random() - migrate plexer test from distributions::Uniform::from to distr::Uniform::new - update kes seed generator: rand_core::Rng for fill_bytes; from_rng is now infallible --------- Signed-off-by: dependabot[bot] <[email protected]> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com> Co-authored-by: Santiago <[email protected]>
- bump rand_core 0.9 -> 0.10 and rand_chacha 0.9 -> 0.10 in pallas-crypto - replace 'use rand::Rng' with 'use rand::RngExt' (random/random_range/etc moved) - replace rand::thread_rng().gen() with rand::rng().random() - migrate plexer test from distributions::Uniform::from to distr::Uniform::new - update kes seed generator: rand_core::Rng for fill_bytes; from_rng is now infallible
Updates the requirements on [rand](https://github.com/rust-random/rand) to permit the latest version. - [Release notes](https://github.com/rust-random/rand/releases) - [Changelog](https://github.com/rust-random/rand/blob/master/CHANGELOG.md) - [Commits](https://github.com/rust-random/rand/commits/0.10.1) --- updated-dependencies: - dependency-name: rand dependency-version: 0.10.1 dependency-type: direct:production ... Signed-off-by: dependabot[bot] <[email protected]>
* build(deps): update socket2 requirement from 0.5.5 to 0.6.3 Updates the requirements on [socket2](https://github.com/rust-lang/socket2) to permit the latest version. - [Release notes](https://github.com/rust-lang/socket2/releases) - [Changelog](https://github.com/rust-lang/socket2/blob/master/CHANGELOG.md) - [Commits](https://github.com/rust-lang/socket2/commits/v0.6.3) --- updated-dependencies: - dependency-name: socket2 dependency-version: 0.6.3 dependency-type: direct:production ... Signed-off-by: dependabot[bot] <[email protected]> * fix(network): rename set_nodelay to set_tcp_nodelay for socket2 0.6 --------- Signed-off-by: dependabot[bot] <[email protected]> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com> Co-authored-by: Santiago <[email protected]>
Signed-off-by: Chris Gianelloni <[email protected]>
Updates the requirements on [rand](https://github.com/rust-random/rand) to permit the latest version. - [Release notes](https://github.com/rust-random/rand/releases) - [Changelog](https://github.com/rust-random/rand/blob/master/CHANGELOG.md) - [Commits](https://github.com/rust-random/rand/commits/0.10.1) --- updated-dependencies: - dependency-name: rand dependency-version: 0.10.1 dependency-type: direct:production ... Signed-off-by: dependabot[bot] <[email protected]>
Updates the requirements on [socket2](https://github.com/rust-lang/socket2) to permit the latest version. - [Release notes](https://github.com/rust-lang/socket2/releases) - [Changelog](https://github.com/rust-lang/socket2/blob/master/CHANGELOG.md) - [Commits](https://github.com/rust-lang/socket2/commits/v0.6.3) --- updated-dependencies: - dependency-name: socket2 dependency-version: 0.6.3 dependency-type: direct:production ... Signed-off-by: dependabot[bot] <[email protected]>
* build(deps): update thiserror requirement from 1.0.39 to 2.0.18 Updates the requirements on [thiserror](https://github.com/dtolnay/thiserror) to permit the latest version. - [Release notes](https://github.com/dtolnay/thiserror/releases) - [Commits](https://github.com/dtolnay/thiserror/commits/2.0.18) --- updated-dependencies: - dependency-name: thiserror dependency-version: 2.0.18 dependency-type: direct:production ... Signed-off-by: dependabot[bot] <[email protected]> * fix(validate): thiserror 2.0 compatibility for phase2 Error enum --------- Signed-off-by: dependabot[bot] <[email protected]> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com> Co-authored-by: Santiago <[email protected]>
After moving direct-deposit application from LEDGER-V into POST-CERT, CERTS-pov now produces a symmetric "consumed = produced" equation: getCoin s₁ + getCoin (DirectDepositsOf Γ) ≡ getCoin sₙ + getCoin (WithdrawalsOf Γ) Thread the direct-deposit term through the LEDGER-pov proof: * SUBLEDGERS-certs-pov gains "+ sum (map ddwl stxs)" on the LHS, where ddwl = getCoin ∘ DirectDepositsOf is the per-sub-tx direct-deposit total (analogous to wdrwl). * combined-certs gains "+ allDirectDeps" on the LHS, composing the per-sub CERTS-pov chain with the top-level call. * The main LEDGER-V chain wraps the result in +-cancelʳ-≡ to discharge the asymmetric "+ allDirectDeps" combined-certs introduces. Removed: * The certStateFinal local definition (LEDGER-V no longer applies applyDirectDeposits). * step-ii and the applyDirectDeposits-rewardsBalance module parameter (subsumed by indexedSumᵛ'-∪⁺ inside POST-CERT-pov). * The DD-split module parameter (subsumed by per-tx CERTS-pov chain). * Stale "Key Lemma" subsection and stale commented-out lines in bat'. * Unused imports +-identityʳ and +-0-monoid. * Redundant local aliases in bat's where-block. Documentation: rewrote "Key Differences from Conway" point 2 and the LEDGER-V Proof Outline to reflect the new architecture; clarified the LEDGER-I outline.
Signed-off-by: Hyperledger Bot <[email protected]>
Signed-off-by: Ansita <[email protected]>
Signed-off-by: ansita20 <[email protected]>
Bumps [@babel/plugin-transform-modules-systemjs](https://github.com/babel/babel/tree/HEAD/packages/babel-plugin-transform-modules-systemjs) from 7.29.0 to 7.29.4. - [Release notes](https://github.com/babel/babel/releases) - [Changelog](https://github.com/babel/babel/blob/main/CHANGELOG.md) - [Commits](https://github.com/babel/babel/commits/v7.29.4/packages/babel-plugin-transform-modules-systemjs) --- updated-dependencies: - dependency-name: "@babel/plugin-transform-modules-systemjs" dependency-version: 7.29.4 dependency-type: indirect ... Signed-off-by: dependabot[bot] <[email protected]>