GitHub - MathAndLive/StribogHashFormalVerification

Name		Name	Last commit message	Last commit date
Latest commit History 210 Commits
.devcontainer		.devcontainer
docs		docs
sha		sha
.envrc		.envrc
.gitignore		.gitignore
flake.lock		flake.lock
flake.nix		flake.nix
functional_spec.v		functional_spec.v
functional_spec_test.v		functional_spec_test.v
spec_streebog_add512.v		spec_streebog_add512.v
spec_streebog_init.v		spec_streebog_init.v
spec_streebog_xlps.v		spec_streebog_xlps.v
spec_streebog_xor.v		spec_streebog_xor.v
streebog.h		streebog.h
streebog_generic.c		streebog_generic.c