Feb 17, 5-6 AM (8)
Feb 17, 6-7 AM (7)
Feb 17, 7-8 AM (18)
Feb 17, 8-9 AM (38)
Feb 17, 9-10 AM (87)
Feb 17, 10-11 AM (36)
Feb 17, 11-12 PM (38)
Feb 17, 12-1 PM (79)
Feb 17, 1-2 PM (39)
Feb 17, 2-3 PM (50)
Feb 17, 3-4 PM (61)
Feb 17, 4-5 PM (43)
Feb 17, 5-6 PM (30)
Feb 17, 6-7 PM (19)
Feb 17, 7-8 PM (13)
Feb 17, 8-9 PM (23)
Feb 17, 9-10 PM (11)
Feb 17, 10-11 PM (59)
Feb 17, 11-12 AM (44)
Feb 18, 12-1 AM (21)
Feb 18, 1-2 AM (13)
Feb 18, 2-3 AM (16)
Feb 18, 3-4 AM (18)
Feb 18, 4-5 AM (16)
Feb 18, 5-6 AM (15)
Feb 18, 6-7 AM (19)
Feb 18, 7-8 AM (53)
Feb 18, 8-9 AM (93)
Feb 18, 9-10 AM (36)
Feb 18, 10-11 AM (37)
Feb 18, 11-12 PM (62)
Feb 18, 12-1 PM (41)
Feb 18, 1-2 PM (118)
Feb 18, 2-3 PM (61)
Feb 18, 3-4 PM (37)
Feb 18, 4-5 PM (16)
Feb 18, 5-6 PM (40)
Feb 18, 6-7 PM (33)
Feb 18, 7-8 PM (37)
Feb 18, 8-9 PM (47)
Feb 18, 9-10 PM (31)
Feb 18, 10-11 PM (44)
Feb 18, 11-12 AM (25)
Feb 19, 12-1 AM (14)
Feb 19, 1-2 AM (6)
Feb 19, 2-3 AM (6)
Feb 19, 3-4 AM (3)
Feb 19, 4-5 AM (3)
Feb 19, 5-6 AM (3)
Feb 19, 6-7 AM (18)
Feb 19, 7-8 AM (83)
Feb 19, 8-9 AM (52)
Feb 19, 9-10 AM (115)
Feb 19, 10-11 AM (99)
Feb 19, 11-12 PM (94)
Feb 19, 12-1 PM (71)
Feb 19, 1-2 PM (50)
Feb 19, 2-3 PM (72)
Feb 19, 3-4 PM (115)
Feb 19, 4-5 PM (36)
Feb 19, 5-6 PM (78)
Feb 19, 6-7 PM (48)
Feb 19, 7-8 PM (11)
Feb 19, 8-9 PM (27)
Feb 19, 9-10 PM (22)
Feb 19, 10-11 PM (37)
Feb 19, 11-12 AM (39)
Feb 20, 12-1 AM (34)
Feb 20, 1-2 AM (18)
Feb 20, 2-3 AM (21)
Feb 20, 3-4 AM (18)
Feb 20, 4-5 AM (19)
Feb 20, 5-6 AM (1)
Feb 20, 6-7 AM (5)
Feb 20, 7-8 AM (26)
Feb 20, 8-9 AM (25)
Feb 20, 9-10 AM (79)
Feb 20, 10-11 AM (95)
Feb 20, 11-12 PM (55)
Feb 20, 12-1 PM (61)
Feb 20, 1-2 PM (48)
Feb 20, 2-3 PM (26)
Feb 20, 3-4 PM (42)
Feb 20, 4-5 PM (43)
Feb 20, 5-6 PM (31)
Feb 20, 6-7 PM (13)
Feb 20, 7-8 PM (16)
Feb 20, 8-9 PM (10)
Feb 20, 9-10 PM (28)
Feb 20, 10-11 PM (43)
Feb 20, 11-12 AM (14)
Feb 21, 12-1 AM (2)
Feb 21, 1-2 AM (0)
Feb 21, 2-3 AM (6)
Feb 21, 3-4 AM (2)
Feb 21, 4-5 AM (3)
Feb 21, 5-6 AM (1)
Feb 21, 6-7 AM (2)
Feb 21, 7-8 AM (9)
Feb 21, 8-9 AM (3)
Feb 21, 9-10 AM (0)
Feb 21, 10-11 AM (1)
Feb 21, 11-12 PM (22)
Feb 21, 12-1 PM (4)
Feb 21, 1-2 PM (2)
Feb 21, 2-3 PM (7)
Feb 21, 3-4 PM (4)
Feb 21, 4-5 PM (9)
Feb 21, 5-6 PM (1)
Feb 21, 6-7 PM (7)
Feb 21, 7-8 PM (3)
Feb 21, 8-9 PM (0)
Feb 21, 9-10 PM (22)
Feb 21, 10-11 PM (33)
Feb 21, 11-12 AM (22)
Feb 22, 12-1 AM (5)
Feb 22, 1-2 AM (3)
Feb 22, 2-3 AM (6)
Feb 22, 3-4 AM (0)
Feb 22, 4-5 AM (6)
Feb 22, 5-6 AM (3)
Feb 22, 6-7 AM (0)
Feb 22, 7-8 AM (0)
Feb 22, 8-9 AM (1)
Feb 22, 9-10 AM (0)
Feb 22, 10-11 AM (1)
Feb 22, 11-12 PM (2)
Feb 22, 12-1 PM (10)
Feb 22, 1-2 PM (1)
Feb 22, 2-3 PM (1)
Feb 22, 3-4 PM (1)
Feb 22, 4-5 PM (10)
Feb 22, 5-6 PM (10)
Feb 22, 6-7 PM (8)
Feb 22, 7-8 PM (13)
Feb 22, 8-9 PM (8)
Feb 22, 9-10 PM (23)
Feb 22, 10-11 PM (20)
Feb 22, 11-12 AM (23)
Feb 23, 12-1 AM (2)
Feb 23, 1-2 AM (3)
Feb 23, 2-3 AM (12)
Feb 23, 3-4 AM (11)
Feb 23, 4-5 AM (0)
Feb 23, 5-6 AM (1)
Feb 23, 6-7 AM (5)
Feb 23, 7-8 AM (78)
Feb 23, 8-9 AM (32)
Feb 23, 9-10 AM (45)
Feb 23, 10-11 AM (42)
Feb 23, 11-12 PM (64)
Feb 23, 12-1 PM (50)
Feb 23, 1-2 PM (111)
Feb 23, 2-3 PM (52)
Feb 23, 3-4 PM (35)
Feb 23, 4-5 PM (27)
Feb 23, 5-6 PM (27)
Feb 23, 6-7 PM (22)
Feb 23, 7-8 PM (17)
Feb 23, 8-9 PM (4)
Feb 23, 9-10 PM (20)
Feb 23, 10-11 PM (30)
Feb 23, 11-12 AM (17)
Feb 24, 12-1 AM (7)
Feb 24, 1-2 AM (6)
Feb 24, 2-3 AM (11)
Feb 24, 3-4 AM (5)
Feb 24, 4-5 AM (6)
Feb 24, 5-6 AM (3)
4,565 commits this week
Feb 17, 2026
-
Feb 24, 2026
fix(mempool): address coderabbitai review
![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?v=4&s=80)
fix(mempool): address coderabbitai review
Signed-off-by: cryptodj413 <[email protected]>
feat(mempool): resolve inputs from mempool for chained txs
Signed-off-by: cryptodj413 <[email protected]>
Artifacts generated from 69c35df988285da9f2d87057c4889058f62f060b
refactor: dedupe prism-node vdr service and silence lint
Signed-off-by: Yurii Shynbuiev <[email protected]>
fix: include database driver provider sources
Signed-off-by: Yurii Shynbuiev <[email protected]>
Computational Instance for Dijkstra UTXOW Rule
This PR completes the formalization of the computational instance for the `UTXOW` transition rule in the Dijkstra era. + **Record-Based Premises**. Refactored the transition rules to use named record types for premises (`UTXOW-Normal-Premises`, `UTXOW-Legacy-Premises`, `SUBUTXOW-Premises`). This significantly improves type-checking performance and scannability compared to the previous nested-tuple approach. + **WitnessData Consolidation**. Centralized the logic for collecting vKey hashes, scripts, and data hashes into a `WitnessData` record to avoid redundant lookups and simplify the decider logic. + **Era Toggle Logic**. Introduced a boolean `v1-v3-allowed` flag to the `UTXOW` mode records; this provides a simpler decidable mechanism to distinguish between Dijkstra-native (Normal/V4) and compatibility (Legacy/V1-V3) modes (but we should be able to prove it using other premises instead (TODO)). + **Completeness Proof**. (TODO: finish implementing completeness proof for `UTXOW`.) + Finalize `normal-legacy-exclusive` lemma logic, removing temporary boolean toggle if an intrinsic proof based on script pool contents is possible. + Expand the `failure` strings into more descriptive error messages using a structured error type.
feat: split vdr drivers into modules
Signed-off-by: Yurii Shynbuiev <[email protected]>
Update cardano-wallet version in README.md
Update cardano-wallet version in *.cabal files
Update cardano-wallet version in run/common/docker/run.sh
Update wallet version in swagger.yaml
chore: add docs and update helm value
refactor(aggregator): remove redundant as_dyn_artifact cast
docs(aggregator): add missing doc comments to prover hash validator
feat: devnet testing
Signed-off-by: Chris Gianelloni <[email protected]>
DO NOT MERGE(ci): enhance failure outputs
docs: restore version-maintained docs to main state
