Use the real crypto in formal spec tests#1586

Open

javierdiaz72 wants to merge 5 commits intomainfrom

javierdiaz72/real-crypto-in-spec-tests

Commits on Jul 8, 2025

Use the real regular digital signature scheme
javierdiaz72
committed

Commits on Jul 16, 2025

Use the real key evolving digital signature scheme
javierdiaz72
committed

Commits on Aug 4, 2025

Use the real verified random function
javierdiaz72
committed

Commits on Sep 29, 2025