Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Praos headers validation properties and generators #1285

Draft
wants to merge 25 commits into
base: main
Choose a base branch
from
Draft

Praos headers validation properties and generators #1285

wants to merge 25 commits into from
+1,308 −581

Commits on Oct 25, 2024

  1. Add module to generate headers

    @abailly-iohk @abailly
    abailly-iohk authored and abailly committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    006d94b View commit details
    Browse the repository at this point in the history

  2. Make header validation test compile (and fail)

    @abailly-iohk @abailly
    abailly-iohk authored and abailly committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    71437d3 View commit details
    Browse the repository at this point in the history

  3. Can validate KES signature part of a valid header

    @abailly-iohk @abailly
    abailly-iohk authored and abailly committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    f44e7f5 View commit details
    Browse the repository at this point in the history

  4. Can Validate VRF proof for a pool owning 100% of the stake

    @abailly-iohk @abailly
    abailly-iohk authored and abailly committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    aaf3233 View commit details
    Browse the repository at this point in the history

  5. Introduce very basic faulty headers test

    @abailly-iohk @abailly
    abailly-iohk authored and abailly committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    9e9b6f0 View commit details
    Browse the repository at this point in the history

  6. Separate context generation from header generation

    @abailly-iohk @abailly
    abailly-iohk authored and abailly committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    0527f6d View commit details
    Browse the repository at this point in the history

  7. Scaffold executable to generate headers

    @abailly-iohk @abailly
    abailly-iohk authored and abailly committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    fa97fdd View commit details
    Browse the repository at this point in the history

  8. Ensure test vectors can be serialised to/from JSON 

    We base64-encode all binary data
    @abailly-iohk @abailly
    abailly-iohk authored and abailly committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    93b16f1 View commit details
    Browse the repository at this point in the history

  9. Restructure code to separate IOs from "pure" generators

    @abailly-iohk @abailly
    abailly-iohk authored and abailly committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    3cf5afd View commit details
    Browse the repository at this point in the history

  10. Mutate KES signature with different key than expected

    @abailly-iohk @abailly
    abailly-iohk authored and abailly committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    80904b8 View commit details
    Browse the repository at this point in the history

  11. Better classification of test samples

    @abailly-iohk @abailly
    abailly-iohk authored and abailly committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    112a983 View commit details
    Browse the repository at this point in the history

  12. Mutate header signing cert with a different cold key

    @abailly-iohk @abailly
    abailly-iohk authored and abailly committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    77c4d76 View commit details
    Browse the repository at this point in the history

  13. Provide simple 'generate' and 'validate' commands

    @abailly-iohk @abailly
    abailly-iohk authored and abailly committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    c1f9253 View commit details
    Browse the repository at this point in the history

  14. Mutate KES period of certificate to be after current period

    @abailly-iohk @abailly
    abailly-iohk authored and abailly committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    499be18 View commit details
    Browse the repository at this point in the history

  15. Mutate KES period of certificate to be too old (before current)

    @abailly-iohk @abailly
    abailly-iohk authored and abailly committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    c92d8b6 View commit details
    Browse the repository at this point in the history

  16. Remove dead code

    @abailly-iohk @abailly
    abailly-iohk authored and abailly committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    210c1ac View commit details
    Browse the repository at this point in the history

  17. Can mutate both context and header

    @abailly-iohk @abailly
    abailly-iohk authored and abailly committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    167ec92 View commit details
    Browse the repository at this point in the history

  18. Add operational certificate counters in generator context

    @abailly-iohk @abailly
    abailly-iohk authored and abailly committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    aa8bc4d View commit details
    Browse the repository at this point in the history

  19. Mutate context's operational counter to be lower than certificate

    @abailly-iohk @abailly
    abailly-iohk authored and abailly committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    21f90ab View commit details
    Browse the repository at this point in the history

  20. Mutate context's operational counter to be greater than certificate's

    @abailly-iohk @abailly
    abailly-iohk authored and abailly committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    18c3279 View commit details
    Browse the repository at this point in the history

  21. Replace CBOR encoding with raw encoding for context data

    @abailly-iohk @abailly
    abailly-iohk authored and abailly committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    c0baef4 View commit details
    Browse the repository at this point in the history

  22. Use Hex encoding instead of Base64 in JSON 

    * replace hash with hashVerKeyVRF as the output does not seem to be
the same
    @abailly-iohk @abailly
    abailly-iohk authored and abailly committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    abc4796 View commit details
    Browse the repository at this point in the history

  23. Generate active slot coefficient as part of test context

    @abailly-iohk @abailly
    abailly-iohk authored and abailly committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    2105bfe View commit details
    Browse the repository at this point in the history

  24. Add some documentation for (?!) combinator 

    Haddocks are automatically available from LSP
    @abailly-iohk @abailly
    abailly-iohk authored and abailly committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    3ff32df View commit details
    Browse the repository at this point in the history

  25. Format code using script

    @abailly
    abailly committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    fbfdb6e View commit details
    Browse the repository at this point in the history