Skip to content

Releases: jklmnn/STOTP

0.2.0

12 Dec 07:42
Compare
Choose a tag to compare
  • Code style improvements
  • TOTP is not generic anymore, X and T0 are function parameters

0.1.0

26 Oct 14:07
Compare
Choose a tag to compare

Support for:

  • TOTP
  • HOTP
  • Base32 without padding
  • 6-n digit OTP value generation

Proves:

  • Absence of runtime errors
  • Dependency correctness
  • Functional Properties
    • Base32 outputs only valid characters with multiples of 8 characters
    • Block padding will correctly pad to Blocks of size L
    • OTP value strings only have numeric characters and the specified length