Home / Input Output / cardano-ledger-specs
Jul 28, 7-8 AM (0)
Jul 28, 8-9 AM (0)
Jul 28, 9-10 AM (1)
Jul 28, 10-11 AM (1)
Jul 28, 11-12 PM (0)
Jul 28, 12-1 PM (1)
Jul 28, 1-2 PM (0)
Jul 28, 2-3 PM (0)
Jul 28, 3-4 PM (1)
Jul 28, 4-5 PM (0)
Jul 28, 5-6 PM (2)
Jul 28, 6-7 PM (0)
Jul 28, 7-8 PM (0)
Jul 28, 8-9 PM (1)
Jul 28, 9-10 PM (0)
Jul 28, 10-11 PM (1)
Jul 28, 11-12 AM (0)
Jul 29, 12-1 AM (0)
Jul 29, 1-2 AM (0)
Jul 29, 2-3 AM (0)
Jul 29, 3-4 AM (0)
Jul 29, 4-5 AM (1)
Jul 29, 5-6 AM (0)
Jul 29, 6-7 AM (0)
Jul 29, 7-8 AM (0)
Jul 29, 8-9 AM (0)
Jul 29, 9-10 AM (0)
Jul 29, 10-11 AM (1)
Jul 29, 11-12 PM (2)
Jul 29, 12-1 PM (1)
Jul 29, 1-2 PM (0)
Jul 29, 2-3 PM (2)
Jul 29, 3-4 PM (1)
Jul 29, 4-5 PM (5)
Jul 29, 5-6 PM (1)
Jul 29, 6-7 PM (0)
Jul 29, 7-8 PM (1)
Jul 29, 8-9 PM (0)
Jul 29, 9-10 PM (2)
Jul 29, 10-11 PM (2)
Jul 29, 11-12 AM (1)
Jul 30, 12-1 AM (1)
Jul 30, 1-2 AM (3)
Jul 30, 2-3 AM (8)
Jul 30, 3-4 AM (0)
Jul 30, 4-5 AM (0)
Jul 30, 5-6 AM (0)
Jul 30, 6-7 AM (0)
Jul 30, 7-8 AM (1)
Jul 30, 8-9 AM (0)
Jul 30, 9-10 AM (0)
Jul 30, 10-11 AM (0)
Jul 30, 11-12 PM (1)
Jul 30, 12-1 PM (7)
Jul 30, 1-2 PM (0)
Jul 30, 2-3 PM (2)
Jul 30, 3-4 PM (4)
Jul 30, 4-5 PM (2)
Jul 30, 5-6 PM (1)
Jul 30, 6-7 PM (2)
Jul 30, 7-8 PM (3)
Jul 30, 8-9 PM (6)
Jul 30, 9-10 PM (1)
Jul 30, 10-11 PM (2)
Jul 30, 11-12 AM (0)
Jul 31, 12-1 AM (0)
Jul 31, 1-2 AM (0)
Jul 31, 2-3 AM (0)
Jul 31, 3-4 AM (0)
Jul 31, 4-5 AM (0)
Jul 31, 5-6 AM (0)
Jul 31, 6-7 AM (0)
Jul 31, 7-8 AM (0)
Jul 31, 8-9 AM (0)
Jul 31, 9-10 AM (1)
Jul 31, 10-11 AM (0)
Jul 31, 11-12 PM (0)
Jul 31, 12-1 PM (0)
Jul 31, 1-2 PM (1)
Jul 31, 2-3 PM (1)
Jul 31, 3-4 PM (0)
Jul 31, 4-5 PM (1)
Jul 31, 5-6 PM (2)
Jul 31, 6-7 PM (2)
Jul 31, 7-8 PM (0)
Jul 31, 8-9 PM (0)
Jul 31, 9-10 PM (2)
Jul 31, 10-11 PM (0)
Jul 31, 11-12 AM (0)
Aug 01, 12-1 AM (0)
Aug 01, 1-2 AM (0)
Aug 01, 2-3 AM (0)
Aug 01, 3-4 AM (0)
Aug 01, 4-5 AM (0)
Aug 01, 5-6 AM (0)
Aug 01, 6-7 AM (0)
Aug 01, 7-8 AM (0)
Aug 01, 8-9 AM (0)
Aug 01, 9-10 AM (0)
Aug 01, 10-11 AM (0)
Aug 01, 11-12 PM (0)
Aug 01, 12-1 PM (0)
Aug 01, 1-2 PM (0)
Aug 01, 2-3 PM (0)
Aug 01, 3-4 PM (0)
Aug 01, 4-5 PM (0)
Aug 01, 5-6 PM (0)
Aug 01, 6-7 PM (0)
Aug 01, 7-8 PM (0)
Aug 01, 8-9 PM (0)
Aug 01, 9-10 PM (0)
Aug 01, 10-11 PM (6)
Aug 01, 11-12 AM (0)
Aug 02, 12-1 AM (0)
Aug 02, 1-2 AM (2)
Aug 02, 2-3 AM (0)
Aug 02, 3-4 AM (0)
Aug 02, 4-5 AM (0)
Aug 02, 5-6 AM (0)
Aug 02, 6-7 AM (0)
Aug 02, 7-8 AM (0)
Aug 02, 8-9 AM (0)
Aug 02, 9-10 AM (0)
Aug 02, 10-11 AM (0)
Aug 02, 11-12 PM (0)
Aug 02, 12-1 PM (0)
Aug 02, 1-2 PM (0)
Aug 02, 2-3 PM (0)
Aug 02, 3-4 PM (0)
Aug 02, 4-5 PM (0)
Aug 02, 5-6 PM (0)
Aug 02, 6-7 PM (0)
Aug 02, 7-8 PM (0)
Aug 02, 8-9 PM (0)
Aug 02, 9-10 PM (0)
Aug 02, 10-11 PM (0)
Aug 02, 11-12 AM (0)
Aug 03, 12-1 AM (0)
Aug 03, 1-2 AM (0)
Aug 03, 2-3 AM (0)
Aug 03, 3-4 AM (0)
Aug 03, 4-5 AM (0)
Aug 03, 5-6 AM (0)
Aug 03, 6-7 AM (0)
Aug 03, 7-8 AM (4)
Aug 03, 8-9 AM (0)
Aug 03, 9-10 AM (0)
Aug 03, 10-11 AM (1)
Aug 03, 11-12 PM (0)
Aug 03, 12-1 PM (0)
Aug 03, 1-2 PM (2)
Aug 03, 2-3 PM (1)
Aug 03, 3-4 PM (0)
Aug 03, 4-5 PM (0)
Aug 03, 5-6 PM (0)
Aug 03, 6-7 PM (0)
Aug 03, 7-8 PM (0)
Aug 03, 8-9 PM (0)
Aug 03, 9-10 PM (0)
Aug 03, 10-11 PM (0)
Aug 03, 11-12 AM (0)
Aug 04, 12-1 AM (0)
Aug 04, 1-2 AM (0)
Aug 04, 2-3 AM (0)
Aug 04, 3-4 AM (0)
Aug 04, 4-5 AM (0)
Aug 04, 5-6 AM (0)
Aug 04, 6-7 AM (0)
Aug 04, 7-8 AM (0)
98 commits this week Jul 28, 2020 - Aug 04, 2020
Update to latest haskell.nix
We drop a workaround introduced in
https://github.com/input-output-hk/cardano-ledger/commit/90db88e68e9c5df967fb764493ef81a1f0cebf55
for an issue with the all component in haskell.nix. This is no longer
needed; as of
https://github.com/input-output-hk/haskell.nix/commit/b6de6ef3b8ab338504f4961581a4c4fbfdd7ceed,
the 'all' component has been removed entirely.
Update to latest haskell.nix
We drop a workaround introduced in
https://github.com/input-output-hk/cardano-ledger/commit/90db88e68e9c5df967fb764493ef81a1f0cebf55
for an issue with the all component in haskell.nix. This is no longer
needed; as of
https://github.com/input-output-hk/haskell.nix/commit/b6de6ef3b8ab338504f4961581a4c4fbfdd7ceed,
the 'all' component has been removed entirely.
Add a compile-time test ScriptHash and KeyHash matching
This compile-time test asserts that the script hash and key hash use
the same hash size and indeed hash function. We do this by checking we
can type-check the following code that converts between them by using
the hash casting function which changes what the hash is of, without
changing the hashing algorithm.

