falcon-rust 0.1.0

A rust implementation of the Falcon post-quantum digital signature scheme.
Documentation

Falcon-Rust

Unofficial rust implementation of the Falcon post-quantum digital signature scheme.

Falcon was submitted to the NIST PQC standardization project and was selected for standardization. The final standard is still outstanding. We do anticipate slight changes between the standard and the submission, and these changes might break compatibility.

Falcon comes in two variants. Falcon512 claims at least 108 bits of security, and Falcon1024 claims at least 252 bits of security, both against quantum computers.

This implementation was written following the specification and the official python implementation.

Example

let mut rng = thread_rng();
let mut msg : [u8; 5] = rng.gen();
let (sk, pk) = falcon512::keygen(rng.gen());
let sig = falcon512::sign(&msg, &sk);
assert!(falcon512::verify(&msg, &sig, &pk));

Performance

Performance is still inferior to the optimized C code accessible from rust via the foreign function interface "pqcrypto-falcon". These measurements were taken on my Intel(R) Core(TM) i7-10750H CPU @ 2.60GHz (which supports AVX2). You can make your own by running cargo bench.

Keygen Sign Verify
falcon-rust 512 429.55 ms 695.92 µs 151.20 µs
falcon-rust 1025 2.4075 s 1.4261 ms 317.95 µs
pqcrypto-falcon 512 7.5356 ms 253.44 µs 48.065 µs
pqcrypto-falcon 1024 21.454 ms 510.43 µs 94.669 µs

Features

  • key generation
  • signature generation
  • signature verification
  • derandomized algorithms
  • (de)serialization
  • better algorithms (e.g. Montgomery, RNS)
  • uncompressed signature format
  • signed-message interface
  • hardware optimizations
  • message-recovery mode
  • constant-time (?)

To-do's

  • NIST KATs
  • make LdlTree straightforward
  • optimize representation of secret key, signature, public key
  • test interoperability against the reference implementation
  • negative tests
  • profile, and fix bottlenecks
  • Montgomery representation for field elements
  • Residue number system (RNS) for big integer arithmetic
  • streaming (de)serialization
  • investigate secret-dependent time variability

Contributing

Contributions are welcome! If accepted, contributions will be released under the same license.