ALEXANDRIA, Va., Sept. 1 -- United States Patent no. 12,724,844, issued on Sept. 1, was assigned to Crypto Lab Inc. (Seoul, South Korea).

"Calculation verification for approximate calculation" was invented by Jung Hee Cheon (Seoul, South Korea), Dongwoo Kim (Seoul, South Korea) and Daejun Park (Seoul, South Korea).

According to the abstract* released by the U.S. Patent & Trademark Office: "Disclosed is a method of arithmetic operation. The arithmetic operation includes receiving an input value, generating an output value by reflecting the input value to a preset arithmetic circuit on a finite commutative ring and a first polynomial function to verify the output value, and transferring the generated output value and the first polynomial fu...