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 (6)
4,565 commits this week
Feb 17, 2026
-
Feb 24, 2026
Add HydraNodeConfig and update withHydraNode to use it
Add mkHydraNodeConfig smart constructor Add config smart constructors for multi party configs
Add EraT and CardanoNodeT monad transformers to reduce argument passing.
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]>