e125225d4b509f89a8709569a0dd7ecc9a5448e5830fee4941ca22f8c63c58b3  crypto_backend.py
52dfee422d8c8440346e6a62919a0e24970415f19548c9f89771d4d0423181df  independent_verify.py
39a75edb02d5f6380abdc38910d56dacf72bddde3d3908de09d4e8568afedfae  rust/src/verify_ed25519.rs
25ab76ba58eaf49cea6a02c1aba8c9f96bca1ea72f5183fa50c6fa8c6b9f2e92  rust/tests/ledger_kani.rs
a4ab6da524657f90659e95ed8cd1373aee5f99c2fce73aaab6b04738410b9bb1  rust/tests/verify_ed25519_roundtrip.rs
1c249c7e323a4fb9ede4204145f1504c63dab4d40f53a8c9077cb6c04763c233  SPEC.md
7faa149af8505ee6f7a558cf12a8dbcc73d56575a0fd8952108d5d563d87aa0b  tpm.py
da6f929c9553543e8194caccb4be0837bedd365bf407b59f0646a340fde0bb74  yubikey.py
