US Patent Issued to NCHAIN LICENSING on May 20 for "Arithmetic enhancement of C-like smart contracts for verifiable computation" (British, Luxembourger Inventors)

ALEXANDRIA, Va., June 16 -- United States Patent no. 12,309,168, issued on May 20, was assigned to NCHAIN LICENSING AG (Zug, Switzerland).

"Arithmetic enhancement of C-like smart contracts for verifiable computation" was invented by Alexandra Covaci (Canterbury, Great Britain), Simone Madeo (London), Patrick Motylinski (London) and Stephane Vincent (Luxembourg).

According to the abstract* released by the U.S. Patent & Trademark Office: "The invention provides systems and methods for converting high level source code into an arithmetic circuit which represents the functionality expressed in the source code. The invention comprises a translation/interpretation component for performing this conversion. In a preferred embodiment, the source c...