This chapter focuses on verifying the correctness of FALCON’s implementation using Python. It describes the utility modules and scripts used to test FALCON’s core functionalities, including FFT, NTT, and Gaussian sampling. Python scripts and test vectors from the FALCON GitHub repository are analyzed to ensure the cryptographic functions are implemented correctly. The chapter also provides guidance on running these tests and interpreting the results.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Checking FALCON with Python

  • Kwangjo Kim

摘要

This chapter focuses on verifying the correctness of FALCON’s implementation using Python. It describes the utility modules and scripts used to test FALCON’s core functionalities, including FFT, NTT, and Gaussian sampling. Python scripts and test vectors from the FALCON GitHub repository are analyzed to ensure the cryptographic functions are implemented correctly. The chapter also provides guidance on running these tests and interpreting the results.