GitHub - formosa-crypto/formosa-xmss: Jasmin implementations of XMSS

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 503 Commits
.github/workflows		.github/workflows
proof		proof
ref-jasmin		ref-jasmin
submodules		submodules
test		test
.clang-format		.clang-format
.gitignore		.gitignore
.gitmodules		.gitmodules
Dockerfile		Dockerfile
LICENSE		LICENSE
README		README
easycrypt.project		easycrypt.project

Repository files navigation

This currently runs with the following tool versions:

EasyCrypt (security) version: r2025.02
EasyCrypt (correctness) version: r2025.02

Jasmin version: 4ab734290304bf832095a3939032678169f114d8
ECLib commit: 14d8b2e2b2a3b4ccdb6366781d371afd0ac49bde