Special processor, model verification method and device thereof, processing method and medium

Abstract

The invention discloses a special processor, a model verification method and device thereof, a processing method and a medium. The method comprises the following steps: establishing an instruction set comprising various post quantum cryptography algorithm basic operation modules; constructing a processor model of the special processor based on the instruction set, and performing simulation verification on the processor model; the processor model passing the simulation verification is subjected to compiling processing including at least logic synthesis and layout wiring so as to generate a corresponding configuration file, and the configuration file is programmed to an FPGA (Field Programmable Gate Array) platform; obtaining a machine instruction code file and loading the file into the FPGA platform for operation to verify whether the special processor model can execute processing corresponding to the post quantum cryptography algorithm code corresponding to the machine instruction code file, and the post quantum cryptography algorithm code is realized based on the instruction set. And at least one basic operation module of the post-quantum cryptographic algorithm is called. In this way, the flexibility of processor design and development can be improved.

Description

technical field [0001] The present application relates to the field of computer technology, and in particular, to a special-purpose processor and a model verification method, device, processing method and medium thereof. Background technique [0002] With the rapid development of human society, people's requirements for information security are getting higher and higher, especially in the current Internet era of information explosion, the rapid development of electronic Internet products in the market makes people's demand for information security more urgent. [0003] The classical cryptosystem is mainly composed of two parts: a key and a cryptographic algorithm, where the cryptographic algorithm is a mathematical function used for encryption and decryption. However, with the emergence of quantum computers with greatly improved processing power, all possible arrangements of the cryptographic keys of the original cryptographic system can be tested by quantum computers in a r...

AI Technical Summary

Problems solved by technology

[0005] The technical problem mainly solved by this application is to provide a model verification method for a special processor, a model verification device for a special processor, a processing m

Images