Home / Reports / Feb 6, 2023
Monday, February 6, 2023
607 commits had been pushed across 58 repos by 93 authors. There were 902,284 additions and 68,457 deletions. Official weekly status updates can be found on essentialcardano.io.
Authors
![iohk-bors[bot]](https://avatars.githubusercontent.com/in/17473?v=4&s=80)
![dependabot[bot]](https://avatars.githubusercontent.com/in/29110?v=4&s=80)
![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?v=4&s=80)
Repos Updated
- hydra-poc97
- hydra64
- cardano-node60
- marlowe-cardano50
- plutus-apps35
- cardano-wallet32
- plutus26
- cardano-serialization-lib24
- dapps-certification22
- cardano-ledger-specs19
- yoroi-mobile17
- blockfrost-utils13
- blockfrost-backend-ryo12
- cardano-js-sdk12
- mithril12
- cardano-node-tests11
- uptime10
- developer-portal5
- go-ouroboros-network5
- catalyst-core4
- cardano-browser-tx4
- blockfrost-dart3
- grants-ui3
- cardano-signer3
- haskell.nix3
- marlowe-actus-labs3
- plutarch-plutus3
- webartifacts2
- CIPs2
- yoroi-frontend2
- yoroi-graphql-migration-backend2
- bitte2
- cardano-documentation2
- cardano-updates2
- hs-opt-handbook.github.io2
- musig2_rust2
- ouroboros-network2
- plutus-ops2
- tullia2
- ledger-app-cardano-shelley2
- ledgerjs-cardano-shelley2
- rust-cardano-ouroboros-network1
- guild-operators1
- koios-java-client1
- cardano-token-registry1
- utxo-selection-benchmarking1
- bitte-world1
- cardano-base1
- cardano-ledger1
- essential-cardano1
- formal-ledger-specifications1
- stackage.nix1
- Vasil-testnet1
- koios-artifacts1
- mesh1
- cardano-transaction-lib1
- plutarch1
Commit Log
00:19:45
[4d132efc]
Added lower bounds to dependencies based on cabal.project constraints
(cardano-node)
00:51:38
[b3374996]
Merge branch 'master' into evgenii/ordered_datum_map
(cardano-serialization-lib)
01:32:45
[02217fa0]
Merge pull request #185 from cloudstruct/docs/ouroboros-package
(go-ouroboros-network)
01:43:06
[0ef6c94a]
Bump certifi from 2020.4.5.2 to 2022.12.7 in /doc/.sphinx
(cardano-serialization-lib)
02:32:16
[398ada84]
Update pallas-addresses requirement from 0.16.0 to 0.18.0
(utxo-selection-benchmarking)
03:23:35
[cb27438c]
Merge remote-tracking branch 'upstream/master' into support-revisions-and-more
(haskell.nix)
03:36:10
[9bccc00b]
Merge pull request #186 from cloudstruct/docs/protocol-package
(go-ouroboros-network)
03:48:50
[134bef9e]
Add field `utxoBalanceShortfall` to `BalanceInsufficientError`.
(cardano-wallet)
03:49:00
[beeba714]
Use `utxoBalanceShortfall` in `Cardano.Wallet.Shelley.TransactionSpec`.
(cardano-wallet)
03:49:00
[3146e8d3]
Use `utxoBalanceShortfall` in `Cardano.CoinSelection.BalanceSpec`.
(cardano-wallet)
03:49:00
[42a4da7a]
Use `utxoBalanceShortfall` in `Cardano.Wallet.Api.Http.Server.Error`.
(cardano-wallet)
03:49:01
[ff13bf07]
Provide HTTP server support for `ErrBalanceTxBalanceInsufficient`.
(cardano-wallet)
03:49:01
[7d680425]
Add `ErrBalanceTxBalanceInsufficient` constructor to `ErrBalanceTx`.
(cardano-wallet)
04:00:08
[6052ceeb]
Add field `utxoBalanceShortfall` to `BalanceInsufficientError`.
(cardano-wallet)
04:00:08
[b9dcc745]
Use `utxoBalanceShortfall` in `Cardano.Wallet.Shelley.TransactionSpec`.
(cardano-wallet)
04:00:09
[cf5e4d07]
Use `utxoBalanceShortfall` in `Cardano.Wallet.Api.Http.Server.Error`.
(cardano-wallet)
04:00:09
[fec7c1a4]
Use `utxoBalanceShortfall` in `Cardano.CoinSelection.BalanceSpec`.
(cardano-wallet)
04:08:09
[0a9b5bf2]
Fix for tx_info plutus contract for types other than spend (#163)
(koios-artifacts)
08:06:16
[69bcb958]
Add label to contract spec to check contest to fail for the right reason
(hydra)
08:06:16
[5b64fabe]
Add mutation spec to check validator fails if the list of contesters is wrong in the output datum
(hydra)
08:41:25
[f282a260]
Merge pull request #728 from input-output-hk/jpraynaud/add-security-policy
(mithril)
09:42:51
[2dd9c3dd]
feat(wallet): reemit failures are merged with transactionTracker failure
(cardano-js-sdk)
09:42:51
[2a64ee58]
feat(wallet)!: emit failed rollbacks from createTransactionReemitter
(cardano-js-sdk)
10:44:11
[361e35cd]
use new CSL type to safely handle tx body when connector signs the tx
(yoroi-frontend)
11:03:47
[6de9b7ef]
chore(deps): update pallas requirement from 0.7.0 to 0.18.0
(rust-cardano-ouroboros-network)
11:10:41
[7c514ad3]
Merge pull request #1642 from input-output-hk/gh_actions_nix_upgrade
(cardano-node-tests)
11:14:03
[1b7cec23]
Move some functions back to the framework as we don't need them moved anymore
(hydra)
12:03:35
[18d20fa7]
Replace mustContinueHeadWith with the individual checks on the datum
(hydra-poc)
12:03:36
[e049090c]
Rename continuingDatum to headOutputDatum and simplify the code a bit
(hydra-poc)
12:03:36
[de6047f2]
Move some functions back to the framework as we don't need them moved anymore
(hydra-poc)
12:03:49
[e839f6ea]
Rename continuingDatum to headOutputDatum and simplify the code a bit
(hydra-poc)
12:03:49
[1d8a84fa]
Move some functions back to the framework as we don't need them moved anymore
(hydra-poc)
12:03:49
[57571efe]
Replace mustContinueHeadWith with the individual checks on the datum
(hydra-poc)
12:03:50
[dbf55920]
Shuffle things around and add value preservation test for contest tx
(hydra-poc)
12:26:44
[e910b231]
Merge pull request #589 from input-output-hk/feat/crypto-library-interface-and-key-management-refactor
(cardano-js-sdk)
12:29:51
[2ca03fbe]
Remove obsolete tests for `LocalTxSubmission` from `StateMachine`
(cardano-wallet)
12:52:38
[73635c54]
docs: Merge #3732 3732: Add `utxoBalanceShortfall` field and remove `balanceMissing` function. r=jonathanknowles a=jonathanknowles ## Issue Number
Split off from https://github.com/input-output-hk/cardano-wallet/pull/3723.
## Summary
This PR cherry-picks a small number of commits from https://github.com/input-output-hk/cardano-wallet/pull/3723.
It adds a `utxoBalanceShortfall` field to the `BalanceInsufficientError`:
```patch
data BalanceInsufficientError = BalanceInsufficientError
{ utxoBalanceAvailable
:: !TokenBundle
, utxoBalanceRequired
:: !TokenBundle
+ , utxoBalanceShortfall
+ :: !TokenBundle
+ -- ^ The shortfall between 'utxoBalanceAvailable' and
+ -- 'utxoBalanceRequired'.
+ --
+ -- Equal to the /truncated subtraction/ of 'utxoBalanceAvailable' from
+ -- 'utxoBalanceRequired'.
+ }
```
Adding this field (and pre-computing its value) has the following benefits:
1. More informative error messages:
The `shortfall` field tells the caller _which_ assets have a shortfall, and the _minimum_ additional amount of each asset they would need to add to the UTxO balance in order to successfully balance a transaction. This means removes a burden from the caller to perform this calculation themselves.
2. Better abstraction boundary:
The HTTP server error layer no longer needs to call the _internal_ coin selection function `balanceMissing`, which can now be removed.
3. Shortfall values are now captured in golden files for `balanceTransaction`:
Although this field is covered by property tests, it's also useful (from a sanity-checking perspective) to visually inspect these values and verify that they are reasonable.
Co-authored-by: Jonathan Knowles <[email protected]> Source commit: a7f6a2ad06bdaab736076dd09b614b10d3f69db5
(cardano-wallet)
13:05:11
[02e0f0bb]
Merge pull request #607 from cjay/cjay/remove-plutonomicon-cachix
(plutarch-plutus)
13:05:48
[8bf05273]
Merge branch 'master' into cjay/delay-and-force-doc-improvements
(plutarch-plutus)
13:06:25
[f535a689]
Merge pull request #608 from cjay/cjay/delay-and-force-doc-improvements
(plutarch-plutus)
13:09:40
[e061a718]
Merge pull request #583 from input-output-hk/ADP-2543-stake-pool-apy-queries
(cardano-js-sdk)
13:14:02
[cc59aff8]
Merge pull request #590 from input-output-hk/feat/emit-resubmit-tx-errors-as-failed
(cardano-js-sdk)
13:29:21
[8db4dae1]
Merge pull request #700 from input-output-hk/ensemble/validator-can-assume-head-output-is-the-first-one
(hydra)
13:33:06
[f7637374]
Deploying to deploy from @ input-output-hk/hs-opt-handbook.github.io@7d47178f01e76230f909bbe7e9e2edd1bd028a47 🚀
(hs-opt-handbook.github.io)
14:06:34
[d2d61440]
feat(cardano-services): changes the way tx metadatum are read from db, from json to raw bytes
(cardano-js-sdk)
14:17:59
[e7dfd267]
Merge pull request #707 from input-output-hk/ch1bo/fix-mutation-head-redeemer
(hydra)
14:21:23
[e0a6853b]
Add mutation spec to check validator fails if the list of contesters is wrong in the output datum
(hydra-poc)
14:21:23
[7ae84bb7]
Add label to contract spec to check contest to fail for the right reason
(hydra-poc)
14:22:19
[d05d8864]
Apply review changes to checkContest and simplify validation step code
(hydra-poc)
14:25:31
[5e5f9df7]
Merge branch 'feature/YOMO-309-memo-storage' into feature/YOMO-309-memo-ui
(yoroi-mobile)
14:34:03
[2ab1ca00]
plutusStaging: Bump plutus to 1cba31fe88cfda3094e60c9132ee4ef4d4ba48d9
(plutus-ops)
14:36:58
[7d1190da]
Add test for spending from script with reference script and providing datum witness in txbody
(plutus-apps)
14:49:10
[e1c5751d]
Merge pull request #450 from input-output-hk/jhbertra/marlowe-query-improvements
(marlowe-cardano)
15:13:37
[bb4980d3]
SCP-5012 migrated to new hoisting and running for marlowe query.
(marlowe-cardano)
15:17:01
[9dc337b5]
Resolve pointer addresses in `incrementalStakeDistr` conditionally
(cardano-ledger-specs)
15:17:04
[6594191f]
Resolve pointer addresses in `updateStakeDistribution` conditionally
(cardano-ledger-specs)
15:17:05
[0efceaf1]
Add `maxMajorPV` to `Constants` and use it to generate protocol version
(cardano-ledger-specs)
15:25:30
[c475ce74]
Resolve pointer addresses in `updateStakeDistribution` conditionally
(cardano-ledger-specs)
15:25:36
[98df0bea]
Add `maxMajorPV` to `Constants` and use it to generate protocol version
(cardano-ledger-specs)
15:29:34
[9cddf98b]
Remove obsolete tests for `LocalTxSubmission` from `StateMachine`
(cardano-wallet)
15:33:34
[3119c8f6]
Tests can now use onvenience functions for auto balancing, fees and exunits
(plutus-apps)
15:33:35
[08f094d8]
Removed the pattern match in the implementation of buildTx by using the new withIsShelleyBasedEra function
(plutus-apps)
15:33:35
[891758b1]
Use CardanoEra where possible and different assertions for each PV
(plutus-apps)
15:35:54
[a288aa06]
Add test for spending from script with reference script and providing datum witness in txbody
(plutus-apps)
15:42:05
[64b810de]
Merge pull request #47 from blockfrost/1000101/pagination_off
(blockfrost-backend-ryo)
15:42:21
[e85f6720]
Merge pull request #1643 from saratomaz/fix_test_reconnect_dbsync
(cardano-node-tests)
15:57:55
[b86e7024]
Prevent leaking orphan instances for `TranslationContext (ShelleyEra c)`
(cardano-ledger-specs)
15:57:58
[8e994acb]
Remove obsolete tests for `LocalTxSubmission` from `StateMachine`
(cardano-wallet)
16:35:38
[d63ba3a6]
Test that `SimpleScriptV2` scripts are not supported in Shelley
(cardano-node-tests)
16:54:30
[84baa272]
Merge pull request #726 from input-output-hk/jpraynaud/725-update-cardano-node-1.35.5
(mithril)
16:56:17
[818a3b50]
bug fix - FixedTransaction.set_witness_set takes serialized witness set
(yoroi-frontend)
16:57:51
[00249606]
Merge pull request #1645 from input-output-hk/test_shelley_scriptv2
(cardano-node-tests)
16:58:01
[629b24a0]
Merge pull request #1644 from input-output-hk/tx_incremental_signing
(cardano-node-tests)
17:20:27
[aa222e93]
Separate contesters checks into separate validation steps as defined in spec
(hydra-poc)
17:22:36
[00c9cbc3]
Shuffle things around and add value preservation test for contest tx
(hydra-poc)
17:42:23
[5db6a9f6]
Add test of a let that is an application. Needs more investigation on this one.
(plutus)
18:12:40
[1af2bfc0]
Merge pull request #1268 from Plutonomicon/dshuiski/1131-multi-asset-coin-selection
(cardano-browser-tx)
18:14:44
[9372ddb9]
Deploying to gh-pages from @ Plutonomicon/cardano-transaction-lib@1af2bfc0b87b75506235a10b684c1a5a4b94583a 🚀
(cardano-browser-tx)
18:15:26
[28b82647]
Merge pull request #1428 from Plutonomicon/klntsky/kupo-set-prune-utxo
(cardano-browser-tx)
18:53:18
[0f5de294]
Replace `TallyState` and `PPUPState` with `GovernanceState`:
(cardano-ledger-specs)
19:12:49
[4481aa92]
SCP-4817 Guard against invalid-hereafter prior to invalid-before.
(marlowe-cardano)
19:47:41
[b8660bb8]
* Changed module names of marconi-chain-index from `rewindable-index` to `marconi-core`
(plutus-apps)
19:50:56
[dc01338d]
Merge branch 'feature/YOMO-309-memo-storage' into feature/YOMO-309-memo-ui
(yoroi-mobile)
20:39:04
[e7a76b1d]
Replace `TallyState` and `PPUPState` with `GovernanceState`:
(cardano-ledger-specs)
21:00:21
[b746ca8b]
Replace `TallyState` and `PPUPState` with `GovernanceState`:
(cardano-ledger-specs)
22:41:02
[ac405a97]
Merge pull request #3279 from input-output-hk/lehins/splify-tally-and-ppup
(cardano-ledger)
22:49:44
[fce94acb]
add Haskell Benchmark (customSmallerIsBetter) benchmark result for ac405a977557a7c58ce1cf69d3c2a0bf148cf19f
(cardano-ledger-specs)
23:05:14
[7acde7e6]
🟩 C1 Devnet Sidechain Explorer is up (200 in 70 ms) [skip ci] [upptime]
(uptime)
23:05:15
[3bbcb56f]
🟩 C1 Mainnet Sidechain Explorer is up (200 in 104 ms) [skip ci] [upptime]
(uptime)
23:05:42
[7f6d7064]
feat(input-selection)!: input selection now requieres 'execution unit prices'
(cardano-js-sdk)
23:26:07
[fdbaca96]
Fix incorect constraint and cleanup Transaction translation a little
(cardano-ledger-specs)