This test fails at this stage with a type error, as it should, but will
compile as of the next patch.
Adjust how we define the script hash type, but keep it the same
This is preparation for changing the script hash type to use ADDRHASH
rather than HASH. We change a few things that depend on it being
specifically HASH.

Redefine ScriptHash directly in terms of HASH, rather than indirectly
in terms of the Hash type (which does also use HASH).

We have to drop the HashAnnotated instance since it only supports HASH
but we're about to switch to using ADDRHASH. We only use the instane in
one place, so we just inline it there.
Add a compile-time test ScriptHash and KeyHash matching
This compile-time test asserts that the script hash and key hash use
the same hash size and indeed hash function. We do this by checking we
can type-check the following code that converts between them by using
the hash casting function which changes what the hash is of, without
changing the hashing algorithm.

This test fails at this stage with a type error, as it should, but will
compile as of the next patch.
Adjust how we define the script hash type, but keep it the same
This is preparation for changing the script hash type to use ADDRHASH
rather than HASH. We change a few things that depend on it being
specifically HASH.

Redefine ScriptHash directly in terms of HASH, rather than indirectly
in terms of the Hash type (which does also use HASH).

We have to drop the HashAnnotated instance since it only supports HASH
but we're about to switch to using ADDRHASH. We only use the instane in
one place, so we just inline it there.